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-3743356-1338800396/watcher-3743356-1338800396 -o /tmp/evaluation-result-3743356-1338800396/solver-3743356-1338800396 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3743356-1338800396.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.98 2.14 2.45 3/185 21360
/proc/meminfo: memFree=29272412/32873648 swapFree=7116/7116
[pid=21360] ppid=21358 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/21360/stat : 21360 (java) S 21358 21360 17860 0 -1 4202496 1200 0 0 0 0 0 0 0 20 0 2 0 346165168 94019584 912 33554432000 1073741824 1073778376 140733662138544 140733662129680 214540779581 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21360/statm: 22954 915 696 9 0 16769 0
[pid=21360/tid=21361] ppid=21358 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21361/stat : 21361 (java) D 21358 21360 17860 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 346165168 94019584 916 33554432000 1073741824 1073778376 140733662138544 139968501407272 214528257319 0 0 4096 0 18446744072100609316 0 0 -1 3 0 0 0 0 0
[startup+0.0838699 s]
/proc/loadavg: 1.98 2.14 2.45 3/185 21360
/proc/meminfo: memFree=29272412/32873648 swapFree=7116/7116
[pid=21360] ppid=21358 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/21360/stat : 21360 (java) S 21358 21360 17860 0 -1 4202496 4690 0 1 0 8 1 0 0 20 0 18 0 346165168 2712133632 6408 33554432000 1073741824 1073778376 140733662138544 140733662129680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21360/statm: 662142 6408 2109 9 0 652835 0
[pid=21360/tid=21361] ppid=21358 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/21360/task/21361/stat : 21361 (java) R 21358 21360 17860 0 -1 4202560 2739 0 1 0 6 0 0 0 20 0 18 0 346165168 2712133632 6408 33554432000 1073741824 1073778376 140733662138544 139968501399880 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.100291 s]
/proc/loadavg: 1.98 2.14 2.45 3/185 21360
/proc/meminfo: memFree=29272412/32873648 swapFree=7116/7116
[pid=21360] ppid=21358 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/21360/stat : 21360 (java) S 21358 21360 17860 0 -1 4202496 4798 0 1 0 10 1 0 0 20 0 18 0 346165168 2712133632 9071 33554432000 1073741824 1073778376 140733662138544 140733662129680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21360/statm: 662142 9071 2150 9 0 652835 0
[pid=21360/tid=21361] ppid=21358 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/21360/task/21361/stat : 21361 (java) R 21358 21360 17860 0 -1 4202560 2749 0 1 0 6 2 0 0 20 0 18 0 346165168 2712133632 9055 33554432000 1073741824 1073778376 140733662138544 139968501399880 139968370546077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2648568
[startup+0.30019 s]
/proc/loadavg: 1.98 2.14 2.45 3/185 21360
/proc/meminfo: memFree=29272412/32873648 swapFree=7116/7116
[pid=21360] ppid=21358 vsize=2648568 CPUtime=0.54 cores=1,3,5,7
/proc/21360/stat : 21360 (java) S 21358 21360 17860 0 -1 4202496 6937 0 1 0 52 2 0 0 20 0 18 0 346165168 2712133632 15573 33554432000 1073741824 1073778376 140733662138544 140733662129680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21360/statm: 662142 15573 2225 9 0 652835 0
[pid=21360/tid=21361] ppid=21358 vsize=2648568 CPUtime=0.28 cores=1,3,5,7
/proc/21360/task/21361/stat : 21361 (java) R 21358 21360 17860 0 -1 4202560 2768 0 1 0 26 2 0 0 20 0 18 0 346165168 2712133632 15573 33554432000 1073741824 1073778376 140733662138544 139968501389408 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2648568
[startup+0.700212 s]
/proc/loadavg: 1.98 2.14 2.45 3/185 21360
/proc/meminfo: memFree=29272412/32873648 swapFree=7116/7116
[pid=21360] ppid=21358 vsize=2648568 CPUtime=1.18 cores=1,3,5,7
/proc/21360/stat : 21360 (java) S 21358 21360 17860 0 -1 4202496 9931 0 1 0 112 6 0 0 20 0 18 0 346165168 2712133632 67643 33554432000 1073741824 1073778376 140733662138544 140733662129680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21360/statm: 662142 67643 2235 9 0 652835 0
[pid=21360/tid=21361] ppid=21358 vsize=2648568 CPUtime=0.68 cores=1,3,5,7
/proc/21360/task/21361/stat : 21361 (java) R 21358 21360 17860 0 -1 4202560 2866 0 1 0 63 5 0 0 20 0 18 0 346165168 2712133632 67643 33554432000 1073741824 1073778376 140733662138544 139968501389408 139968370701408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 2648568
[startup+1.50068 s]
/proc/loadavg: 1.98 2.14 2.45 3/211 21386
/proc/meminfo: memFree=28452268/32873648 swapFree=7116/7116
[pid=21360] ppid=21358 vsize=2648568 CPUtime=2.3 cores=1,3,5,7
/proc/21360/stat : 21360 (java) S 21358 21360 17860 0 -1 4202496 10175 0 1 0 215 15 0 0 20 0 18 0 346165168 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 140733662129680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21360/statm: 662142 110208 2251 9 0 652835 0
[pid=21360/tid=21361] ppid=21358 vsize=2648568 CPUtime=1.38 cores=1,3,5,7
/proc/21360/task/21361/stat : 21361 (java) R 21358 21360 17860 0 -1 4202560 2919 0 1 0 131 7 0 0 20 0 18 0 346165168 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139968501411496 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21364] ppid=21358 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/21360/task/21364/stat : 21364 (java) S 21358 21360 17860 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 18 0 346165169 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139968367602728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21365] ppid=21358 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/21360/task/21365/stat : 21365 (java) S 21358 21360 17860 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 346165169 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139968366549928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21366] ppid=21358 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/21360/task/21366/stat : 21366 (java) S 21358 21360 17860 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 18 0 346165169 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139968365497128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21367] ppid=21358 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/21360/task/21367/stat : 21367 (java) S 21358 21360 17860 0 -1 4202560 47 0 0 0 6 1 0 0 20 0 18 0 346165169 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139968364444328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21368] ppid=21358 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/21360/task/21368/stat : 21368 (java) S 21358 21360 17860 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 346165169 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139968363391528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21369] ppid=21358 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/21360/task/21369/stat : 21369 (java) S 21358 21360 17860 0 -1 4202560 27 0 0 0 4 1 0 0 20 0 18 0 346165169 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139968362338728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21370] ppid=21358 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/21360/task/21370/stat : 21370 (java) S 21358 21360 17860 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 18 0 346165169 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139968361285928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21371] ppid=21358 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/21360/task/21371/stat : 21371 (java) S 21358 21360 17860 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 18 0 346165169 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139968360233128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21374] ppid=21358 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21374/stat : 21374 (java) S 21358 21360 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346165170 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139967877581800 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21375] ppid=21358 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21375/stat : 21375 (java) S 21358 21360 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346165171 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139967876527864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21376] ppid=21358 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21376/stat : 21376 (java) S 21358 21360 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346165171 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139967875474952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21382] ppid=21358 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21382/stat : 21382 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346165173 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139967874423440 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21383] ppid=21358 vsize=2648568 CPUtime=0.25 cores=1,3,5,7
/proc/21360/task/21383/stat : 21383 (java) S 21358 21360 17860 0 -1 4202560 2926 0 0 0 25 0 0 0 20 0 18 0 346165173 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139967873370552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21384] ppid=21358 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/21360/task/21384/stat : 21384 (java) S 21358 21360 17860 0 -1 4202560 2956 0 0 0 23 0 0 0 20 0 18 0 346165173 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139967872317752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21385] ppid=21358 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21385/stat : 21385 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346165173 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139967871265144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21386] ppid=21358 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21386/stat : 21386 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346165173 2712133632 110208 33554432000 1073741824 1073778376 140733662138544 139967870212552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 2648568
[startup+3.10066 s]
/proc/loadavg: 1.98 2.14 2.45 10/211 21386
/proc/meminfo: memFree=28406344/32873648 swapFree=7116/7116
[pid=21360] ppid=21358 vsize=2648568 CPUtime=4.64 cores=1,3,5,7
/proc/21360/stat : 21360 (java) S 21358 21360 17860 0 -1 4202496 10488 0 1 0 437 27 0 0 20 0 18 0 346165168 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 140733662129680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21360/statm: 662142 134903 2251 9 0 652835 0
[pid=21360/tid=21361] ppid=21358 vsize=2648568 CPUtime=2.72 cores=1,3,5,7
/proc/21360/task/21361/stat : 21361 (java) S 21358 21360 17860 0 -1 4202560 2921 0 1 0 264 8 0 0 20 0 18 0 346165168 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139968501411000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21364] ppid=21358 vsize=2648568 CPUtime=0.14 cores=1,3,5,7
/proc/21360/task/21364/stat : 21364 (java) R 21358 21360 17860 0 -1 4202560 61 0 0 0 11 3 0 0 20 0 18 0 346165169 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139968367602856 214537374855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21365] ppid=21358 vsize=2648568 CPUtime=0.14 cores=1,3,5,7
/proc/21360/task/21365/stat : 21365 (java) R 21358 21360 17860 0 -1 4202560 62 0 0 0 11 3 0 0 20 0 18 0 346165169 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139968366550056 214537374855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21366] ppid=21358 vsize=2648568 CPUtime=0.16 cores=1,3,5,7
/proc/21360/task/21366/stat : 21366 (java) R 21358 21360 17860 0 -1 4202560 61 0 0 0 13 3 0 0 20 0 18 0 346165169 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139968365497256 214537374855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21367] ppid=21358 vsize=2648568 CPUtime=0.2 cores=1,3,5,7
/proc/21360/task/21367/stat : 21367 (java) R 21358 21360 17860 0 -1 4202560 84 0 0 0 17 3 0 0 20 0 18 0 346165169 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139968364444504 139968505169532 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21368] ppid=21358 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/21360/task/21368/stat : 21368 (java) R 21358 21360 17860 0 -1 4202560 63 0 0 0 18 3 0 0 20 0 18 0 346165169 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139968363391656 139968509457577 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21369] ppid=21358 vsize=2648568 CPUtime=0.18 cores=1,3,5,7
/proc/21360/task/21369/stat : 21369 (java) R 21358 21360 17860 0 -1 4202560 61 0 0 0 15 3 0 0 20 0 18 0 346165169 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139968362338728 214537374855 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21370] ppid=21358 vsize=2648568 CPUtime=0.16 cores=1,3,5,7
/proc/21360/task/21370/stat : 21370 (java) R 21358 21360 17860 0 -1 4202560 58 0 0 0 13 3 0 0 20 0 18 0 346165169 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139968361286056 214537374855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21371] ppid=21358 vsize=2648568 CPUtime=0.13 cores=1,3,5,7
/proc/21360/task/21371/stat : 21371 (java) R 21358 21360 17860 0 -1 4202560 55 0 0 0 11 2 0 0 20 0 18 0 346165169 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139968360233256 214537374855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21374] ppid=21358 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21374/stat : 21374 (java) S 21358 21360 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346165170 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139967877580680 214540792892 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21375] ppid=21358 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21375/stat : 21375 (java) S 21358 21360 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346165171 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139967876527864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21376] ppid=21358 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21376/stat : 21376 (java) S 21358 21360 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346165171 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139967875474952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21382] ppid=21358 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21382/stat : 21382 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346165173 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139967874423440 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21383] ppid=21358 vsize=2648568 CPUtime=0.25 cores=1,3,5,7
/proc/21360/task/21383/stat : 21383 (java) S 21358 21360 17860 0 -1 4202560 2926 0 0 0 25 0 0 0 20 0 18 0 346165173 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139967873370552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21384] ppid=21358 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/21360/task/21384/stat : 21384 (java) S 21358 21360 17860 0 -1 4202560 2956 0 0 0 23 0 0 0 20 0 18 0 346165173 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139967872317752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21385] ppid=21358 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21385/stat : 21385 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346165173 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139967871265144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21386] ppid=21358 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21386/stat : 21386 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346165173 2712133632 134903 33554432000 1073741824 1073778376 140733662138544 139967870212552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 2648568
[startup+6.30069 s]
/proc/loadavg: 1.98 2.14 2.45 7/213 21390
/proc/meminfo: memFree=28080080/32873648 swapFree=7116/7116
[pid=21360] ppid=21358 vsize=2715132 CPUtime=9.27 cores=1,3,5,7
/proc/21360/stat : 21360 (java) S 21358 21360 17860 0 -1 4202496 15626 0 1 0 893 34 0 0 20 0 19 0 346165168 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 140733662129680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21360/statm: 678783 151727 2266 9 0 669476 0
[pid=21360/tid=21361] ppid=21358 vsize=2715132 CPUtime=5.58 cores=1,3,5,7
/proc/21360/task/21361/stat : 21361 (java) R 21358 21360 17860 0 -1 4202560 2956 0 1 0 550 8 0 0 20 0 19 0 346165168 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139968501411200 139968371313198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21364] ppid=21358 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/21360/task/21364/stat : 21364 (java) S 21358 21360 17860 0 -1 4202560 277 0 0 0 24 4 0 0 20 0 19 0 346165169 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139968367602728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21365] ppid=21358 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/21360/task/21365/stat : 21365 (java) S 21358 21360 17860 0 -1 4202560 73 0 0 0 21 3 0 0 20 0 19 0 346165169 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139968366549928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21366] ppid=21358 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/21360/task/21366/stat : 21366 (java) S 21358 21360 17860 0 -1 4202560 74 0 0 0 25 3 0 0 20 0 19 0 346165169 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139968365497128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21367] ppid=21358 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/21360/task/21367/stat : 21367 (java) S 21358 21360 17860 0 -1 4202560 186 0 0 0 38 4 0 0 20 0 19 0 346165169 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139968364444328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21368] ppid=21358 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/21360/task/21368/stat : 21368 (java) S 21358 21360 17860 0 -1 4202560 72 0 0 0 29 3 0 0 20 0 19 0 346165169 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139968363391528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21369] ppid=21358 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/21360/task/21369/stat : 21369 (java) S 21358 21360 17860 0 -1 4202560 91 0 0 0 35 4 0 0 20 0 19 0 346165169 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139968362338728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21370] ppid=21358 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/21360/task/21370/stat : 21370 (java) S 21358 21360 17860 0 -1 4202560 73 0 0 0 27 3 0 0 20 0 19 0 346165169 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139968361285928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21371] ppid=21358 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/21360/task/21371/stat : 21371 (java) S 21358 21360 17860 0 -1 4202560 74 0 0 0 24 3 0 0 20 0 19 0 346165169 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139968360233128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21374] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21374/stat : 21374 (java) S 21358 21360 17860 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346165170 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139967877581800 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21375] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21375/stat : 21375 (java) S 21358 21360 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346165171 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139967876527864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21376] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21376/stat : 21376 (java) S 21358 21360 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346165171 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139967875474952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21382] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21382/stat : 21382 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346165173 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139967874423440 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21383] ppid=21358 vsize=2715132 CPUtime=0.6 cores=1,3,5,7
/proc/21360/task/21383/stat : 21383 (java) S 21358 21360 17860 0 -1 4202560 7568 0 0 0 58 2 0 0 20 0 19 0 346165173 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139967873370552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21384] ppid=21358 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/21360/task/21384/stat : 21384 (java) S 21358 21360 17860 0 -1 4202560 2992 0 0 0 46 0 0 0 20 0 19 0 346165173 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139967872317752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21385] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21385/stat : 21385 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346165173 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139967871265144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21386] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21386/stat : 21386 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346165173 2780295168 151727 33554432000 1073741824 1073778376 140733662138544 139967870212552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=21360/tid=21369] ppid=21358 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/21360/task/21369/stat : 21369 (java) S 21358 21360 17860 0 -1 4202560 91 0 0 0 35 4 0 0 20 0 19 0 346165169 2780295168 151667 33554432000 1073741824 1073778376 140733662138544 139968362338728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21370] ppid=21358 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/21360/task/21370/stat : 21370 (java) S 21358 21360 17860 0 -1 4202560 73 0 0 0 27 3 0 0 20 0 19 0 346165169 2780295168 151667 33554432000 1073741824 1073778376 140733662138544 139968361285928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21371] ppid=21358 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/21360/task/21371/stat : 21371 (java) S 21358 21360 17860 0 -1 4202560 74 0 0 0 24 3 0 0 20 0 19 0 346165169 2780295168 151667 33554432000 1073741824 1073778376 140733662138544 139968360233128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21374] ppid=21358 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/21360/task/21374/stat : 21374 (java) S 21358 21360 17860 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 346165170 2780295168 151667 33554432000 1073741824 1073778376 140733662138544 139967877581800 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21375] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21375/stat : 21375 (java) S 21358 21360 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346165171 2780295168 151667 33554432000 1073741824 1073778376 140733662138544 139967876527864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21376] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21376/stat : 21376 (java) S 21358 21360 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346165171 2780295168 151667 33554432000 1073741824 1073778376 140733662138544 139967875474952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21382] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21382/stat : 21382 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346165173 2780295168 151667 33554432000 1073741824 1073778376 140733662138544 139967874423440 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21383] ppid=21358 vsize=2715132 CPUtime=0.72 cores=1,3,5,7
/proc/21360/task/21383/stat : 21383 (java) S 21358 21360 17860 0 -1 4202560 7576 0 0 0 70 2 0 0 20 0 19 0 346165173 2780295168 151667 33554432000 1073741824 1073778376 140733662138544 139967873370552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21384] ppid=21358 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/21360/task/21384/stat : 21384 (java) S 21358 21360 17860 0 -1 4202560 3003 0 0 0 59 0 0 0 20 0 19 0 346165173 2780295168 151667 33554432000 1073741824 1073778376 140733662138544 139967872317752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21385] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21385/stat : 21385 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346165173 2780295168 151667 33554432000 1073741824 1073778376 140733662138544 139967871265144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21386] ppid=21358 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/21360/task/21386/stat : 21386 (java) S 21358 21360 17860 0 -1 4202560 95 0 0 0 19 19 0 0 20 0 19 0 346165173 2780295168 151667 33554432000 1073741824 1073778376 140733662138544 139967870212552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21390] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21390/stat : 21390 (java) S 21358 21360 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346165702 2780295168 151667 33554432000 1073741824 1073778376 140733662138544 139967869159080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1665.7
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/213 21426
/proc/meminfo: memFree=28032192/32873648 swapFree=7116/7116
[pid=21360] ppid=21358 vsize=2715132 CPUtime=1725.71 cores=1,3,5,7
/proc/21360/stat : 21360 (java) S 21358 21360 17860 0 -1 4202496 15758 0 1 0 172516 55 0 0 20 0 19 0 346165168 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 140733662129680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21360/statm: 678783 152154 2270 9 0 669476 0
[pid=21360/tid=21361] ppid=21358 vsize=2715132 CPUtime=1721.68 cores=1,3,5,7
/proc/21360/task/21361/stat : 21361 (java) R 21358 21360 17860 0 -1 4202560 2966 0 1 0 172134 34 0 0 20 0 19 0 346165168 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139968501410208 139968371304848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21364] ppid=21358 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/21360/task/21364/stat : 21364 (java) S 21358 21360 17860 0 -1 4202560 277 0 0 0 24 4 0 0 20 0 19 0 346165169 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139968367602728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21365] ppid=21358 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/21360/task/21365/stat : 21365 (java) S 21358 21360 17860 0 -1 4202560 73 0 0 0 21 3 0 0 20 0 19 0 346165169 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139968366549928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21366] ppid=21358 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/21360/task/21366/stat : 21366 (java) S 21358 21360 17860 0 -1 4202560 74 0 0 0 25 3 0 0 20 0 19 0 346165169 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139968365497128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21367] ppid=21358 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/21360/task/21367/stat : 21367 (java) S 21358 21360 17860 0 -1 4202560 186 0 0 0 38 4 0 0 20 0 19 0 346165169 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139968364444328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21368] ppid=21358 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/21360/task/21368/stat : 21368 (java) S 21358 21360 17860 0 -1 4202560 72 0 0 0 29 3 0 0 20 0 19 0 346165169 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139968363391528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21369] ppid=21358 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/21360/task/21369/stat : 21369 (java) S 21358 21360 17860 0 -1 4202560 91 0 0 0 35 4 0 0 20 0 19 0 346165169 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139968362338728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21370] ppid=21358 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/21360/task/21370/stat : 21370 (java) S 21358 21360 17860 0 -1 4202560 73 0 0 0 27 3 0 0 20 0 19 0 346165169 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139968361285928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21371] ppid=21358 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/21360/task/21371/stat : 21371 (java) S 21358 21360 17860 0 -1 4202560 74 0 0 0 24 3 0 0 20 0 19 0 346165169 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139968360233128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21374] ppid=21358 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/21360/task/21374/stat : 21374 (java) S 21358 21360 17860 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 346165170 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139967877581800 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21375] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21375/stat : 21375 (java) S 21358 21360 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346165171 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139967876527864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21376] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21376/stat : 21376 (java) S 21358 21360 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346165171 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139967875474952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21382] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21382/stat : 21382 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346165173 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139967874423440 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21383] ppid=21358 vsize=2715132 CPUtime=0.72 cores=1,3,5,7
/proc/21360/task/21383/stat : 21383 (java) S 21358 21360 17860 0 -1 4202560 7576 0 0 0 70 2 0 0 20 0 19 0 346165173 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139967873370552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21384] ppid=21358 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/21360/task/21384/stat : 21384 (java) S 21358 21360 17860 0 -1 4202560 3003 0 0 0 59 0 0 0 20 0 19 0 346165173 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139967872317752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21385] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21385/stat : 21385 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346165173 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139967871265144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21386] ppid=21358 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/21360/task/21386/stat : 21386 (java) S 21358 21360 17860 0 -1 4202560 99 0 0 0 20 19 0 0 20 0 19 0 346165173 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139967870212552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21390] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21390/stat : 21390 (java) S 21358 21360 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346165702 2780295168 152154 33554432000 1073741824 1073778376 140733662138544 139967869159080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1725.71
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/213 21427
/proc/meminfo: memFree=28028408/32873648 swapFree=7116/7116
[pid=21360] ppid=21358 vsize=2715132 CPUtime=1785.7 cores=1,3,5,7
/proc/21360/stat : 21360 (java) S 21358 21360 17860 0 -1 4202496 15763 0 1 0 178515 55 0 0 20 0 19 0 346165168 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 140733662129680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21360/statm: 678783 153080 2270 9 0 669476 0
[pid=21360/tid=21361] ppid=21358 vsize=2715132 CPUtime=1781.69 cores=1,3,5,7
/proc/21360/task/21361/stat : 21361 (java) R 21358 21360 17860 0 -1 4202560 2967 0 1 0 178134 35 0 0 20 0 19 0 346165168 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968501410208 139968371304908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21364] ppid=21358 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/21360/task/21364/stat : 21364 (java) S 21358 21360 17860 0 -1 4202560 277 0 0 0 24 4 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968367602728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21365] ppid=21358 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/21360/task/21365/stat : 21365 (java) S 21358 21360 17860 0 -1 4202560 73 0 0 0 21 3 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968366549928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21366] ppid=21358 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/21360/task/21366/stat : 21366 (java) S 21358 21360 17860 0 -1 4202560 74 0 0 0 25 3 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968365497128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21367] ppid=21358 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/21360/task/21367/stat : 21367 (java) S 21358 21360 17860 0 -1 4202560 186 0 0 0 38 4 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968364444328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21368] ppid=21358 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/21360/task/21368/stat : 21368 (java) S 21358 21360 17860 0 -1 4202560 72 0 0 0 29 3 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968363391528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21369] ppid=21358 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/21360/task/21369/stat : 21369 (java) S 21358 21360 17860 0 -1 4202560 91 0 0 0 35 4 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968362338728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21370] ppid=21358 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/21360/task/21370/stat : 21370 (java) S 21358 21360 17860 0 -1 4202560 73 0 0 0 27 3 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968361285928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21371] ppid=21358 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/21360/task/21371/stat : 21371 (java) S 21358 21360 17860 0 -1 4202560 74 0 0 0 24 3 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968360233128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21374] ppid=21358 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/21360/task/21374/stat : 21374 (java) S 21358 21360 17860 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 346165170 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967877581800 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21375] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21375/stat : 21375 (java) S 21358 21360 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346165171 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967876527864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21376] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21376/stat : 21376 (java) S 21358 21360 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346165171 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967875474952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21382] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21382/stat : 21382 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346165173 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967874423440 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21383] ppid=21358 vsize=2715132 CPUtime=0.72 cores=1,3,5,7
/proc/21360/task/21383/stat : 21383 (java) S 21358 21360 17860 0 -1 4202560 7576 0 0 0 70 2 0 0 20 0 19 0 346165173 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967873370552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21384] ppid=21358 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/21360/task/21384/stat : 21384 (java) S 21358 21360 17860 0 -1 4202560 3003 0 0 0 59 0 0 0 20 0 19 0 346165173 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967872317752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21385] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21385/stat : 21385 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346165173 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967871265144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21386] ppid=21358 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/21360/task/21386/stat : 21386 (java) S 21358 21360 17860 0 -1 4202560 103 0 0 0 20 19 0 0 20 0 19 0 346165173 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967870212552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21390] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21390/stat : 21390 (java) S 21358 21360 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346165702 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967869159080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1785.7
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 2.00 2.01 2.06 2/193 21430
/proc/meminfo: memFree=28669360/32873648 swapFree=7116/7116
[pid=21360] ppid=21358 vsize=2715132 CPUtime=1800.01 cores=1,3,5,7
/proc/21360/stat : 21360 (java) S 21358 21360 17860 0 -1 4202496 15763 0 1 0 179946 55 0 0 20 0 19 0 346165168 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 140733662129680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21360/statm: 678783 153080 2270 9 0 669476 0
[pid=21360/tid=21361] ppid=21358 vsize=2715132 CPUtime=1795.99 cores=1,3,5,7
/proc/21360/task/21361/stat : 21361 (java) R 21358 21360 17860 0 -1 4202560 2967 0 1 0 179564 35 0 0 20 0 19 0 346165168 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968501410208 139968371387844 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21364] ppid=21358 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/21360/task/21364/stat : 21364 (java) S 21358 21360 17860 0 -1 4202560 277 0 0 0 24 4 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968367602728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21365] ppid=21358 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/21360/task/21365/stat : 21365 (java) S 21358 21360 17860 0 -1 4202560 73 0 0 0 21 3 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968366549928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21366] ppid=21358 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/21360/task/21366/stat : 21366 (java) S 21358 21360 17860 0 -1 4202560 74 0 0 0 25 3 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968365497128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21367] ppid=21358 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/21360/task/21367/stat : 21367 (java) S 21358 21360 17860 0 -1 4202560 186 0 0 0 38 4 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968364444328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21368] ppid=21358 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/21360/task/21368/stat : 21368 (java) S 21358 21360 17860 0 -1 4202560 72 0 0 0 29 3 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968363391528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21369] ppid=21358 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/21360/task/21369/stat : 21369 (java) S 21358 21360 17860 0 -1 4202560 91 0 0 0 35 4 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968362338728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21370] ppid=21358 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/21360/task/21370/stat : 21370 (java) S 21358 21360 17860 0 -1 4202560 73 0 0 0 27 3 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968361285928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21371] ppid=21358 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/21360/task/21371/stat : 21371 (java) S 21358 21360 17860 0 -1 4202560 74 0 0 0 24 3 0 0 20 0 19 0 346165169 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139968360233128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21360/tid=21374] ppid=21358 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/21360/task/21374/stat : 21374 (java) S 21358 21360 17860 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 346165170 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967877581800 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21375] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21375/stat : 21375 (java) S 21358 21360 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346165171 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967876527864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21376] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21376/stat : 21376 (java) S 21358 21360 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346165171 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967875474952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21382] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21382/stat : 21382 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346165173 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967874423440 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21383] ppid=21358 vsize=2715132 CPUtime=0.72 cores=1,3,5,7
/proc/21360/task/21383/stat : 21383 (java) S 21358 21360 17860 0 -1 4202560 7576 0 0 0 70 2 0 0 20 0 19 0 346165173 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967873370552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21384] ppid=21358 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/21360/task/21384/stat : 21384 (java) S 21358 21360 17860 0 -1 4202560 3003 0 0 0 59 0 0 0 20 0 19 0 346165173 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967872317752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21360/tid=21385] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21385/stat : 21385 (java) S 21358 21360 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346165173 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967871265144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21360/tid=21386] ppid=21358 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/21360/task/21386/stat : 21386 (java) S 21358 21360 17860 0 -1 4202560 103 0 0 0 20 20 0 0 20 0 19 0 346165173 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967870212552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21360/tid=21390] ppid=21358 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/21360/task/21390/stat : 21390 (java) S 21358 21360 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346165702 2780295168 153080 33554432000 1073741824 1073778376 140733662138544 139967869159080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.65
CPU time (s): 1800.54
CPU user time (s): 1799.56
CPU system time (s): 0.98185
CPU usage (%): 100.217
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.98185
maximum resident set size= 612484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15808
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38913
involuntary context switches= 3828
runsolver used 5.68114 second user time and 14.1728 second system time
The end