runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4081616-1465268797/watcher-4081616-1465268797 -o /tmp/evaluation-result-4081616-1465268797/solver-4081616-1465268797 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465253566-15535 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081616-1465268797.opb
pid=22589
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: 4.13 4.20 4.18 4/197 22592
/proc/meminfo: memFree=26749008/32872528 swapFree=15784/1434320
[pid=22592] ppid=22589 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22592/stat : 22592 (java) D 22589 22592 15518 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 108813012 9515008 182 33554432000 1073741824 1073778376 140734504819680 140734504810712 214369648309 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/22592/statm: 2323 182 140 9 0 71 0
[startup+0.100122 s]
/proc/loadavg: 4.13 4.20 4.18 4/197 22592
/proc/meminfo: memFree=26749008/32872528 swapFree=15784/1434320
[pid=22592] ppid=22589 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/22592/stat : 22592 (java) S 22589 22592 15518 0 -1 4202496 4366 0 1 0 8 1 0 0 20 0 18 0 108813012 9787879424 5492 33554432000 1073741824 1073778376 140735036138992 140735036130128 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22592/statm: 2389619 5492 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200279 s]
/proc/loadavg: 4.13 4.20 4.18 4/197 22592
/proc/meminfo: memFree=26749008/32872528 swapFree=15784/1434320
[pid=22592] ppid=22589 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/22592/stat : 22592 (java) S 22589 22592 15518 0 -1 4202496 4986 0 1 0 25 1 0 0 20 0 18 0 108813012 9787879424 9560 33554432000 1073741824 1073778376 140735036138992 140735036130128 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22592/statm: 2389619 9560 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.30029 s]
/proc/loadavg: 4.13 4.20 4.18 4/197 22592
/proc/meminfo: memFree=26749008/32872528 swapFree=15784/1434320
[pid=22592] ppid=22589 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/22592/stat : 22592 (java) S 22589 22592 15518 0 -1 4202496 5725 0 1 0 43 2 0 0 20 0 18 0 108813012 9787879424 14505 33554432000 1073741824 1073778376 140735036138992 140735036130128 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22592/statm: 2389619 14505 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476
[startup+0.700266 s]
/proc/loadavg: 4.13 4.20 4.18 4/197 22592
/proc/meminfo: memFree=26749008/32872528 swapFree=15784/1434320
[pid=22592] ppid=22589 vsize=9558476 CPUtime=1.03 cores=1,3,5,7
/proc/22592/stat : 22592 (java) S 22589 22592 15518 0 -1 4202496 6291 0 1 0 95 8 0 0 20 0 18 0 108813012 9787879424 52837 33554432000 1073741824 1073778376 140735036138992 140735036130128 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22592/statm: 2389619 52837 2248 9 0 2380296 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9558476
[startup+1.50085 s]
/proc/loadavg: 4.13 4.20 4.18 10/215 22610
/proc/meminfo: memFree=26128316/32872528 swapFree=15784/1434320
[pid=22592] ppid=22589 vsize=9558476 CPUtime=2.19 cores=1,3,5,7
/proc/22592/stat : 22592 (java) S 22589 22592 15518 0 -1 4202496 8563 0 1 0 190 29 0 0 20 0 18 0 108813012 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 140735036130128 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22592/statm: 2389619 280760 2253 9 0 2380296 0
[pid=22592/tid=22594] ppid=22589 vsize=9558476 CPUtime=1.29 cores=1,3,5,7
/proc/22592/task/22594/stat : 22594 (java) R 22589 22592 15518 0 -1 4202560 3505 0 1 0 112 17 0 0 20 0 18 0 108813013 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139921278335096 139921286102113 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22595] ppid=22589 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/22592/task/22595/stat : 22595 (java) S 22589 22592 15518 0 -1 4202560 62 0 0 0 5 1 0 0 20 0 18 0 108813014 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139921250790440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22596] ppid=22589 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/22592/task/22596/stat : 22596 (java) S 22589 22592 15518 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 18 0 108813014 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139921249737640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22597] ppid=22589 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/22592/task/22597/stat : 22597 (java) S 22589 22592 15518 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 18 0 108813014 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139921248684840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22598] ppid=22589 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/22592/task/22598/stat : 22598 (java) S 22589 22592 15518 0 -1 4202560 190 0 0 0 7 3 0 0 20 0 18 0 108813014 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139921247632040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22599] ppid=22589 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/22592/task/22599/stat : 22599 (java) S 22589 22592 15518 0 -1 4202560 43 0 0 0 4 1 0 0 20 0 18 0 108813014 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139921246579240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22600] ppid=22589 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/22592/task/22600/stat : 22600 (java) S 22589 22592 15518 0 -1 4202560 182 0 0 0 7 3 0 0 20 0 18 0 108813014 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139921245526440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22601] ppid=22589 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/22592/task/22601/stat : 22601 (java) S 22589 22592 15518 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 108813014 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139921244473640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22602] ppid=22589 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/22592/task/22602/stat : 22602 (java) S 22589 22592 15518 0 -1 4202560 117 0 0 0 4 0 0 0 20 0 18 0 108813014 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139921114835112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22603] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22603/stat : 22603 (java) S 22589 22592 15518 0 -1 4202560 961 0 0 0 0 0 0 0 20 0 18 0 108813015 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139920631888872 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22604] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22604/stat : 22604 (java) S 22589 22592 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108813016 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139920630834936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22605] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22605/stat : 22605 (java) S 22589 22592 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108813016 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139920629782024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22606] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22606/stat : 22606 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108813019 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139920628730512 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22607] ppid=22589 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/22592/task/22607/stat : 22607 (java) S 22589 22592 15518 0 -1 4202560 1053 0 0 0 15 0 0 0 20 0 18 0 108813019 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139920627677624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22608] ppid=22589 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/22592/task/22608/stat : 22608 (java) S 22589 22592 15518 0 -1 4202560 1120 0 0 0 13 0 0 0 20 0 18 0 108813019 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139920626624824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22609] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22609/stat : 22609 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108813019 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139920625572216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22610] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22610/stat : 22610 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108813019 9787879424 280760 33554432000 1073741824 1073778376 140735036138992 139920624519624 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9558476
[startup+3.10084 s]
/proc/loadavg: 4.13 4.20 4.18 4/215 22610
/proc/meminfo: memFree=24606412/32872528 swapFree=15784/1434320
[pid=22592] ppid=22589 vsize=9558476 CPUtime=4.1 cores=1,3,5,7
/proc/22592/stat : 22592 (java) S 22589 22592 15518 0 -1 4202496 10559 0 1 0 355 55 0 0 20 0 18 0 108813012 9787879424 682303 33554432000 1073741824 1073778376 140735036138992 140735036130128 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22592/statm: 2389619 682303 2253 9 0 2380296 0
[pid=22592/tid=22594] ppid=22589 vsize=9558476 CPUtime=2.77 cores=1,3,5,7
/proc/22592/task/22594/stat : 22594 (java) R 22589 22592 15518 0 -1 4202560 4266 0 1 0 239 38 0 0 20 0 18 0 108813013 9787879424 682303 33554432000 1073741824 1073778376 140735036138992 139921278328752 139921286102103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22595] ppid=22589 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/22592/task/22595/stat : 22595 (java) S 22589 22592 15518 0 -1 4202560 234 0 0 0 7 2 0 0 20 0 18 0 108813014 9787879424 682303 33554432000 1073741824 1073778376 140735036138992 139921250790440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22596] ppid=22589 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/22592/task/22596/stat : 22596 (java) S 22589 22592 15518 0 -1 4202560 123 0 0 0 10 2 0 0 20 0 18 0 108813014 9787879424 682303 33554432000 1073741824 1073778376 140735036138992 139921249737640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22597] ppid=22589 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/22592/task/22597/stat : 22597 (java) S 22589 22592 15518 0 -1 4202560 232 0 0 0 10 2 0 0 20 0 18 0 108813014 9787879424 682303 33554432000 1073741824 1073778376 140735036138992 139921248684840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22598] ppid=22589 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/22592/task/22598/stat : 22598 (java) S 22589 22592 15518 0 -1 4202560 414 0 0 0 11 3 0 0 20 0 18 0 108813014 9787879424 682303 33554432000 1073741824 1073778376 140735036138992 139921247632040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22599] ppid=22589 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/22592/task/22599/stat : 22599 (java) S 22589 22592 15518 0 -1 4202560 49 0 0 0 7 2 0 0 20 0 18 0 108813014 9787879424 682303 33554432000 1073741824 1073778376 140735036138992 139921246579240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22600] ppid=22589 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/22592/task/22600/stat : 22600 (java) S 22589 22592 15518 0 -1 4202560 187 0 0 0 10 3 0 0 20 0 18 0 108813014 9787879424 682303 33554432000 1073741824 1073778376 140735036138992 139921245526440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22601] ppid=22589 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/22592/task/22601/stat : 22601 (java) S 22589 22592 15518 0 -1 4202560 27 0 0 0 6 1 0 0 20 0 18 0 108813014 9787879424 682303 33554432000 1073741824 1073778376 140735036138992 139921244473640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22602] ppid=22589 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/22592/task/22602/stat : 22602 (java) S 22589 22592 15518 0 -1 4202560 341 0 0 0 12 2 0 0 20 0 18 0 108813014 9787879424 682303 33554432000 1073741824 1073778376 140735036138992 139921114835112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22603] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22603/stat : 22603 (java) S 22589 22592 15518 0 -1 4202560 1262 0 0 0 0 0 0 0 20 0 18 0 108813015 9787879424 682303 33554432000 1073741824 1073778376 140735036138992 139920631888872 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22604] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22604/stat : 22604 (java) S 22589 22592 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108813016 9787879424 682303 33554432000 1073741824 1073778376 140735036138992 139920630834936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22605] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22605/stat : 22605 (java) S 22589 22592 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108813016 9787879424 682815 33554432000 1073741824 1073778376 140735036138992 139920629782024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22606] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22606/stat : 22606 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108813019 9787879424 682815 33554432000 1073741824 1073778376 140735036138992 139920628730512 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22607] ppid=22589 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/22592/task/22607/stat : 22607 (java) S 22589 22592 15518 0 -1 4202560 1053 0 0 0 15 0 0 0 20 0 18 0 108813019 9787879424 682815 33554432000 1073741824 1073778376 140735036138992 139920627677624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22608] ppid=22589 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/22592/task/22608/stat : 22608 (java) S 22589 22592 15518 0 -1 4202560 1120 0 0 0 13 0 0 0 20 0 18 0 108813019 9787879424 682815 33554432000 1073741824 1073778376 140735036138992 139920626624824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22609] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22609/stat : 22609 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108813019 9787879424 682815 33554432000 1073741824 1073778376 140735036138992 139920625572216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22610] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22610/stat : 22610 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108813019 9787879424 682815 33554432000 1073741824 1073778376 140735036138992 139920624519624 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9558476
[startup+6.30077 s]
/proc/loadavg: 4.04 4.18 4.17 4/215 22610
/proc/meminfo: memFree=23921348/32872528 swapFree=15784/1434320
[pid=22592] ppid=22589 vsize=9558476 CPUtime=8.06 cores=1,3,5,7
/proc/22592/stat : 22592 (java) S 22589 22592 15518 0 -1 4202496 11787 0 1 0 744 62 0 0 20 0 18 0 108813012 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 140735036130128 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22592/statm: 2389619 708869 2263 9 0 2380296 0
[pid=22592/tid=22594] ppid=22589 vsize=9558476 CPUtime=5.72 cores=1,3,5,7
/proc/22592/task/22594/stat : 22594 (java) R 22589 22592 15518 0 -1 4202560 4291 0 1 0 533 39 0 0 20 0 18 0 108813013 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139921278328752 139921286102106 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22595] ppid=22589 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/22592/task/22595/stat : 22595 (java) S 22589 22592 15518 0 -1 4202560 336 0 0 0 20 3 0 0 20 0 18 0 108813014 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139921250790440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22596] ppid=22589 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/22592/task/22596/stat : 22596 (java) S 22589 22592 15518 0 -1 4202560 243 0 0 0 22 3 0 0 20 0 18 0 108813014 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139921249737640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22597] ppid=22589 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/22592/task/22597/stat : 22597 (java) S 22589 22592 15518 0 -1 4202560 243 0 0 0 20 2 0 0 20 0 18 0 108813014 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139921248684840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22598] ppid=22589 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/22592/task/22598/stat : 22598 (java) S 22589 22592 15518 0 -1 4202560 455 0 0 0 22 4 0 0 20 0 18 0 108813014 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139921247632040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22599] ppid=22589 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/22592/task/22599/stat : 22599 (java) S 22589 22592 15518 0 -1 4202560 316 0 0 0 19 3 0 0 20 0 18 0 108813014 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139921246579240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22600] ppid=22589 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/22592/task/22600/stat : 22600 (java) S 22589 22592 15518 0 -1 4202560 445 0 0 0 20 4 0 0 20 0 18 0 108813014 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139921245526440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22601] ppid=22589 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/22592/task/22601/stat : 22601 (java) S 22589 22592 15518 0 -1 4202560 169 0 0 0 14 2 0 0 20 0 18 0 108813014 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139921244473640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22602] ppid=22589 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/22592/task/22602/stat : 22602 (java) S 22589 22592 15518 0 -1 4202560 373 0 0 0 24 3 0 0 20 0 18 0 108813014 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139921114835112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22603] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22603/stat : 22603 (java) S 22589 22592 15518 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 18 0 108813015 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139920631888872 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22604] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22604/stat : 22604 (java) S 22589 22592 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108813016 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139920630834936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22605] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22605/stat : 22605 (java) S 22589 22592 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108813016 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139920629782024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22606] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22606/stat : 22606 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108813019 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139920628730512 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22607] ppid=22589 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/22592/task/22607/stat : 22607 (java) S 22589 22592 15518 0 -1 4202560 1053 0 0 0 19 0 0 0 20 0 18 0 108813019 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139920627677624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22608] ppid=22589 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/22592/task/22608/stat : 22608 (java) S 22589 22592 15518 0 -1 4202560 1349 0 0 0 17 0 0 0 20 0 18 0 108813019 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139920626624824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22609] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22609/stat : 22609 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108813019 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139920625572216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22610] ppid=22589 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22610/stat : 22610 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108813019 9787879424 708869 33554432000 1073741824 1073778376 140735036138992 139920624519624 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.06
Current children cumulated vsize (KiB) 9558476
[startup+12.7009 s]
/proc/loadavg: 3.95 4.16 4.16 4/215 22610
/proc/meminfo: memFree=23860432/32872528 swapFree=15784/1434320
[pid=22592] ppid=22589 vsize=9558476 CPUtime=15.31 cores=1,3,5,7
/proc/22592/stat : 22592 (java) S 22589 22592 15518 0 -1 4202496 12710 0 1 0 1462 69 0 0 20 0 18 0 108813012 9787879424 724046 33554432000 1073741824 1073778376 140735036138992 140735036130128 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22592/statm: 2389619 724046 2263 9 0 2380296 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.18 4.19 4.18 5/220 22706
/proc/meminfo: memFree=23546988/32872528 swapFree=15784/1434320
[pid=22592] ppid=22589 vsize=9824732 CPUtime=1630.03 cores=1,3,5,7
/proc/22592/stat : 22592 (java) S 22589 22592 15518 0 -1 4202496 24070 0 1 0 162902 101 0 0 20 0 22 0 108813012 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 140735036130128 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22592/statm: 2456183 765557 2292 9 0 2446860 0
[pid=22592/tid=22594] ppid=22589 vsize=9824732 CPUtime=18.36 cores=1,3,5,7
/proc/22592/task/22594/stat : 22594 (java) S 22589 22592 15518 0 -1 4202560 4330 0 1 0 1795 41 0 0 20 0 22 0 108813013 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921278337912 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22595] ppid=22589 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/22592/task/22595/stat : 22595 (java) S 22589 22592 15518 0 -1 4202560 479 0 0 0 53 7 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921250790440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22596] ppid=22589 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/22592/task/22596/stat : 22596 (java) S 22589 22592 15518 0 -1 4202560 348 0 0 0 49 5 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921249737640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22597] ppid=22589 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/22592/task/22597/stat : 22597 (java) S 22589 22592 15518 0 -1 4202560 358 0 0 0 48 5 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921248684840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22598] ppid=22589 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/22592/task/22598/stat : 22598 (java) S 22589 22592 15518 0 -1 4202560 543 0 0 0 47 6 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921247632040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22599] ppid=22589 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/22592/task/22599/stat : 22599 (java) S 22589 22592 15518 0 -1 4202560 382 0 0 0 43 6 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921246579240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22600] ppid=22589 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/22592/task/22600/stat : 22600 (java) S 22589 22592 15518 0 -1 4202560 492 0 0 0 47 8 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921245526440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22601] ppid=22589 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/22592/task/22601/stat : 22601 (java) S 22589 22592 15518 0 -1 4202560 395 0 0 0 36 4 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921244473640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22602] ppid=22589 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/22592/task/22602/stat : 22602 (java) S 22589 22592 15518 0 -1 4202560 433 0 0 0 53 5 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921114835112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22603] ppid=22589 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/22592/task/22603/stat : 22603 (java) S 22589 22592 15518 0 -1 4202560 1279 0 0 0 0 2 0 0 20 0 22 0 108813015 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920631888872 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22604] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22604/stat : 22604 (java) S 22589 22592 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108813016 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920630834936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22605] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22605/stat : 22605 (java) S 22589 22592 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108813016 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920629782024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22606] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22606/stat : 22606 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920628730512 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22607] ppid=22589 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/22592/task/22607/stat : 22607 (java) S 22589 22592 15518 0 -1 4202560 4883 0 0 0 108 0 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920627677624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22608] ppid=22589 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/22592/task/22608/stat : 22608 (java) S 22589 22592 15518 0 -1 4202560 8775 0 0 0 113 4 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920626624824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22609] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22609/stat : 22609 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920625572216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22610] ppid=22589 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/22592/task/22610/stat : 22610 (java) S 22589 22592 15518 0 -1 4202560 48 0 0 0 8 8 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920624519624 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22611] ppid=22589 vsize=9824732 CPUtime=802.45 cores=1,3,5,7
/proc/22592/task/22611/stat : 22611 (java) R 22589 22592 15518 0 -1 4202560 36 0 0 0 80233 12 0 0 20 0 22 0 108814958 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920623456800 139921126820279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22612] ppid=22589 vsize=9824732 CPUtime=802.62 cores=1,3,5,7
/proc/22592/task/22612/stat : 22612 (java) R 22589 22592 15518 0 -1 4202560 25 0 0 0 80247 15 0 0 20 0 22 0 108814958 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920622412376 139921127072396 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22613] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22613/stat : 22613 (java) S 22589 22592 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108814975 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920621360552 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22614] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22614/stat : 22614 (java) S 22589 22592 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108814975 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920620307752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1630.03
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.12 4.16 4.17 6/219 22707
/proc/meminfo: memFree=23547000/32872528 swapFree=15784/1434320
[pid=22592] ppid=22589 vsize=9824732 CPUtime=1750.03 cores=1,3,5,7
/proc/22592/stat : 22592 (java) S 22589 22592 15518 0 -1 4202496 24074 0 1 0 174902 101 0 0 20 0 22 0 108813012 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 140735036130128 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22592/statm: 2456183 765557 2292 9 0 2446860 0
[pid=22592/tid=22594] ppid=22589 vsize=9824732 CPUtime=18.36 cores=1,3,5,7
/proc/22592/task/22594/stat : 22594 (java) S 22589 22592 15518 0 -1 4202560 4330 0 1 0 1795 41 0 0 20 0 22 0 108813013 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921278337912 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22595] ppid=22589 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/22592/task/22595/stat : 22595 (java) S 22589 22592 15518 0 -1 4202560 479 0 0 0 53 7 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921250790440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22596] ppid=22589 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/22592/task/22596/stat : 22596 (java) S 22589 22592 15518 0 -1 4202560 348 0 0 0 49 5 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921249737640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22597] ppid=22589 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/22592/task/22597/stat : 22597 (java) S 22589 22592 15518 0 -1 4202560 358 0 0 0 48 5 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921248684840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22598] ppid=22589 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/22592/task/22598/stat : 22598 (java) S 22589 22592 15518 0 -1 4202560 543 0 0 0 47 6 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921247632040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22599] ppid=22589 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/22592/task/22599/stat : 22599 (java) S 22589 22592 15518 0 -1 4202560 382 0 0 0 43 6 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921246579240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22600] ppid=22589 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/22592/task/22600/stat : 22600 (java) S 22589 22592 15518 0 -1 4202560 492 0 0 0 47 8 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921245526440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22601] ppid=22589 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/22592/task/22601/stat : 22601 (java) S 22589 22592 15518 0 -1 4202560 395 0 0 0 36 4 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921244473640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22602] ppid=22589 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/22592/task/22602/stat : 22602 (java) S 22589 22592 15518 0 -1 4202560 433 0 0 0 53 5 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921114835112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22603] ppid=22589 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/22592/task/22603/stat : 22603 (java) S 22589 22592 15518 0 -1 4202560 1279 0 0 0 0 2 0 0 20 0 22 0 108813015 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920631888872 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22604] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22604/stat : 22604 (java) S 22589 22592 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108813016 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920630834936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22605] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22605/stat : 22605 (java) S 22589 22592 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108813016 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920629782024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22606] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22606/stat : 22606 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920628730512 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22607] ppid=22589 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/22592/task/22607/stat : 22607 (java) S 22589 22592 15518 0 -1 4202560 4883 0 0 0 108 0 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920627677624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22608] ppid=22589 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/22592/task/22608/stat : 22608 (java) S 22589 22592 15518 0 -1 4202560 8775 0 0 0 113 4 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920626624824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22609] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22609/stat : 22609 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920625572216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22610] ppid=22589 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/22592/task/22610/stat : 22610 (java) S 22589 22592 15518 0 -1 4202560 52 0 0 0 9 8 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920624519624 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22611] ppid=22589 vsize=9824732 CPUtime=862.44 cores=1,3,5,7
/proc/22592/task/22611/stat : 22611 (java) R 22589 22592 15518 0 -1 4202560 36 0 0 0 86231 13 0 0 20 0 22 0 108814958 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920623456800 139921126820435 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22612] ppid=22589 vsize=9824732 CPUtime=862.63 cores=1,3,5,7
/proc/22592/task/22612/stat : 22612 (java) R 22589 22592 15518 0 -1 4202560 25 0 0 0 86247 16 0 0 20 0 22 0 108814958 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920622412376 139921127071623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22613] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22613/stat : 22613 (java) S 22589 22592 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108814975 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920621360552 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22614] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22614/stat : 22614 (java) S 22589 22592 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108814975 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920620307752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1750.03
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+907.401 s]
/proc/loadavg: 4.15 4.17 4.17 5/219 22707
/proc/meminfo: memFree=23547000/32872528 swapFree=15784/1434320
[pid=22592] ppid=22589 vsize=9824732 CPUtime=1800.19 cores=1,3,5,7
/proc/22592/stat : 22592 (java) S 22589 22592 15518 0 -1 4202496 24078 0 1 0 179918 101 0 0 20 0 22 0 108813012 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 140735036130128 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22592/statm: 2456183 765557 2292 9 0 2446860 0
[pid=22592/tid=22594] ppid=22589 vsize=9824732 CPUtime=18.36 cores=1,3,5,7
/proc/22592/task/22594/stat : 22594 (java) S 22589 22592 15518 0 -1 4202560 4330 0 1 0 1795 41 0 0 20 0 22 0 108813013 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921278337912 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22595] ppid=22589 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/22592/task/22595/stat : 22595 (java) S 22589 22592 15518 0 -1 4202560 479 0 0 0 53 7 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921250790440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22596] ppid=22589 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/22592/task/22596/stat : 22596 (java) S 22589 22592 15518 0 -1 4202560 348 0 0 0 49 5 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921249737640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22597] ppid=22589 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/22592/task/22597/stat : 22597 (java) S 22589 22592 15518 0 -1 4202560 358 0 0 0 48 5 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921248684840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22598] ppid=22589 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/22592/task/22598/stat : 22598 (java) S 22589 22592 15518 0 -1 4202560 543 0 0 0 47 6 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921247632040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22599] ppid=22589 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/22592/task/22599/stat : 22599 (java) S 22589 22592 15518 0 -1 4202560 382 0 0 0 43 6 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921246579240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22600] ppid=22589 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/22592/task/22600/stat : 22600 (java) S 22589 22592 15518 0 -1 4202560 492 0 0 0 47 8 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921245526440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22601] ppid=22589 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/22592/task/22601/stat : 22601 (java) S 22589 22592 15518 0 -1 4202560 395 0 0 0 36 4 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921244473640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22602] ppid=22589 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/22592/task/22602/stat : 22602 (java) S 22589 22592 15518 0 -1 4202560 433 0 0 0 53 5 0 0 20 0 22 0 108813014 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139921114835112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22603] ppid=22589 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/22592/task/22603/stat : 22603 (java) S 22589 22592 15518 0 -1 4202560 1280 0 0 0 0 2 0 0 20 0 22 0 108813015 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920631888872 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22592/tid=22604] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22604/stat : 22604 (java) S 22589 22592 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108813016 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920630834936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22605] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22605/stat : 22605 (java) S 22589 22592 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108813016 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920629782024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22606] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22606/stat : 22606 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920628730512 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22607] ppid=22589 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/22592/task/22607/stat : 22607 (java) S 22589 22592 15518 0 -1 4202560 4883 0 0 0 108 0 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920627677624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22608] ppid=22589 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/22592/task/22608/stat : 22608 (java) S 22589 22592 15518 0 -1 4202560 8775 0 0 0 113 4 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920626624824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22592/tid=22609] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22609/stat : 22609 (java) S 22589 22592 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920625572216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22610] ppid=22589 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/22592/task/22610/stat : 22610 (java) S 22589 22592 15518 0 -1 4202560 54 0 0 0 10 8 0 0 20 0 22 0 108813019 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920624519624 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22611] ppid=22589 vsize=9824732 CPUtime=887.53 cores=1,3,5,7
/proc/22592/task/22611/stat : 22611 (java) R 22589 22592 15518 0 -1 4202560 37 0 0 0 88740 13 0 0 20 0 22 0 108814958 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920623463424 139921126820466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22612] ppid=22589 vsize=9824732 CPUtime=887.72 cores=1,3,5,7
/proc/22592/task/22612/stat : 22612 (java) R 22589 22592 15518 0 -1 4202560 25 0 0 0 88756 16 0 0 20 0 22 0 108814958 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920622410632 139921127071523 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22592/tid=22613] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22613/stat : 22613 (java) S 22589 22592 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108814975 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920621360552 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22592/tid=22614] ppid=22589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22592/task/22614/stat : 22614 (java) S 22589 22592 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108814975 10060525568 765557 33554432000 1073741824 1073778376 140735036138992 139920620307752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22592 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 907.43
CPU time (s): 1800.61
CPU user time (s): 1799.14
CPU system time (s): 1.47178
CPU usage (%): 198.43
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 1.47178
maximum resident set size= 3062344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24114
page faults= 1
swaps= 0
block input operations= 0
block output operations= 696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22580
involuntary context switches= 23498
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9281 second user time and 8.62569 second system time
The end