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-4249130-1500693657/watcher-4249130-1500693657 -o /tmp/evaluation-result-4249130-1500693657/solver-4249130-1500693657 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 683316548 HOME/instance-4249130-1500693657.xml
pid=5702
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: 16.02 14.67 13.53 10/272 5705
/proc/meminfo: memFree=31622928/32770624 swapFree=5880/292720
[pid=5705] ppid=5702 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4633413 9740288 346 33554432000 4194304 5098028 140720714560544 140720714558648 139789086712444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22908928 140720714564751 140720714564960 140720714564960 140720714567659 0
/proc/5705/statm: 2378 346 289 221 0 87 0
[startup+0.100072 s]
/proc/loadavg: 16.02 14.67 13.53 10/272 5705
/proc/meminfo: memFree=31622928/32770624 swapFree=5880/292720
[pid=5705] ppid=5702 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4633413 9740288 346 33554432000 4194304 5098028 140720714560544 140720714558648 139789086712444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22908928 140720714564751 140720714564960 140720714564960 140720714567659 0
/proc/5705/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200251 s]
/proc/loadavg: 16.02 14.67 13.53 10/272 5705
/proc/meminfo: memFree=31622928/32770624 swapFree=5880/292720
[pid=5705] ppid=5702 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4633413 9740288 346 33554432000 4194304 5098028 140720714560544 140720714558648 139789086712444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22908928 140720714564751 140720714564960 140720714564960 140720714567659 0
/proc/5705/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300338 s]
/proc/loadavg: 16.02 14.67 13.53 10/272 5705
/proc/meminfo: memFree=31622928/32770624 swapFree=5880/292720
[pid=5705] ppid=5702 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4633413 9740288 346 33554432000 4194304 5098028 140720714560544 140720714558648 139789086712444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22908928 140720714564751 140720714564960 140720714564960 140720714567659 0
/proc/5705/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700161 s]
/proc/loadavg: 16.02 14.67 13.53 10/272 5705
/proc/meminfo: memFree=31622928/32770624 swapFree=5880/292720
[pid=5705] ppid=5702 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4633413 9740288 346 33554432000 4194304 5098028 140720714560544 140720714558648 139789086712444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22908928 140720714564751 140720714564960 140720714564960 140720714567659 0
/proc/5705/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50126 s]
/proc/loadavg: 15.53 14.59 13.51 19/301 5775
/proc/meminfo: memFree=31458024/32770624 swapFree=5880/292776
[pid=5705] ppid=5702 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4633413 9740288 346 33554432000 4194304 5098028 140720714560544 140720714558648 139789086712444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22908928 140720714564751 140720714564960 140720714564960 140720714567659 0
/proc/5705/statm: 2378 346 289 221 0 87 0
[pid=5706] ppid=5705 vsize=13868332 CPUtime=7.69 cores=0,2,4,6,8,10,12,14
/proc/5706/stat : 5706 (java) S 5705 5705 7744 0 -1 1077944320 17606 0 0 0 760 9 0 0 20 0 28 0 4633413 14201171968 46071 33554432000 4194304 4196468 140737132747200 140737132729744 140315762786039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
/proc/5706/statm: 3467083 46071 3221 1 0 3454316 0
[pid=5706/tid=5707] ppid=5705 vsize=13868332 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5707/stat : 5707 (java) S 5705 5705 7744 0 -1 1077944384 6868 0 0 0 63 3 0 0 20 0 28 0 4633414 14201171968 46071 33554432000 4194304 4196468 140737132747200 140315767026816 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5709] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5709/stat : 5709 (java) S 5705 5705 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 46071 33554432000 4194304 4196468 140737132747200 140315715406736 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5710] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5710/stat : 5710 (java) S 5705 5705 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 46071 33554432000 4194304 4196468 140737132747200 140315714353936 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5711] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5711/stat : 5711 (java) S 5705 5705 7744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 46071 33554432000 4194304 4196468 140737132747200 140315713301648 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5712] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5712/stat : 5712 (java) S 5705 5705 7744 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 46071 33554432000 4194304 4196468 140737132747200 140315712248848 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5713] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5713/stat : 5713 (java) S 5705 5705 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 46071 33554432000 4194304 4196468 140737132747200 140315711195536 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5714] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5714/stat : 5714 (java) S 5705 5705 7744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 46071 33554432000 4194304 4196468 140737132747200 140315356231952 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5715] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5715/stat : 5715 (java) S 5705 5705 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 46071 33554432000 4194304 4196468 140737132747200 140315355179664 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5716] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5716/stat : 5716 (java) S 5705 5705 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 46071 33554432000 4194304 4196468 140737132747200 140315354126864 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5717] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5717/stat : 5717 (java) S 5705 5705 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4633417 14201171968 46071 33554432000 4194304 4196468 140737132747200 140314956716656 140315762797186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5718] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5718/stat : 5718 (java) S 5705 5705 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4633418 14201171968 46071 33554432000 4194304 4196468 140737132747200 140314955662624 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5719] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5719/stat : 5719 (java) S 5705 5705 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4633418 14201171968 46071 33554432000 4194304 4196468 140737132747200 140314954610288 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5720] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5720/stat : 5720 (java) S 5705 5705 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4633423 14201171968 46071 33554432000 4194304 4196468 140737132747200 140314953558608 140315762804635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5721] ppid=5705 vsize=13868332 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5721/stat : 5721 (java) R 5705 5705 7744 0 -1 4202560 1701 0 0 0 85 0 0 0 20 0 28 0 4633423 14201171968 46071 33554432000 4194304 4196468 140737132747200 140314952491552 140315744307748 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5722] ppid=5705 vsize=13868332 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5722/stat : 5722 (java) R 5705 5705 7744 0 -1 4202560 1883 0 0 0 70 0 0 0 20 0 28 0 4633423 14201171968 46071 33554432000 4194304 4196468 140737132747200 140314951443936 140315746254070 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5723] ppid=5705 vsize=13868332 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5723/stat : 5723 (java) R 5705 5705 7744 0 -1 4202560 1602 0 0 0 75 0 0 0 20 0 28 0 4633423 14201171968 46071 33554432000 4194304 4196468 140737132747200 140314950390176 140315747705085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5724] ppid=5705 vsize=13868332 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5724/stat : 5724 (java) R 5705 5705 7744 0 -1 4202560 2595 0 0 0 58 1 0 0 20 0 28 0 4633423 14201171968 46071 33554432000 4194304 4196468 140737132747200 140314949347568 140315741906341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5725] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5725/stat : 5725 (java) S 5705 5705 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4633423 14201171968 46071 33554432000 4194304 4196468 140737132747200 140314948295520 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5726] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5726/stat : 5726 (java) S 5705 5705 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4633423 14201171968 46071 33554432000 4194304 4196468 140737132747200 140314947242800 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 13877844
[startup+3.10151 s]
/proc/loadavg: 15.53 14.59 13.51 20/301 5799
/proc/meminfo: memFree=31450780/32770624 swapFree=5880/292776
[pid=5705] ppid=5702 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4633413 9740288 346 33554432000 4194304 5098028 140720714560544 140720714558648 139789086712444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22908928 140720714564751 140720714564960 140720714564960 140720714567659 0
/proc/5705/statm: 2378 346 289 221 0 87 0
[pid=5706] ppid=5705 vsize=13868332 CPUtime=20.43 cores=0,2,4,6,8,10,12,14
/proc/5706/stat : 5706 (java) S 5705 5705 7744 0 -1 1077944320 21891 0 0 0 2032 11 0 0 20 0 28 0 4633413 14201171968 47789 33554432000 4194304 4196468 140737132747200 140737132729744 140315762786039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
/proc/5706/statm: 3467083 47789 3238 1 0 3454316 0
[pid=5706/tid=5707] ppid=5705 vsize=13868332 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5707/stat : 5707 (java) S 5705 5705 7744 0 -1 1077944384 6868 0 0 0 63 3 0 0 20 0 28 0 4633414 14201171968 47789 33554432000 4194304 4196468 140737132747200 140315767026816 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5709] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5709/stat : 5709 (java) S 5705 5705 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 47789 33554432000 4194304 4196468 140737132747200 140315715406736 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5710] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5710/stat : 5710 (java) S 5705 5705 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 47789 33554432000 4194304 4196468 140737132747200 140315714353936 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5711] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5711/stat : 5711 (java) S 5705 5705 7744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 47789 33554432000 4194304 4196468 140737132747200 140315713301648 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5712] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5712/stat : 5712 (java) S 5705 5705 7744 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 47789 33554432000 4194304 4196468 140737132747200 140315712248848 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5713] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5713/stat : 5713 (java) S 5705 5705 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 47789 33554432000 4194304 4196468 140737132747200 140315711195536 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5714] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5714/stat : 5714 (java) S 5705 5705 7744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 47789 33554432000 4194304 4196468 140737132747200 140315356231952 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5715] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5715/stat : 5715 (java) S 5705 5705 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 47789 33554432000 4194304 4196468 140737132747200 140315355179664 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5716] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5716/stat : 5716 (java) S 5705 5705 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 47789 33554432000 4194304 4196468 140737132747200 140315354126864 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5717] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5717/stat : 5717 (java) S 5705 5705 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4633417 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314956716656 140315762797186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5718] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5718/stat : 5718 (java) S 5705 5705 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4633418 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314955662624 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5719] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5719/stat : 5719 (java) S 5705 5705 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4633418 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314954610288 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5720] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5720/stat : 5720 (java) S 5705 5705 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4633423 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314953558608 140315762804635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5721] ppid=5705 vsize=13868332 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5721/stat : 5721 (java) S 5705 5705 7744 0 -1 1077944384 3644 0 0 0 164 1 0 0 20 0 28 0 4633423 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314952505456 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5722] ppid=5705 vsize=13868332 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5722/stat : 5722 (java) R 5705 5705 7744 0 -1 4202560 2523 0 0 0 145 0 0 0 20 0 28 0 4633423 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314951452952 140315747707996 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5723] ppid=5705 vsize=13868332 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5723/stat : 5723 (java) S 5705 5705 7744 0 -1 1077944384 2542 0 0 0 156 0 0 0 20 0 28 0 4633423 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314950400368 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5724] ppid=5705 vsize=13868332 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5724/stat : 5724 (java) S 5705 5705 7744 0 -1 1077944384 2774 0 0 0 67 1 0 0 20 0 28 0 4633423 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314949347568 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5725] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5725/stat : 5725 (java) S 5705 5705 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4633423 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314948295520 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5726] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5726/stat : 5726 (java) S 5705 5705 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4633423 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314947242800 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5792] ppid=5705 vsize=13868332 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5792/stat : 5792 (java) R 5705 5705 7744 0 -1 4202560 80 0 0 0 133 0 0 0 20 0 28 0 4633554 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314930806648 140315394759291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5793] ppid=5705 vsize=13868332 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5793/stat : 5793 (java) R 5705 5705 7744 0 -1 4202560 68 0 0 0 117 0 0 0 20 0 28 0 4633554 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314933965768 140315394758353 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5794] ppid=5705 vsize=13868332 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5794/stat : 5794 (java) R 5705 5705 7744 0 -1 4202560 181 0 0 0 117 0 0 0 20 0 28 0 4633554 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314932911672 140315394758860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5795] ppid=5705 vsize=13868332 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5795/stat : 5795 (java) R 5705 5705 7744 0 -1 4202560 75 0 0 0 145 0 0 0 20 0 28 0 4633554 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314937123032 140315396413181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5796] ppid=5705 vsize=13868332 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5796/stat : 5796 (java) R 5705 5705 7744 0 -1 4202560 89 0 0 0 140 0 0 0 20 0 28 0 4633554 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314931860152 140315397006090 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5797] ppid=5705 vsize=13868332 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5797/stat : 5797 (java) R 5705 5705 7744 0 -1 4202560 132 0 0 0 136 0 0 0 20 0 28 0 4633554 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314938175944 140315396577777 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5798] ppid=5705 vsize=13868332 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5798/stat : 5798 (java) R 5705 5705 7744 0 -1 4202560 40 0 0 0 146 0 0 0 20 0 28 0 4633554 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314939228824 140315747356999 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5799] ppid=5705 vsize=13868332 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5799/stat : 5799 (java) R 5705 5705 7744 0 -1 4202560 58 0 0 0 136 0 0 0 20 0 28 0 4633555 14201171968 47789 33554432000 4194304 4196468 140737132747200 140314935018088 140315394759236 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
Current children cumulated CPU time (s) 20.43
Current children cumulated vsize (KiB) 13877844
[startup+6.3015 s]
/proc/loadavg: 15.49 14.60 13.52 17/301 5799
/proc/meminfo: memFree=31435668/32770624 swapFree=5880/292776
[pid=5705] ppid=5702 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4633413 9740288 346 33554432000 4194304 5098028 140720714560544 140720714558648 139789086712444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22908928 140720714564751 140720714564960 140720714564960 140720714567659 0
/proc/5705/statm: 2378 346 289 221 0 87 0
[pid=5706] ppid=5705 vsize=13868332 CPUtime=45.84 cores=0,2,4,6,8,10,12,14
/proc/5706/stat : 5706 (java) S 5705 5705 7744 0 -1 1077944320 24744 0 0 0 4571 13 0 0 20 0 28 0 4633413 14201171968 51508 33554432000 4194304 4196468 140737132747200 140737132729744 140315762786039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
/proc/5706/statm: 3467083 51508 3255 1 0 3454316 0
[pid=5706/tid=5707] ppid=5705 vsize=13868332 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5707/stat : 5707 (java) S 5705 5705 7744 0 -1 1077944384 6868 0 0 0 63 3 0 0 20 0 28 0 4633414 14201171968 51508 33554432000 4194304 4196468 140737132747200 140315767026816 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5709] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5709/stat : 5709 (java) S 5705 5705 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 51508 33554432000 4194304 4196468 140737132747200 140315715406736 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5710] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5710/stat : 5710 (java) S 5705 5705 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 51508 33554432000 4194304 4196468 140737132747200 140315714353936 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5711] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5711/stat : 5711 (java) S 5705 5705 7744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 51508 33554432000 4194304 4196468 140737132747200 140315713301648 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5712] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5712/stat : 5712 (java) S 5705 5705 7744 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4633415 14201171968 51508 33554432000 4194304 4196468 140737132747200 140315712248848 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
################
# More data... #
################
[pid=5706/tid=5881] ppid=5705 vsize=13868332 CPUtime=13.32 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5881/stat : 5881 (java) R 5705 5705 7744 0 -1 4202560 628 0 0 0 1332 0 0 0 20 0 28 0 4654295 14201171968 79281 33554432000 4194304 4196468 140737132747200 140314937122752 140315394759180 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5882] ppid=5705 vsize=13868332 CPUtime=13.23 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5882/stat : 5882 (java) R 5705 5705 7744 0 -1 4202560 220 0 0 0 1323 0 0 0 20 0 28 0 4654295 14201171968 79281 33554432000 4194304 4196468 140737132747200 140314935018104 140315394759761 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
Current children cumulated CPU time (s) 1756.95
Current children cumulated vsize (KiB) 13877844
[startup+282.301 s]
/proc/loadavg: 15.65 15.38 14.14 17/299 5892
/proc/meminfo: memFree=30917044/32770624 swapFree=5880/293104
[pid=5705] ppid=5702 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4633413 9740288 346 33554432000 4194304 5098028 140720714560544 140720714558648 139789086712444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22908928 140720714564751 140720714564960 140720714564960 140720714567659 0
/proc/5705/statm: 2378 346 289 221 0 87 0
[pid=5706] ppid=5705 vsize=13868332 CPUtime=2230.4 cores=0,2,4,6,8,10,12,14
/proc/5706/stat : 5706 (java) S 5705 5705 7744 0 -1 1077944320 145804 0 0 0 222847 193 0 0 20 0 28 0 4633413 14201171968 82685 33554432000 4194304 4196468 140737132747200 140737132729744 140315762786039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
/proc/5706/statm: 3467083 82685 3287 1 0 3454316 0
[pid=5706/tid=5707] ppid=5705 vsize=13868332 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5707/stat : 5707 (java) S 5705 5705 7744 0 -1 1077944384 7286 0 0 0 63 3 0 0 20 0 28 0 4633414 14201171968 82685 33554432000 4194304 4196468 140737132747200 140315767026816 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5709] ppid=5705 vsize=13868332 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5709/stat : 5709 (java) S 5705 5705 7744 0 -1 1077944384 2782 0 0 0 77 13 0 0 20 0 28 0 4633415 14201171968 82685 33554432000 4194304 4196468 140737132747200 140315715406736 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5710] ppid=5705 vsize=13868332 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5710/stat : 5710 (java) S 5705 5705 7744 0 -1 1077944384 4628 0 0 0 79 12 0 0 20 0 28 0 4633415 14201171968 82685 33554432000 4194304 4196468 140737132747200 140315714353936 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5711] ppid=5705 vsize=13868332 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5711/stat : 5711 (java) S 5705 5705 7744 0 -1 1077944384 2781 0 0 0 80 11 0 0 20 0 28 0 4633415 14201171968 82685 33554432000 4194304 4196468 140737132747200 140315713301648 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5712] ppid=5705 vsize=13868332 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5712/stat : 5712 (java) S 5705 5705 7744 0 -1 1077944384 2636 0 0 0 78 12 0 0 20 0 28 0 4633415 14201171968 82685 33554432000 4194304 4196468 140737132747200 140315712248848 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5713] ppid=5705 vsize=13868332 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5713/stat : 5713 (java) S 5705 5705 7744 0 -1 1077944384 2962 0 0 0 78 12 0 0 20 0 28 0 4633415 14201171968 82685 33554432000 4194304 4196468 140737132747200 140315711195536 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5714] ppid=5705 vsize=13868332 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5714/stat : 5714 (java) S 5705 5705 7744 0 -1 1077944384 2872 0 0 0 76 11 0 0 20 0 28 0 4633415 14201171968 82685 33554432000 4194304 4196468 140737132747200 140315356231952 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5715] ppid=5705 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5715/stat : 5715 (java) S 5705 5705 7744 0 -1 1077944384 3392 0 0 0 77 12 0 0 20 0 28 0 4633415 14201171968 82685 33554432000 4194304 4196468 140737132747200 140315355179664 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5716] ppid=5705 vsize=13868332 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5716/stat : 5716 (java) S 5705 5705 7744 0 -1 1077944384 3024 0 0 0 81 11 0 0 20 0 28 0 4633415 14201171968 82685 33554432000 4194304 4196468 140737132747200 140315354126864 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5717] ppid=5705 vsize=13868332 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5717/stat : 5717 (java) S 5705 5705 7744 0 -1 1077944384 16945 0 0 0 64 60 0 0 20 0 28 0 4633417 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314956716656 140315762797186 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5718] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5718/stat : 5718 (java) S 5705 5705 7744 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 4633418 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314955662688 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5719] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5719/stat : 5719 (java) S 5705 5705 7744 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4633418 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314954610304 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5720] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5720/stat : 5720 (java) S 5705 5705 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4633423 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314953558608 140315762804635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5721] ppid=5705 vsize=13868332 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5721/stat : 5721 (java) S 5705 5705 7744 0 -1 1077944384 13883 0 0 0 228 2 0 0 20 0 28 0 4633423 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314952505456 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5722] ppid=5705 vsize=13868332 CPUtime=2.45 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5722/stat : 5722 (java) S 5705 5705 7744 0 -1 1077944384 14750 0 0 0 244 1 0 0 20 0 28 0 4633423 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314951452656 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5723] ppid=5705 vsize=13868332 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5723/stat : 5723 (java) S 5705 5705 7744 0 -1 1077944384 12657 0 0 0 248 1 0 0 20 0 28 0 4633423 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314950400368 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5724] ppid=5705 vsize=13868332 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5724/stat : 5724 (java) S 5705 5705 7744 0 -1 1077944384 8973 0 0 0 82 2 0 0 20 0 28 0 4633423 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314949347568 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5725] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5725/stat : 5725 (java) S 5705 5705 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4633423 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314948295520 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5726] ppid=5705 vsize=13868332 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5726/stat : 5726 (java) S 5705 5705 7744 0 -1 1077944384 1376 0 0 0 6 3 0 0 20 0 28 0 4633423 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314947242800 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5885] ppid=5705 vsize=13868332 CPUtime=19.72 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5885/stat : 5885 (java) R 5705 5705 7744 0 -1 4202560 579 0 0 0 1972 0 0 0 20 0 28 0 4659641 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314931858488 140315397563193 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5886] ppid=5705 vsize=13868332 CPUtime=19.68 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5886/stat : 5886 (java) R 5705 5705 7744 0 -1 4202560 181 0 0 0 1968 0 0 0 20 0 28 0 4659641 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314932913048 140315394758641 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5887] ppid=5705 vsize=13868332 CPUtime=19.56 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5887/stat : 5887 (java) R 5705 5705 7744 0 -1 4202560 3423 0 0 0 1956 0 0 0 20 0 28 0 4659641 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314933964664 140315394759488 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5888] ppid=5705 vsize=13868332 CPUtime=19.56 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5888/stat : 5888 (java) R 5705 5705 7744 0 -1 4202560 1621 0 0 0 1956 0 0 0 20 0 28 0 4659641 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314939227456 140315394758654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5889] ppid=5705 vsize=13868332 CPUtime=19.66 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5889/stat : 5889 (java) R 5705 5705 7744 0 -1 4202560 1955 0 0 0 1966 0 0 0 20 0 28 0 4659641 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314938175608 140315396332337 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5890] ppid=5705 vsize=13868332 CPUtime=19.52 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5890/stat : 5890 (java) R 5705 5705 7744 0 -1 4202560 199 0 0 0 1952 0 0 0 20 0 28 0 4659641 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314935017464 140315394758780 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5891] ppid=5705 vsize=13868332 CPUtime=19.68 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5891/stat : 5891 (java) R 5705 5705 7744 0 -1 4202560 339 0 0 0 1968 0 0 0 20 0 28 0 4659641 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314930809696 140315394758906 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5892] ppid=5705 vsize=13868332 CPUtime=19.61 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5892/stat : 5892 (java) R 5705 5705 7744 0 -1 4202560 566 0 0 0 1961 0 0 0 20 0 28 0 4659641 14201171968 82685 33554432000 4194304 4196468 140737132747200 140314936070936 140315395388694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
Current children cumulated CPU time (s) 2230.4
Current children cumulated vsize (KiB) 13877844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.802 s]
/proc/loadavg: 14.67 15.19 14.10 19/299 6140
/proc/meminfo: memFree=30983512/32770624 swapFree=5880/293176
[pid=5705] ppid=5702 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4633413 9740288 346 33554432000 4194304 5098028 140720714560544 140720714558648 139789086712444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22908928 140720714564751 140720714564960 140720714564960 140720714567659 0
/proc/5705/statm: 2378 346 289 221 0 87 0
[pid=5706] ppid=5705 vsize=13868332 CPUtime=2400.36 cores=0,2,4,6,8,10,12,14
/proc/5706/stat : 5706 (java) S 5705 5705 7744 0 -1 1077944320 153483 0 0 0 239833 203 0 0 20 0 28 0 4633413 14201171968 86154 33554432000 4194304 4196468 140737132747200 140737132729744 140315762786039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
/proc/5706/statm: 3467083 86154 3287 1 0 3454316 0
[pid=5706/tid=5707] ppid=5705 vsize=13868332 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5707/stat : 5707 (java) S 5705 5705 7744 0 -1 1077944384 7286 0 0 0 63 3 0 0 20 0 28 0 4633414 14201171968 86154 33554432000 4194304 4196468 140737132747200 140315767026816 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5709] ppid=5705 vsize=13868332 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5709/stat : 5709 (java) S 5705 5705 7744 0 -1 1077944384 2977 0 0 0 84 13 0 0 20 0 28 0 4633415 14201171968 86154 33554432000 4194304 4196468 140737132747200 140315715406736 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5710] ppid=5705 vsize=13868332 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5710/stat : 5710 (java) S 5705 5705 7744 0 -1 1077944384 4803 0 0 0 84 12 0 0 20 0 28 0 4633415 14201171968 86154 33554432000 4194304 4196468 140737132747200 140315714353936 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5711] ppid=5705 vsize=13868332 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5711/stat : 5711 (java) S 5705 5705 7744 0 -1 1077944384 3545 0 0 0 87 12 0 0 20 0 28 0 4633415 14201171968 86154 33554432000 4194304 4196468 140737132747200 140315713301648 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5712] ppid=5705 vsize=13868332 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5712/stat : 5712 (java) S 5705 5705 7744 0 -1 1077944384 3207 0 0 0 85 12 0 0 20 0 28 0 4633415 14201171968 86154 33554432000 4194304 4196468 140737132747200 140315712248848 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5713] ppid=5705 vsize=13868332 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5713/stat : 5713 (java) S 5705 5705 7744 0 -1 1077944384 3140 0 0 0 85 12 0 0 20 0 28 0 4633415 14201171968 86154 33554432000 4194304 4196468 140737132747200 140315711195536 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5714] ppid=5705 vsize=13868332 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5714/stat : 5714 (java) S 5705 5705 7744 0 -1 1077944384 3084 0 0 0 83 12 0 0 20 0 28 0 4633415 14201171968 86154 33554432000 4194304 4196468 140737132747200 140315356231952 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5715] ppid=5705 vsize=13868332 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5715/stat : 5715 (java) S 5705 5705 7744 0 -1 1077944384 3643 0 0 0 83 12 0 0 20 0 28 0 4633415 14201171968 86154 33554432000 4194304 4196468 140737132747200 140315355179664 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5716] ppid=5705 vsize=13868332 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5716/stat : 5716 (java) S 5705 5705 7744 0 -1 1077944384 3204 0 0 0 88 12 0 0 20 0 28 0 4633415 14201171968 86154 33554432000 4194304 4196468 140737132747200 140315354126864 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5717] ppid=5705 vsize=13868332 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5717/stat : 5717 (java) S 5705 5705 7744 0 -1 1077944384 17550 0 0 0 71 65 0 0 20 0 28 0 4633417 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314956716656 140315762797186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5718] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5718/stat : 5718 (java) S 5705 5705 7744 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 4633418 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314955662688 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5719] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5719/stat : 5719 (java) S 5705 5705 7744 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4633418 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314954610304 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5720] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5720/stat : 5720 (java) S 5705 5705 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4633423 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314953558608 140315762804635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5721] ppid=5705 vsize=13868332 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5721/stat : 5721 (java) S 5705 5705 7744 0 -1 1077944384 13888 0 0 0 228 2 0 0 20 0 28 0 4633423 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314952505456 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5722] ppid=5705 vsize=13868332 CPUtime=2.45 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5722/stat : 5722 (java) S 5705 5705 7744 0 -1 1077944384 14754 0 0 0 244 1 0 0 20 0 28 0 4633423 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314951452656 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5723] ppid=5705 vsize=13868332 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5723/stat : 5723 (java) S 5705 5705 7744 0 -1 1077944384 12662 0 0 0 248 1 0 0 20 0 28 0 4633423 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314950400368 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5724] ppid=5705 vsize=13868332 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5724/stat : 5724 (java) S 5705 5705 7744 0 -1 1077944384 8977 0 0 0 82 2 0 0 20 0 28 0 4633423 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314949347568 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5725] ppid=5705 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5725/stat : 5725 (java) S 5705 5705 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4633423 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314948295520 140315762796245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5726] ppid=5705 vsize=13868332 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5726/stat : 5726 (java) S 5705 5705 7744 0 -1 1077944384 1419 0 0 0 7 4 0 0 20 0 28 0 4633423 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314947242800 140315762797186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 13 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5885] ppid=5705 vsize=13868332 CPUtime=40.94 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5885/stat : 5885 (java) R 5705 5705 7744 0 -1 4202560 941 0 0 0 4094 0 0 0 20 0 28 0 4659641 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314931861584 140315394758575 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5886] ppid=5705 vsize=13868332 CPUtime=40.82 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5886/stat : 5886 (java) R 5705 5705 7744 0 -1 4202560 328 0 0 0 4082 0 0 0 20 0 28 0 4659641 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314932913016 140315394759810 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5887] ppid=5705 vsize=13868332 CPUtime=40.83 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5887/stat : 5887 (java) R 5705 5705 7744 0 -1 4202560 5043 0 0 0 4083 0 0 0 20 0 28 0 4659641 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314933964616 140315397470828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5888] ppid=5705 vsize=13868332 CPUtime=40.74 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5888/stat : 5888 (java) R 5705 5705 7744 0 -1 4202560 1907 0 0 0 4074 0 0 0 20 0 28 0 4659641 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314939227640 140315394759281 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5889] ppid=5705 vsize=13868332 CPUtime=40.84 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5889/stat : 5889 (java) R 5705 5705 7744 0 -1 4202560 2176 0 0 0 4084 0 0 0 20 0 28 0 4659641 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314938175456 140315394672279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5890] ppid=5705 vsize=13868332 CPUtime=40.62 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5890/stat : 5890 (java) R 5705 5705 7744 0 -1 4202560 261 0 0 0 4062 0 0 0 20 0 28 0 4659641 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314935016984 140315394758846 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5891] ppid=5705 vsize=13868332 CPUtime=40.81 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5891/stat : 5891 (java) R 5705 5705 7744 0 -1 4202560 1542 0 0 0 4081 0 0 0 20 0 28 0 4659641 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314930807704 140315394758632 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
[pid=5706/tid=5892] ppid=5705 vsize=13868332 CPUtime=40.64 cores=0,2,4,6,8,10,12,14
/proc/5706/task/5892/stat : 5892 (java) R 5705 5705 7744 0 -1 4202560 1152 0 0 0 4064 0 0 0 20 0 28 0 4659641 14201171968 86154 33554432000 4194304 4196468 140737132747200 140314936070200 140315396616256 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15822848 140737132754108 140737132754284 140737132754284 140737132756943 0
Current children cumulated CPU time (s) 2400.36
Current children cumulated vsize (KiB) 13877844
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 5706 sig 9
??? kill 5705 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 5705 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2140
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1070
# CPU time returned by wait4() is 0.00321
# while last known CPU time is 2400.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.812
CPU time (s): 2400.36
CPU user time (s): 2398.33
CPU system time (s): 2.03
CPU usage (%): 790.08
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00214
system time used= 0.00107
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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.9697 second user time and 4.005 second system time
The end