runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732653-1338740369/watcher-3732653-1338740369 -o /tmp/evaluation-result-3732653-1338740369/solver-3732653-1338740369 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3732653-1338740369.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.99 3.43 3.19 4/197 18099
/proc/meminfo: memFree=27816692/32873844 swapFree=7632/7632
[pid=18099] ppid=18097 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/18099/stat : 18099 (java) R 18097 18099 17063 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 340161269 23793664 547 33554432000 1073741824 1073778376 140734762781920 140734762770984 209874631237 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18099/statm: 5809 556 418 9 0 128 0
[startup+0.028227 s]
/proc/loadavg: 2.99 3.43 3.19 4/197 18099
/proc/meminfo: memFree=27816692/32873844 swapFree=7632/7632
[pid=18099] ppid=18097 vsize=2233952 CPUtime=0.02 cores=0,2,4,6
/proc/18099/stat : 18099 (java) S 18097 18099 17063 0 -1 4202496 3601 0 1 0 1 1 0 0 20 0 11 0 340161269 2287566848 4811 33554432000 1073741824 1073778376 140734762781920 140734762773056 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18099/statm: 558488 4814 1628 9 0 549189 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2233952
[startup+0.100344 s]
/proc/loadavg: 2.99 3.43 3.19 4/197 18099
/proc/meminfo: memFree=27816692/32873844 swapFree=7632/7632
[pid=18099] ppid=18097 vsize=2699928 CPUtime=0.1 cores=0,2,4,6
/proc/18099/stat : 18099 (java) S 18097 18099 17063 0 -1 4202496 4764 0 1 0 9 1 0 0 20 0 18 0 340161269 2764726272 6468 33554432000 1073741824 1073778376 140734762781920 140734762773056 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18099/statm: 674982 6468 2131 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300249 s]
/proc/loadavg: 2.99 3.43 3.19 4/197 18099
/proc/meminfo: memFree=27816692/32873844 swapFree=7632/7632
[pid=18099] ppid=18097 vsize=2699928 CPUtime=0.51 cores=0,2,4,6
/proc/18099/stat : 18099 (java) S 18097 18099 17063 0 -1 4202496 5939 0 1 0 49 2 0 0 20 0 18 0 340161269 2764726272 9746 33554432000 1073741824 1073778376 140734762781920 140734762773056 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18099/statm: 674982 9746 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2699928
[startup+0.700166 s]
/proc/loadavg: 2.99 3.43 3.19 4/197 18099
/proc/meminfo: memFree=27816692/32873844 swapFree=7632/7632
[pid=18099] ppid=18097 vsize=2966184 CPUtime=1.87 cores=0,2,4,6
/proc/18099/stat : 18099 (java) S 18097 18099 17063 0 -1 4202496 11718 0 1 0 183 4 0 0 20 0 22 0 340161269 3037372416 25057 33554432000 1073741824 1073778376 140734762781920 140734762773056 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18099/statm: 741546 25057 2259 9 0 732240 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 2966184
[startup+1.50077 s]
/proc/loadavg: 2.99 3.43 3.19 5/219 18121
/proc/meminfo: memFree=27671560/32873844 swapFree=7632/7632
[pid=18099] ppid=18097 vsize=2966184 CPUtime=3.69 cores=0,2,4,6
/proc/18099/stat : 18099 (java) S 18097 18099 17063 0 -1 4202496 11990 0 1 0 362 7 0 0 20 0 22 0 340161269 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140734762773056 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18099/statm: 741546 62946 2260 9 0 732240 0
[pid=18099/tid=18101] ppid=18097 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/18099/task/18101/stat : 18101 (java) S 18097 18099 17063 0 -1 4202560 2816 0 1 0 38 2 0 0 20 0 22 0 340161270 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140564091282584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18102] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18102/stat : 18102 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140564080343720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18103] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18103/stat : 18103 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563956824872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18104] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18104/stat : 18104 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563955772328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18105] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18105/stat : 18105 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563954719784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18106] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18106/stat : 18106 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563953666216 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18107] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18107/stat : 18107 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563952613672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18108] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18108/stat : 18108 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563951561128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18109] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18109/stat : 18109 (java) S 18097 18099 17063 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563950508584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18110] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18110/stat : 18110 (java) S 18097 18099 17063 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563467696744 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18111] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18111/stat : 18111 (java) S 18097 18099 17063 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563466643064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18112] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18112/stat : 18112 (java) S 18097 18099 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563465590408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18113] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18113/stat : 18113 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563464539152 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18114] ppid=18097 vsize=2966184 CPUtime=0.58 cores=0,2,4,6
/proc/18099/task/18114/stat : 18114 (java) S 18097 18099 17063 0 -1 4202560 3703 0 0 0 56 2 0 0 20 0 22 0 340161274 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563463485496 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18115] ppid=18097 vsize=2966184 CPUtime=0.53 cores=0,2,4,6
/proc/18099/task/18115/stat : 18115 (java) S 18097 18099 17063 0 -1 4202560 4094 0 0 0 53 0 0 0 20 0 22 0 340161274 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563462432952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18116] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18116/stat : 18116 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563461380600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18117] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18117/stat : 18117 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563460328264 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18118] ppid=18097 vsize=2966184 CPUtime=1.05 cores=0,2,4,6
/proc/18099/task/18118/stat : 18118 (java) R 18097 18099 17063 0 -1 4202560 26 0 0 0 105 0 0 0 20 0 22 0 340161312 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563459273640 140563962384040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18119] ppid=18097 vsize=2966184 CPUtime=1.05 cores=0,2,4,6
/proc/18099/task/18119/stat : 18119 (java) R 18097 18099 17063 0 -1 4202560 149 0 0 0 103 2 0 0 20 0 22 0 340161312 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563458220760 140563962458537 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18120] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18120/stat : 18120 (java) S 18097 18099 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340161322 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563457168936 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18121] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18121/stat : 18121 (java) S 18097 18099 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340161322 3037372416 62946 33554432000 1073741824 1073778376 140734762781920 140563456116392 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 2966184
[startup+3.10081 s]
/proc/loadavg: 2.99 3.43 3.19 5/219 18121
/proc/meminfo: memFree=27456016/32873844 swapFree=7632/7632
[pid=18099] ppid=18097 vsize=2966184 CPUtime=6.94 cores=0,2,4,6
/proc/18099/stat : 18099 (java) S 18097 18099 17063 0 -1 4202496 12093 0 1 0 685 9 0 0 20 0 22 0 340161269 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140734762773056 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18099/statm: 741546 96761 2272 9 0 732240 0
[pid=18099/tid=18101] ppid=18097 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/18099/task/18101/stat : 18101 (java) S 18097 18099 17063 0 -1 4202560 2816 0 1 0 38 2 0 0 20 0 22 0 340161270 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140564091282584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18102] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18102/stat : 18102 (java) S 18097 18099 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140564080343720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18103] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18103/stat : 18103 (java) S 18097 18099 17063 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563956824872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18104] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18104/stat : 18104 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563955772328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18105] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18105/stat : 18105 (java) S 18097 18099 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563954719784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18106] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18106/stat : 18106 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563953666216 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18107] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18107/stat : 18107 (java) S 18097 18099 17063 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563952613672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18108] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18108/stat : 18108 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563951561128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18109] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18109/stat : 18109 (java) S 18097 18099 17063 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563950508584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18110] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18110/stat : 18110 (java) S 18097 18099 17063 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563467696744 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18111] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18111/stat : 18111 (java) S 18097 18099 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563466643064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18112] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18112/stat : 18112 (java) S 18097 18099 17063 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563465590408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18113] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18113/stat : 18113 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563464539152 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18114] ppid=18097 vsize=2966184 CPUtime=0.62 cores=0,2,4,6
/proc/18099/task/18114/stat : 18114 (java) S 18097 18099 17063 0 -1 4202560 3703 0 0 0 60 2 0 0 20 0 22 0 340161274 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563463485496 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18115] ppid=18097 vsize=2966184 CPUtime=0.53 cores=0,2,4,6
/proc/18099/task/18115/stat : 18115 (java) S 18097 18099 17063 0 -1 4202560 4094 0 0 0 53 0 0 0 20 0 22 0 340161274 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563462432952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18116] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18116/stat : 18116 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563461380600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18117] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18117/stat : 18117 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563460328264 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18118] ppid=18097 vsize=2966184 CPUtime=2.64 cores=0,2,4,6
/proc/18099/task/18118/stat : 18118 (java) R 18097 18099 17063 0 -1 4202560 27 0 0 0 264 0 0 0 20 0 22 0 340161312 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563459273736 140563962384315 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18119] ppid=18097 vsize=2966184 CPUtime=2.64 cores=0,2,4,6
/proc/18099/task/18119/stat : 18119 (java) R 18097 18099 17063 0 -1 4202560 214 0 0 0 260 4 0 0 20 0 22 0 340161312 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563458220552 140563962480123 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18120] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18120/stat : 18120 (java) S 18097 18099 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340161322 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563457168936 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18121] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18121/stat : 18121 (java) S 18097 18099 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340161322 3037372416 96761 33554432000 1073741824 1073778376 140734762781920 140563456116392 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 2966184
[startup+6.30082 s]
/proc/loadavg: 3.07 3.44 3.19 5/219 18121
/proc/meminfo: memFree=27404444/32873844 swapFree=7632/7632
[pid=18099] ppid=18097 vsize=2966184 CPUtime=13.43 cores=0,2,4,6
/proc/18099/stat : 18099 (java) S 18097 18099 17063 0 -1 4202496 12151 0 1 0 1333 10 0 0 20 0 22 0 340161269 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140734762773056 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18099/statm: 741546 102912 2284 9 0 732240 0
[pid=18099/tid=18101] ppid=18097 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/18099/task/18101/stat : 18101 (java) S 18097 18099 17063 0 -1 4202560 2816 0 1 0 38 2 0 0 20 0 22 0 340161270 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140564091282584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18102] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18102/stat : 18102 (java) S 18097 18099 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140564080343720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18103] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18103/stat : 18103 (java) S 18097 18099 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140563956824872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18104] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18104/stat : 18104 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140563955772328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18105] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18105/stat : 18105 (java) S 18097 18099 17063 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140563954719784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18106] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18106/stat : 18106 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140563953666216 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18107] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18107/stat : 18107 (java) S 18097 18099 17063 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140563952613672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18108] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18108/stat : 18108 (java) S 18097 18099 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140563951561128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18109] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18109/stat : 18109 (java) S 18097 18099 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340161270 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140563950508584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18110] ppid=18097 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/18099/task/18110/stat : 18110 (java) S 18097 18099 17063 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 22 0 340161272 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140563467696744 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18111] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18111/stat : 18111 (java) S 18097 18099 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140563466643064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18112] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18112/stat : 18112 (java) S 18097 18099 17063 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140563465590408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18113] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18113/stat : 18113 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140563464539152 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18114] ppid=18097 vsize=2966184 CPUtime=0.69 cores=0,2,4,6
/proc/18099/task/18114/stat : 18114 (java) S 18097 18099 17063 0 -1 4202560 3711 0 0 0 67 2 0 0 20 0 22 0 340161274 3037372416 102912 33554432000 1073741824 1073778376 140734762781920 140563463485496 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
/proc/18099/statm: 741546 173030 2286 9 0 732240 0
[pid=18099/tid=18101] ppid=18097 vsize=2966184 CPUtime=0.42 cores=0,2,4,6
/proc/18099/task/18101/stat : 18101 (java) S 18097 18099 17063 0 -1 4202560 2823 0 1 0 39 3 0 0 20 0 22 0 340161270 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140564091282584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18102] ppid=18097 vsize=2966184 CPUtime=1.04 cores=0,2,4,6
/proc/18099/task/18102/stat : 18102 (java) S 18097 18099 17063 0 -1 4202560 76 0 0 0 100 4 0 0 20 0 22 0 340161270 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140564080343720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18103] ppid=18097 vsize=2966184 CPUtime=0.93 cores=0,2,4,6
/proc/18099/task/18103/stat : 18103 (java) S 18097 18099 17063 0 -1 4202560 82 0 0 0 90 3 0 0 20 0 22 0 340161270 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563956824872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18104] ppid=18097 vsize=2966184 CPUtime=0.96 cores=0,2,4,6
/proc/18099/task/18104/stat : 18104 (java) S 18097 18099 17063 0 -1 4202560 83 0 0 0 93 3 0 0 20 0 22 0 340161270 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563955772328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18105] ppid=18097 vsize=2966184 CPUtime=1 cores=0,2,4,6
/proc/18099/task/18105/stat : 18105 (java) S 18097 18099 17063 0 -1 4202560 94 0 0 0 97 3 0 0 20 0 22 0 340161270 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563954719784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18106] ppid=18097 vsize=2966184 CPUtime=1.01 cores=0,2,4,6
/proc/18099/task/18106/stat : 18106 (java) S 18097 18099 17063 0 -1 4202560 95 0 0 0 97 4 0 0 20 0 22 0 340161270 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563953666216 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18107] ppid=18097 vsize=2966184 CPUtime=1.04 cores=0,2,4,6
/proc/18099/task/18107/stat : 18107 (java) S 18097 18099 17063 0 -1 4202560 101 0 0 0 101 3 0 0 20 0 22 0 340161270 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563952613672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18108] ppid=18097 vsize=2966184 CPUtime=0.9 cores=0,2,4,6
/proc/18099/task/18108/stat : 18108 (java) S 18097 18099 17063 0 -1 4202560 74 0 0 0 87 3 0 0 20 0 22 0 340161270 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563951561128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18109] ppid=18097 vsize=2966184 CPUtime=0.96 cores=0,2,4,6
/proc/18099/task/18109/stat : 18109 (java) S 18097 18099 17063 0 -1 4202560 77 0 0 0 93 3 0 0 20 0 22 0 340161270 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563950508584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18110] ppid=18097 vsize=2966184 CPUtime=12.55 cores=0,2,4,6
/proc/18099/task/18110/stat : 18110 (java) S 18097 18099 17063 0 -1 4202560 117 0 0 0 1242 13 0 0 20 0 22 0 340161272 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563467696744 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18111] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18111/stat : 18111 (java) S 18097 18099 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563466643064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18112] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18112/stat : 18112 (java) S 18097 18099 17063 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563465590408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18113] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18113/stat : 18113 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563464539152 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18114] ppid=18097 vsize=2966184 CPUtime=1.21 cores=0,2,4,6
/proc/18099/task/18114/stat : 18114 (java) S 18097 18099 17063 0 -1 4202560 8080 0 0 0 118 3 0 0 20 0 22 0 340161274 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563463485496 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18115] ppid=18097 vsize=2966184 CPUtime=0.66 cores=0,2,4,6
/proc/18099/task/18115/stat : 18115 (java) S 18097 18099 17063 0 -1 4202560 4130 0 0 0 66 0 0 0 20 0 22 0 340161274 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563462432952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18116] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18116/stat : 18116 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563461380600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18117] ppid=18097 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/18099/task/18117/stat : 18117 (java) S 18097 18099 17063 0 -1 4202560 47 0 0 0 11 17 0 0 20 0 22 0 340161274 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563460328264 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18118] ppid=18097 vsize=2966184 CPUtime=804.51 cores=0,2,4,6
/proc/18099/task/18118/stat : 18118 (java) R 18097 18099 17063 0 -1 4202560 269 0 0 0 80437 14 0 0 20 0 22 0 340161312 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563459272352 140563962384040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18119] ppid=18097 vsize=2966184 CPUtime=804.55 cores=0,2,4,6
/proc/18099/task/18119/stat : 18119 (java) R 18097 18099 17063 0 -1 4202560 359 0 0 0 80437 18 0 0 20 0 22 0 340161312 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563458218832 140563962480085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18120] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18120/stat : 18120 (java) S 18097 18099 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340161322 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563457168936 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18121] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18121/stat : 18121 (java) S 18097 18099 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340161322 3037372416 173030 33554432000 1073741824 1073778376 140734762781920 140563456116392 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1635.99
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.87 3.87 3.61 5/219 18130
/proc/meminfo: memFree=26892676/32873844 swapFree=7632/7632
[pid=18099] ppid=18097 vsize=2966184 CPUtime=1754.62 cores=0,2,4,6
/proc/18099/stat : 18099 (java) S 18097 18099 17063 0 -1 4202496 17752 0 1 0 175394 68 0 0 20 0 22 0 340161269 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140734762773056 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18099/statm: 741546 175602 2286 9 0 732240 0
[pid=18099/tid=18101] ppid=18097 vsize=2966184 CPUtime=0.42 cores=0,2,4,6
/proc/18099/task/18101/stat : 18101 (java) S 18097 18099 17063 0 -1 4202560 2824 0 1 0 39 3 0 0 20 0 22 0 340161270 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140564091282584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18102] ppid=18097 vsize=2966184 CPUtime=1.13 cores=0,2,4,6
/proc/18099/task/18102/stat : 18102 (java) S 18097 18099 17063 0 -1 4202560 80 0 0 0 109 4 0 0 20 0 22 0 340161270 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140564080343720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18103] ppid=18097 vsize=2966184 CPUtime=0.99 cores=0,2,4,6
/proc/18099/task/18103/stat : 18103 (java) S 18097 18099 17063 0 -1 4202560 84 0 0 0 96 3 0 0 20 0 22 0 340161270 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563956824872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18104] ppid=18097 vsize=2966184 CPUtime=1.05 cores=0,2,4,6
/proc/18099/task/18104/stat : 18104 (java) S 18097 18099 17063 0 -1 4202560 91 0 0 0 102 3 0 0 20 0 22 0 340161270 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563955772328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18105] ppid=18097 vsize=2966184 CPUtime=1.05 cores=0,2,4,6
/proc/18099/task/18105/stat : 18105 (java) S 18097 18099 17063 0 -1 4202560 95 0 0 0 102 3 0 0 20 0 22 0 340161270 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563954719784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18106] ppid=18097 vsize=2966184 CPUtime=1.09 cores=0,2,4,6
/proc/18099/task/18106/stat : 18106 (java) S 18097 18099 17063 0 -1 4202560 96 0 0 0 105 4 0 0 20 0 22 0 340161270 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563953666216 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18107] ppid=18097 vsize=2966184 CPUtime=1.12 cores=0,2,4,6
/proc/18099/task/18107/stat : 18107 (java) S 18097 18099 17063 0 -1 4202560 103 0 0 0 109 3 0 0 20 0 22 0 340161270 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563952613672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18108] ppid=18097 vsize=2966184 CPUtime=1 cores=0,2,4,6
/proc/18099/task/18108/stat : 18108 (java) S 18097 18099 17063 0 -1 4202560 82 0 0 0 97 3 0 0 20 0 22 0 340161270 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563951561128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18109] ppid=18097 vsize=2966184 CPUtime=1.04 cores=0,2,4,6
/proc/18099/task/18109/stat : 18109 (java) S 18097 18099 17063 0 -1 4202560 79 0 0 0 100 4 0 0 20 0 22 0 340161270 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563950508584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18110] ppid=18097 vsize=2966184 CPUtime=14.15 cores=0,2,4,6
/proc/18099/task/18110/stat : 18110 (java) S 18097 18099 17063 0 -1 4202560 121 0 0 0 1401 14 0 0 20 0 22 0 340161272 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563467696744 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18111] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18111/stat : 18111 (java) S 18097 18099 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563466643064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18112] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18112/stat : 18112 (java) S 18097 18099 17063 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563465590408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18113] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18113/stat : 18113 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563464539152 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18114] ppid=18097 vsize=2966184 CPUtime=1.21 cores=0,2,4,6
/proc/18099/task/18114/stat : 18114 (java) S 18097 18099 17063 0 -1 4202560 8080 0 0 0 118 3 0 0 20 0 22 0 340161274 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563463485496 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18115] ppid=18097 vsize=2966184 CPUtime=0.66 cores=0,2,4,6
/proc/18099/task/18115/stat : 18115 (java) S 18097 18099 17063 0 -1 4202560 4130 0 0 0 66 0 0 0 20 0 22 0 340161274 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563462432952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18116] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18116/stat : 18116 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563461380600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18117] ppid=18097 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/18099/task/18117/stat : 18117 (java) S 18097 18099 17063 0 -1 4202560 51 0 0 0 12 17 0 0 20 0 22 0 340161274 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563460328264 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18118] ppid=18097 vsize=2966184 CPUtime=862.55 cores=0,2,4,6
/proc/18099/task/18118/stat : 18118 (java) R 18097 18099 17063 0 -1 4202560 282 0 0 0 86240 15 0 0 20 0 22 0 340161312 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563459272352 140563962384063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18119] ppid=18097 vsize=2966184 CPUtime=862.6 cores=0,2,4,6
/proc/18099/task/18119/stat : 18119 (java) R 18097 18099 17063 0 -1 4202560 364 0 0 0 86241 19 0 0 20 0 22 0 340161312 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563458218864 140563962480457 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18120] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18120/stat : 18120 (java) S 18097 18099 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340161322 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563457168936 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18121] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18121/stat : 18121 (java) S 18097 18099 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340161322 3037372416 175602 33554432000 1073741824 1073778376 140734762781920 140563456116392 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1754.62
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+905.401 s]
/proc/loadavg: 3.92 3.88 3.62 5/219 18130
/proc/meminfo: memFree=26863880/32873844 swapFree=7632/7632
[pid=18099] ppid=18097 vsize=2966184 CPUtime=1800.16 cores=0,2,4,6
/proc/18099/stat : 18099 (java) S 18097 18099 17063 0 -1 4202496 17771 0 1 0 179947 69 0 0 20 0 22 0 340161269 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140734762773056 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18099/statm: 741546 177140 2286 9 0 732240 0
[pid=18099/tid=18101] ppid=18097 vsize=2966184 CPUtime=0.42 cores=0,2,4,6
/proc/18099/task/18101/stat : 18101 (java) S 18097 18099 17063 0 -1 4202560 2824 0 1 0 39 3 0 0 20 0 22 0 340161270 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140564091282584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18102] ppid=18097 vsize=2966184 CPUtime=1.18 cores=0,2,4,6
/proc/18099/task/18102/stat : 18102 (java) S 18097 18099 17063 0 -1 4202560 82 0 0 0 113 5 0 0 20 0 22 0 340161270 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140564080343720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18103] ppid=18097 vsize=2966184 CPUtime=1.02 cores=0,2,4,6
/proc/18099/task/18103/stat : 18103 (java) S 18097 18099 17063 0 -1 4202560 85 0 0 0 99 3 0 0 20 0 22 0 340161270 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563956824872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18104] ppid=18097 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/18099/task/18104/stat : 18104 (java) S 18097 18099 17063 0 -1 4202560 94 0 0 0 106 4 0 0 20 0 22 0 340161270 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563955772328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18105] ppid=18097 vsize=2966184 CPUtime=1.08 cores=0,2,4,6
/proc/18099/task/18105/stat : 18105 (java) S 18097 18099 17063 0 -1 4202560 95 0 0 0 105 3 0 0 20 0 22 0 340161270 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563954719784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18106] ppid=18097 vsize=2966184 CPUtime=1.11 cores=0,2,4,6
/proc/18099/task/18106/stat : 18106 (java) S 18097 18099 17063 0 -1 4202560 96 0 0 0 107 4 0 0 20 0 22 0 340161270 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563953666216 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18107] ppid=18097 vsize=2966184 CPUtime=1.15 cores=0,2,4,6
/proc/18099/task/18107/stat : 18107 (java) S 18097 18099 17063 0 -1 4202560 104 0 0 0 112 3 0 0 20 0 22 0 340161270 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563952613672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18108] ppid=18097 vsize=2966184 CPUtime=1.03 cores=0,2,4,6
/proc/18099/task/18108/stat : 18108 (java) S 18097 18099 17063 0 -1 4202560 83 0 0 0 100 3 0 0 20 0 22 0 340161270 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563951561128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18109] ppid=18097 vsize=2966184 CPUtime=1.07 cores=0,2,4,6
/proc/18099/task/18109/stat : 18109 (java) S 18097 18099 17063 0 -1 4202560 80 0 0 0 103 4 0 0 20 0 22 0 340161270 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563950508584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18110] ppid=18097 vsize=2966184 CPUtime=14.9 cores=0,2,4,6
/proc/18099/task/18110/stat : 18110 (java) S 18097 18099 17063 0 -1 4202560 121 0 0 0 1476 14 0 0 20 0 22 0 340161272 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563467696744 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18111] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18111/stat : 18111 (java) S 18097 18099 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563466643064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18112] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18112/stat : 18112 (java) S 18097 18099 17063 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340161272 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563465590408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18113] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18113/stat : 18113 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563464539152 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18099/tid=18114] ppid=18097 vsize=2966184 CPUtime=1.21 cores=0,2,4,6
/proc/18099/task/18114/stat : 18114 (java) S 18097 18099 17063 0 -1 4202560 8080 0 0 0 118 3 0 0 20 0 22 0 340161274 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563463485496 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18115] ppid=18097 vsize=2966184 CPUtime=0.66 cores=0,2,4,6
/proc/18099/task/18115/stat : 18115 (java) S 18097 18099 17063 0 -1 4202560 4130 0 0 0 66 0 0 0 20 0 22 0 340161274 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563462432952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18116] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18116/stat : 18116 (java) S 18097 18099 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340161274 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563461380600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18117] ppid=18097 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/18099/task/18117/stat : 18117 (java) S 18097 18099 17063 0 -1 4202560 53 0 0 0 12 18 0 0 20 0 22 0 340161274 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563460328264 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18118] ppid=18097 vsize=2966184 CPUtime=884.75 cores=0,2,4,6
/proc/18099/task/18118/stat : 18118 (java) R 18097 18099 17063 0 -1 4202560 289 0 0 0 88460 15 0 0 20 0 22 0 340161312 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563459272352 140563962109419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18099/tid=18119] ppid=18097 vsize=2966184 CPUtime=884.81 cores=0,2,4,6
/proc/18099/task/18119/stat : 18119 (java) R 18097 18099 17063 0 -1 4202560 365 0 0 0 88462 19 0 0 20 0 22 0 340161312 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563458219024 140563962528447 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18099/tid=18120] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18120/stat : 18120 (java) S 18097 18099 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340161322 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563457168936 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18099/tid=18121] ppid=18097 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18099/task/18121/stat : 18121 (java) S 18097 18099 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340161322 3037372416 177140 33554432000 1073741824 1073778376 140734762781920 140563456116392 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18099 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=988120
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=173821
# CPU time returned by wait4() is 1796.16
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 905.445
CPU time (s): 1800.16
CPU user time (s): 1799.47
CPU system time (s): 0.69
CPU usage (%): 198.815
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.99
system time used= 1.17382
maximum resident set size= 708684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17806
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31653
involuntary context switches= 38962
runsolver used 3.36249 second user time and 8.02278 second system time
The end