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-4246047-1500686763/watcher-4246047-1500686763 -o /tmp/evaluation-result-4246047-1500686763/solver-4246047-1500686763 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 797565073 HOME/instance-4246047-1500686763.xml
pid=4305
running on 8 cores: 1,3,5,7,9,11,13,15
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: 11.42 13.92 14.49 10/271 4308
/proc/meminfo: memFree=27658620/32770624 swapFree=5804/254916
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3942640 9740288 346 33554432000 4194304 5098028 140724376994160 140724376992264 140629159756412 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12378112 140724377003151 140724377003360 140724377003360 140724377006059 0
/proc/4308/statm: 2378 346 289 221 0 87 0
[startup+0.100123 s]
/proc/loadavg: 11.42 13.92 14.49 10/271 4308
/proc/meminfo: memFree=27658620/32770624 swapFree=5804/254916
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3942640 9740288 346 33554432000 4194304 5098028 140724376994160 140724376992264 140629159756412 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12378112 140724377003151 140724377003360 140724377003360 140724377006059 0
/proc/4308/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200319 s]
/proc/loadavg: 11.42 13.92 14.49 10/271 4308
/proc/meminfo: memFree=27658620/32770624 swapFree=5804/254916
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3942640 9740288 346 33554432000 4194304 5098028 140724376994160 140724376992264 140629159756412 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12378112 140724377003151 140724377003360 140724377003360 140724377006059 0
/proc/4308/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30031 s]
/proc/loadavg: 11.42 13.92 14.49 10/271 4308
/proc/meminfo: memFree=27658620/32770624 swapFree=5804/254916
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3942640 9740288 346 33554432000 4194304 5098028 140724376994160 140724376992264 140629159756412 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12378112 140724377003151 140724377003360 140724377003360 140724377006059 0
/proc/4308/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700252 s]
/proc/loadavg: 11.42 13.92 14.49 10/271 4308
/proc/meminfo: memFree=27658620/32770624 swapFree=5804/254916
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3942640 9740288 346 33554432000 4194304 5098028 140724376994160 140724376992264 140629159756412 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12378112 140724377003151 140724377003360 140724377003360 140724377006059 0
/proc/4308/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50115 s]
/proc/loadavg: 11.42 13.92 14.49 10/292 4329
/proc/meminfo: memFree=27296980/32770624 swapFree=5804/254804
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3942640 9740288 346 33554432000 4194304 5098028 140724376994160 140724376992264 140629159756412 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12378112 140724377003151 140724377003360 140724377003360 140724377006059 0
/proc/4308/statm: 2378 346 289 221 0 87 0
[pid=4309] ppid=4308 vsize=13267208 CPUtime=4.66 cores=1,3,5,7,9,11,13,15
/proc/4309/stat : 4309 (java) S 4308 4308 14782 0 -1 1077944320 14093 0 0 0 350 116 0 0 20 0 20 0 3942640 13585620992 103071 33554432000 4194304 4196468 140723628748528 140723628731072 140249441554167 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
/proc/4309/statm: 3316802 103071 3230 1 0 3304035 0
[pid=4309/tid=4310] ppid=4308 vsize=13267208 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4310/stat : 4310 (java) R 4308 4308 14782 0 -1 4202560 6562 0 0 0 120 5 0 0 20 0 20 0 3942641 13585620992 103071 33554432000 4194304 4196468 140723628748528 140249445789192 140249081388425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4312] ppid=4308 vsize=13267208 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4312/stat : 4312 (java) S 4308 4308 14782 0 -1 1077944384 101 0 0 0 7 13 0 0 20 0 20 0 3942642 13585620992 103071 33554432000 4194304 4196468 140723628748528 140249406835216 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4313] ppid=4308 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4313/stat : 4313 (java) S 4308 4308 14782 0 -1 1077944384 99 0 0 0 8 13 0 0 20 0 20 0 3942642 13585620992 103071 33554432000 4194304 4196468 140723628748528 140249040013968 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4314] ppid=4308 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4314/stat : 4314 (java) S 4308 4308 14782 0 -1 1077944384 95 0 0 0 8 13 0 0 20 0 20 0 3942642 13585620992 103071 33554432000 4194304 4196468 140723628748528 140249038960912 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4315] ppid=4308 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4315/stat : 4315 (java) S 4308 4308 14782 0 -1 1077944384 99 0 0 0 8 13 0 0 20 0 20 0 3942642 13585620992 103071 33554432000 4194304 4196468 140723628748528 140249037908368 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4316] ppid=4308 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4316/stat : 4316 (java) S 4308 4308 14782 0 -1 1077944384 104 0 0 0 7 14 0 0 20 0 20 0 3942642 13585620992 103071 33554432000 4194304 4196468 140723628748528 140249036856336 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4317] ppid=4308 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4317/stat : 4317 (java) S 4308 4308 14782 0 -1 1077944384 102 0 0 0 8 13 0 0 20 0 20 0 3942642 13585620992 103071 33554432000 4194304 4196468 140723628748528 140249035803792 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4318] ppid=4308 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4318/stat : 4318 (java) S 4308 4308 14782 0 -1 1077944384 100 0 0 0 9 13 0 0 20 0 20 0 3942642 13585620992 103071 33554432000 4194304 4196468 140723628748528 140249034750736 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4319] ppid=4308 vsize=13267208 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4319/stat : 4319 (java) S 4308 4308 14782 0 -1 1077944384 94 0 0 0 8 12 0 0 20 0 20 0 3942642 13585620992 103071 33554432000 4194304 4196468 140723628748528 140249033698192 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4320] ppid=4308 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4320/stat : 4320 (java) S 4308 4308 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3942643 13585620992 103071 33554432000 4194304 4196468 140723628748528 140248903895280 140249441565314 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4321] ppid=4308 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4321/stat : 4321 (java) S 4308 4308 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3942644 13585620992 103071 33554432000 4194304 4196468 140723628748528 140248902841504 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4322] ppid=4308 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4322/stat : 4322 (java) S 4308 4308 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3942644 13585620992 103071 33554432000 4194304 4196468 140723628748528 140248901788400 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4323] ppid=4308 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4323/stat : 4323 (java) S 4308 4308 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3942647 13585620992 103071 33554432000 4194304 4196468 140723628748528 140248900736976 140249441572763 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4324] ppid=4308 vsize=13267208 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4324/stat : 4324 (java) R 4308 4308 14782 0 -1 4202560 1296 0 0 0 37 0 0 0 20 0 20 0 3942647 13585620992 103071 33554432000 4194304 4196468 140723628748528 140248899671648 140249422730119 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4325] ppid=4308 vsize=13267208 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4325/stat : 4325 (java) R 4308 4308 14782 0 -1 4202560 1150 0 0 0 48 0 0 0 20 0 20 0 3942647 13585620992 103071 33554432000 4194304 4196468 140723628748528 140248898618624 140249419403521 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4326] ppid=4308 vsize=13267208 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4326/stat : 4326 (java) R 4308 4308 14782 0 -1 4202560 1441 0 0 0 40 0 0 0 20 0 20 0 3942647 13585620992 103071 33554432000 4194304 4196468 140723628748528 140248897564976 140249426680309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4327] ppid=4308 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4327/stat : 4327 (java) S 4308 4308 14782 0 -1 1077944384 1471 0 0 0 35 0 0 0 20 0 20 0 3942647 13585620992 103071 33554432000 4194304 4196468 140723628748528 140248896526960 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4328] ppid=4308 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4328/stat : 4328 (java) S 4308 4308 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3942647 13585620992 103071 33554432000 4194304 4196468 140723628748528 140248895474144 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4329] ppid=4308 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4329/stat : 4329 (java) S 4308 4308 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3942648 13585620992 103071 33554432000 4194304 4196468 140723628748528 140248894421680 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
Current children cumulated CPU time (s) 4.66
Current children cumulated vsize (KiB) 13276720
[startup+3.10074 s]
/proc/loadavg: 11.38 13.87 14.47 17/292 4329
/proc/meminfo: memFree=27030004/32770624 swapFree=5804/254804
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3942640 9740288 346 33554432000 4194304 5098028 140724376994160 140724376992264 140629159756412 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12378112 140724377003151 140724377003360 140724377003360 140724377006059 0
/proc/4308/statm: 2378 346 289 221 0 87 0
[pid=4309] ppid=4308 vsize=13267208 CPUtime=11.62 cores=1,3,5,7,9,11,13,15
/proc/4309/stat : 4309 (java) S 4308 4308 14782 0 -1 1077944320 17661 0 0 0 970 192 0 0 20 0 20 0 3942640 13585620992 212238 33554432000 4194304 4196468 140723628748528 140723628731072 140249441554167 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
/proc/4309/statm: 3316802 212238 3252 1 0 3304035 0
[pid=4309/tid=4310] ppid=4308 vsize=13267208 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4310/stat : 4310 (java) R 4308 4308 14782 0 -1 4202560 6865 0 0 0 176 9 0 0 20 0 20 0 3942641 13585620992 212238 33554432000 4194304 4196468 140723628748528 140249445791632 140249082158444 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4312] ppid=4308 vsize=13267208 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4312/stat : 4312 (java) S 4308 4308 14782 0 -1 1077944384 281 0 0 0 66 22 0 0 20 0 20 0 3942642 13585620992 212238 33554432000 4194304 4196468 140723628748528 140249406835216 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4313] ppid=4308 vsize=13267208 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4313/stat : 4313 (java) S 4308 4308 14782 0 -1 1077944384 454 0 0 0 67 22 0 0 20 0 20 0 3942642 13585620992 212238 33554432000 4194304 4196468 140723628748528 140249040013968 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4314] ppid=4308 vsize=13267208 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4314/stat : 4314 (java) S 4308 4308 14782 0 -1 1077944384 458 0 0 0 68 22 0 0 20 0 20 0 3942642 13585620992 212238 33554432000 4194304 4196468 140723628748528 140249038960912 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4315] ppid=4308 vsize=13267208 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4315/stat : 4315 (java) S 4308 4308 14782 0 -1 1077944384 249 0 0 0 68 22 0 0 20 0 20 0 3942642 13585620992 212238 33554432000 4194304 4196468 140723628748528 140249037908368 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4316] ppid=4308 vsize=13267208 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4316/stat : 4316 (java) S 4308 4308 14782 0 -1 1077944384 290 0 0 0 67 23 0 0 20 0 20 0 3942642 13585620992 212238 33554432000 4194304 4196468 140723628748528 140249036856336 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4317] ppid=4308 vsize=13267208 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4317/stat : 4317 (java) S 4308 4308 14782 0 -1 1077944384 288 0 0 0 68 23 0 0 20 0 20 0 3942642 13585620992 212238 33554432000 4194304 4196468 140723628748528 140249035803792 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4318] ppid=4308 vsize=13267208 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4318/stat : 4318 (java) S 4308 4308 14782 0 -1 1077944384 281 0 0 0 69 21 0 0 20 0 20 0 3942642 13585620992 212238 33554432000 4194304 4196468 140723628748528 140249034750736 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4319] ppid=4308 vsize=13267208 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4319/stat : 4319 (java) S 4308 4308 14782 0 -1 1077944384 474 0 0 0 68 20 0 0 20 0 20 0 3942642 13585620992 212238 33554432000 4194304 4196468 140723628748528 140249033698192 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4320] ppid=4308 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4320/stat : 4320 (java) S 4308 4308 14782 0 -1 1077944384 453 0 0 0 12 0 0 0 20 0 20 0 3942643 13585620992 212238 33554432000 4194304 4196468 140723628748528 140248903895280 140249441565314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4321] ppid=4308 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4321/stat : 4321 (java) S 4308 4308 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3942644 13585620992 212238 33554432000 4194304 4196468 140723628748528 140248902841568 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4322] ppid=4308 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4322/stat : 4322 (java) S 4308 4308 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3942644 13585620992 212238 33554432000 4194304 4196468 140723628748528 140248901788416 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4323] ppid=4308 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4323/stat : 4323 (java) S 4308 4308 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3942647 13585620992 212238 33554432000 4194304 4196468 140723628748528 140248900736976 140249441572763 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4324] ppid=4308 vsize=13267208 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4324/stat : 4324 (java) S 4308 4308 14782 0 -1 1077944384 1866 0 0 0 68 1 0 0 20 0 20 0 3942647 13585620992 212238 33554432000 4194304 4196468 140723628748528 140248899685104 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4325] ppid=4308 vsize=13267208 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4325/stat : 4325 (java) S 4308 4308 14782 0 -1 1077944384 1297 0 0 0 67 0 0 0 20 0 20 0 3942647 13585620992 212238 33554432000 4194304 4196468 140723628748528 140248898632560 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4326] ppid=4308 vsize=13267208 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4326/stat : 4326 (java) S 4308 4308 14782 0 -1 1077944384 1636 0 0 0 65 0 0 0 20 0 20 0 3942647 13585620992 212238 33554432000 4194304 4196468 140723628748528 140248897579504 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4327] ppid=4308 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4327/stat : 4327 (java) S 4308 4308 14782 0 -1 1077944384 1471 0 0 0 35 0 0 0 20 0 20 0 3942647 13585620992 212238 33554432000 4194304 4196468 140723628748528 140248896526960 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4328] ppid=4308 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4328/stat : 4328 (java) S 4308 4308 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3942647 13585620992 212238 33554432000 4194304 4196468 140723628748528 140248895474144 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4329] ppid=4308 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4329/stat : 4329 (java) S 4308 4308 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3942648 13585620992 212238 33554432000 4194304 4196468 140723628748528 140248894421680 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 17 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
Current children cumulated CPU time (s) 11.62
Current children cumulated vsize (KiB) 13276720
[startup+6.30088 s]
/proc/loadavg: 11.38 13.87 14.47 10/292 4329
/proc/meminfo: memFree=26442616/32770624 swapFree=5804/254816
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3942640 9740288 346 33554432000 4194304 5098028 140724376994160 140724376992264 140629159756412 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12378112 140724377003151 140724377003360 140724377003360 140724377006059 0
/proc/4308/statm: 2378 346 289 221 0 87 0
[pid=4309] ppid=4308 vsize=13269256 CPUtime=22.59 cores=1,3,5,7,9,11,13,15
/proc/4309/stat : 4309 (java) S 4308 4308 14782 0 -1 1077944320 31788 0 0 0 1783 476 0 0 20 0 20 0 3942640 13587718144 394721 33554432000 4194304 4196468 140723628748528 140723628731072 140249441554167 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
/proc/4309/statm: 3317314 394721 3273 1 0 3304547 0
[pid=4309/tid=4310] ppid=4308 vsize=13269256 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4310/stat : 4310 (java) R 4308 4308 14782 0 -1 4202560 8626 0 0 0 427 13 0 0 20 0 20 0 3942641 13587718144 394721 33554432000 4194304 4196468 140723628748528 140249445793488 140249085353441 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4312] ppid=4308 vsize=13269256 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4312/stat : 4312 (java) S 4308 4308 14782 0 -1 1077944384 661 0 0 0 93 56 0 0 20 0 20 0 3942642 13587718144 394721 33554432000 4194304 4196468 140723628748528 140249406835216 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4313] ppid=4308 vsize=13269256 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4313/stat : 4313 (java) S 4308 4308 14782 0 -1 1077944384 855 0 0 0 96 55 0 0 20 0 20 0 3942642 13587718144 394721 33554432000 4194304 4196468 140723628748528 140249040013968 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4314] ppid=4308 vsize=13269256 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4314/stat : 4314 (java) S 4308 4308 14782 0 -1 1077944384 871 0 0 0 96 58 0 0 20 0 20 0 3942642 13587718144 394721 33554432000 4194304 4196468 140723628748528 140249038960912 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4315] ppid=4308 vsize=13269256 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4315/stat : 4315 (java) S 4308 4308 14782 0 -1 1077944384 650 0 0 0 97 56 0 0 20 0 20 0 3942642 13587718144 394721 33554432000 4194304 4196468 140723628748528 140249037908368 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4316] ppid=4308 vsize=13269256 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4316/stat : 4316 (java) S 4308 4308 14782 0 -1 1077944384 1035 0 0 0 96 57 0 0 20 0 20 0 3942642 13587718144 394721 33554432000 4194304 4196468 140723628748528 140249036856336 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4317] ppid=4308 vsize=13269256 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4317/stat : 4317 (java) S 4308 4308 14782 0 -1 1077944384 927 0 0 0 97 58 0 0 20 0 20 0 3942642 13587718144 394721 33554432000 4194304 4196468 140723628748528 140249035803792 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4318] ppid=4308 vsize=13269256 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4318/stat : 4318 (java) S 4308 4308 14782 0 -1 1077944384 677 0 0 0 97 57 0 0 20 0 20 0 3942642 13587718144 394721 33554432000 4194304 4196468 140723628748528 140249034750736 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4319] ppid=4308 vsize=13269256 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4319/stat : 4319 (java) S 4308 4308 14782 0 -1 1077944384 865 0 0 0 96 56 0 0 20 0 20 0 3942642 13587718144 394721 33554432000 4194304 4196468 140723628748528 140249033698192 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4320] ppid=4308 vsize=13269256 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4320/stat : 4320 (java) S 4308 4308 14782 0 -1 1077944384 1233 0 0 0 13 0 0 0 20 0 20 0 3942643 13587718144 394721 33554432000 4194304 4196468 140723628748528 140248903895280 140249441565314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4321] ppid=4308 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4321/stat : 4321 (java) S 4308 4308 14782 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3942644 13587718144 394721 33554432000 4194304 4196468 140723628748528 140248902841568 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4322] ppid=4308 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4322/stat : 4322 (java) S 4308 4308 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3942644 13587718144 394721 33554432000 4194304 4196468 140723628748528 140248901788416 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4323] ppid=4308 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4323/stat : 4323 (java) S 4308 4308 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3942647 13587718144 394721 33554432000 4194304 4196468 140723628748528 140248900736976 140249441572763 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
################
# More data... #
################
[pid=4309/tid=4337] ppid=4308 vsize=13801768 CPUtime=119.93 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4337/stat : 4337 (java) R 4308 4308 14782 0 -1 4202560 5308 0 0 0 11992 1 0 0 20 0 28 0 3952422 14133010432 2296004 33554432000 4194304 4196468 140723628748528 140248880091304 140249086866368 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4338] ppid=4308 vsize=13801768 CPUtime=120.05 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4338/stat : 4338 (java) R 4308 4308 14782 0 -1 4202560 3855 0 0 0 12004 1 0 0 20 0 28 0 3952422 14133010432 2296004 33554432000 4194304 4196468 140723628748528 140248879038536 140249083040160 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
Current children cumulated CPU time (s) 1481.39
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 15.70 14.53 14.53 17/300 4452
/proc/meminfo: memFree=22037332/32770624 swapFree=5804/255204
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3942640 9740288 346 33554432000 4194304 5098028 140724376994160 140724376992264 140629159756412 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12378112 140724377003151 140724377003360 140724377003360 140724377006059 0
/proc/4308/statm: 2378 346 289 221 0 87 0
[pid=4309] ppid=4308 vsize=13801768 CPUtime=1958.34 cores=1,3,5,7,9,11,13,15
/proc/4309/stat : 4309 (java) S 4308 4308 14782 0 -1 1077944320 331368 0 0 0 191910 3924 0 0 20 0 28 0 3942640 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140723628731072 140249441554167 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
/proc/4309/statm: 3450442 2252015 3313 1 0 3437675 0
[pid=4309/tid=4310] ppid=4308 vsize=13801768 CPUtime=36.65 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4310/stat : 4310 (java) S 4308 4308 14782 0 -1 1077944384 16897 0 0 0 3647 18 0 0 20 0 28 0 3942641 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140249445794944 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4312] ppid=4308 vsize=13801768 CPUtime=57.98 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4312/stat : 4312 (java) S 4308 4308 14782 0 -1 1077944384 19558 0 0 0 5323 475 0 0 20 0 28 0 3942642 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140249406835216 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4313] ppid=4308 vsize=13801768 CPUtime=58.19 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4313/stat : 4313 (java) S 4308 4308 14782 0 -1 1077944384 21960 0 0 0 5338 481 0 0 20 0 28 0 3942642 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140249040013968 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4314] ppid=4308 vsize=13801768 CPUtime=57.99 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4314/stat : 4314 (java) S 4308 4308 14782 0 -1 1077944384 18578 0 0 0 5351 448 0 0 20 0 28 0 3942642 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140249038960912 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4315] ppid=4308 vsize=13801768 CPUtime=58.2 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4315/stat : 4315 (java) S 4308 4308 14782 0 -1 1077944384 27275 0 0 0 5351 469 0 0 20 0 28 0 3942642 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140249037908368 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4316] ppid=4308 vsize=13801768 CPUtime=58.22 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4316/stat : 4316 (java) S 4308 4308 14782 0 -1 1077944384 22780 0 0 0 5326 496 0 0 20 0 28 0 3942642 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140249036856336 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4317] ppid=4308 vsize=13801768 CPUtime=58.26 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4317/stat : 4317 (java) S 4308 4308 14782 0 -1 1077944384 22207 0 0 0 5339 487 0 0 20 0 28 0 3942642 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140249035803792 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4318] ppid=4308 vsize=13801768 CPUtime=58.25 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4318/stat : 4318 (java) S 4308 4308 14782 0 -1 1077944384 22510 0 0 0 5340 485 0 0 20 0 28 0 3942642 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140249034750736 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4319] ppid=4308 vsize=13801768 CPUtime=57.73 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4319/stat : 4319 (java) S 4308 4308 14782 0 -1 1077944384 18722 0 0 0 5276 497 0 0 20 0 28 0 3942642 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140249033698192 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4320] ppid=4308 vsize=13801768 CPUtime=6.07 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4320/stat : 4320 (java) S 4308 4308 14782 0 -1 1077944384 23214 0 0 0 584 23 0 0 20 0 28 0 3942643 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248903895280 140249441565314 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4321] ppid=4308 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4321/stat : 4321 (java) S 4308 4308 14782 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 3942644 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248902841568 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4322] ppid=4308 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4322/stat : 4322 (java) S 4308 4308 14782 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 28 0 3942644 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248901788416 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4323] ppid=4308 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4323/stat : 4323 (java) S 4308 4308 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3942647 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248900736976 140249441572763 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4324] ppid=4308 vsize=13801768 CPUtime=7 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4324/stat : 4324 (java) S 4308 4308 14782 0 -1 1077944384 24858 0 0 0 695 5 0 0 20 0 28 0 3942647 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248899685104 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4325] ppid=4308 vsize=13801768 CPUtime=6.03 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4325/stat : 4325 (java) S 4308 4308 14782 0 -1 1077944384 15532 0 0 0 600 3 0 0 20 0 28 0 3942647 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248898632560 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4326] ppid=4308 vsize=13801768 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4326/stat : 4326 (java) S 4308 4308 14782 0 -1 1077944384 16907 0 0 0 588 4 0 0 20 0 28 0 3942647 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248897579504 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4327] ppid=4308 vsize=13801768 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4327/stat : 4327 (java) S 4308 4308 14782 0 -1 1077944384 12341 0 0 0 170 3 0 0 20 0 28 0 3942647 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248896526960 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4328] ppid=4308 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4328/stat : 4328 (java) S 4308 4308 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3942647 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248895474144 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4329] ppid=4308 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4329/stat : 4329 (java) S 4308 4308 14782 0 -1 1077944384 896 0 0 0 6 11 0 0 20 0 28 0 3942648 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248894421680 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 17 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4331] ppid=4308 vsize=13801768 CPUtime=177.62 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4331/stat : 4331 (java) R 4308 4308 14782 0 -1 4202560 5077 0 0 0 17761 1 0 0 20 0 28 0 3952422 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248886407576 140249083809407 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4332] ppid=4308 vsize=13801768 CPUtime=178.06 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4332/stat : 4332 (java) R 4308 4308 14782 0 -1 4202560 6018 0 0 0 17803 3 0 0 20 0 28 0 3952422 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248885354168 140249086669323 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4333] ppid=4308 vsize=13801768 CPUtime=178.89 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4333/stat : 4333 (java) R 4308 4308 14782 0 -1 4202560 5260 0 0 0 17888 1 0 0 20 0 28 0 3952422 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248884304264 140249088439865 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4334] ppid=4308 vsize=13801768 CPUtime=178.59 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4334/stat : 4334 (java) R 4308 4308 14782 0 -1 4202560 4522 0 0 0 17857 2 0 0 20 0 28 0 3952422 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248883252336 140249081584030 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4335] ppid=4308 vsize=13801768 CPUtime=179.38 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4335/stat : 4335 (java) R 4308 4308 14782 0 -1 4202560 9699 0 0 0 17936 2 0 0 20 0 28 0 3952422 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248882196552 140249088429435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4336] ppid=4308 vsize=13801768 CPUtime=179.43 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4336/stat : 4336 (java) R 4308 4308 14782 0 -1 4202560 4391 0 0 0 17941 2 0 0 20 0 28 0 3952422 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248881144200 140249081584097 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4337] ppid=4308 vsize=13801768 CPUtime=178.66 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4337/stat : 4337 (java) R 4308 4308 14782 0 -1 4202560 6173 0 0 0 17864 2 0 0 20 0 28 0 3952422 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248880091008 140249086866368 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4338] ppid=4308 vsize=13801768 CPUtime=179.1 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4338/stat : 4338 (java) R 4308 4308 14782 0 -1 4202560 4535 0 0 0 17909 1 0 0 20 0 28 0 3952422 14133010432 2252015 33554432000 4194304 4196468 140723628748528 140248879038264 140249081036040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
Current children cumulated CPU time (s) 1958.34
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+337.817 s]
/proc/loadavg: 15.88 14.78 14.61 17/300 4453
/proc/meminfo: memFree=22132348/32770624 swapFree=5804/255276
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3942640 9740288 346 33554432000 4194304 5098028 140724376994160 140724376992264 140629159756412 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12378112 140724377003151 140724377003360 140724377003360 140724377006059 0
/proc/4308/statm: 2378 346 289 221 0 87 0
[pid=4309] ppid=4308 vsize=13801768 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/4309/stat : 4309 (java) S 4308 4308 14782 0 -1 1077944320 350846 0 0 0 236077 3932 0 0 20 0 28 0 3942640 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140723628731072 140249441554167 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
/proc/4309/statm: 3450442 2208668 3313 1 0 3437675 0
[pid=4309/tid=4310] ppid=4308 vsize=13801768 CPUtime=36.65 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4310/stat : 4310 (java) S 4308 4308 14782 0 -1 1077944384 16897 0 0 0 3647 18 0 0 20 0 28 0 3942641 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140249445794944 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4312] ppid=4308 vsize=13801768 CPUtime=58.75 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4312/stat : 4312 (java) S 4308 4308 14782 0 -1 1077944384 20254 0 0 0 5400 475 0 0 20 0 28 0 3942642 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140249406835216 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4313] ppid=4308 vsize=13801768 CPUtime=59 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4313/stat : 4313 (java) S 4308 4308 14782 0 -1 1077944384 27269 0 0 0 5419 481 0 0 20 0 28 0 3942642 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140249040013968 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4314] ppid=4308 vsize=13801768 CPUtime=58.81 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4314/stat : 4314 (java) S 4308 4308 14782 0 -1 1077944384 19273 0 0 0 5433 448 0 0 20 0 28 0 3942642 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140249038960912 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4315] ppid=4308 vsize=13801768 CPUtime=59.02 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4315/stat : 4315 (java) S 4308 4308 14782 0 -1 1077944384 28752 0 0 0 5433 469 0 0 20 0 28 0 3942642 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140249037908368 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4316] ppid=4308 vsize=13801768 CPUtime=59.01 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4316/stat : 4316 (java) S 4308 4308 14782 0 -1 1077944384 23631 0 0 0 5405 496 0 0 20 0 28 0 3942642 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140249036856336 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4317] ppid=4308 vsize=13801768 CPUtime=59.06 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4317/stat : 4317 (java) S 4308 4308 14782 0 -1 1077944384 23134 0 0 0 5419 487 0 0 20 0 28 0 3942642 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140249035803792 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4318] ppid=4308 vsize=13801768 CPUtime=59.01 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4318/stat : 4318 (java) S 4308 4308 14782 0 -1 1077944384 22715 0 0 0 5416 485 0 0 20 0 28 0 3942642 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140249034750736 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4319] ppid=4308 vsize=13801768 CPUtime=58.53 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4319/stat : 4319 (java) S 4308 4308 14782 0 -1 1077944384 19744 0 0 0 5356 497 0 0 20 0 28 0 3942642 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140249033698192 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4320] ppid=4308 vsize=13801768 CPUtime=6.09 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4320/stat : 4320 (java) S 4308 4308 14782 0 -1 1077944384 23461 0 0 0 585 24 0 0 20 0 28 0 3942643 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248903895280 140249441565314 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4321] ppid=4308 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4321/stat : 4321 (java) S 4308 4308 14782 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 3942644 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248902841568 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4322] ppid=4308 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4322/stat : 4322 (java) S 4308 4308 14782 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 28 0 3942644 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248901788416 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4323] ppid=4308 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4323/stat : 4323 (java) S 4308 4308 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3942647 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248900736976 140249441572763 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4324] ppid=4308 vsize=13801768 CPUtime=7.1 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4324/stat : 4324 (java) S 4308 4308 14782 0 -1 1077944384 25756 0 0 0 704 6 0 0 20 0 28 0 3942647 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248899685104 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4325] ppid=4308 vsize=13801768 CPUtime=6.03 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4325/stat : 4325 (java) S 4308 4308 14782 0 -1 1077944384 15539 0 0 0 600 3 0 0 20 0 28 0 3942647 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248898632560 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4326] ppid=4308 vsize=13801768 CPUtime=5.93 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4326/stat : 4326 (java) S 4308 4308 14782 0 -1 1077944384 16978 0 0 0 589 4 0 0 20 0 28 0 3942647 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248897579504 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4327] ppid=4308 vsize=13801768 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4327/stat : 4327 (java) S 4308 4308 14782 0 -1 1077944384 12854 0 0 0 171 3 0 0 20 0 28 0 3942647 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248896526960 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4328] ppid=4308 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4328/stat : 4328 (java) S 4308 4308 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3942647 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248895474144 140249441564373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4329] ppid=4308 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4329/stat : 4329 (java) S 4308 4308 14782 0 -1 1077944384 925 0 0 0 7 15 0 0 20 0 28 0 3942648 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248894421680 140249441565314 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 17 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4331] ppid=4308 vsize=13801768 CPUtime=232.2 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4331/stat : 4331 (java) R 4308 4308 14782 0 -1 4202560 5533 0 0 0 23219 1 0 0 20 0 28 0 3952422 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248886405496 140249081036266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4332] ppid=4308 vsize=13801768 CPUtime=232.69 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4332/stat : 4332 (java) R 4308 4308 14782 0 -1 4202560 6754 0 0 0 23266 3 0 0 20 0 28 0 3952422 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248885354696 140249086669323 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4333] ppid=4308 vsize=13801768 CPUtime=233.48 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4333/stat : 4333 (java) R 4308 4308 14782 0 -1 4202560 6057 0 0 0 23346 2 0 0 20 0 28 0 3952422 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248884302264 140249083653029 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4334] ppid=4308 vsize=13801768 CPUtime=232.69 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4334/stat : 4334 (java) R 4308 4308 14782 0 -1 4202560 5184 0 0 0 23266 3 0 0 20 0 28 0 3952422 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248883252336 140249081583837 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4335] ppid=4308 vsize=13801768 CPUtime=233.88 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4335/stat : 4335 (java) R 4308 4308 14782 0 -1 4202560 11227 0 0 0 23385 3 0 0 20 0 28 0 3952422 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248882196304 140249088429435 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4336] ppid=4308 vsize=13801768 CPUtime=233.93 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4336/stat : 4336 (java) R 4308 4308 14782 0 -1 4202560 5292 0 0 0 23391 2 0 0 20 0 28 0 3952422 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248881144200 140249081584097 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4337] ppid=4308 vsize=13801768 CPUtime=232.51 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4337/stat : 4337 (java) R 4308 4308 14782 0 -1 4202560 7040 0 0 0 23249 2 0 0 20 0 28 0 3952422 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248880091256 140249086866368 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
[pid=4309/tid=4338] ppid=4308 vsize=13801768 CPUtime=233.51 cores=1,3,5,7,9,11,13,15
/proc/4309/task/4338/stat : 4338 (java) R 4308 4308 14782 0 -1 4202560 5119 0 0 0 23350 1 0 0 20 0 28 0 3952422 14133010432 2208668 33554432000 4194304 4196468 140723628748528 140248879038440 140249081035996 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10854400 140723628750012 140723628750188 140723628750188 140723628752847 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4309 sig 9
??? kill 4308 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4308 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2656
# CPU time returned by wait4() is 0.002656
# while last known CPU time is 2400.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 337.828
CPU time (s): 2400.09
CPU user time (s): 2360.77
CPU system time (s): 39.32
CPU usage (%): 710.448
Max. virtual memory (cumulated for all children) (KiB): 13813032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.002656
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.58969 second user time and 4.78037 second system time
The end