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-3709883-1338151095/watcher-3709883-1338151095 -o /tmp/evaluation-result-3709883-1338151095/solver-3709883-1338151095 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709883-1338151095.opb
running on 4 cores: 1,3,5,7
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: 1.99 2.05 2.01 3/193 21652
/proc/meminfo: memFree=30522720/32873844 swapFree=7900/7900
[pid=21652] ppid=21650 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21652/stat : 21652 (java) R 21650 21652 18146 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 281234020 9515008 175 33554432000 1073741824 1073778376 140734017653312 140734017636040 225444709264 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21652/statm: 2323 175 133 9 0 71 0
[startup+0.0639 s]
/proc/loadavg: 1.99 2.05 2.01 3/193 21652
/proc/meminfo: memFree=30522720/32873844 swapFree=7900/7900
[pid=21652] ppid=21650 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/21652/stat : 21652 (java) S 21650 21652 18146 0 -1 4202496 3145 0 1 0 3 1 0 0 20 0 13 0 281234020 9446973440 3842 33554432000 1073741824 1073778376 140736071463920 140736071455056 225448067133 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 2306390 3842 1714 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
[startup+0.100226 s]
/proc/loadavg: 1.99 2.05 2.01 3/193 21652
/proc/meminfo: memFree=30522720/32873844 swapFree=7900/7900
[pid=21652] ppid=21650 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/21652/stat : 21652 (java) S 21650 21652 18146 0 -1 4202496 4260 0 1 0 7 1 0 0 20 0 18 0 281234020 9787842560 4955 33554432000 1073741824 1073778376 140736071463920 140736071455056 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 2389610 4957 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440
[startup+0.300194 s]
/proc/loadavg: 1.99 2.05 2.01 3/193 21652
/proc/meminfo: memFree=30522720/32873844 swapFree=7900/7900
[pid=21652] ppid=21650 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/21652/stat : 21652 (java) S 21650 21652 18146 0 -1 4202496 6616 0 1 0 48 2 0 0 20 0 19 0 281234020 9856004096 8549 33554432000 1073741824 1073778376 140736071463920 140736071455056 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 2406251 8549 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625004
[startup+0.700167 s]
/proc/loadavg: 1.99 2.05 2.01 3/193 21652
/proc/meminfo: memFree=30522720/32873844 swapFree=7900/7900
[pid=21652] ppid=21650 vsize=9625004 CPUtime=1.07 cores=1,3,5,7
/proc/21652/stat : 21652 (java) S 21650 21652 18146 0 -1 4202496 6783 0 1 0 105 2 0 0 20 0 19 0 281234020 9856004096 10646 33554432000 1073741824 1073778376 140736071463920 140736071455056 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 2406251 10646 2244 9 0 2396937 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9625004
[startup+1.50071 s]
/proc/loadavg: 1.99 2.05 2.01 3/213 21672
/proc/meminfo: memFree=30484560/32873844 swapFree=7900/7900
[pid=21652] ppid=21650 vsize=9625004 CPUtime=1.88 cores=1,3,5,7
/proc/21652/stat : 21652 (java) S 21650 21652 18146 0 -1 4202496 6792 0 1 0 186 2 0 0 20 0 19 0 281234020 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 140736071455056 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 2406251 12698 2244 9 0 2396937 0
[pid=21652/tid=21654] ppid=21650 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/21652/task/21654/stat : 21654 (java) R 21650 21652 18146 0 -1 4202560 2576 0 1 0 144 2 0 0 20 0 19 0 281234021 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139711053035984 139710993236635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21655] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21655/stat : 21655 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710896486952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21656] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21656/stat : 21656 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710895434152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21657] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21657/stat : 21657 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710894381352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21658] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21658/stat : 21658 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710893328552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21659] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21659/stat : 21659 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710892276776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21652/tid=21660] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21660/stat : 21660 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710891223976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21652/tid=21661] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21661/stat : 21661 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710890171176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21662] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21662/stat : 21662 (java) S 21650 21652 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710889118376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21663] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21663/stat : 21663 (java) S 21650 21652 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281234023 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710876920296 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21664] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21664/stat : 21664 (java) S 21650 21652 18146 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281234024 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710875866360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21665] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21665/stat : 21665 (java) S 21650 21652 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281234024 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710874813448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21666] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21666/stat : 21666 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710873761936 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21667] ppid=21650 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/21652/task/21667/stat : 21667 (java) S 21650 21652 18146 0 -1 4202560 1071 0 0 0 20 0 0 0 20 0 19 0 281234026 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710872710072 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21668] ppid=21650 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/21652/task/21668/stat : 21668 (java) S 21650 21652 18146 0 -1 4202560 1944 0 0 0 20 0 0 0 20 0 19 0 281234026 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710871657272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21669] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21669/stat : 21669 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710870604664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21670] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21670/stat : 21670 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710869552072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21672] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21672/stat : 21672 (java) S 21650 21652 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281234045 9856004096 12698 33554432000 1073741824 1073778376 140736071463920 139710868497576 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9625004
[startup+3.10078 s]
/proc/loadavg: 1.99 2.05 2.01 3/213 21672
/proc/meminfo: memFree=30472520/32873844 swapFree=7900/7900
[pid=21652] ppid=21650 vsize=9625004 CPUtime=3.54 cores=1,3,5,7
/proc/21652/stat : 21652 (java) S 21650 21652 18146 0 -1 4202496 7366 0 1 0 351 3 0 0 20 0 19 0 281234020 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 140736071455056 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 2406251 17832 2251 9 0 2396937 0
[pid=21652/tid=21654] ppid=21650 vsize=9625004 CPUtime=3.06 cores=1,3,5,7
/proc/21652/task/21654/stat : 21654 (java) R 21650 21652 18146 0 -1 4202560 2587 0 1 0 303 3 0 0 20 0 19 0 281234021 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139711053038312 139710993236225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21655] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21655/stat : 21655 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710896486952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21656] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21656/stat : 21656 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710895434152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21657] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21657/stat : 21657 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710894381352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21658] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21658/stat : 21658 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710893328552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21659] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21659/stat : 21659 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710892276776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21652/tid=21660] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21660/stat : 21660 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710891223976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21652/tid=21661] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21661/stat : 21661 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710890171176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21662] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21662/stat : 21662 (java) S 21650 21652 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710889118376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21663] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21663/stat : 21663 (java) S 21650 21652 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281234023 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710876920296 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21664] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21664/stat : 21664 (java) S 21650 21652 18146 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281234024 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710875866360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21665] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21665/stat : 21665 (java) S 21650 21652 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281234024 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710874813448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21666] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21666/stat : 21666 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710873761936 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21667] ppid=21650 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/21652/task/21667/stat : 21667 (java) S 21650 21652 18146 0 -1 4202560 1072 0 0 0 21 0 0 0 20 0 19 0 281234026 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710872710072 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21668] ppid=21650 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/21652/task/21668/stat : 21668 (java) S 21650 21652 18146 0 -1 4202560 2506 0 0 0 23 0 0 0 20 0 19 0 281234026 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710871657272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21669] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21669/stat : 21669 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710870604664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21670] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21670/stat : 21670 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710869552072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21672] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21672/stat : 21672 (java) S 21650 21652 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281234045 9856004096 17832 33554432000 1073741824 1073778376 140736071463920 139710868497576 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 9625004
[startup+6.30079 s]
/proc/loadavg: 1.99 2.05 2.01 3/213 21672
/proc/meminfo: memFree=30399164/32873844 swapFree=7900/7900
[pid=21652] ppid=21650 vsize=9625004 CPUtime=6.84 cores=1,3,5,7
/proc/21652/stat : 21652 (java) S 21650 21652 18146 0 -1 4202496 7497 0 1 0 675 9 0 0 20 0 19 0 281234020 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 140736071455056 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 2406251 33142 2276 9 0 2396937 0
[pid=21652/tid=21654] ppid=21650 vsize=9625004 CPUtime=6.19 cores=1,3,5,7
/proc/21652/task/21654/stat : 21654 (java) R 21650 21652 18146 0 -1 4202560 2598 0 1 0 616 3 0 0 20 0 19 0 281234021 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139711053037960 139710993236234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21655] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21655/stat : 21655 (java) S 21650 21652 18146 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710896486952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21656] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21656/stat : 21656 (java) S 21650 21652 18146 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710895434152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21657] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21657/stat : 21657 (java) S 21650 21652 18146 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710894381352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21658] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21658/stat : 21658 (java) S 21650 21652 18146 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710893328552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21652/tid=21659] ppid=21650 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21652/task/21659/stat : 21659 (java) S 21650 21652 18146 0 -1 4202560 21 0 0 0 0 1 0 0 20 0 19 0 281234022 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710892276776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21660] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21660/stat : 21660 (java) S 21650 21652 18146 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710891223976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21661] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21661/stat : 21661 (java) S 21650 21652 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710890171176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21662] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21662/stat : 21662 (java) S 21650 21652 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281234022 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710889118376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21663] ppid=21650 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21652/task/21663/stat : 21663 (java) S 21650 21652 18146 0 -1 4202560 38 0 0 0 1 0 0 0 20 0 19 0 281234023 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710876920296 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21664] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21664/stat : 21664 (java) S 21650 21652 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281234024 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710875866360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21665] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21665/stat : 21665 (java) S 21650 21652 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281234024 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710874813448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21666] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21666/stat : 21666 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710873761936 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21667] ppid=21650 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/21652/task/21667/stat : 21667 (java) S 21650 21652 18146 0 -1 4202560 1073 0 0 0 23 0 0 0 20 0 19 0 281234026 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710872710072 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21668] ppid=21650 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/21652/task/21668/stat : 21668 (java) S 21650 21652 18146 0 -1 4202560 2513 0 0 0 25 0 0 0 20 0 19 0 281234026 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710871657272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21669] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21669/stat : 21669 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710870604664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21670] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21670/stat : 21670 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710869552072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21672] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21672/stat : 21672 (java) S 21650 21652 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281234045 9856004096 33142 33554432000 1073741824 1073778376 140736071463920 139710868497576 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 9625004
[startup+12.7008 s]
################
# More data... #
################
[pid=21652/tid=21667] ppid=21650 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/21652/task/21667/stat : 21667 (java) S 21650 21652 18146 0 -1 4202560 2100 0 0 0 36 0 0 0 20 0 19 0 281234026 9856004096 246342 33554432000 1073741824 1073778376 140736071463920 139710872710072 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21668] ppid=21650 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/21652/task/21668/stat : 21668 (java) S 21650 21652 18146 0 -1 4202560 2516 0 0 0 26 0 0 0 20 0 19 0 281234026 9856004096 246342 33554432000 1073741824 1073778376 140736071463920 139710871657272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21669] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21669/stat : 21669 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 246342 33554432000 1073741824 1073778376 140736071463920 139710870604664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21670] ppid=21650 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/21652/task/21670/stat : 21670 (java) S 21650 21652 18146 0 -1 4202560 95 0 0 0 41 51 0 0 20 0 19 0 281234026 9856004096 246342 33554432000 1073741824 1073778376 140736071463920 139710869552072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21672] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21672/stat : 21672 (java) S 21650 21652 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281234045 9856004096 246342 33554432000 1073741824 1073778376 140736071463920 139710868497576 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1684.53
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/213 21768
/proc/meminfo: memFree=29172320/32873844 swapFree=7900/7900
[pid=21652] ppid=21650 vsize=9625004 CPUtime=1745.02 cores=1,3,5,7
/proc/21652/stat : 21652 (java) S 21650 21652 18146 0 -1 4202496 18076 0 1 0 174252 250 0 0 20 0 19 0 281234020 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 140736071455056 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 2406251 246548 2276 9 0 2396937 0
[pid=21652/tid=21654] ppid=21650 vsize=9625004 CPUtime=1710.55 cores=1,3,5,7
/proc/21652/task/21654/stat : 21654 (java) R 21650 21652 18146 0 -1 4202560 2911 0 1 0 171022 33 0 0 20 0 19 0 281234021 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139711053036928 139710993235904 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21652/tid=21655] ppid=21650 vsize=9625004 CPUtime=3.57 cores=1,3,5,7
/proc/21652/task/21655/stat : 21655 (java) S 21650 21652 18146 0 -1 4202560 1190 0 0 0 340 17 0 0 20 0 19 0 281234022 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710896486952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21656] ppid=21650 vsize=9625004 CPUtime=3.51 cores=1,3,5,7
/proc/21652/task/21656/stat : 21656 (java) S 21650 21652 18146 0 -1 4202560 929 0 0 0 333 18 0 0 20 0 19 0 281234022 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710895434152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21652/tid=21657] ppid=21650 vsize=9625004 CPUtime=3.73 cores=1,3,5,7
/proc/21652/task/21657/stat : 21657 (java) S 21650 21652 18146 0 -1 4202560 1004 0 0 0 355 18 0 0 20 0 19 0 281234022 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710894381352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21658] ppid=21650 vsize=9625004 CPUtime=3.59 cores=1,3,5,7
/proc/21652/task/21658/stat : 21658 (java) S 21650 21652 18146 0 -1 4202560 779 0 0 0 337 22 0 0 20 0 19 0 281234022 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710893328552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21659] ppid=21650 vsize=9625004 CPUtime=3.56 cores=1,3,5,7
/proc/21652/task/21659/stat : 21659 (java) S 21650 21652 18146 0 -1 4202560 1392 0 0 0 335 21 0 0 20 0 19 0 281234022 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710892276776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21660] ppid=21650 vsize=9625004 CPUtime=3.85 cores=1,3,5,7
/proc/21652/task/21660/stat : 21660 (java) S 21650 21652 18146 0 -1 4202560 744 0 0 0 363 22 0 0 20 0 19 0 281234022 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710891223976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21661] ppid=21650 vsize=9625004 CPUtime=3.51 cores=1,3,5,7
/proc/21652/task/21661/stat : 21661 (java) S 21650 21652 18146 0 -1 4202560 1247 0 0 0 331 20 0 0 20 0 19 0 281234022 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710890171176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21662] ppid=21650 vsize=9625004 CPUtime=3.59 cores=1,3,5,7
/proc/21652/task/21662/stat : 21662 (java) S 21650 21652 18146 0 -1 4202560 895 0 0 0 342 17 0 0 20 0 19 0 281234022 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710889118376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21663] ppid=21650 vsize=9625004 CPUtime=3.62 cores=1,3,5,7
/proc/21652/task/21663/stat : 21663 (java) S 21650 21652 18146 0 -1 4202560 1084 0 0 0 356 6 0 0 20 0 19 0 281234023 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710876920296 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21664] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21664/stat : 21664 (java) S 21650 21652 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281234024 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710875866360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21665] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21665/stat : 21665 (java) S 21650 21652 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281234024 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710874813448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21666] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21666/stat : 21666 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710873761936 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21667] ppid=21650 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/21652/task/21667/stat : 21667 (java) S 21650 21652 18146 0 -1 4202560 2100 0 0 0 36 0 0 0 20 0 19 0 281234026 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710872710072 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21668] ppid=21650 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/21652/task/21668/stat : 21668 (java) S 21650 21652 18146 0 -1 4202560 2516 0 0 0 26 0 0 0 20 0 19 0 281234026 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710871657272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21669] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21669/stat : 21669 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710870604664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21670] ppid=21650 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/21652/task/21670/stat : 21670 (java) S 21650 21652 18146 0 -1 4202560 99 0 0 0 43 53 0 0 20 0 19 0 281234026 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710869552072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21672] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21672/stat : 21672 (java) S 21650 21652 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281234045 9856004096 246548 33554432000 1073741824 1073778376 140736071463920 139710868497576 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1745.02
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1776.51 s]
/proc/loadavg: 2.22 2.07 2.02 3/213 21768
/proc/meminfo: memFree=29173372/32873844 swapFree=7900/7900
[pid=21652] ppid=21650 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/21652/stat : 21652 (java) S 21650 21652 18146 0 -1 4202496 18472 0 1 0 179757 252 0 0 20 0 19 0 281234020 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 140736071455056 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 2406251 247423 2276 9 0 2396937 0
[pid=21652/tid=21654] ppid=21650 vsize=9625004 CPUtime=1764.25 cores=1,3,5,7
/proc/21652/task/21654/stat : 21654 (java) R 21650 21652 18146 0 -1 4202560 2923 0 1 0 176391 34 0 0 20 0 19 0 281234021 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139711053036928 139710993236262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21655] ppid=21650 vsize=9625004 CPUtime=3.72 cores=1,3,5,7
/proc/21652/task/21655/stat : 21655 (java) S 21650 21652 18146 0 -1 4202560 1271 0 0 0 355 17 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710896486952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21656] ppid=21650 vsize=9625004 CPUtime=3.64 cores=1,3,5,7
/proc/21652/task/21656/stat : 21656 (java) S 21650 21652 18146 0 -1 4202560 1010 0 0 0 346 18 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710895434152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21652/tid=21657] ppid=21650 vsize=9625004 CPUtime=3.88 cores=1,3,5,7
/proc/21652/task/21657/stat : 21657 (java) S 21650 21652 18146 0 -1 4202560 1004 0 0 0 370 18 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710894381352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21658] ppid=21650 vsize=9625004 CPUtime=3.72 cores=1,3,5,7
/proc/21652/task/21658/stat : 21658 (java) S 21650 21652 18146 0 -1 4202560 860 0 0 0 350 22 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710893328552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21652/tid=21659] ppid=21650 vsize=9625004 CPUtime=3.75 cores=1,3,5,7
/proc/21652/task/21659/stat : 21659 (java) S 21650 21652 18146 0 -1 4202560 1392 0 0 0 354 21 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710892276776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21660] ppid=21650 vsize=9625004 CPUtime=3.97 cores=1,3,5,7
/proc/21652/task/21660/stat : 21660 (java) S 21650 21652 18146 0 -1 4202560 744 0 0 0 375 22 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710891223976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21661] ppid=21650 vsize=9625004 CPUtime=3.65 cores=1,3,5,7
/proc/21652/task/21661/stat : 21661 (java) S 21650 21652 18146 0 -1 4202560 1263 0 0 0 345 20 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710890171176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21662] ppid=21650 vsize=9625004 CPUtime=3.75 cores=1,3,5,7
/proc/21652/task/21662/stat : 21662 (java) S 21650 21652 18146 0 -1 4202560 997 0 0 0 358 17 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710889118376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21663] ppid=21650 vsize=9625004 CPUtime=3.8 cores=1,3,5,7
/proc/21652/task/21663/stat : 21663 (java) S 21650 21652 18146 0 -1 4202560 1103 0 0 0 373 7 0 0 20 0 19 0 281234023 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710876920296 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21664] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21664/stat : 21664 (java) S 21650 21652 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281234024 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710875866360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21665] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21665/stat : 21665 (java) S 21650 21652 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281234024 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710874813448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21666] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21666/stat : 21666 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710873761936 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21667] ppid=21650 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/21652/task/21667/stat : 21667 (java) S 21650 21652 18146 0 -1 4202560 2100 0 0 0 36 0 0 0 20 0 19 0 281234026 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710872710072 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21668] ppid=21650 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/21652/task/21668/stat : 21668 (java) S 21650 21652 18146 0 -1 4202560 2516 0 0 0 26 0 0 0 20 0 19 0 281234026 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710871657272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21669] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21669/stat : 21669 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710870604664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21670] ppid=21650 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/21652/task/21670/stat : 21670 (java) S 21650 21652 18146 0 -1 4202560 103 0 0 0 45 54 0 0 20 0 19 0 281234026 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710869552072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21672] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21672/stat : 21672 (java) S 21650 21652 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281234045 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710868497576 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1776.51 s]
/proc/loadavg: 2.22 2.07 2.02 3/213 21768
/proc/meminfo: memFree=29173372/32873844 swapFree=7900/7900
[pid=21652] ppid=21650 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/21652/stat : 21652 (java) S 21650 21652 18146 0 -1 4202496 18472 0 1 0 179757 252 0 0 20 0 19 0 281234020 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 140736071455056 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 2406251 247423 2276 9 0 2396937 0
[pid=21652/tid=21654] ppid=21650 vsize=9625004 CPUtime=1764.25 cores=1,3,5,7
/proc/21652/task/21654/stat : 21654 (java) R 21650 21652 18146 0 -1 4202560 2923 0 1 0 176391 34 0 0 20 0 19 0 281234021 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139711053036928 139710993236262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21655] ppid=21650 vsize=9625004 CPUtime=3.72 cores=1,3,5,7
/proc/21652/task/21655/stat : 21655 (java) S 21650 21652 18146 0 -1 4202560 1271 0 0 0 355 17 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710896486952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21656] ppid=21650 vsize=9625004 CPUtime=3.64 cores=1,3,5,7
/proc/21652/task/21656/stat : 21656 (java) S 21650 21652 18146 0 -1 4202560 1010 0 0 0 346 18 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710895434152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21652/tid=21657] ppid=21650 vsize=9625004 CPUtime=3.88 cores=1,3,5,7
/proc/21652/task/21657/stat : 21657 (java) S 21650 21652 18146 0 -1 4202560 1004 0 0 0 370 18 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710894381352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21658] ppid=21650 vsize=9625004 CPUtime=3.72 cores=1,3,5,7
/proc/21652/task/21658/stat : 21658 (java) S 21650 21652 18146 0 -1 4202560 860 0 0 0 350 22 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710893328552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21652/tid=21659] ppid=21650 vsize=9625004 CPUtime=3.75 cores=1,3,5,7
/proc/21652/task/21659/stat : 21659 (java) S 21650 21652 18146 0 -1 4202560 1392 0 0 0 354 21 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710892276776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21660] ppid=21650 vsize=9625004 CPUtime=3.97 cores=1,3,5,7
/proc/21652/task/21660/stat : 21660 (java) S 21650 21652 18146 0 -1 4202560 744 0 0 0 375 22 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710891223976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21652/tid=21661] ppid=21650 vsize=9625004 CPUtime=3.65 cores=1,3,5,7
/proc/21652/task/21661/stat : 21661 (java) S 21650 21652 18146 0 -1 4202560 1263 0 0 0 345 20 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710890171176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21662] ppid=21650 vsize=9625004 CPUtime=3.75 cores=1,3,5,7
/proc/21652/task/21662/stat : 21662 (java) S 21650 21652 18146 0 -1 4202560 997 0 0 0 358 17 0 0 20 0 19 0 281234022 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710889118376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21663] ppid=21650 vsize=9625004 CPUtime=3.8 cores=1,3,5,7
/proc/21652/task/21663/stat : 21663 (java) S 21650 21652 18146 0 -1 4202560 1103 0 0 0 373 7 0 0 20 0 19 0 281234023 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710876920296 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21664] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21664/stat : 21664 (java) S 21650 21652 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281234024 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710875866360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21665] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21665/stat : 21665 (java) S 21650 21652 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281234024 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710874813448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21666] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21666/stat : 21666 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710873761936 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21667] ppid=21650 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/21652/task/21667/stat : 21667 (java) S 21650 21652 18146 0 -1 4202560 2100 0 0 0 36 0 0 0 20 0 19 0 281234026 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710872710072 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21668] ppid=21650 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/21652/task/21668/stat : 21668 (java) S 21650 21652 18146 0 -1 4202560 2516 0 0 0 26 0 0 0 20 0 19 0 281234026 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710871657272 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21669] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21669/stat : 21669 (java) S 21650 21652 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281234026 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710870604664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21652/tid=21670] ppid=21650 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/21652/task/21670/stat : 21670 (java) S 21650 21652 18146 0 -1 4202560 103 0 0 0 45 54 0 0 20 0 19 0 281234026 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710869552072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21652/tid=21672] ppid=21650 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21652/task/21672/stat : 21672 (java) S 21650 21652 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281234045 9856004096 247423 33554432000 1073741824 1073778376 140736071463920 139710868497576 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21652 and gives
# childrusage.ru_utime.tv_sec=1797
# childrusage.ru_utime.tv_usec=428749
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=651596
# CPU time returned by wait4() is 1800.08
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1776.56
CPU time (s): 1800.09
CPU user time (s): 1797.57
CPU system time (s): 2.52
CPU usage (%): 101.324
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.43
system time used= 2.6516
maximum resident set size= 1003584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18513
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46520
involuntary context switches= 45805
runsolver used 6.68998 second user time and 16.2425 second system time
The end