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-4250101-1500696348/watcher-4250101-1500696348 -o /tmp/evaluation-result-4250101-1500696348/solver-4250101-1500696348 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 363218793 HOME/instance-4250101-1500696348.xml
pid=6024
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.19 15.01 14.39 10/271 6027
/proc/meminfo: memFree=30441416/32770624 swapFree=5884/294260
[pid=6027] ppid=6024 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6027/stat : 6027 (xcsp3-exec) S 6024 6027 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4902623 9740288 346 33554432000 4194304 5098028 140733974785328 140733974783432 140612323799676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 25600000 140733974791311 140733974791520 140733974791520 140733974794219 0
/proc/6027/statm: 2378 346 289 221 0 87 0
[startup+0.100104 s]
/proc/loadavg: 15.19 15.01 14.39 10/271 6027
/proc/meminfo: memFree=30441416/32770624 swapFree=5884/294260
[pid=6027] ppid=6024 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6027/stat : 6027 (xcsp3-exec) S 6024 6027 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4902623 9740288 346 33554432000 4194304 5098028 140733974785328 140733974783432 140612323799676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 25600000 140733974791311 140733974791520 140733974791520 140733974794219 0
/proc/6027/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200293 s]
/proc/loadavg: 15.19 15.01 14.39 10/271 6027
/proc/meminfo: memFree=30441416/32770624 swapFree=5884/294260
[pid=6027] ppid=6024 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6027/stat : 6027 (xcsp3-exec) S 6024 6027 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4902623 9740288 346 33554432000 4194304 5098028 140733974785328 140733974783432 140612323799676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 25600000 140733974791311 140733974791520 140733974791520 140733974794219 0
/proc/6027/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300273 s]
/proc/loadavg: 15.19 15.01 14.39 10/271 6027
/proc/meminfo: memFree=30441416/32770624 swapFree=5884/294260
[pid=6027] ppid=6024 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6027/stat : 6027 (xcsp3-exec) S 6024 6027 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4902623 9740288 346 33554432000 4194304 5098028 140733974785328 140733974783432 140612323799676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 25600000 140733974791311 140733974791520 140733974791520 140733974794219 0
/proc/6027/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700183 s]
/proc/loadavg: 15.19 15.01 14.39 10/271 6027
/proc/meminfo: memFree=30441416/32770624 swapFree=5884/294260
[pid=6027] ppid=6024 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6027/stat : 6027 (xcsp3-exec) S 6024 6027 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4902623 9740288 346 33554432000 4194304 5098028 140733974785328 140733974783432 140612323799676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 25600000 140733974791311 140733974791520 140733974791520 140733974794219 0
/proc/6027/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5014 s]
/proc/loadavg: 15.19 15.01 14.39 20/300 6056
/proc/meminfo: memFree=30301048/32770624 swapFree=5884/294308
[pid=6027] ppid=6024 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6027/stat : 6027 (xcsp3-exec) S 6024 6027 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4902623 9740288 346 33554432000 4194304 5098028 140733974785328 140733974783432 140612323799676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 25600000 140733974791311 140733974791520 140733974791520 140733974794219 0
/proc/6027/statm: 2378 346 289 221 0 87 0
[pid=6028] ppid=6027 vsize=13801768 CPUtime=8.15 cores=0,2,4,6,8,10,12,14
/proc/6028/stat : 6028 (java) S 6027 6027 8571 0 -1 1077944320 18074 0 0 0 806 9 0 0 20 0 28 0 4902623 14133010432 34807 33554432000 4194304 4196468 140720781191504 140720781174048 140515143663351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
/proc/6028/statm: 3450442 34807 3225 1 0 3437675 0
[pid=6028/tid=6029] ppid=6027 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6029/stat : 6029 (java) S 6027 6027 8571 0 -1 1077944384 6774 0 0 0 62 3 0 0 20 0 28 0 4902624 14133010432 34807 33554432000 4194304 4196468 140720781191504 140515147904128 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6031] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6031/stat : 6031 (java) S 6027 6027 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 34807 33554432000 4194304 4196468 140720781191504 140515096283792 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6032] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6032/stat : 6032 (java) S 6027 6027 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 34807 33554432000 4194304 4196468 140720781191504 140515095230992 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6033] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6033/stat : 6033 (java) S 6027 6027 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 34807 33554432000 4194304 4196468 140720781191504 140515094178192 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6034] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6034/stat : 6034 (java) S 6027 6027 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 34807 33554432000 4194304 4196468 140720781191504 140515093125392 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6035] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6035/stat : 6035 (java) S 6027 6027 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 34807 33554432000 4194304 4196468 140720781191504 140515092073616 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6036] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6036/stat : 6036 (java) S 6027 6027 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 34807 33554432000 4194304 4196468 140720781191504 140515091020816 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6037] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6037/stat : 6037 (java) S 6027 6027 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 34807 33554432000 4194304 4196468 140720781191504 140514736667536 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6038] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6038/stat : 6038 (java) S 6027 6027 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 34807 33554432000 4194304 4196468 140720781191504 140514735614736 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6039] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6039/stat : 6039 (java) S 6027 6027 8571 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4902627 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513808189808 140515143674498 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6040] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6040/stat : 6040 (java) S 6027 6027 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4902628 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513807135776 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6041] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6041/stat : 6041 (java) S 6027 6027 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4902628 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513806082928 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6042] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6042/stat : 6042 (java) S 6027 6027 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4902632 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513805031248 140515143681947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6043] ppid=6027 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6043/stat : 6043 (java) R 6027 6027 8571 0 -1 4202560 2164 0 0 0 83 0 0 0 20 0 28 0 4902632 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513803965648 140515128771163 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6044] ppid=6027 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6044/stat : 6044 (java) R 6027 6027 8571 0 -1 4202560 2790 0 0 0 89 1 0 0 20 0 28 0 4902632 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513802912848 140515125207924 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6045] ppid=6027 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6045/stat : 6045 (java) R 6027 6027 8571 0 -1 4202560 2008 0 0 0 78 0 0 0 20 0 28 0 4902632 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513801859912 140515125208566 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6046] ppid=6027 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6046/stat : 6046 (java) S 6027 6027 8571 0 -1 1077944384 2590 0 0 0 56 1 0 0 20 0 28 0 4902632 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513800821232 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6047] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6047/stat : 6047 (java) S 6027 6027 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4902632 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513799768672 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6048] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6048/stat : 6048 (java) S 6027 6027 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4902633 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513798715952 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6049] ppid=6027 vsize=13801768 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6049/stat : 6049 (java) R 6027 6027 8571 0 -1 4202560 67 0 0 0 55 0 0 0 20 0 28 0 4902691 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513790699240 140514770963893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6050] ppid=6027 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6050/stat : 6050 (java) R 6027 6027 8571 0 -1 4202560 67 0 0 0 51 0 0 0 20 0 28 0 4902692 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513789647800 140514774830976 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6051] ppid=6027 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6051/stat : 6051 (java) R 6027 6027 8571 0 -1 4202560 64 0 0 0 51 0 0 0 20 0 28 0 4902692 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513788596744 140514775757910 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6052] ppid=6027 vsize=13801768 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6052/stat : 6052 (java) R 6027 6027 8571 0 -1 4202560 74 0 0 0 56 0 0 0 20 0 28 0 4902692 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513787544216 140514775719567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6053] ppid=6027 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6053/stat : 6053 (java) R 6027 6027 8571 0 -1 4202560 41 0 0 0 48 0 0 0 20 0 28 0 4902692 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513786491736 140514770933448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6054] ppid=6027 vsize=13801768 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6054/stat : 6054 (java) R 6027 6027 8571 0 -1 4202560 35 0 0 0 56 0 0 0 20 0 28 0 4902692 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513785441160 140514770932587 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6055] ppid=6027 vsize=13801768 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6055/stat : 6055 (java) R 6027 6027 8571 0 -1 4202560 46 0 0 0 55 0 0 0 20 0 28 0 4902692 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513784386920 140514770911782 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6056] ppid=6027 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6056/stat : 6056 (java) R 6027 6027 8571 0 -1 4202560 41 0 0 0 61 0 0 0 20 0 28 0 4902692 14133010432 34807 33554432000 4194304 4196468 140720781191504 140513783328816 140514770928481 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
Current children cumulated CPU time (s) 8.15
Current children cumulated vsize (KiB) 13811280
[startup+3.10156 s]
/proc/loadavg: 15.19 15.01 14.39 19/300 6056
/proc/meminfo: memFree=30241504/32770624 swapFree=5884/294308
[pid=6027] ppid=6024 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6027/stat : 6027 (xcsp3-exec) S 6024 6027 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4902623 9740288 346 33554432000 4194304 5098028 140733974785328 140733974783432 140612323799676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 25600000 140733974791311 140733974791520 140733974791520 140733974794219 0
/proc/6027/statm: 2378 346 289 221 0 87 0
[pid=6028] ppid=6027 vsize=13801768 CPUtime=20.75 cores=0,2,4,6,8,10,12,14
/proc/6028/stat : 6028 (java) S 6027 6027 8571 0 -1 1077944320 33840 0 0 0 2062 13 0 0 20 0 28 0 4902623 14133010432 45812 33554432000 4194304 4196468 140720781191504 140720781174048 140515143663351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
/proc/6028/statm: 3450442 45812 3246 1 0 3437675 0
[pid=6028/tid=6029] ppid=6027 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6029/stat : 6029 (java) S 6027 6027 8571 0 -1 1077944384 6774 0 0 0 62 3 0 0 20 0 28 0 4902624 14133010432 45812 33554432000 4194304 4196468 140720781191504 140515147904128 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6031] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6031/stat : 6031 (java) S 6027 6027 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 45812 33554432000 4194304 4196468 140720781191504 140515096283792 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6032] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6032/stat : 6032 (java) S 6027 6027 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 45812 33554432000 4194304 4196468 140720781191504 140515095230992 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6033] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6033/stat : 6033 (java) S 6027 6027 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 45812 33554432000 4194304 4196468 140720781191504 140515094178192 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6034] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6034/stat : 6034 (java) S 6027 6027 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 45812 33554432000 4194304 4196468 140720781191504 140515093125392 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6035] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6035/stat : 6035 (java) S 6027 6027 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 45812 33554432000 4194304 4196468 140720781191504 140515092073616 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6036] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6036/stat : 6036 (java) S 6027 6027 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 45812 33554432000 4194304 4196468 140720781191504 140515091020816 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6037] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6037/stat : 6037 (java) S 6027 6027 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 45812 33554432000 4194304 4196468 140720781191504 140514736667536 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6038] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6038/stat : 6038 (java) S 6027 6027 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 45812 33554432000 4194304 4196468 140720781191504 140514735614736 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6039] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6039/stat : 6039 (java) S 6027 6027 8571 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 4902627 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513808189808 140515143674498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6040] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6040/stat : 6040 (java) S 6027 6027 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4902628 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513807135776 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6041] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6041/stat : 6041 (java) S 6027 6027 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4902628 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513806082928 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6042] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6042/stat : 6042 (java) S 6027 6027 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4902632 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513805031248 140515143681947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6043] ppid=6027 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6043/stat : 6043 (java) R 6027 6027 8571 0 -1 4202560 8259 0 0 0 199 1 0 0 20 0 28 0 4902632 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513803966096 140515122852800 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6044] ppid=6027 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6044/stat : 6044 (java) R 6027 6027 8571 0 -1 4202560 7028 0 0 0 211 1 0 0 20 0 28 0 4902632 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513802911600 140515128789185 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6045] ppid=6027 vsize=13801768 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6045/stat : 6045 (java) R 6027 6027 8571 0 -1 4202560 5281 0 0 0 192 1 0 0 20 0 28 0 4902632 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513801864320 140515128550042 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6046] ppid=6027 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6046/stat : 6046 (java) R 6027 6027 8571 0 -1 4202560 3414 0 0 0 67 1 0 0 20 0 28 0 4902632 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513800821232 140515122184276 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6047] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6047/stat : 6047 (java) S 6027 6027 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4902632 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513799768672 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6048] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6048/stat : 6048 (java) S 6027 6027 8571 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4902633 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513798715952 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6049] ppid=6027 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6049/stat : 6049 (java) R 6027 6027 8571 0 -1 4202560 183 0 0 0 163 0 0 0 20 0 28 0 4902691 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513790701512 140514776166676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6050] ppid=6027 vsize=13801768 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6050/stat : 6050 (java) R 6027 6027 8571 0 -1 4202560 200 0 0 0 170 0 0 0 20 0 28 0 4902692 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513789649664 140514776360288 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6051] ppid=6027 vsize=13801768 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6051/stat : 6051 (java) R 6027 6027 8571 0 -1 4202560 287 0 0 0 156 0 0 0 20 0 28 0 4902692 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513788599264 140514775757777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6052] ppid=6027 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6052/stat : 6052 (java) R 6027 6027 8571 0 -1 4202560 326 0 0 0 164 1 0 0 20 0 28 0 4902692 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513787544776 140514776848284 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6053] ppid=6027 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6053/stat : 6053 (java) R 6027 6027 8571 0 -1 1077944384 153 0 0 0 148 0 0 0 20 0 28 0 4902692 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513786492160 140515143673557 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6054] ppid=6027 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6054/stat : 6054 (java) R 6027 6027 8571 0 -1 4202560 197 0 0 0 182 0 0 0 20 0 28 0 4902692 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513785437336 140514777153000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6055] ppid=6027 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6055/stat : 6055 (java) R 6027 6027 8571 0 -1 4202560 223 0 0 0 174 0 0 0 20 0 28 0 4902692 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513784386424 140514777152975 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6056] ppid=6027 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6056/stat : 6056 (java) R 6027 6027 8571 0 -1 4202560 173 0 0 0 167 0 0 0 20 0 28 0 4902692 14133010432 45812 33554432000 4194304 4196468 140720781191504 140513783331736 140514776850556 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
Current children cumulated CPU time (s) 20.75
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
################
# More data... #
################
/proc/6028/task/6040/stat : 6040 (java) S 6027 6027 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4902628 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513807135776 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6041] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6041/stat : 6041 (java) S 6027 6027 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4902628 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513806082928 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6042] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6042/stat : 6042 (java) S 6027 6027 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4902632 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513805031248 140515143681947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6043] ppid=6027 vsize=13801768 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6043/stat : 6043 (java) R 6027 6027 8571 0 -1 4202560 8326 0 0 0 240 1 0 0 20 0 28 0 4902632 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513803979928 140515127074071 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6044] ppid=6027 vsize=13801768 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6044/stat : 6044 (java) S 6027 6027 8571 0 -1 1077944384 7126 0 0 0 260 1 0 0 20 0 28 0 4902632 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513802926832 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6045] ppid=6027 vsize=13801768 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6045/stat : 6045 (java) R 6027 6027 8571 0 -1 4202560 5369 0 0 0 229 1 0 0 20 0 28 0 4902632 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513801874328 140515127163465 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6046] ppid=6027 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6046/stat : 6046 (java) S 6027 6027 8571 0 -1 1077944384 3534 0 0 0 74 1 0 0 20 0 28 0 4902632 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513800821232 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6047] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6047/stat : 6047 (java) S 6027 6027 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4902632 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513799768672 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6048] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6048/stat : 6048 (java) S 6027 6027 8571 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4902633 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513798715952 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6049] ppid=6027 vsize=13801768 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6049/stat : 6049 (java) R 6027 6027 8571 0 -1 4202560 186 0 0 0 241 0 0 0 20 0 28 0 4902691 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513790700648 140514777152960 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6050] ppid=6027 vsize=13801768 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6050/stat : 6050 (java) R 6027 6027 8571 0 -1 4202560 200 0 0 0 235 0 0 0 20 0 28 0 4902692 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513789649080 140514776360603 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6051] ppid=6027 vsize=13801768 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6051/stat : 6051 (java) R 6027 6027 8571 0 -1 4202560 318 0 0 0 224 0 0 0 20 0 28 0 4902692 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513788598896 140514775907785 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6052] ppid=6027 vsize=13801768 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6052/stat : 6052 (java) R 6027 6027 8571 0 -1 4202560 345 0 0 0 232 1 0 0 20 0 28 0 4902692 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513787546408 140514776177484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6053] ppid=6027 vsize=13801768 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6053/stat : 6053 (java) R 6027 6027 8571 0 -1 4202560 170 0 0 0 217 0 0 0 20 0 28 0 4902692 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513786491656 140514777399091 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6054] ppid=6027 vsize=13801768 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6054/stat : 6054 (java) R 6027 6027 8571 0 -1 4202560 199 0 0 0 263 0 0 0 20 0 28 0 4902692 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513785441032 140514777149203 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6055] ppid=6027 vsize=13801768 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6055/stat : 6055 (java) R 6027 6027 8571 0 -1 4202560 251 0 0 0 253 0 0 0 20 0 28 0 4902692 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513784385896 140514776543872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6056] ppid=6027 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6056/stat : 6056 (java) R 6027 6027 8571 0 -1 4202560 176 0 0 0 240 0 0 0 20 0 28 0 4902692 14133010432 52135 33554432000 4194304 4196468 140720781191504 140513783333408 140514777158605 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
Current children cumulated CPU time (s) 27.9
Current children cumulated vsize (KiB) 13811280
[startup+4.8015 s]
/proc/loadavg: 15.41 15.06 14.41 20/300 6056
/proc/meminfo: memFree=30096052/32770624 swapFree=5884/294308
[pid=6027] ppid=6024 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6027/stat : 6027 (xcsp3-exec) S 6024 6027 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4902623 9740288 346 33554432000 4194304 5098028 140733974785328 140733974783432 140612323799676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 25600000 140733974791311 140733974791520 140733974791520 140733974794219 0
/proc/6027/statm: 2378 346 289 221 0 87 0
[pid=6028] ppid=6027 vsize=13801768 CPUtime=34.22 cores=0,2,4,6,8,10,12,14
/proc/6028/stat : 6028 (java) S 6027 6027 8571 0 -1 1077944320 41817 0 0 0 3396 26 0 0 20 0 28 0 4902623 14133010432 61036 33554432000 4194304 4196468 140720781191504 140720781174048 140515143663351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
/proc/6028/statm: 3450442 61036 3272 1 0 3437675 0
[pid=6028/tid=6029] ppid=6027 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6029/stat : 6029 (java) S 6027 6027 8571 0 -1 1077944384 6774 0 0 0 62 3 0 0 20 0 28 0 4902624 14133010432 61036 33554432000 4194304 4196468 140720781191504 140515147904128 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6031] ppid=6027 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6031/stat : 6031 (java) S 6027 6027 8571 0 -1 1077944384 193 0 0 0 1 1 0 0 20 0 28 0 4902625 14133010432 61036 33554432000 4194304 4196468 140720781191504 140515096283792 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6032] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6032/stat : 6032 (java) S 6027 6027 8571 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 61036 33554432000 4194304 4196468 140720781191504 140515095230992 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6033] ppid=6027 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6033/stat : 6033 (java) S 6027 6027 8571 0 -1 1077944384 626 0 0 0 1 1 0 0 20 0 28 0 4902625 14133010432 61036 33554432000 4194304 4196468 140720781191504 140515094178192 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6034] ppid=6027 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6034/stat : 6034 (java) S 6027 6027 8571 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 4902625 14133010432 61036 33554432000 4194304 4196468 140720781191504 140515093125392 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6035] ppid=6027 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6035/stat : 6035 (java) S 6027 6027 8571 0 -1 1077944384 41 0 0 0 1 1 0 0 20 0 28 0 4902625 14133010432 61036 33554432000 4194304 4196468 140720781191504 140515092073616 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6036] ppid=6027 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6036/stat : 6036 (java) S 6027 6027 8571 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 28 0 4902625 14133010432 61036 33554432000 4194304 4196468 140720781191504 140515091020816 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6037] ppid=6027 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6037/stat : 6037 (java) S 6027 6027 8571 0 -1 1077944384 37 0 0 0 0 1 0 0 20 0 28 0 4902625 14133010432 61036 33554432000 4194304 4196468 140720781191504 140514736667536 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6038] ppid=6027 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6038/stat : 6038 (java) S 6027 6027 8571 0 -1 1077944384 51 0 0 0 1 1 0 0 20 0 28 0 4902625 14133010432 61036 33554432000 4194304 4196468 140720781191504 140514735614736 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6039] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6039/stat : 6039 (java) S 6027 6027 8571 0 -1 1077944384 517 0 0 0 0 0 0 0 20 0 28 0 4902627 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513808189808 140515143674498 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6040] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6040/stat : 6040 (java) S 6027 6027 8571 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4902628 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513807135776 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6041] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6041/stat : 6041 (java) S 6027 6027 8571 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 4902628 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513806082928 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6042] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6042/stat : 6042 (java) S 6027 6027 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4902632 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513805031248 140515143681947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6043] ppid=6027 vsize=13801768 CPUtime=2.71 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6043/stat : 6043 (java) S 6027 6027 8571 0 -1 1077944384 10002 0 0 0 270 1 0 0 20 0 28 0 4902632 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513803979632 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6044] ppid=6027 vsize=13801768 CPUtime=2.87 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6044/stat : 6044 (java) R 6027 6027 8571 0 -1 4202560 8148 0 0 0 286 1 0 0 20 0 28 0 4902632 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513802927128 140515128345592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6045] ppid=6027 vsize=13801768 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6045/stat : 6045 (java) S 6027 6027 8571 0 -1 1077944384 6781 0 0 0 250 1 0 0 20 0 28 0 4902632 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513801874032 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 9 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6046] ppid=6027 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6046/stat : 6046 (java) S 6027 6027 8571 0 -1 1077944384 4823 0 0 0 76 2 0 0 20 0 28 0 4902632 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513800821232 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6047] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6047/stat : 6047 (java) S 6027 6027 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4902632 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513799768672 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6048] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6048/stat : 6048 (java) S 6027 6027 8571 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4902633 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513798715952 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6049] ppid=6027 vsize=13801768 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6049/stat : 6049 (java) R 6027 6027 8571 0 -1 4202560 238 0 0 0 307 0 0 0 20 0 28 0 4902691 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513790700696 140514776360381 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6050] ppid=6027 vsize=13801768 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6050/stat : 6050 (java) R 6027 6027 8571 0 -1 4202560 252 0 0 0 300 0 0 0 20 0 28 0 4902692 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513789648128 140514775906822 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6051] ppid=6027 vsize=13801768 CPUtime=2.88 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6051/stat : 6051 (java) R 6027 6027 8571 0 -1 4202560 381 0 0 0 288 0 0 0 20 0 28 0 4902692 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513788596760 140514776543428 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6052] ppid=6027 vsize=13801768 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6052/stat : 6052 (java) R 6027 6027 8571 0 -1 4202560 491 0 0 0 302 2 0 0 20 0 28 0 4902692 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513787543552 140514776332844 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6053] ppid=6027 vsize=13801768 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6053/stat : 6053 (java) R 6027 6027 8571 0 -1 4202560 236 0 0 0 286 0 0 0 20 0 28 0 4902692 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513786491848 140514775480374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6054] ppid=6027 vsize=13801768 CPUtime=3.2 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6054/stat : 6054 (java) R 6027 6027 8571 0 -1 4202560 235 0 0 0 320 0 0 0 20 0 28 0 4902692 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513785440968 140514776332802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6055] ppid=6027 vsize=13801768 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6055/stat : 6055 (java) R 6027 6027 8571 0 -1 4202560 304 0 0 0 330 0 0 0 20 0 28 0 4902692 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513784385312 140514775758185 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6056] ppid=6027 vsize=13801768 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6056/stat : 6056 (java) R 6027 6027 8571 0 -1 4202560 224 0 0 0 303 0 0 0 20 0 28 0 4902692 14133010432 61036 33554432000 4194304 4196468 140720781191504 140513783334344 140514777159897 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
Current children cumulated CPU time (s) 34.22
Current children cumulated vsize (KiB) 13811280
[startup+5.20154 s]
/proc/loadavg: 15.41 15.06 14.41 20/300 6056
/proc/meminfo: memFree=30096052/32770624 swapFree=5884/294308
[pid=6027] ppid=6024 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6027/stat : 6027 (xcsp3-exec) S 6024 6027 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4902623 9740288 346 33554432000 4194304 5098028 140733974785328 140733974783432 140612323799676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 25600000 140733974791311 140733974791520 140733974791520 140733974794219 0
/proc/6027/statm: 2378 346 289 221 0 87 0
[pid=6028] ppid=6027 vsize=13801768 CPUtime=37.41 cores=0,2,4,6,8,10,12,14
/proc/6028/stat : 6028 (java) S 6027 6027 8571 0 -1 1077944320 42478 0 0 0 3715 26 0 0 20 0 28 0 4902623 14133010432 61064 33554432000 4194304 4196468 140720781191504 140720781174048 140515143663351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
/proc/6028/statm: 3450442 61064 3272 1 0 3437675 0
[pid=6028/tid=6029] ppid=6027 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6029/stat : 6029 (java) S 6027 6027 8571 0 -1 1077944384 6774 0 0 0 62 3 0 0 20 0 28 0 4902624 14133010432 61064 33554432000 4194304 4196468 140720781191504 140515147904128 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6031] ppid=6027 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6031/stat : 6031 (java) S 6027 6027 8571 0 -1 1077944384 193 0 0 0 1 1 0 0 20 0 28 0 4902625 14133010432 61064 33554432000 4194304 4196468 140720781191504 140515096283792 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6032] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6032/stat : 6032 (java) S 6027 6027 8571 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4902625 14133010432 61064 33554432000 4194304 4196468 140720781191504 140515095230992 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6033] ppid=6027 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6033/stat : 6033 (java) S 6027 6027 8571 0 -1 1077944384 626 0 0 0 1 1 0 0 20 0 28 0 4902625 14133010432 61064 33554432000 4194304 4196468 140720781191504 140515094178192 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6034] ppid=6027 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6034/stat : 6034 (java) S 6027 6027 8571 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 4902625 14133010432 61064 33554432000 4194304 4196468 140720781191504 140515093125392 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6035] ppid=6027 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6035/stat : 6035 (java) S 6027 6027 8571 0 -1 1077944384 41 0 0 0 1 1 0 0 20 0 28 0 4902625 14133010432 61064 33554432000 4194304 4196468 140720781191504 140515092073616 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6036] ppid=6027 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6036/stat : 6036 (java) S 6027 6027 8571 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 28 0 4902625 14133010432 61064 33554432000 4194304 4196468 140720781191504 140515091020816 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6037] ppid=6027 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6037/stat : 6037 (java) S 6027 6027 8571 0 -1 1077944384 37 0 0 0 0 1 0 0 20 0 28 0 4902625 14133010432 61064 33554432000 4194304 4196468 140720781191504 140514736667536 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6038] ppid=6027 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6038/stat : 6038 (java) S 6027 6027 8571 0 -1 1077944384 51 0 0 0 1 1 0 0 20 0 28 0 4902625 14133010432 61064 33554432000 4194304 4196468 140720781191504 140514735614736 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6039] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6039/stat : 6039 (java) S 6027 6027 8571 0 -1 1077944384 517 0 0 0 0 0 0 0 20 0 28 0 4902627 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513808189808 140515143674498 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6040] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6040/stat : 6040 (java) S 6027 6027 8571 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4902628 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513807135776 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6041] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6041/stat : 6041 (java) S 6027 6027 8571 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 4902628 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513806082928 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6042] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6042/stat : 6042 (java) S 6027 6027 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4902632 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513805031248 140515143681947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6043] ppid=6027 vsize=13801768 CPUtime=2.73 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6043/stat : 6043 (java) S 6027 6027 8571 0 -1 1077944384 10009 0 0 0 272 1 0 0 20 0 28 0 4902632 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513803979632 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6044] ppid=6027 vsize=13801768 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6044/stat : 6044 (java) S 6027 6027 8571 0 -1 1077944384 8172 0 0 0 292 1 0 0 20 0 28 0 4902632 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513802926832 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6045] ppid=6027 vsize=13801768 CPUtime=2.55 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6045/stat : 6045 (java) S 6027 6027 8571 0 -1 1077944384 6792 0 0 0 254 1 0 0 20 0 28 0 4902632 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513801874032 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 9 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6046] ppid=6027 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6046/stat : 6046 (java) S 6027 6027 8571 0 -1 1077944384 4860 0 0 0 78 2 0 0 20 0 28 0 4902632 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513800821232 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6047] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6047/stat : 6047 (java) S 6027 6027 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4902632 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513799768672 140515143673557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6048] ppid=6027 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6048/stat : 6048 (java) S 6027 6027 8571 0 -1 1077944384 533 0 0 0 0 0 0 0 20 0 28 0 4902633 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513798715952 140515143674498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6049] ppid=6027 vsize=13801768 CPUtime=3.45 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6049/stat : 6049 (java) R 6027 6027 8571 0 -1 4202560 238 0 0 0 345 0 0 0 20 0 28 0 4902691 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513790700760 140514775907966 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6050] ppid=6027 vsize=13801768 CPUtime=3.4 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6050/stat : 6050 (java) R 6027 6027 8571 0 -1 4202560 258 0 0 0 340 0 0 0 20 0 28 0 4902692 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513789650088 140514776289065 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6051] ppid=6027 vsize=13801768 CPUtime=3.24 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6051/stat : 6051 (java) R 6027 6027 8571 0 -1 4202560 426 0 0 0 324 0 0 0 20 0 28 0 4902692 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513788596376 140514777152215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6052] ppid=6027 vsize=13801768 CPUtime=3.41 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6052/stat : 6052 (java) R 6027 6027 8571 0 -1 4202560 491 0 0 0 339 2 0 0 20 0 28 0 4902692 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513787544280 140514778156110 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6053] ppid=6027 vsize=13801768 CPUtime=3.22 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6053/stat : 6053 (java) R 6027 6027 8571 0 -1 4202560 244 0 0 0 322 0 0 0 20 0 28 0 4902692 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513786493176 140514777153019 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6054] ppid=6027 vsize=13801768 CPUtime=3.59 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6054/stat : 6054 (java) R 6027 6027 8571 0 -1 4202560 235 0 0 0 359 0 0 0 20 0 28 0 4902692 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513785439160 140514775480392 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6055] ppid=6027 vsize=13801768 CPUtime=3.7 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6055/stat : 6055 (java) R 6027 6027 8571 0 -1 4202560 308 0 0 0 370 0 0 0 20 0 28 0 4902692 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513784385960 140514775757603 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
[pid=6028/tid=6056] ppid=6027 vsize=13801768 CPUtime=3.41 cores=0,2,4,6,8,10,12,14
/proc/6028/task/6056/stat : 6056 (java) R 6027 6027 8571 0 -1 4202560 224 0 0 0 341 0 0 0 20 0 28 0 4902692 14133010432 61064 33554432000 4194304 4196468 140720781191504 140513783334344 140514776543740 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32227328 140720781198524 140720781198700 140720781198700 140720781201359 0
Current children cumulated CPU time (s) 37.41
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 5.24749
CPU time (s): 37.623
CPU user time (s): 37.3456
CPU system time (s): 0.277358
CPU usage (%): 716.971
Max. virtual memory (cumulated for all children) (KiB): 13813844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.3456
system time used= 0.277358
maximum resident set size= 244524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4103
involuntary context switches= 3661
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.072309 second user time and 0.066831 second system time
The end