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-4249936-1500696065/watcher-4249936-1500696065 -o /tmp/evaluation-result-4249936-1500696065/solver-4249936-1500696065 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 850063522 HOME/instance-4249936-1500696065.xml
pid=17828
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: 14.72 13.91 13.68 10/273 17831
/proc/meminfo: memFree=29681740/32770624 swapFree=5972/274680
[pid=17831] ppid=17828 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17831/stat : 17831 (xcsp3-exec) S 17828 17831 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4875969 9740288 346 33554432000 4194304 5098028 140722681599184 140722681597288 140579218563708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7593984 140722681603215 140722681603424 140722681603424 140722681606123 0
/proc/17831/statm: 2378 346 289 221 0 87 0
[startup+0.100135 s]
/proc/loadavg: 14.72 13.91 13.68 10/273 17831
/proc/meminfo: memFree=29681740/32770624 swapFree=5972/274680
[pid=17831] ppid=17828 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17831/stat : 17831 (xcsp3-exec) S 17828 17831 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4875969 9740288 346 33554432000 4194304 5098028 140722681599184 140722681597288 140579218563708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7593984 140722681603215 140722681603424 140722681603424 140722681606123 0
/proc/17831/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20038 s]
/proc/loadavg: 14.72 13.91 13.68 10/273 17831
/proc/meminfo: memFree=29681740/32770624 swapFree=5972/274680
[pid=17831] ppid=17828 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17831/stat : 17831 (xcsp3-exec) S 17828 17831 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4875969 9740288 346 33554432000 4194304 5098028 140722681599184 140722681597288 140579218563708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7593984 140722681603215 140722681603424 140722681603424 140722681606123 0
/proc/17831/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300347 s]
/proc/loadavg: 14.72 13.91 13.68 10/273 17831
/proc/meminfo: memFree=29681740/32770624 swapFree=5972/274680
[pid=17831] ppid=17828 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17831/stat : 17831 (xcsp3-exec) S 17828 17831 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4875969 9740288 346 33554432000 4194304 5098028 140722681599184 140722681597288 140579218563708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7593984 140722681603215 140722681603424 140722681603424 140722681606123 0
/proc/17831/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700195 s]
/proc/loadavg: 14.72 13.91 13.68 10/273 17831
/proc/meminfo: memFree=29681740/32770624 swapFree=5972/274680
[pid=17831] ppid=17828 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17831/stat : 17831 (xcsp3-exec) S 17828 17831 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4875969 9740288 346 33554432000 4194304 5098028 140722681599184 140722681597288 140579218563708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7593984 140722681603215 140722681603424 140722681603424 140722681606123 0
/proc/17831/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50111 s]
/proc/loadavg: 14.26 13.83 13.65 14/294 17852
/proc/meminfo: memFree=29496476/32770624 swapFree=5972/274484
[pid=17831] ppid=17828 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17831/stat : 17831 (xcsp3-exec) S 17828 17831 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4875969 9740288 346 33554432000 4194304 5098028 140722681599184 140722681597288 140579218563708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7593984 140722681603215 140722681603424 140722681603424 140722681606123 0
/proc/17831/statm: 2378 346 289 221 0 87 0
[pid=17832] ppid=17831 vsize=13269256 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/17832/stat : 17832 (java) S 17831 17831 14626 0 -1 1077944320 13891 0 0 0 268 28 0 0 20 0 20 0 4875969 13587718144 55613 33554432000 4194304 4196468 140730333155856 140730333138400 140409891516151 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
/proc/17832/statm: 3317314 55613 3231 1 0 3304547 0
[pid=17832/tid=17833] ppid=17831 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17833/stat : 17833 (java) R 17831 17831 14626 0 -1 4202560 6851 0 0 0 136 5 0 0 20 0 20 0 4875970 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409895753704 140409532525297 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17835] ppid=17831 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17835/stat : 17835 (java) S 17831 17831 14626 0 -1 1077944384 251 0 0 0 1 2 0 0 20 0 20 0 4875971 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409490746512 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17836] ppid=17831 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17836/stat : 17836 (java) S 17831 17831 14626 0 -1 1077944384 62 0 0 0 2 2 0 0 20 0 20 0 4875971 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409489693712 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17837] ppid=17831 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17837/stat : 17837 (java) S 17831 17831 14626 0 -1 1077944384 35 0 0 0 2 2 0 0 20 0 20 0 4875971 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409488640912 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17838] ppid=17831 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17838/stat : 17838 (java) S 17831 17831 14626 0 -1 1077944384 155 0 0 0 2 2 0 0 20 0 20 0 4875971 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409487588112 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17839] ppid=17831 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17839/stat : 17839 (java) S 17831 17831 14626 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 20 0 4875971 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409486535312 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17840] ppid=17831 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17840/stat : 17840 (java) S 17831 17831 14626 0 -1 1077944384 36 0 0 0 1 2 0 0 20 0 20 0 4875971 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409485482512 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17841] ppid=17831 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17841/stat : 17841 (java) S 17831 17831 14626 0 -1 1077944384 96 0 0 0 1 1 0 0 20 0 20 0 4875971 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409484429712 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17842] ppid=17831 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17842/stat : 17842 (java) S 17831 17831 14626 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 20 0 4875971 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409483376912 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17843] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17843/stat : 17843 (java) S 17831 17831 14626 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 20 0 4875973 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409018280816 140409891527298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17844] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17844/stat : 17844 (java) S 17831 17831 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4875973 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409017226784 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17845] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17845/stat : 17845 (java) S 17831 17831 14626 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4875973 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409016173936 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17846] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17846/stat : 17846 (java) S 17831 17831 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4875978 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409015122256 140409891534747 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17847] ppid=17831 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17847/stat : 17847 (java) S 17831 17831 14626 0 -1 1077944384 1141 0 0 0 20 0 0 0 20 0 20 0 4875978 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409014069616 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17848] ppid=17831 vsize=13269256 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17848/stat : 17848 (java) S 17831 17831 14626 0 -1 1077944384 709 0 0 0 25 0 0 0 20 0 20 0 4875978 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409013016816 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17849] ppid=17831 vsize=13269256 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17849/stat : 17849 (java) S 17831 17831 14626 0 -1 1077944384 746 0 0 0 27 0 0 0 20 0 20 0 4875978 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409011964016 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17850] ppid=17831 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17850/stat : 17850 (java) S 17831 17831 14626 0 -1 1077944384 2173 0 0 0 42 0 0 0 20 0 20 0 4875978 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409010911216 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17851] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17851/stat : 17851 (java) S 17831 17831 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4875978 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409009859680 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17852] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17852/stat : 17852 (java) S 17831 17831 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4875978 13587718144 55613 33554432000 4194304 4196468 140730333155856 140409008806960 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 13278768
[startup+3.10093 s]
/proc/loadavg: 14.26 13.83 13.65 10/294 17852
/proc/meminfo: memFree=29302972/32770624 swapFree=5972/274488
[pid=17831] ppid=17828 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17831/stat : 17831 (xcsp3-exec) S 17828 17831 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4875969 9740288 346 33554432000 4194304 5098028 140722681599184 140722681597288 140579218563708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7593984 140722681603215 140722681603424 140722681603424 140722681606123 0
/proc/17831/statm: 2378 346 289 221 0 87 0
[pid=17832] ppid=17831 vsize=13269256 CPUtime=5.41 cores=0,2,4,6,8,10,12,14
/proc/17832/stat : 17832 (java) S 17831 17831 14626 0 -1 1077944320 16879 0 0 0 454 87 0 0 20 0 20 0 4875969 13587718144 109734 33554432000 4194304 4196468 140730333155856 140730333138400 140409891516151 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
/proc/17832/statm: 3317314 109734 3236 1 0 3304547 0
[pid=17832/tid=17833] ppid=17831 vsize=13269256 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17833/stat : 17833 (java) R 17831 17831 14626 0 -1 4202560 7389 0 0 0 282 7 0 0 20 0 20 0 4875970 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409895753800 140409532677496 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17835] ppid=17831 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17835/stat : 17835 (java) S 17831 17831 14626 0 -1 1077944384 556 0 0 0 5 9 0 0 20 0 20 0 4875971 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409490746512 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17836] ppid=17831 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17836/stat : 17836 (java) S 17831 17831 14626 0 -1 1077944384 140 0 0 0 6 9 0 0 20 0 20 0 4875971 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409489693712 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17837] ppid=17831 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17837/stat : 17837 (java) S 17831 17831 14626 0 -1 1077944384 102 0 0 0 6 10 0 0 20 0 20 0 4875971 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409488640912 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17838] ppid=17831 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17838/stat : 17838 (java) S 17831 17831 14626 0 -1 1077944384 222 0 0 0 6 9 0 0 20 0 20 0 4875971 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409487588112 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17839] ppid=17831 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17839/stat : 17839 (java) S 17831 17831 14626 0 -1 1077944384 92 0 0 0 5 9 0 0 20 0 20 0 4875971 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409486535312 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17840] ppid=17831 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17840/stat : 17840 (java) S 17831 17831 14626 0 -1 1077944384 102 0 0 0 6 10 0 0 20 0 20 0 4875971 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409485482512 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17841] ppid=17831 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17841/stat : 17841 (java) S 17831 17831 14626 0 -1 1077944384 155 0 0 0 5 8 0 0 20 0 20 0 4875971 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409484429712 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17842] ppid=17831 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17842/stat : 17842 (java) S 17831 17831 14626 0 -1 1077944384 91 0 0 0 7 8 0 0 20 0 20 0 4875971 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409483376912 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17843] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17843/stat : 17843 (java) S 17831 17831 14626 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 20 0 4875973 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409018280816 140409891527298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17844] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17844/stat : 17844 (java) S 17831 17831 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4875973 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409017226784 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17845] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17845/stat : 17845 (java) S 17831 17831 14626 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4875973 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409016173936 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17846] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17846/stat : 17846 (java) S 17831 17831 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4875978 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409015122256 140409891534747 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17847] ppid=17831 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17847/stat : 17847 (java) S 17831 17831 14626 0 -1 1077944384 1147 0 0 0 20 0 0 0 20 0 20 0 4875978 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409014069616 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17848] ppid=17831 vsize=13269256 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17848/stat : 17848 (java) S 17831 17831 14626 0 -1 1077944384 750 0 0 0 26 0 0 0 20 0 20 0 4875978 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409013016816 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17849] ppid=17831 vsize=13269256 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17849/stat : 17849 (java) S 17831 17831 14626 0 -1 1077944384 791 0 0 0 27 0 0 0 20 0 20 0 4875978 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409011964016 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17850] ppid=17831 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17850/stat : 17850 (java) S 17831 17831 14626 0 -1 1077944384 3565 0 0 0 46 1 0 0 20 0 20 0 4875978 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409010911216 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17851] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17851/stat : 17851 (java) S 17831 17831 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4875978 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409009859680 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17852] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17852/stat : 17852 (java) S 17831 17831 14626 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 4875978 13587718144 109734 33554432000 4194304 4196468 140730333155856 140409008806960 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 13278768
[startup+6.30082 s]
/proc/loadavg: 13.76 13.73 13.62 10/294 17852
/proc/meminfo: memFree=28879204/32770624 swapFree=5972/274504
[pid=17831] ppid=17828 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17831/stat : 17831 (xcsp3-exec) S 17828 17831 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4875969 9740288 346 33554432000 4194304 5098028 140722681599184 140722681597288 140579218563708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7593984 140722681603215 140722681603424 140722681603424 140722681606123 0
/proc/17831/statm: 2378 346 289 221 0 87 0
[pid=17832] ppid=17831 vsize=13269256 CPUtime=9.94 cores=0,2,4,6,8,10,12,14
/proc/17832/stat : 17832 (java) S 17831 17831 14626 0 -1 1077944320 18606 0 0 0 814 180 0 0 20 0 20 0 4875969 13587718144 202813 33554432000 4194304 4196468 140730333155856 140730333138400 140409891516151 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
/proc/17832/statm: 3317314 202813 3236 1 0 3304547 0
[pid=17832/tid=17833] ppid=17831 vsize=13269256 CPUtime=5.91 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17833/stat : 17833 (java) R 17831 17831 14626 0 -1 4202560 7716 0 0 0 580 11 0 0 20 0 20 0 4875970 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409895753528 140409532710833 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17835] ppid=17831 vsize=13269256 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17835/stat : 17835 (java) S 17831 17831 14626 0 -1 1077944384 645 0 0 0 12 20 0 0 20 0 20 0 4875971 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409490746512 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17836] ppid=17831 vsize=13269256 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17836/stat : 17836 (java) S 17831 17831 14626 0 -1 1077944384 223 0 0 0 13 20 0 0 20 0 20 0 4875971 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409489693712 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17837] ppid=17831 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17837/stat : 17837 (java) S 17831 17831 14626 0 -1 1077944384 196 0 0 0 13 21 0 0 20 0 20 0 4875971 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409488640912 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17838] ppid=17831 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17838/stat : 17838 (java) S 17831 17831 14626 0 -1 1077944384 321 0 0 0 14 20 0 0 20 0 20 0 4875971 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409487588112 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17839] ppid=17831 vsize=13269256 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17839/stat : 17839 (java) S 17831 17831 14626 0 -1 1077944384 185 0 0 0 12 20 0 0 20 0 20 0 4875971 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409486535312 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17840] ppid=17831 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17840/stat : 17840 (java) S 17831 17831 14626 0 -1 1077944384 197 0 0 0 13 21 0 0 20 0 20 0 4875971 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409485482512 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17841] ppid=17831 vsize=13269256 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17841/stat : 17841 (java) S 17831 17831 14626 0 -1 1077944384 257 0 0 0 12 20 0 0 20 0 20 0 4875971 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409484429712 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17842] ppid=17831 vsize=13269256 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17842/stat : 17842 (java) S 17831 17831 14626 0 -1 1077944384 179 0 0 0 14 19 0 0 20 0 20 0 4875971 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409483376912 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17843] ppid=17831 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17843/stat : 17843 (java) S 17831 17831 14626 0 -1 1077944384 751 0 0 0 1 0 0 0 20 0 20 0 4875973 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409018280816 140409891527298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17844] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17844/stat : 17844 (java) S 17831 17831 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4875973 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409017226784 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17845] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17845/stat : 17845 (java) S 17831 17831 14626 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4875973 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409016173936 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17846] ppid=17831 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17846/stat : 17846 (java) S 17831 17831 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4875978 13587718144 202813 33554432000 4194304 4196468 140730333155856 140409015122256 140409891534747 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
################
# More data... #
################
/proc/17832/task/17844/stat : 17844 (java) S 17831 17831 14626 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 4875973 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140409017226848 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17845] ppid=17831 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17845/stat : 17845 (java) S 17831 17831 14626 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 28 0 4875973 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140409016173952 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17846] ppid=17831 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17846/stat : 17846 (java) S 17831 17831 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4875978 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140409015122256 140409891534747 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17847] ppid=17831 vsize=13801768 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17847/stat : 17847 (java) R 17831 17831 14626 0 -1 4202560 6296 0 0 0 157 1 0 0 20 0 28 0 4875978 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140409014051184 140409875047642 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17848] ppid=17831 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17848/stat : 17848 (java) R 17831 17831 14626 0 -1 4202560 7673 0 0 0 140 1 0 0 20 0 28 0 4875978 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140409013017112 140409876624183 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17849] ppid=17831 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17849/stat : 17849 (java) R 17831 17831 14626 0 -1 4202560 8997 0 0 0 166 1 0 0 20 0 28 0 4875978 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140409011950304 140409870772877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17850] ppid=17831 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17850/stat : 17850 (java) S 17831 17831 14626 0 -1 1077944384 5713 0 0 0 85 1 0 0 20 0 28 0 4875978 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140409010911216 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17851] ppid=17831 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17851/stat : 17851 (java) S 17831 17831 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4875978 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140409009859680 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17852] ppid=17831 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17852/stat : 17852 (java) S 17831 17831 14626 0 -1 1077944384 177 0 0 0 3 4 0 0 20 0 28 0 4875978 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140409008806960 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17855] ppid=17831 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17855/stat : 17855 (java) R 17831 17831 14626 0 -1 4202560 72 0 0 0 78 0 0 0 20 0 28 0 4890555 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140409000793104 140409532304081 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17856] ppid=17831 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17856/stat : 17856 (java) R 17831 17831 14626 0 -1 4202560 3272 0 0 0 71 0 0 0 20 0 28 0 4890555 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140408999742312 140409531343162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17857] ppid=17831 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17857/stat : 17857 (java) R 17831 17831 14626 0 -1 4202560 35 0 0 0 71 0 0 0 20 0 28 0 4890555 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140408998688616 140409530911721 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17858] ppid=17831 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17858/stat : 17858 (java) R 17831 17831 14626 0 -1 4202560 12826 0 0 0 62 1 0 0 20 0 28 0 4890555 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140408997636616 140409532728921 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17859] ppid=17831 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17859/stat : 17859 (java) R 17831 17831 14626 0 -1 4202560 245 0 0 0 82 0 0 0 20 0 28 0 4890555 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140408996582840 140409532304081 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17860] ppid=17831 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17860/stat : 17860 (java) R 17831 17831 14626 0 -1 4202560 38 0 0 0 66 0 0 0 20 0 28 0 4890555 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140408995530824 140409530911681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17861] ppid=17831 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17861/stat : 17861 (java) R 17831 17831 14626 0 -1 4202560 679 0 0 0 72 0 0 0 20 0 28 0 4890555 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140408994477208 140409530911681 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17862] ppid=17831 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17862/stat : 17862 (java) R 17831 17831 14626 0 -1 4202560 244 0 0 0 75 0 0 0 20 0 28 0 4890555 14133010432 2122994 33554432000 4194304 4196468 140730333155856 140408993425544 140409530911721 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
Current children cumulated CPU time (s) 307.41
Current children cumulated vsize (KiB) 13811280
[startup+147.201 s]
/proc/loadavg: 9.97 12.10 13.02 20/302 17862
/proc/meminfo: memFree=19501428/32770624 swapFree=5972/274640
[pid=17831] ppid=17828 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17831/stat : 17831 (xcsp3-exec) S 17828 17831 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4875969 9740288 346 33554432000 4194304 5098028 140722681599184 140722681597288 140579218563708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7593984 140722681603215 140722681603424 140722681603424 140722681606123 0
/proc/17831/statm: 2378 346 289 221 0 87 0
[pid=17832] ppid=17831 vsize=13801768 CPUtime=310.6 cores=0,2,4,6,8,10,12,14
/proc/17832/stat : 17832 (java) S 17831 17831 14626 0 -1 1077944320 201576 0 0 0 28648 2412 0 0 20 0 28 0 4875969 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140730333138400 140409891516151 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
/proc/17832/statm: 3450442 2124520 3285 1 0 3437675 0
[pid=17832/tid=17833] ppid=17831 vsize=13801768 CPUtime=122.56 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17833/stat : 17833 (java) S 17831 17831 14626 0 -1 1077944384 16354 0 0 0 12220 36 0 0 20 0 28 0 4875970 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409895756928 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17835] ppid=17831 vsize=13801768 CPUtime=21.54 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17835/stat : 17835 (java) S 17831 17831 14626 0 -1 1077944384 11006 0 0 0 1858 296 0 0 20 0 28 0 4875971 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409490746512 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17836] ppid=17831 vsize=13801768 CPUtime=21.5 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17836/stat : 17836 (java) S 17831 17831 14626 0 -1 1077944384 10492 0 0 0 1835 315 0 0 20 0 28 0 4875971 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409489693712 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17837] ppid=17831 vsize=13801768 CPUtime=21.6 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17837/stat : 17837 (java) S 17831 17831 14626 0 -1 1077944384 38795 0 0 0 1843 317 0 0 20 0 28 0 4875971 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409488640912 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17838] ppid=17831 vsize=13801768 CPUtime=21.49 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17838/stat : 17838 (java) S 17831 17831 14626 0 -1 1077944384 11474 0 0 0 1866 283 0 0 20 0 28 0 4875971 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409487588112 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17839] ppid=17831 vsize=13801768 CPUtime=21.45 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17839/stat : 17839 (java) S 17831 17831 14626 0 -1 1077944384 12021 0 0 0 1848 297 0 0 20 0 28 0 4875971 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409486535312 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17840] ppid=17831 vsize=13801768 CPUtime=21.53 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17840/stat : 17840 (java) S 17831 17831 14626 0 -1 1077944384 14038 0 0 0 1830 323 0 0 20 0 28 0 4875971 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409485482512 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17841] ppid=17831 vsize=13801768 CPUtime=21.41 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17841/stat : 17841 (java) S 17831 17831 14626 0 -1 1077944384 10109 0 0 0 1885 256 0 0 20 0 28 0 4875971 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409484429712 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17842] ppid=17831 vsize=13801768 CPUtime=21.35 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17842/stat : 17842 (java) S 17831 17831 14626 0 -1 1077944384 10945 0 0 0 1865 270 0 0 20 0 28 0 4875971 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409483376912 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17843] ppid=17831 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17843/stat : 17843 (java) S 17831 17831 14626 0 -1 1077944384 16742 0 0 0 138 1 0 0 20 0 28 0 4875973 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409018280816 140409891527298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17844] ppid=17831 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17844/stat : 17844 (java) S 17831 17831 14626 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 4875973 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409017226848 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17845] ppid=17831 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17845/stat : 17845 (java) S 17831 17831 14626 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 28 0 4875973 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409016173952 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17846] ppid=17831 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17846/stat : 17846 (java) S 17831 17831 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4875978 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409015122256 140409891534747 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17847] ppid=17831 vsize=13801768 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17847/stat : 17847 (java) R 17831 17831 14626 0 -1 4202560 7014 0 0 0 190 2 0 0 20 0 28 0 4875978 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409014069912 140409869110896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17848] ppid=17831 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17848/stat : 17848 (java) R 17831 17831 14626 0 -1 4202560 8391 0 0 0 173 1 0 0 20 0 28 0 4875978 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409013016656 140409875910393 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17849] ppid=17831 vsize=13801768 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17849/stat : 17849 (java) R 17831 17831 14626 0 -1 1077944384 9026 0 0 0 182 1 0 0 20 0 28 0 4875978 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409011964016 140409891527298 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17850] ppid=17831 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17850/stat : 17850 (java) S 17831 17831 14626 0 -1 1077944384 5836 0 0 0 89 1 0 0 20 0 28 0 4875978 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409010911216 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17851] ppid=17831 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17851/stat : 17851 (java) S 17831 17831 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4875978 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409009859680 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17852] ppid=17831 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17852/stat : 17852 (java) S 17831 17831 14626 0 -1 1077944384 177 0 0 0 3 4 0 0 20 0 28 0 4875978 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409008806960 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17855] ppid=17831 vsize=13801768 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17855/stat : 17855 (java) R 17831 17831 14626 0 -1 4202560 76 0 0 0 108 0 0 0 20 0 28 0 4890555 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140409000793512 140409532304483 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17856] ppid=17831 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17856/stat : 17856 (java) R 17831 17831 14626 0 -1 4202560 3272 0 0 0 96 0 0 0 20 0 28 0 4890555 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140408999740280 140409532304022 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17857] ppid=17831 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17857/stat : 17857 (java) R 17831 17831 14626 0 -1 4202560 35 0 0 0 96 0 0 0 20 0 28 0 4890555 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140408998685984 140409535746682 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17858] ppid=17831 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17858/stat : 17858 (java) R 17831 17831 14626 0 -1 4202560 12826 0 0 0 87 1 0 0 20 0 28 0 4890555 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140408997635560 140409535744933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17859] ppid=17831 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17859/stat : 17859 (java) R 17831 17831 14626 0 -1 4202560 245 0 0 0 113 0 0 0 20 0 28 0 4890555 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140408996583104 140409532304081 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17860] ppid=17831 vsize=13801768 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17860/stat : 17860 (java) R 17831 17831 14626 0 -1 4202560 290 0 0 0 102 0 0 0 20 0 28 0 4890555 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140408995528520 140409532303958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17861] ppid=17831 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17861/stat : 17861 (java) R 17831 17831 14626 0 -1 4202560 685 0 0 0 105 0 0 0 20 0 28 0 4890555 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140408994476480 140409891537498 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17862] ppid=17831 vsize=13801768 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17862/stat : 17862 (java) R 17831 17831 14626 0 -1 4202560 244 0 0 0 102 0 0 0 20 0 28 0 4890555 14133010432 2124520 33554432000 4194304 4196468 140730333155856 140408993425560 140409532303994 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
Current children cumulated CPU time (s) 310.6
Current children cumulated vsize (KiB) 13811280
[startup+147.301 s]
/proc/loadavg: 9.97 12.10 13.02 20/302 17862
/proc/meminfo: memFree=19501428/32770624 swapFree=5972/274640
[pid=17831] ppid=17828 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17831/stat : 17831 (xcsp3-exec) S 17828 17831 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4875969 9740288 346 33554432000 4194304 5098028 140722681599184 140722681597288 140579218563708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7593984 140722681603215 140722681603424 140722681603424 140722681606123 0
/proc/17831/statm: 2378 346 289 221 0 87 0
[pid=17832] ppid=17831 vsize=13801768 CPUtime=311.4 cores=0,2,4,6,8,10,12,14
/proc/17832/stat : 17832 (java) S 17831 17831 14626 0 -1 1077944320 201883 0 0 0 28728 2412 0 0 20 0 28 0 4875969 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140730333138400 140409891516151 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
/proc/17832/statm: 3450442 2124522 3285 1 0 3437675 0
[pid=17832/tid=17833] ppid=17831 vsize=13801768 CPUtime=122.56 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17833/stat : 17833 (java) S 17831 17831 14626 0 -1 1077944384 16354 0 0 0 12220 36 0 0 20 0 28 0 4875970 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409895756928 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17835] ppid=17831 vsize=13801768 CPUtime=21.54 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17835/stat : 17835 (java) S 17831 17831 14626 0 -1 1077944384 11006 0 0 0 1858 296 0 0 20 0 28 0 4875971 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409490746512 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17836] ppid=17831 vsize=13801768 CPUtime=21.5 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17836/stat : 17836 (java) S 17831 17831 14626 0 -1 1077944384 10492 0 0 0 1835 315 0 0 20 0 28 0 4875971 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409489693712 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17837] ppid=17831 vsize=13801768 CPUtime=21.6 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17837/stat : 17837 (java) S 17831 17831 14626 0 -1 1077944384 38795 0 0 0 1843 317 0 0 20 0 28 0 4875971 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409488640912 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17838] ppid=17831 vsize=13801768 CPUtime=21.49 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17838/stat : 17838 (java) S 17831 17831 14626 0 -1 1077944384 11474 0 0 0 1866 283 0 0 20 0 28 0 4875971 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409487588112 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17839] ppid=17831 vsize=13801768 CPUtime=21.45 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17839/stat : 17839 (java) S 17831 17831 14626 0 -1 1077944384 12021 0 0 0 1848 297 0 0 20 0 28 0 4875971 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409486535312 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17840] ppid=17831 vsize=13801768 CPUtime=21.53 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17840/stat : 17840 (java) S 17831 17831 14626 0 -1 1077944384 14038 0 0 0 1830 323 0 0 20 0 28 0 4875971 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409485482512 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17841] ppid=17831 vsize=13801768 CPUtime=21.41 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17841/stat : 17841 (java) S 17831 17831 14626 0 -1 1077944384 10109 0 0 0 1885 256 0 0 20 0 28 0 4875971 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409484429712 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17842] ppid=17831 vsize=13801768 CPUtime=21.35 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17842/stat : 17842 (java) S 17831 17831 14626 0 -1 1077944384 10945 0 0 0 1865 270 0 0 20 0 28 0 4875971 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409483376912 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17843] ppid=17831 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17843/stat : 17843 (java) S 17831 17831 14626 0 -1 1077944384 16742 0 0 0 138 1 0 0 20 0 28 0 4875973 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409018280816 140409891527298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17844] ppid=17831 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17844/stat : 17844 (java) S 17831 17831 14626 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 4875973 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409017226848 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17845] ppid=17831 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17845/stat : 17845 (java) S 17831 17831 14626 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 28 0 4875973 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409016173952 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17846] ppid=17831 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17846/stat : 17846 (java) S 17831 17831 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4875978 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409015122256 140409891534747 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17847] ppid=17831 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17847/stat : 17847 (java) R 17831 17831 14626 0 -1 4202560 7014 0 0 0 194 2 0 0 20 0 28 0 4875978 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409014055712 140409872705822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17848] ppid=17831 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17848/stat : 17848 (java) S 17831 17831 14626 0 -1 1077944384 8396 0 0 0 177 1 0 0 20 0 28 0 4875978 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409013016816 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17849] ppid=17831 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17849/stat : 17849 (java) S 17831 17831 14626 0 -1 1077944384 9027 0 0 0 184 1 0 0 20 0 28 0 4875978 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409011964016 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17850] ppid=17831 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17850/stat : 17850 (java) S 17831 17831 14626 0 -1 1077944384 5836 0 0 0 89 1 0 0 20 0 28 0 4875978 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409010911216 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17851] ppid=17831 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17851/stat : 17851 (java) S 17831 17831 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4875978 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409009859680 140409891526357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17852] ppid=17831 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17852/stat : 17852 (java) S 17831 17831 14626 0 -1 1077944384 177 0 0 0 3 4 0 0 20 0 28 0 4875978 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409008806960 140409891527298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17855] ppid=17831 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17855/stat : 17855 (java) R 17831 17831 14626 0 -1 4202560 76 0 0 0 118 0 0 0 20 0 28 0 4890555 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140409000791928 140409532304081 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17856] ppid=17831 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17856/stat : 17856 (java) R 17831 17831 14626 0 -1 4202560 3272 0 0 0 106 0 0 0 20 0 28 0 4890555 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140408999741736 140409877584276 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17857] ppid=17831 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17857/stat : 17857 (java) R 17831 17831 14626 0 -1 4202560 42 0 0 0 107 0 0 0 20 0 28 0 4890555 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140408998685984 140409532304090 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17858] ppid=17831 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17858/stat : 17858 (java) R 17831 17831 14626 0 -1 4202560 12826 0 0 0 97 1 0 0 20 0 28 0 4890555 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140408997635992 140409535746034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17859] ppid=17831 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17859/stat : 17859 (java) R 17831 17831 14626 0 -1 4202560 245 0 0 0 119 0 0 0 20 0 28 0 4890555 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140408996583104 140409530975007 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17860] ppid=17831 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17860/stat : 17860 (java) R 17831 17831 14626 0 -1 4202560 402 0 0 0 110 0 0 0 20 0 28 0 4890555 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140408995528520 140409532986848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17861] ppid=17831 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17861/stat : 17861 (java) R 17831 17831 14626 0 -1 4202560 867 0 0 0 111 0 0 0 20 0 28 0 4890555 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140408994478768 140409536070120 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
[pid=17832/tid=17862] ppid=17831 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/17832/task/17862/stat : 17862 (java) R 17831 17831 14626 0 -1 4202560 244 0 0 0 112 0 0 0 20 0 28 0 4890555 14133010432 2124522 33554432000 4194304 4196468 140730333155856 140408993425560 140409532304081 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15495168 140730333160636 140730333160812 140730333160812 140730333163471 0
Current children cumulated CPU time (s) 311.4
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 147.402
CPU time (s): 311.796
CPU user time (s): 287.627
CPU system time (s): 24.1693
CPU usage (%): 211.527
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 287.627
system time used= 24.1693
maximum resident set size= 8498356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202495
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12096
involuntary context switches= 22928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13738 second user time and 1.42488 second system time
The end