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-4245289-1500685639/watcher-4245289-1500685639 -o /tmp/evaluation-result-4245289-1500685639/solver-4245289-1500685639 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 455786262 HOME/instance-4245289-1500685639.xml
pid=31653
running on 8 cores: 0-3,8-11
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.62 16.26 15.47 10/275 31656
/proc/meminfo: memFree=30619396/32770624 swapFree=5944/213436
[pid=31656] ppid=31653 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/31656/stat : 31656 (xcsp3-exec) S 31653 31656 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831057 9740288 346 33554432000 4194304 5098028 140733799280672 140733799278776 140348315267708 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15114240 140733799285903 140733799286112 140733799286112 140733799288811 0
/proc/31656/statm: 2378 346 289 221 0 87 0
[startup+0.100105 s]
/proc/loadavg: 16.62 16.26 15.47 10/275 31656
/proc/meminfo: memFree=30619396/32770624 swapFree=5944/213436
[pid=31656] ppid=31653 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/31656/stat : 31656 (xcsp3-exec) S 31653 31656 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831057 9740288 346 33554432000 4194304 5098028 140733799280672 140733799278776 140348315267708 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15114240 140733799285903 140733799286112 140733799286112 140733799288811 0
/proc/31656/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200313 s]
/proc/loadavg: 16.62 16.26 15.47 10/275 31656
/proc/meminfo: memFree=30619396/32770624 swapFree=5944/213436
[pid=31656] ppid=31653 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/31656/stat : 31656 (xcsp3-exec) S 31653 31656 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831057 9740288 346 33554432000 4194304 5098028 140733799280672 140733799278776 140348315267708 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15114240 140733799285903 140733799286112 140733799286112 140733799288811 0
/proc/31656/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300238 s]
/proc/loadavg: 16.62 16.26 15.47 10/275 31656
/proc/meminfo: memFree=30619396/32770624 swapFree=5944/213436
[pid=31656] ppid=31653 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/31656/stat : 31656 (xcsp3-exec) S 31653 31656 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831057 9740288 346 33554432000 4194304 5098028 140733799280672 140733799278776 140348315267708 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15114240 140733799285903 140733799286112 140733799286112 140733799288811 0
/proc/31656/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700217 s]
/proc/loadavg: 16.62 16.26 15.47 10/275 31656
/proc/meminfo: memFree=30619396/32770624 swapFree=5944/213436
[pid=31656] ppid=31653 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/31656/stat : 31656 (xcsp3-exec) S 31653 31656 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831057 9740288 346 33554432000 4194304 5098028 140733799280672 140733799278776 140348315267708 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15114240 140733799285903 140733799286112 140733799286112 140733799288811 0
/proc/31656/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50124 s]
/proc/loadavg: 16.62 16.26 15.47 16/296 31677
/proc/meminfo: memFree=30344428/32770624 swapFree=5944/213508
[pid=31656] ppid=31653 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/31656/stat : 31656 (xcsp3-exec) S 31653 31656 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831057 9740288 346 33554432000 4194304 5098028 140733799280672 140733799278776 140348315267708 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15114240 140733799285903 140733799286112 140733799286112 140733799288811 0
/proc/31656/statm: 2378 346 289 221 0 87 0
[pid=31657] ppid=31656 vsize=13269256 CPUtime=5.33 cores=0-3,8-11
/proc/31657/stat : 31657 (java) S 31656 31656 18810 0 -1 1077944320 16731 0 0 0 515 18 0 0 20 0 20 0 3831057 13587718144 58098 33554432000 4194304 4196468 140726381943376 140726381925920 140307191889655 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
/proc/31657/statm: 3317314 58098 3250 1 0 3304547 0
[pid=31657/tid=31658] ppid=31656 vsize=13269256 CPUtime=1.42 cores=0-3,8-11
/proc/31657/task/31658/stat : 31658 (java) R 31656 31656 18810 0 -1 4202560 7092 0 0 0 138 4 0 0 20 0 20 0 3831058 13587718144 58098 33554432000 4194304 4196468 140726381943376 140307196126264 140306807675746 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31660] ppid=31656 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/31657/task/31660/stat : 31660 (java) S 31656 31656 18810 0 -1 1077944384 20 0 0 0 2 1 0 0 20 0 20 0 3831059 13587718144 58098 33554432000 4194304 4196468 140726381943376 140307124026384 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31661] ppid=31656 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/31657/task/31661/stat : 31661 (java) S 31656 31656 18810 0 -1 1077944384 21 0 0 0 2 1 0 0 20 0 20 0 3831059 13587718144 58098 33554432000 4194304 4196468 140726381943376 140307122973840 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31662] ppid=31656 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/31657/task/31662/stat : 31662 (java) S 31656 31656 18810 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 20 0 3831059 13587718144 58098 33554432000 4194304 4196468 140726381943376 140307121920784 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31663] ppid=31656 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/31657/task/31663/stat : 31663 (java) S 31656 31656 18810 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 20 0 3831059 13587718144 58098 33554432000 4194304 4196468 140726381943376 140307120868240 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31664] ppid=31656 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/31657/task/31664/stat : 31664 (java) S 31656 31656 18810 0 -1 1077944384 10 0 0 0 1 1 0 0 20 0 20 0 3831059 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306786781712 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31665] ppid=31656 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/31657/task/31665/stat : 31665 (java) S 31656 31656 18810 0 -1 1077944384 21 0 0 0 2 1 0 0 20 0 20 0 3831059 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306785729168 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31666] ppid=31656 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/31657/task/31666/stat : 31666 (java) S 31656 31656 18810 0 -1 1077944384 27 0 0 0 2 1 0 0 20 0 20 0 3831059 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306784676112 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31667] ppid=31656 vsize=13269256 CPUtime=0.04 cores=0-3,8-11
/proc/31657/task/31667/stat : 31667 (java) S 31656 31656 18810 0 -1 1077944384 26 0 0 0 3 1 0 0 20 0 20 0 3831059 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306783623568 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31668] ppid=31656 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31668/stat : 31668 (java) S 31656 31656 18810 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3831061 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306721319664 140307191900802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31669] ppid=31656 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31669/stat : 31669 (java) S 31656 31656 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3831062 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306720265952 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31670] ppid=31656 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31670/stat : 31670 (java) S 31656 31656 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3831062 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306719212800 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31671] ppid=31656 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31671/stat : 31671 (java) S 31656 31656 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831066 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306718161360 140307191908251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31672] ppid=31656 vsize=13269256 CPUtime=0.92 cores=0-3,8-11
/proc/31657/task/31672/stat : 31672 (java) R 31656 31656 18810 0 -1 4202560 1683 0 0 0 92 0 0 0 20 0 20 0 3831066 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306448102144 140307191911002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31673] ppid=31656 vsize=13269256 CPUtime=1.01 cores=0-3,8-11
/proc/31657/task/31673/stat : 31673 (java) R 31656 31656 18810 0 -1 4202560 2019 0 0 0 101 0 0 0 20 0 20 0 3831066 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306447055896 140307173409950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31674] ppid=31656 vsize=13269256 CPUtime=0.93 cores=0-3,8-11
/proc/31657/task/31674/stat : 31674 (java) R 31656 31656 18810 0 -1 4202560 1301 0 0 0 93 0 0 0 20 0 20 0 3831066 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306446010480 140307177307979 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31675] ppid=31656 vsize=13269256 CPUtime=0.71 cores=0-3,8-11
/proc/31657/task/31675/stat : 31675 (java) S 31656 31656 18810 0 -1 1077944384 3085 0 0 0 71 0 0 0 20 0 20 0 3831066 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306444957808 140307191900802 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31676] ppid=31656 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31676/stat : 31676 (java) S 31656 31656 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3831066 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306443906016 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31677] ppid=31656 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31677/stat : 31677 (java) S 31656 31656 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831066 13587718144 58098 33554432000 4194304 4196468 140726381943376 140306442853552 140307191900802 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 13278768
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31657 sig 9
??? kill 31656 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60144 s]
/proc/loadavg: 16.62 16.26 15.47 16/296 31677
/proc/meminfo: memFree=30344428/32770624 swapFree=5944/213508
[pid=31656] ppid=31653 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/31656/stat : 31656 (xcsp3-exec) S 31653 31656 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831057 9740288 346 33554432000 4194304 5098028 140733799280672 140733799278776 140348315267708 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15114240 140733799285903 140733799286112 140733799286112 140733799288811 0
/proc/31656/statm: 2378 346 289 221 0 87 0
[pid=31657] ppid=31656 vsize=13269256 CPUtime=5.87 cores=0-3,8-11
/proc/31657/stat : 31657 (java) S 31656 31656 18810 0 -1 1077944320 16898 0 0 0 552 35 0 0 20 0 20 0 3831057 13587718144 66290 33554432000 4194304 4196468 140726381943376 140726381925920 140307191889655 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
/proc/31657/statm: 3317314 66290 3250 1 0 3304547 0
[pid=31657/tid=31658] ppid=31656 vsize=13269256 CPUtime=1.48 cores=0-3,8-11
/proc/31657/task/31658/stat : 31658 (java) R 31656 31656 18810 0 -1 4202560 7092 0 0 0 144 4 0 0 20 0 20 0 3831058 13587718144 66290 33554432000 4194304 4196468 140726381943376 140307196125320 140306805648960 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31660] ppid=31656 vsize=13269256 CPUtime=0.06 cores=0-3,8-11
/proc/31657/task/31660/stat : 31660 (java) S 31656 31656 18810 0 -1 1077944384 31 0 0 0 3 3 0 0 20 0 20 0 3831059 13587718144 66290 33554432000 4194304 4196468 140726381943376 140307124026384 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31661] ppid=31656 vsize=13269256 CPUtime=0.07 cores=0-3,8-11
/proc/31657/task/31661/stat : 31661 (java) S 31656 31656 18810 0 -1 1077944384 38 0 0 0 4 3 0 0 20 0 20 0 3831059 13587718144 66290 33554432000 4194304 4196468 140726381943376 140307122973840 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31662] ppid=31656 vsize=13269256 CPUtime=0.06 cores=0-3,8-11
/proc/31657/task/31662/stat : 31662 (java) S 31656 31656 18810 0 -1 1077944384 29 0 0 0 3 3 0 0 20 0 20 0 3831059 13587718144 66290 33554432000 4194304 4196468 140726381943376 140307121920784 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31663] ppid=31656 vsize=13269256 CPUtime=0.06 cores=0-3,8-11
/proc/31657/task/31663/stat : 31663 (java) S 31656 31656 18810 0 -1 1077944384 44 0 0 0 3 3 0 0 20 0 20 0 3831059 13587718144 66290 33554432000 4194304 4196468 140726381943376 140307120868240 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31664] ppid=31656 vsize=13269256 CPUtime=0.06 cores=0-3,8-11
/proc/31657/task/31664/stat : 31664 (java) S 31656 31656 18810 0 -1 1077944384 30 0 0 0 3 3 0 0 20 0 20 0 3831059 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306786781712 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31665] ppid=31656 vsize=13269256 CPUtime=0.06 cores=0-3,8-11
/proc/31657/task/31665/stat : 31665 (java) S 31656 31656 18810 0 -1 1077944384 36 0 0 0 3 3 0 0 20 0 20 0 3831059 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306785729168 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31666] ppid=31656 vsize=13269256 CPUtime=0.06 cores=0-3,8-11
/proc/31657/task/31666/stat : 31666 (java) S 31656 31656 18810 0 -1 1077944384 43 0 0 0 3 3 0 0 20 0 20 0 3831059 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306784676112 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31667] ppid=31656 vsize=13269256 CPUtime=0.07 cores=0-3,8-11
/proc/31657/task/31667/stat : 31667 (java) S 31656 31656 18810 0 -1 1077944384 42 0 0 0 4 3 0 0 20 0 20 0 3831059 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306783623568 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31668] ppid=31656 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31668/stat : 31668 (java) S 31656 31656 18810 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3831061 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306721319664 140307191900802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31669] ppid=31656 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31669/stat : 31669 (java) S 31656 31656 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3831062 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306720265952 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31670] ppid=31656 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31670/stat : 31670 (java) S 31656 31656 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3831062 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306719212800 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31671] ppid=31656 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31671/stat : 31671 (java) S 31656 31656 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831066 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306718161360 140307191908251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31672] ppid=31656 vsize=13269256 CPUtime=0.99 cores=0-3,8-11
/proc/31657/task/31672/stat : 31672 (java) R 31656 31656 18810 0 -1 4202560 1724 0 0 0 99 0 0 0 20 0 20 0 3831066 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306448096848 140307191911002 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31673] ppid=31656 vsize=13269256 CPUtime=1.08 cores=0-3,8-11
/proc/31657/task/31673/stat : 31673 (java) R 31656 31656 18810 0 -1 4202560 2020 0 0 0 108 0 0 0 20 0 20 0 3831066 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306447048536 140307171545210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31674] ppid=31656 vsize=13269256 CPUtime=0.99 cores=0-3,8-11
/proc/31657/task/31674/stat : 31674 (java) R 31656 31656 18810 0 -1 4202560 1302 0 0 0 99 0 0 0 20 0 20 0 3831066 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306446000240 140307175276351 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31675] ppid=31656 vsize=13269256 CPUtime=0.71 cores=0-3,8-11
/proc/31657/task/31675/stat : 31675 (java) S 31656 31656 18810 0 -1 1077944384 3087 0 0 0 71 0 0 0 20 0 20 0 3831066 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306444957808 140307191900802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31676] ppid=31656 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31676/stat : 31676 (java) S 31656 31656 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3831066 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306443906016 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31677] ppid=31656 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31677/stat : 31677 (java) S 31656 31656 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831066 13587718144 66290 33554432000 4194304 4196468 140726381943376 140306442853552 140307191900802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 13278768
[startup+2.40126 s]
/proc/loadavg: 16.25 16.19 15.45 19/304 31685
/proc/meminfo: memFree=30101004/32770624 swapFree=5944/213476
[pid=31656] ppid=31653 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/31656/stat : 31656 (xcsp3-exec) S 31653 31656 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831057 9740288 346 33554432000 4194304 5098028 140733799280672 140733799278776 140348315267708 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15114240 140733799285903 140733799286112 140733799286112 140733799288811 0
/proc/31656/statm: 2378 346 289 221 0 87 0
[pid=31657] ppid=31656 vsize=13803816 CPUtime=10.05 cores=0-3,8-11
/proc/31657/stat : 31657 (java) S 31656 31656 18810 0 -1 1077944320 19036 0 0 0 944 61 0 0 20 0 28 0 3831057 14135107584 109950 33554432000 4194304 4196468 140726381943376 140726381925920 140307191889655 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
/proc/31657/statm: 3450954 109950 3264 1 0 3438187 0
[pid=31657/tid=31658] ppid=31656 vsize=13803816 CPUtime=1.96 cores=0-3,8-11
/proc/31657/task/31658/stat : 31658 (java) S 31656 31656 18810 0 -1 1077944384 7200 0 0 0 191 5 0 0 20 0 28 0 3831058 14135107584 109950 33554432000 4194304 4196468 140726381943376 140307196130432 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31660] ppid=31656 vsize=13803816 CPUtime=0.14 cores=0-3,8-11
/proc/31657/task/31660/stat : 31660 (java) S 31656 31656 18810 0 -1 1077944384 73 0 0 0 7 7 0 0 20 0 28 0 3831059 14135107584 109950 33554432000 4194304 4196468 140726381943376 140307124026384 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31661] ppid=31656 vsize=13803816 CPUtime=0.13 cores=0-3,8-11
/proc/31657/task/31661/stat : 31661 (java) S 31656 31656 18810 0 -1 1077944384 62 0 0 0 7 6 0 0 20 0 28 0 3831059 14135107584 109950 33554432000 4194304 4196468 140726381943376 140307122973840 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31662] ppid=31656 vsize=13803816 CPUtime=0.13 cores=0-3,8-11
/proc/31657/task/31662/stat : 31662 (java) S 31656 31656 18810 0 -1 1077944384 56 0 0 0 7 6 0 0 20 0 28 0 3831059 14135107584 109950 33554432000 4194304 4196468 140726381943376 140307121920784 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31663] ppid=31656 vsize=13803816 CPUtime=0.12 cores=0-3,8-11
/proc/31657/task/31663/stat : 31663 (java) S 31656 31656 18810 0 -1 1077944384 67 0 0 0 6 6 0 0 20 0 28 0 3831059 14135107584 109950 33554432000 4194304 4196468 140726381943376 140307120868240 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31664] ppid=31656 vsize=13803816 CPUtime=0.13 cores=0-3,8-11
/proc/31657/task/31664/stat : 31664 (java) S 31656 31656 18810 0 -1 1077944384 60 0 0 0 7 6 0 0 20 0 28 0 3831059 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306786781712 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31665] ppid=31656 vsize=13803816 CPUtime=0.11 cores=0-3,8-11
/proc/31657/task/31665/stat : 31665 (java) S 31656 31656 18810 0 -1 1077944384 57 0 0 0 6 5 0 0 20 0 28 0 3831059 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306785729168 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31666] ppid=31656 vsize=13803816 CPUtime=0.14 cores=0-3,8-11
/proc/31657/task/31666/stat : 31666 (java) S 31656 31656 18810 0 -1 1077944384 75 0 0 0 9 5 0 0 20 0 28 0 3831059 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306784676112 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31667] ppid=31656 vsize=13803816 CPUtime=0.15 cores=0-3,8-11
/proc/31657/task/31667/stat : 31667 (java) S 31656 31656 18810 0 -1 1077944384 70 0 0 0 8 7 0 0 20 0 28 0 3831059 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306783623568 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
################
# More data... #
################
/proc/31657/task/31669/stat : 31669 (java) S 31656 31656 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3831062 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306720265952 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31670] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31670/stat : 31670 (java) S 31656 31656 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3831062 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306719212800 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31671] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31671/stat : 31671 (java) S 31656 31656 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3831066 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306718161360 140307191908251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31672] ppid=31656 vsize=13803816 CPUtime=1.6 cores=0-3,8-11
/proc/31657/task/31672/stat : 31672 (java) S 31656 31656 18810 0 -1 1077944384 2415 0 0 0 160 0 0 0 20 0 28 0 3831066 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306448115952 140307191900802 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31673] ppid=31656 vsize=13803816 CPUtime=1.75 cores=0-3,8-11
/proc/31657/task/31673/stat : 31673 (java) R 31656 31656 18810 0 -1 4202560 2296 0 0 0 175 0 0 0 20 0 28 0 3831066 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306447063408 140307175386443 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31674] ppid=31656 vsize=13803816 CPUtime=1.62 cores=0-3,8-11
/proc/31657/task/31674/stat : 31674 (java) R 31656 31656 18810 0 -1 4202560 1542 0 0 0 161 1 0 0 20 0 28 0 3831066 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306446010648 140307175376162 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31675] ppid=31656 vsize=13803816 CPUtime=0.8 cores=0-3,8-11
/proc/31657/task/31675/stat : 31675 (java) S 31656 31656 18810 0 -1 1077944384 3181 0 0 0 80 0 0 0 20 0 28 0 3831066 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306444957808 140307191900802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31676] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31676/stat : 31676 (java) S 31656 31656 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3831066 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306443906016 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31677] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31677/stat : 31677 (java) S 31656 31656 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3831066 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306442853552 140307191900802 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31678] ppid=31656 vsize=13803816 CPUtime=0.17 cores=0-3,8-11
/proc/31657/task/31678/stat : 31678 (java) R 31656 31656 18810 0 -1 4202560 55 0 0 0 17 0 0 0 20 0 28 0 3831275 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306435337504 140306809243146 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31679] ppid=31656 vsize=13803816 CPUtime=0.12 cores=0-3,8-11
/proc/31657/task/31679/stat : 31679 (java) R 31656 31656 18810 0 -1 4202560 38 0 0 0 12 0 0 0 20 0 28 0 3831275 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306434284800 140306800568259 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31680] ppid=31656 vsize=13803816 CPUtime=0.12 cores=0-3,8-11
/proc/31657/task/31680/stat : 31680 (java) R 31656 31656 18810 0 -1 4202560 49 0 0 0 12 0 0 0 20 0 28 0 3831275 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306433231880 140306809242460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31681] ppid=31656 vsize=13803816 CPUtime=0.13 cores=0-3,8-11
/proc/31657/task/31681/stat : 31681 (java) R 31656 31656 18810 0 -1 4202560 52 0 0 0 13 0 0 0 20 0 28 0 3831275 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306432179088 140306809243075 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31682] ppid=31656 vsize=13803816 CPUtime=0.14 cores=0-3,8-11
/proc/31657/task/31682/stat : 31682 (java) R 31656 31656 18810 0 -1 4202560 32 0 0 0 14 0 0 0 20 0 28 0 3831275 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306431126144 140306809243788 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31683] ppid=31656 vsize=13803816 CPUtime=0.12 cores=0-3,8-11
/proc/31657/task/31683/stat : 31683 (java) R 31656 31656 18810 0 -1 4202560 52 0 0 0 12 0 0 0 20 0 28 0 3831275 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306430073488 140306809243732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31684] ppid=31656 vsize=13803816 CPUtime=0.15 cores=0-3,8-11
/proc/31657/task/31684/stat : 31684 (java) S 31656 31656 18810 0 -1 1077944384 32 0 0 0 15 0 0 0 20 0 28 0 3831275 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306429021568 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31685] ppid=31656 vsize=13803816 CPUtime=0.12 cores=0-3,8-11
/proc/31657/task/31685/stat : 31685 (java) R 31656 31656 18810 0 -1 1077944384 34 0 0 0 12 0 0 0 20 0 28 0 3831275 14135107584 109950 33554432000 4194304 4196468 140726381943376 140306427969024 140307191899861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
Current children cumulated CPU time (s) 10.05
Current children cumulated vsize (KiB) 13813328
[startup+2.60136 s]
/proc/loadavg: 16.25 16.19 15.45 19/304 31685
/proc/meminfo: memFree=30101004/32770624 swapFree=5944/213476
[pid=31656] ppid=31653 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/31656/stat : 31656 (xcsp3-exec) S 31653 31656 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831057 9740288 346 33554432000 4194304 5098028 140733799280672 140733799278776 140348315267708 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15114240 140733799285903 140733799286112 140733799286112 140733799288811 0
/proc/31656/statm: 2378 346 289 221 0 87 0
[pid=31657] ppid=31656 vsize=13803816 CPUtime=11.51 cores=0-3,8-11
/proc/31657/stat : 31657 (java) S 31656 31656 18810 0 -1 1077944320 19138 0 0 0 1089 62 0 0 20 0 28 0 3831057 14135107584 110017 33554432000 4194304 4196468 140726381943376 140726381925920 140307191889655 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
/proc/31657/statm: 3450954 110017 3264 1 0 3438187 0
[pid=31657/tid=31658] ppid=31656 vsize=13803816 CPUtime=1.96 cores=0-3,8-11
/proc/31657/task/31658/stat : 31658 (java) S 31656 31656 18810 0 -1 1077944384 7200 0 0 0 191 5 0 0 20 0 28 0 3831058 14135107584 110017 33554432000 4194304 4196468 140726381943376 140307196130432 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31660] ppid=31656 vsize=13803816 CPUtime=0.14 cores=0-3,8-11
/proc/31657/task/31660/stat : 31660 (java) S 31656 31656 18810 0 -1 1077944384 73 0 0 0 7 7 0 0 20 0 28 0 3831059 14135107584 110017 33554432000 4194304 4196468 140726381943376 140307124026384 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31661] ppid=31656 vsize=13803816 CPUtime=0.13 cores=0-3,8-11
/proc/31657/task/31661/stat : 31661 (java) S 31656 31656 18810 0 -1 1077944384 62 0 0 0 7 6 0 0 20 0 28 0 3831059 14135107584 110017 33554432000 4194304 4196468 140726381943376 140307122973840 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31662] ppid=31656 vsize=13803816 CPUtime=0.13 cores=0-3,8-11
/proc/31657/task/31662/stat : 31662 (java) S 31656 31656 18810 0 -1 1077944384 56 0 0 0 7 6 0 0 20 0 28 0 3831059 14135107584 110017 33554432000 4194304 4196468 140726381943376 140307121920784 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31663] ppid=31656 vsize=13803816 CPUtime=0.12 cores=0-3,8-11
/proc/31657/task/31663/stat : 31663 (java) S 31656 31656 18810 0 -1 1077944384 67 0 0 0 6 6 0 0 20 0 28 0 3831059 14135107584 110017 33554432000 4194304 4196468 140726381943376 140307120868240 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31664] ppid=31656 vsize=13803816 CPUtime=0.13 cores=0-3,8-11
/proc/31657/task/31664/stat : 31664 (java) S 31656 31656 18810 0 -1 1077944384 60 0 0 0 7 6 0 0 20 0 28 0 3831059 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306786781712 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31665] ppid=31656 vsize=13803816 CPUtime=0.11 cores=0-3,8-11
/proc/31657/task/31665/stat : 31665 (java) S 31656 31656 18810 0 -1 1077944384 57 0 0 0 6 5 0 0 20 0 28 0 3831059 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306785729168 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31666] ppid=31656 vsize=13803816 CPUtime=0.14 cores=0-3,8-11
/proc/31657/task/31666/stat : 31666 (java) S 31656 31656 18810 0 -1 1077944384 75 0 0 0 9 5 0 0 20 0 28 0 3831059 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306784676112 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31667] ppid=31656 vsize=13803816 CPUtime=0.15 cores=0-3,8-11
/proc/31657/task/31667/stat : 31667 (java) S 31656 31656 18810 0 -1 1077944384 70 0 0 0 8 7 0 0 20 0 28 0 3831059 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306783623568 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31668] ppid=31656 vsize=13803816 CPUtime=0.01 cores=0-3,8-11
/proc/31657/task/31668/stat : 31668 (java) S 31656 31656 18810 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 28 0 3831061 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306721319664 140307191900802 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31669] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31669/stat : 31669 (java) S 31656 31656 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3831062 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306720265952 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31670] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31670/stat : 31670 (java) S 31656 31656 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3831062 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306719212800 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31671] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31671/stat : 31671 (java) S 31656 31656 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3831066 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306718161360 140307191908251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31672] ppid=31656 vsize=13803816 CPUtime=1.7 cores=0-3,8-11
/proc/31657/task/31672/stat : 31672 (java) R 31656 31656 18810 0 -1 4202560 2427 0 0 0 170 0 0 0 20 0 28 0 3831066 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306448108832 140307176819085 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31673] ppid=31656 vsize=13803816 CPUtime=1.87 cores=0-3,8-11
/proc/31657/task/31673/stat : 31673 (java) R 31656 31656 18810 0 -1 4202560 2321 0 0 0 187 0 0 0 20 0 28 0 3831066 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306447049976 140307175103032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31674] ppid=31656 vsize=13803816 CPUtime=1.74 cores=0-3,8-11
/proc/31657/task/31674/stat : 31674 (java) R 31656 31656 18810 0 -1 4202560 1556 0 0 0 173 1 0 0 20 0 28 0 3831066 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306445997472 140307172590226 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31675] ppid=31656 vsize=13803816 CPUtime=0.84 cores=0-3,8-11
/proc/31657/task/31675/stat : 31675 (java) S 31656 31656 18810 0 -1 1077944384 3221 0 0 0 84 0 0 0 20 0 28 0 3831066 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306444957808 140307191900802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31676] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31676/stat : 31676 (java) S 31656 31656 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3831066 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306443906016 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31677] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31677/stat : 31677 (java) S 31656 31656 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3831066 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306442853552 140307191900802 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31678] ppid=31656 vsize=13803816 CPUtime=0.28 cores=0-3,8-11
/proc/31657/task/31678/stat : 31678 (java) R 31656 31656 18810 0 -1 4202560 56 0 0 0 28 0 0 0 20 0 28 0 3831275 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306435337048 140306806645597 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31679] ppid=31656 vsize=13803816 CPUtime=0.27 cores=0-3,8-11
/proc/31657/task/31679/stat : 31679 (java) R 31656 31656 18810 0 -1 4202560 39 0 0 0 27 0 0 0 20 0 28 0 3831275 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306434285136 140306809612536 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31680] ppid=31656 vsize=13803816 CPUtime=0.24 cores=0-3,8-11
/proc/31657/task/31680/stat : 31680 (java) R 31656 31656 18810 0 -1 1077944384 50 0 0 0 24 0 0 0 20 0 28 0 3831275 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306433232080 140307191899861 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31681] ppid=31656 vsize=13803816 CPUtime=0.27 cores=0-3,8-11
/proc/31657/task/31681/stat : 31681 (java) S 31656 31656 18810 0 -1 1077944384 52 0 0 0 27 0 0 0 20 0 28 0 3831275 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306432179536 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31682] ppid=31656 vsize=13803816 CPUtime=0.28 cores=0-3,8-11
/proc/31657/task/31682/stat : 31682 (java) R 31656 31656 18810 0 -1 4202560 33 0 0 0 28 0 0 0 20 0 28 0 3831275 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306431128336 140306809175100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31683] ppid=31656 vsize=13803816 CPUtime=0.26 cores=0-3,8-11
/proc/31657/task/31683/stat : 31683 (java) S 31656 31656 18810 0 -1 1077944384 55 0 0 0 26 0 0 0 20 0 28 0 3831275 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306430074192 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31684] ppid=31656 vsize=13803816 CPUtime=0.28 cores=0-3,8-11
/proc/31657/task/31684/stat : 31684 (java) R 31656 31656 18810 0 -1 4202560 35 0 0 0 28 0 0 0 20 0 28 0 3831275 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306429022112 140306809614248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31685] ppid=31656 vsize=13803816 CPUtime=0.27 cores=0-3,8-11
/proc/31657/task/31685/stat : 31685 (java) R 31656 31656 18810 0 -1 4202560 35 0 0 0 27 0 0 0 20 0 28 0 3831275 14135107584 110017 33554432000 4194304 4196468 140726381943376 140306427969360 140306800474793 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
Current children cumulated CPU time (s) 11.51
Current children cumulated vsize (KiB) 13813328
[startup+2.70166 s]
/proc/loadavg: 16.25 16.19 15.45 19/304 31685
/proc/meminfo: memFree=30101004/32770624 swapFree=5944/213476
[pid=31656] ppid=31653 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/31656/stat : 31656 (xcsp3-exec) S 31653 31656 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831057 9740288 346 33554432000 4194304 5098028 140733799280672 140733799278776 140348315267708 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15114240 140733799285903 140733799286112 140733799286112 140733799288811 0
/proc/31656/statm: 2378 346 289 221 0 87 0
[pid=31657] ppid=31656 vsize=13803816 CPUtime=12.26 cores=0-3,8-11
/proc/31657/stat : 31657 (java) S 31656 31656 18810 0 -1 1077944320 19329 0 0 0 1164 62 0 0 20 0 28 0 3831057 14135107584 111770 33554432000 4194304 4196468 140726381943376 140726381925920 140307191889655 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
/proc/31657/statm: 3450954 111770 3264 1 0 3438187 0
[pid=31657/tid=31658] ppid=31656 vsize=13803816 CPUtime=1.96 cores=0-3,8-11
/proc/31657/task/31658/stat : 31658 (java) S 31656 31656 18810 0 -1 1077944384 7200 0 0 0 191 5 0 0 20 0 28 0 3831058 14135107584 111770 33554432000 4194304 4196468 140726381943376 140307196130432 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31660] ppid=31656 vsize=13803816 CPUtime=0.14 cores=0-3,8-11
/proc/31657/task/31660/stat : 31660 (java) S 31656 31656 18810 0 -1 1077944384 73 0 0 0 7 7 0 0 20 0 28 0 3831059 14135107584 111770 33554432000 4194304 4196468 140726381943376 140307124026384 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31661] ppid=31656 vsize=13803816 CPUtime=0.13 cores=0-3,8-11
/proc/31657/task/31661/stat : 31661 (java) S 31656 31656 18810 0 -1 1077944384 62 0 0 0 7 6 0 0 20 0 28 0 3831059 14135107584 111770 33554432000 4194304 4196468 140726381943376 140307122973840 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31662] ppid=31656 vsize=13803816 CPUtime=0.13 cores=0-3,8-11
/proc/31657/task/31662/stat : 31662 (java) S 31656 31656 18810 0 -1 1077944384 56 0 0 0 7 6 0 0 20 0 28 0 3831059 14135107584 111770 33554432000 4194304 4196468 140726381943376 140307121920784 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31663] ppid=31656 vsize=13803816 CPUtime=0.12 cores=0-3,8-11
/proc/31657/task/31663/stat : 31663 (java) S 31656 31656 18810 0 -1 1077944384 67 0 0 0 6 6 0 0 20 0 28 0 3831059 14135107584 111770 33554432000 4194304 4196468 140726381943376 140307120868240 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31664] ppid=31656 vsize=13803816 CPUtime=0.13 cores=0-3,8-11
/proc/31657/task/31664/stat : 31664 (java) S 31656 31656 18810 0 -1 1077944384 60 0 0 0 7 6 0 0 20 0 28 0 3831059 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306786781712 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31665] ppid=31656 vsize=13803816 CPUtime=0.11 cores=0-3,8-11
/proc/31657/task/31665/stat : 31665 (java) S 31656 31656 18810 0 -1 1077944384 57 0 0 0 6 5 0 0 20 0 28 0 3831059 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306785729168 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31666] ppid=31656 vsize=13803816 CPUtime=0.14 cores=0-3,8-11
/proc/31657/task/31666/stat : 31666 (java) S 31656 31656 18810 0 -1 1077944384 75 0 0 0 9 5 0 0 20 0 28 0 3831059 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306784676112 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31667] ppid=31656 vsize=13803816 CPUtime=0.15 cores=0-3,8-11
/proc/31657/task/31667/stat : 31667 (java) S 31656 31656 18810 0 -1 1077944384 70 0 0 0 8 7 0 0 20 0 28 0 3831059 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306783623568 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31668] ppid=31656 vsize=13803816 CPUtime=0.01 cores=0-3,8-11
/proc/31657/task/31668/stat : 31668 (java) S 31656 31656 18810 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 28 0 3831061 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306721319664 140307191900802 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31669] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31669/stat : 31669 (java) S 31656 31656 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3831062 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306720265952 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31670] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31670/stat : 31670 (java) S 31656 31656 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3831062 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306719212800 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31671] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31671/stat : 31671 (java) S 31656 31656 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3831066 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306718161360 140307191908251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31672] ppid=31656 vsize=13803816 CPUtime=1.77 cores=0-3,8-11
/proc/31657/task/31672/stat : 31672 (java) R 31656 31656 18810 0 -1 4202560 2429 0 0 0 177 0 0 0 20 0 28 0 3831066 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306448102176 140307173069375 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31673] ppid=31656 vsize=13803816 CPUtime=1.97 cores=0-3,8-11
/proc/31657/task/31673/stat : 31673 (java) R 31656 31656 18810 0 -1 4202560 2327 0 0 0 197 0 0 0 20 0 28 0 3831066 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306447048176 140307169242020 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31674] ppid=31656 vsize=13803816 CPUtime=1.83 cores=0-3,8-11
/proc/31657/task/31674/stat : 31674 (java) R 31656 31656 18810 0 -1 4202560 1651 0 0 0 182 1 0 0 20 0 28 0 3831066 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306445996232 140307173433378 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31675] ppid=31656 vsize=13803816 CPUtime=0.87 cores=0-3,8-11
/proc/31657/task/31675/stat : 31675 (java) S 31656 31656 18810 0 -1 1077944384 3265 0 0 0 87 0 0 0 20 0 28 0 3831066 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306444957808 140307191900802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31676] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31676/stat : 31676 (java) S 31656 31656 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3831066 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306443906016 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31677] ppid=31656 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/31657/task/31677/stat : 31677 (java) S 31656 31656 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3831066 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306442853552 140307191900802 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31678] ppid=31656 vsize=13803816 CPUtime=0.34 cores=0-3,8-11
/proc/31657/task/31678/stat : 31678 (java) R 31656 31656 18810 0 -1 4202560 56 0 0 0 34 0 0 0 20 0 28 0 3831275 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306435339680 140306800594241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31679] ppid=31656 vsize=13803816 CPUtime=0.33 cores=0-3,8-11
/proc/31657/task/31679/stat : 31679 (java) R 31656 31656 18810 0 -1 1077944384 39 0 0 0 33 0 0 0 20 0 28 0 3831275 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306434287968 140307191899861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31680] ppid=31656 vsize=13803816 CPUtime=0.29 cores=0-3,8-11
/proc/31657/task/31680/stat : 31680 (java) R 31656 31656 18810 0 -1 4202560 53 0 0 0 29 0 0 0 20 0 28 0 3831275 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306433234824 140306800582353 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31681] ppid=31656 vsize=13803816 CPUtime=0.31 cores=0-3,8-11
/proc/31657/task/31681/stat : 31681 (java) S 31656 31656 18810 0 -1 1077944384 89 0 0 0 31 0 0 0 20 0 28 0 3831275 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306432182160 140307191899861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31682] ppid=31656 vsize=13803816 CPUtime=0.34 cores=0-3,8-11
/proc/31657/task/31682/stat : 31682 (java) R 31656 31656 18810 0 -1 4202560 33 0 0 0 34 0 0 0 20 0 28 0 3831275 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306431126944 140306809623759 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31683] ppid=31656 vsize=13803816 CPUtime=0.3 cores=0-3,8-11
/proc/31657/task/31683/stat : 31683 (java) R 31656 31656 18810 0 -1 4202560 55 0 0 0 30 0 0 0 20 0 28 0 3831275 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306430074528 140306800542555 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31684] ppid=31656 vsize=13803816 CPUtime=0.37 cores=0-3,8-11
/proc/31657/task/31684/stat : 31684 (java) R 31656 31656 18810 0 -1 4202560 41 0 0 0 37 0 0 0 20 0 28 0 3831275 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306429024888 140306809624870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
[pid=31657/tid=31685] ppid=31656 vsize=13803816 CPUtime=0.33 cores=0-3,8-11
/proc/31657/task/31685/stat : 31685 (java) R 31656 31656 18810 0 -1 4202560 35 0 0 0 33 0 0 0 20 0 28 0 3831275 14135107584 111770 33554432000 4194304 4196468 140726381943376 140306427969024 140306809781519 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13561856 140726381950140 140726381950316 140726381950316 140726381952975 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 13813328
Child status: 0
Real time (s): 2.75951
CPU time (s): 12.4397
CPU user time (s): 11.8023
CPU system time (s): 0.637396
CPU usage (%): 450.795
Max. virtual memory (cumulated for all children) (KiB): 13813328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8023
system time used= 0.637396
maximum resident set size= 453620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20179
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4110
involuntary context switches= 1115
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028013 second user time and 0.039761 second system time
The end