runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3459107-1307134047/watcher-3459107-1307134047 -o /tmp/evaluation-result-3459107-1307134047/solver-3459107-1307134047 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459107-1307134047.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: 2.25 3.27 3.60 2/404 1008
/proc/meminfo: memFree=23691668/32951124 swapFree=49244120/67111528
[pid=1008] ppid=1006 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1008/stat : 1008 (java) R 1006 1008 31984 0 -1 4202496 932 0 0 0 0 0 0 0 25 0 1 0 825007450 23580672 675 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218365994752 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1008/statm: 5757 685 502 9 0 124 0
[pid=1008/tid=1009] ppid=1006 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1009/stat : 1009 (java) R 1006 1008 31984 0 -1 4202560 4391 0 1 0 0 0 0 0 25 0 2 0 825007451 13850947584 5208 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.108375 s]
/proc/loadavg: 2.25 3.27 3.60 2/404 1008
/proc/meminfo: memFree=23691668/32951124 swapFree=49244120/67111528
[pid=1008] ppid=1006 vsize=13622168 CPUtime=0.11 cores=1,3,5,7
/proc/1008/stat : 1008 (java) S 1006 1008 31984 0 -1 4202496 15634 0 1 0 10 1 0 0 25 0 18 0 825007450 13949100032 15330 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1008/statm: 3405542 15330 2108 9 0 3396276 0
[pid=1008/tid=1009] ppid=1006 vsize=13622168 CPUtime=0.09 cores=1,3,5,7
/proc/1008/task/1009/stat : 1009 (java) R 1006 1008 31984 0 -1 4202560 13710 0 1 0 8 1 0 0 22 0 18 0 825007451 13949100032 15330 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 46912496197543 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622168
[startup+0.200359 s]
/proc/loadavg: 2.25 3.27 3.60 2/404 1008
/proc/meminfo: memFree=23691668/32951124 swapFree=49244120/67111528
[pid=1008] ppid=1006 vsize=13625888 CPUtime=0.27 cores=1,3,5,7
/proc/1008/stat : 1008 (java) S 1006 1008 31984 0 -1 4202496 18055 0 1 0 26 1 0 0 25 0 19 0 825007450 13952909312 17205 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1008/statm: 3406472 17205 2201 9 0 3397206 0
[pid=1008/tid=1009] ppid=1006 vsize=13625888 CPUtime=0.18 cores=1,3,5,7
/proc/1008/task/1009/stat : 1009 (java) R 1006 1008 31984 0 -1 4202560 14147 0 1 0 17 1 0 0 23 0 19 0 825007451 13952909312 17205 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 46912505357412 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13625888
[startup+0.300341 s]
/proc/loadavg: 2.25 3.27 3.60 2/404 1008
/proc/meminfo: memFree=23691668/32951124 swapFree=49244120/67111528
[pid=1008] ppid=1006 vsize=13625728 CPUtime=0.55 cores=1,3,5,7
/proc/1008/stat : 1008 (java) S 1006 1008 31984 0 -1 4202496 18629 0 1 0 54 1 0 0 25 0 19 0 825007450 13952745472 17408 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1008/statm: 3406432 17408 2215 9 0 3397166 0
[pid=1008/tid=1009] ppid=1006 vsize=13625728 CPUtime=0.28 cores=1,3,5,7
/proc/1008/task/1009/stat : 1009 (java) R 1006 1008 31984 0 -1 4202560 14207 0 1 0 27 1 0 0 23 0 19 0 825007451 13952745472 17408 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 46912505556707 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13625728
[startup+0.70027 s]
/proc/loadavg: 2.25 3.27 3.60 2/404 1008
/proc/meminfo: memFree=23691668/32951124 swapFree=49244120/67111528
[pid=1008] ppid=1006 vsize=13625768 CPUtime=1.05 cores=1,3,5,7
/proc/1008/stat : 1008 (java) S 1006 1008 31984 0 -1 4202496 19794 0 1 0 104 1 0 0 25 0 19 0 825007450 13952786432 18343 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1008/statm: 3406442 18343 2247 9 0 3397176 0
[pid=1008/tid=1009] ppid=1006 vsize=13625768 CPUtime=0.65 cores=1,3,5,7
/proc/1008/task/1009/stat : 1009 (java) R 1006 1008 31984 0 -1 4202560 14399 0 1 0 64 1 0 0 25 0 19 0 825007451 13952786432 18343 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 46912505556508 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13625768
[startup+1.50113 s]
/proc/loadavg: 2.25 3.27 3.60 3/423 1027
/proc/meminfo: memFree=23626136/32951124 swapFree=49244120/67111528
[pid=1008] ppid=1006 vsize=13625768 CPUtime=1.89 cores=1,3,5,7
/proc/1008/stat : 1008 (java) S 1006 1008 31984 0 -1 4202496 19994 0 1 0 187 2 0 0 25 0 19 0 825007450 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1008/statm: 3406442 18541 2249 9 0 3397176 0
[pid=1008/tid=1009] ppid=1006 vsize=13625768 CPUtime=1.42 cores=1,3,5,7
/proc/1008/task/1009/stat : 1009 (java) R 1006 1008 31984 0 -1 4202560 14401 0 1 0 141 1 0 0 25 0 19 0 825007451 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 46912505620000 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1008/tid=1011] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1011/stat : 1011 (java) S 1006 1008 31984 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1012] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1012/stat : 1012 (java) S 1006 1008 31984 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1013] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1013/stat : 1013 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1014] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1014/stat : 1014 (java) S 1006 1008 31984 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1015] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1015/stat : 1015 (java) S 1006 1008 31984 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1016] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1016/stat : 1016 (java) S 1006 1008 31984 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1017] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1017/stat : 1017 (java) S 1006 1008 31984 0 -1 4202560 193 0 0 0 0 0 0 0 16 0 19 0 825007453 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1018] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1018/stat : 1018 (java) S 1006 1008 31984 0 -1 4202560 177 0 0 0 0 0 0 0 16 0 19 0 825007453 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1019] ppid=1006 vsize=13625768 CPUtime=0.05 cores=1,3,5,7
/proc/1008/task/1019/stat : 1019 (java) S 1006 1008 31984 0 -1 4202560 389 0 0 0 5 0 0 0 16 0 19 0 825007454 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 0 0 16800975 18446604458102219008 0 0 -1 7 0 0 0
[pid=1008/tid=1020] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1020/stat : 1020 (java) S 1006 1008 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825007454 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1021] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1021/stat : 1021 (java) S 1006 1008 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825007454 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1022] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1022/stat : 1022 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825007456 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382780849 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1023] ppid=1006 vsize=13625768 CPUtime=0.18 cores=1,3,5,7
/proc/1008/task/1023/stat : 1023 (java) S 1006 1008 31984 0 -1 4202560 1828 0 0 0 18 0 0 0 15 0 19 0 825007456 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1024] ppid=1006 vsize=13625768 CPUtime=0.21 cores=1,3,5,7
/proc/1008/task/1024/stat : 1024 (java) S 1006 1008 31984 0 -1 4202560 1702 0 0 0 21 0 0 0 15 0 19 0 825007456 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1025] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1025/stat : 1025 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825007456 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1026] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1026/stat : 1026 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007456 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1027] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1027/stat : 1027 (java) S 1006 1008 31984 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 825007467 13952786432 18541 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13625768
[startup+3.10088 s]
/proc/loadavg: 2.25 3.27 3.60 3/423 1027
/proc/meminfo: memFree=23624360/32951124 swapFree=49244120/67111528
[pid=1008] ppid=1006 vsize=13625768 CPUtime=3.49 cores=1,3,5,7
/proc/1008/stat : 1008 (java) S 1006 1008 31984 0 -1 4202496 20244 0 1 0 347 2 0 0 25 0 19 0 825007450 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1008/statm: 3406442 18786 2249 9 0 3397176 0
[pid=1008/tid=1009] ppid=1006 vsize=13625768 CPUtime=2.94 cores=1,3,5,7
/proc/1008/task/1009/stat : 1009 (java) R 1006 1008 31984 0 -1 4202560 14406 0 1 0 293 1 0 0 25 0 19 0 825007451 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 46912505516101 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1008/tid=1011] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1011/stat : 1011 (java) S 1006 1008 31984 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1012] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1012/stat : 1012 (java) S 1006 1008 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1013] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1013/stat : 1013 (java) S 1006 1008 31984 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 19 0 825007453 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1014] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1014/stat : 1014 (java) S 1006 1008 31984 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 19 0 825007453 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1015] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1015/stat : 1015 (java) S 1006 1008 31984 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1016] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1016/stat : 1016 (java) S 1006 1008 31984 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1017] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1017/stat : 1017 (java) S 1006 1008 31984 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1018] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1018/stat : 1018 (java) S 1006 1008 31984 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1019] ppid=1006 vsize=13625768 CPUtime=0.11 cores=1,3,5,7
/proc/1008/task/1019/stat : 1019 (java) S 1006 1008 31984 0 -1 4202560 591 0 0 0 11 0 0 0 15 0 19 0 825007454 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 0 0 16800975 18446604458102219008 0 0 -1 7 0 0 0
[pid=1008/tid=1020] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1020/stat : 1020 (java) S 1006 1008 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825007454 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1021] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1021/stat : 1021 (java) S 1006 1008 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825007454 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1022] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1022/stat : 1022 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825007456 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382780849 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1023] ppid=1006 vsize=13625768 CPUtime=0.18 cores=1,3,5,7
/proc/1008/task/1023/stat : 1023 (java) S 1006 1008 31984 0 -1 4202560 1828 0 0 0 18 0 0 0 15 0 19 0 825007456 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1024] ppid=1006 vsize=13625768 CPUtime=0.21 cores=1,3,5,7
/proc/1008/task/1024/stat : 1024 (java) S 1006 1008 31984 0 -1 4202560 1702 0 0 0 21 0 0 0 15 0 19 0 825007456 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1025] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1025/stat : 1025 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825007456 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1026] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1026/stat : 1026 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007456 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1027] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1027/stat : 1027 (java) S 1006 1008 31984 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 825007467 13952786432 18786 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 13625768
[startup+6.30131 s]
/proc/loadavg: 2.23 3.25 3.59 3/423 1027
/proc/meminfo: memFree=23623104/32951124 swapFree=49244120/67111528
[pid=1008] ppid=1006 vsize=13625768 CPUtime=6.7 cores=1,3,5,7
/proc/1008/stat : 1008 (java) S 1006 1008 31984 0 -1 4202496 20330 0 1 0 668 2 0 0 25 0 19 0 825007450 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1008/statm: 3406442 18804 2249 9 0 3397176 0
[pid=1008/tid=1009] ppid=1006 vsize=13625768 CPUtime=6 cores=1,3,5,7
/proc/1008/task/1009/stat : 1009 (java) R 1006 1008 31984 0 -1 4202560 14416 0 1 0 599 1 0 0 19 0 19 0 825007451 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 46912505597024 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1008/tid=1011] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1011/stat : 1011 (java) S 1006 1008 31984 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1012] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1012/stat : 1012 (java) S 1006 1008 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1013] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1013/stat : 1013 (java) S 1006 1008 31984 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 7 0 0 0
[pid=1008/tid=1014] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1014/stat : 1014 (java) S 1006 1008 31984 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 7 0 0 0
[pid=1008/tid=1015] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1015/stat : 1015 (java) S 1006 1008 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1016] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1016/stat : 1016 (java) S 1006 1008 31984 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1017] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1017/stat : 1017 (java) S 1006 1008 31984 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 7 0 0 0
[pid=1008/tid=1018] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1018/stat : 1018 (java) S 1006 1008 31984 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1019] ppid=1006 vsize=13625768 CPUtime=0.24 cores=1,3,5,7
/proc/1008/task/1019/stat : 1019 (java) S 1006 1008 31984 0 -1 4202560 662 0 0 0 24 0 0 0 16 0 19 0 825007454 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 0 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1020] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1020/stat : 1020 (java) S 1006 1008 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825007454 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1021] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1021/stat : 1021 (java) S 1006 1008 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825007454 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1022] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1022/stat : 1022 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825007456 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382780849 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1023] ppid=1006 vsize=13625768 CPUtime=0.18 cores=1,3,5,7
/proc/1008/task/1023/stat : 1023 (java) S 1006 1008 31984 0 -1 4202560 1828 0 0 0 18 0 0 0 15 0 19 0 825007456 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1024] ppid=1006 vsize=13625768 CPUtime=0.21 cores=1,3,5,7
/proc/1008/task/1024/stat : 1024 (java) S 1006 1008 31984 0 -1 4202560 1702 0 0 0 21 0 0 0 15 0 19 0 825007456 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1025] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1025/stat : 1025 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825007456 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1026] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1026/stat : 1026 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007456 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1027] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1027/stat : 1027 (java) S 1006 1008 31984 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 825007467 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 13625768
Solver just ended. Dumping a history of the last processes samples
[startup+6.40129 s]
/proc/loadavg: 2.23 3.25 3.59 3/423 1027
/proc/meminfo: memFree=23623104/32951124 swapFree=49244120/67111528
[pid=1008] ppid=1006 vsize=13625768 CPUtime=6.8 cores=1,3,5,7
/proc/1008/stat : 1008 (java) S 1006 1008 31984 0 -1 4202496 20330 0 1 0 678 2 0 0 25 0 19 0 825007450 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1008/statm: 3406442 18804 2249 9 0 3397176 0
[pid=1008/tid=1009] ppid=1006 vsize=13625768 CPUtime=6.1 cores=1,3,5,7
/proc/1008/task/1009/stat : 1009 (java) R 1006 1008 31984 0 -1 4202560 14416 0 1 0 609 1 0 0 20 0 19 0 825007451 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 46912505535007 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1008/tid=1011] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1011/stat : 1011 (java) S 1006 1008 31984 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1012] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1012/stat : 1012 (java) S 1006 1008 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1013] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1013/stat : 1013 (java) S 1006 1008 31984 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 7 0 0 0
[pid=1008/tid=1014] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1014/stat : 1014 (java) S 1006 1008 31984 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 7 0 0 0
[pid=1008/tid=1015] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1015/stat : 1015 (java) S 1006 1008 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1016] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1016/stat : 1016 (java) S 1006 1008 31984 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1017] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1017/stat : 1017 (java) S 1006 1008 31984 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 7 0 0 0
[pid=1008/tid=1018] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1018/stat : 1018 (java) S 1006 1008 31984 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1019] ppid=1006 vsize=13625768 CPUtime=0.24 cores=1,3,5,7
/proc/1008/task/1019/stat : 1019 (java) S 1006 1008 31984 0 -1 4202560 662 0 0 0 24 0 0 0 16 0 19 0 825007454 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 0 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1020] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1020/stat : 1020 (java) S 1006 1008 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825007454 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1021] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1021/stat : 1021 (java) S 1006 1008 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825007454 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1022] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1022/stat : 1022 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825007456 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382780849 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1023] ppid=1006 vsize=13625768 CPUtime=0.18 cores=1,3,5,7
/proc/1008/task/1023/stat : 1023 (java) S 1006 1008 31984 0 -1 4202560 1828 0 0 0 18 0 0 0 15 0 19 0 825007456 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1024] ppid=1006 vsize=13625768 CPUtime=0.21 cores=1,3,5,7
/proc/1008/task/1024/stat : 1024 (java) S 1006 1008 31984 0 -1 4202560 1702 0 0 0 21 0 0 0 15 0 19 0 825007456 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1025] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1025/stat : 1025 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825007456 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1026] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1026/stat : 1026 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007456 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1027] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1027/stat : 1027 (java) S 1006 1008 31984 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 825007467 13952786432 18804 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 13625768
[startup+6.80122 s]
/proc/loadavg: 2.23 3.25 3.59 3/423 1027
/proc/meminfo: memFree=23623088/32951124 swapFree=49244120/67111528
[pid=1008] ppid=1006 vsize=13625768 CPUtime=7.2 cores=1,3,5,7
/proc/1008/stat : 1008 (java) S 1006 1008 31984 0 -1 4202496 20333 0 1 0 718 2 0 0 25 0 19 0 825007450 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1008/statm: 3406442 18805 2249 9 0 3397176 0
[pid=1008/tid=1009] ppid=1006 vsize=13625768 CPUtime=6.47 cores=1,3,5,7
/proc/1008/task/1009/stat : 1009 (java) R 1006 1008 31984 0 -1 4202560 14418 0 1 0 646 1 0 0 20 0 19 0 825007451 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 46912505556245 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1008/tid=1011] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1011/stat : 1011 (java) S 1006 1008 31984 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1012] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1012/stat : 1012 (java) S 1006 1008 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1013] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1013/stat : 1013 (java) S 1006 1008 31984 0 -1 4202560 20 0 0 0 0 0 0 0 16 0 19 0 825007453 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 7 0 0 0
[pid=1008/tid=1014] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1014/stat : 1014 (java) S 1006 1008 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1015] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1015/stat : 1015 (java) S 1006 1008 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1016] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1016/stat : 1016 (java) S 1006 1008 31984 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1017] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1017/stat : 1017 (java) S 1006 1008 31984 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 7 0 0 0
[pid=1008/tid=1018] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1018/stat : 1018 (java) S 1006 1008 31984 0 -1 4202560 181 0 0 0 0 0 0 0 16 0 19 0 825007453 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1019] ppid=1006 vsize=13625768 CPUtime=0.27 cores=1,3,5,7
/proc/1008/task/1019/stat : 1019 (java) S 1006 1008 31984 0 -1 4202560 662 0 0 0 27 0 0 0 16 0 19 0 825007454 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 0 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1020] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1020/stat : 1020 (java) S 1006 1008 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825007454 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1021] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1021/stat : 1021 (java) S 1006 1008 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825007454 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1022] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1022/stat : 1022 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825007456 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382780849 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1023] ppid=1006 vsize=13625768 CPUtime=0.18 cores=1,3,5,7
/proc/1008/task/1023/stat : 1023 (java) S 1006 1008 31984 0 -1 4202560 1828 0 0 0 18 0 0 0 15 0 19 0 825007456 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1024] ppid=1006 vsize=13625768 CPUtime=0.21 cores=1,3,5,7
/proc/1008/task/1024/stat : 1024 (java) S 1006 1008 31984 0 -1 4202560 1702 0 0 0 21 0 0 0 15 0 19 0 825007456 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1025] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1025/stat : 1025 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825007456 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1026] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1026/stat : 1026 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007456 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1027] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1027/stat : 1027 (java) S 1006 1008 31984 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 825007467 13952786432 18805 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 13625768
[startup+7.20112 s]
/proc/loadavg: 2.23 3.25 3.59 3/423 1027
/proc/meminfo: memFree=23623088/32951124 swapFree=49244120/67111528
[pid=1008] ppid=1006 vsize=13625768 CPUtime=7.61 cores=1,3,5,7
/proc/1008/stat : 1008 (java) S 1006 1008 31984 0 -1 4202496 20340 0 1 0 759 2 0 0 25 0 19 0 825007450 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1008/statm: 3406442 18810 2250 9 0 3397176 0
[pid=1008/tid=1009] ppid=1006 vsize=13625768 CPUtime=6.85 cores=1,3,5,7
/proc/1008/task/1009/stat : 1009 (java) R 1006 1008 31984 0 -1 4202560 14422 0 1 0 684 1 0 0 21 0 19 0 825007451 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 46912505583056 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1008/tid=1011] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1011/stat : 1011 (java) S 1006 1008 31984 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1012] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1012/stat : 1012 (java) S 1006 1008 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1013] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1013/stat : 1013 (java) S 1006 1008 31984 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 7 0 0 0
[pid=1008/tid=1014] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1014/stat : 1014 (java) S 1006 1008 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1015] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1015/stat : 1015 (java) S 1006 1008 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1016] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1016/stat : 1016 (java) S 1006 1008 31984 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1017] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1017/stat : 1017 (java) S 1006 1008 31984 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 7 0 0 0
[pid=1008/tid=1018] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1018/stat : 1018 (java) S 1006 1008 31984 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 825007453 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1019] ppid=1006 vsize=13625768 CPUtime=0.28 cores=1,3,5,7
/proc/1008/task/1019/stat : 1019 (java) S 1006 1008 31984 0 -1 4202560 663 0 0 0 28 0 0 0 16 0 19 0 825007454 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 0 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1020] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1020/stat : 1020 (java) S 1006 1008 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825007454 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1021] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1021/stat : 1021 (java) S 1006 1008 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825007454 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1022] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1022/stat : 1022 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825007456 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382780849 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1023] ppid=1006 vsize=13625768 CPUtime=0.18 cores=1,3,5,7
/proc/1008/task/1023/stat : 1023 (java) S 1006 1008 31984 0 -1 4202560 1828 0 0 0 18 0 0 0 15 0 19 0 825007456 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
[pid=1008/tid=1024] ppid=1006 vsize=13625768 CPUtime=0.22 cores=1,3,5,7
/proc/1008/task/1024/stat : 1024 (java) S 1006 1008 31984 0 -1 4202560 1704 0 0 0 22 0 0 0 15 0 19 0 825007456 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1025] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1025/stat : 1025 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825007456 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773145 0 4 0 16800975 18446604458102219008 0 0 -1 5 0 0 0
[pid=1008/tid=1026] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1026/stat : 1026 (java) S 1006 1008 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007456 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 4 0 16800975 18446604458102219008 0 0 -1 3 0 0 0
[pid=1008/tid=1027] ppid=1006 vsize=13625768 CPUtime=0 cores=1,3,5,7
/proc/1008/task/1027/stat : 1027 (java) S 1006 1008 31984 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 825007467 13952786432 18810 33554432000 1073741824 1073778376 140734336832992 18446744073709551615 218382773760 0 4 0 16800975 18446604458102219008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 13625768
Child status: 20
Real time (s): 7.26122
CPU time (s): 7.69283
CPU user time (s): 7.66583
CPU system time (s): 0.026995
CPU usage (%): 105.944
Max. virtual memory (cumulated for all children) (KiB): 13625888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.66583
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20362
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 901
involuntary context switches= 333
runsolver used 0.032994 second user time and 0.066989 second system time
The end