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-4245040-1500684976/watcher-4245040-1500684976 -o /tmp/evaluation-result-4245040-1500684976/solver-4245040-1500684976 -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 2006111710 HOME/instance-4245040-1500684976.xml
pid=30833
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: 15.62 15.73 14.61 10/275 30836
/proc/meminfo: memFree=28363588/32770624 swapFree=5944/212740
[pid=30836] ppid=30833 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/30836/stat : 30836 (xcsp3-exec) S 30833 30836 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3764795 9740288 346 33554432000 4194304 5098028 140723203662784 140723203660888 140082054730364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14876672 140723203667086 140723203667296 140723203667296 140723203669995 0
/proc/30836/statm: 2378 346 289 221 0 87 0
[startup+0.100092 s]
/proc/loadavg: 15.62 15.73 14.61 10/275 30836
/proc/meminfo: memFree=28363588/32770624 swapFree=5944/212740
[pid=30836] ppid=30833 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/30836/stat : 30836 (xcsp3-exec) S 30833 30836 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3764795 9740288 346 33554432000 4194304 5098028 140723203662784 140723203660888 140082054730364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14876672 140723203667086 140723203667296 140723203667296 140723203669995 0
/proc/30836/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200327 s]
/proc/loadavg: 15.62 15.73 14.61 10/275 30836
/proc/meminfo: memFree=28363588/32770624 swapFree=5944/212740
[pid=30836] ppid=30833 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/30836/stat : 30836 (xcsp3-exec) S 30833 30836 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3764795 9740288 346 33554432000 4194304 5098028 140723203662784 140723203660888 140082054730364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14876672 140723203667086 140723203667296 140723203667296 140723203669995 0
/proc/30836/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300267 s]
/proc/loadavg: 15.62 15.73 14.61 10/275 30836
/proc/meminfo: memFree=28363588/32770624 swapFree=5944/212740
[pid=30836] ppid=30833 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/30836/stat : 30836 (xcsp3-exec) S 30833 30836 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3764795 9740288 346 33554432000 4194304 5098028 140723203662784 140723203660888 140082054730364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14876672 140723203667086 140723203667296 140723203667296 140723203669995 0
/proc/30836/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700239 s]
/proc/loadavg: 15.62 15.73 14.61 10/275 30836
/proc/meminfo: memFree=28363588/32770624 swapFree=5944/212740
[pid=30836] ppid=30833 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/30836/stat : 30836 (xcsp3-exec) S 30833 30836 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3764795 9740288 346 33554432000 4194304 5098028 140723203662784 140723203660888 140082054730364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14876672 140723203667086 140723203667296 140723203667296 140723203669995 0
/proc/30836/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50078 s]
/proc/loadavg: 15.62 15.73 14.61 10/296 30857
/proc/meminfo: memFree=28225428/32770624 swapFree=5944/212804
[pid=30836] ppid=30833 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/30836/stat : 30836 (xcsp3-exec) S 30833 30836 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3764795 9740288 346 33554432000 4194304 5098028 140723203662784 140723203660888 140082054730364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14876672 140723203667086 140723203667296 140723203667296 140723203669995 0
/proc/30836/statm: 2378 346 289 221 0 87 0
[pid=30837] ppid=30836 vsize=13269256 CPUtime=3.17 cores=0-3,8-11
/proc/30837/stat : 30837 (java) S 30836 30836 18810 0 -1 1077944320 12257 0 0 0 290 27 0 0 20 0 20 0 3764796 13587718144 53587 33554432000 4194304 4196468 140729989273520 140729989256064 139996094881527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
/proc/30837/statm: 3317314 53587 3225 1 0 3304547 0
[pid=30837/tid=30838] ppid=30836 vsize=13269256 CPUtime=1.42 cores=0-3,8-11
/proc/30837/task/30838/stat : 30838 (java) R 30836 30836 18810 0 -1 4202560 6503 0 0 0 138 4 0 0 20 0 20 0 3764796 13587718144 53587 33554432000 4194304 4196468 140729989273520 139996099117264 139995687147066 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30840] ppid=30836 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/30837/task/30840/stat : 30840 (java) S 30836 30836 18810 0 -1 1077944384 26 0 0 0 1 2 0 0 20 0 20 0 3764797 13587718144 53587 33554432000 4194304 4196468 140729989273520 139996013361680 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30841] ppid=30836 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/30837/task/30841/stat : 30841 (java) S 30836 30836 18810 0 -1 1077944384 27 0 0 0 1 2 0 0 20 0 20 0 3764797 13587718144 54099 33554432000 4194304 4196468 140729989273520 139996012309136 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30842] ppid=30836 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/30837/task/30842/stat : 30842 (java) S 30836 30836 18810 0 -1 1077944384 32 0 0 0 1 2 0 0 20 0 20 0 3764797 13587718144 54099 33554432000 4194304 4196468 140729989273520 139996011256080 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30843] ppid=30836 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/30837/task/30843/stat : 30843 (java) S 30836 30836 18810 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 20 0 3764797 13587718144 54099 33554432000 4194304 4196468 140729989273520 139996010203536 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30844] ppid=30836 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/30837/task/30844/stat : 30844 (java) S 30836 30836 18810 0 -1 1077944384 26 0 0 0 1 2 0 0 20 0 20 0 3764797 13587718144 54099 33554432000 4194304 4196468 140729989273520 139996009151504 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30845] ppid=30836 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/30837/task/30845/stat : 30845 (java) S 30836 30836 18810 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 20 0 3764797 13587718144 54099 33554432000 4194304 4196468 140729989273520 139996008098960 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30846] ppid=30836 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/30837/task/30846/stat : 30846 (java) S 30836 30836 18810 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 20 0 3764797 13587718144 54099 33554432000 4194304 4196468 140729989273520 139996007045904 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30847] ppid=30836 vsize=13269256 CPUtime=0.03 cores=0-3,8-11
/proc/30837/task/30847/stat : 30847 (java) S 30836 30836 18810 0 -1 1077944384 24 0 0 0 1 2 0 0 20 0 20 0 3764797 13587718144 54099 33554432000 4194304 4196468 140729989273520 139996005993360 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30848] ppid=30836 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30848/stat : 30848 (java) S 30836 30836 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3764799 13587718144 54099 33554432000 4194304 4196468 140729989273520 139994826909936 139996094892674 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30849] ppid=30836 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30849/stat : 30849 (java) S 30836 30836 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3764800 13587718144 54099 33554432000 4194304 4196468 140729989273520 139994825856224 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30850] ppid=30836 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30850/stat : 30850 (java) S 30836 30836 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3764800 13587718144 54099 33554432000 4194304 4196468 140729989273520 139994824803072 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30851] ppid=30836 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30851/stat : 30851 (java) S 30836 30836 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3764804 13587718144 54099 33554432000 4194304 4196468 140729989273520 139994823751632 139996094900123 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30852] ppid=30836 vsize=13269256 CPUtime=0.3 cores=0-3,8-11
/proc/30837/task/30852/stat : 30852 (java) R 30836 30836 18810 0 -1 4202560 802 0 0 0 30 0 0 0 20 0 20 0 3764804 13587718144 54099 33554432000 4194304 4196468 140729989273520 139994822690976 139996078437826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30853] ppid=30836 vsize=13269256 CPUtime=0.27 cores=0-3,8-11
/proc/30837/task/30853/stat : 30853 (java) R 30836 30836 18810 0 -1 4202560 502 0 0 0 27 0 0 0 20 0 20 0 3764804 13587718144 54099 33554432000 4194304 4196468 140729989273520 139994821636208 139996078404850 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30854] ppid=30836 vsize=13269256 CPUtime=0.31 cores=0-3,8-11
/proc/30837/task/30854/stat : 30854 (java) R 30836 30836 18810 0 -1 4202560 980 0 0 0 31 0 0 0 20 0 20 0 3764804 13587718144 54099 33554432000 4194304 4196468 140729989273520 139994820580352 139996078784628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30855] ppid=30836 vsize=13269256 CPUtime=0.48 cores=0-3,8-11
/proc/30837/task/30855/stat : 30855 (java) R 30836 30836 18810 0 -1 4202560 1869 0 0 0 48 0 0 0 20 0 20 0 3764804 13587718144 54099 33554432000 4194304 4196468 140729989273520 139994819541616 139996087978363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30856] ppid=30836 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30856/stat : 30856 (java) S 30836 30836 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3764805 13587718144 54099 33554432000 4194304 4196468 140729989273520 139994818488800 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30857] ppid=30836 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30857/stat : 30857 (java) S 30836 30836 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3764805 13587718144 54099 33554432000 4194304 4196468 140729989273520 139994817436336 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 13278768
[startup+3.10156 s]
/proc/loadavg: 15.62 15.73 14.61 20/304 30865
/proc/meminfo: memFree=28033948/32770624 swapFree=5944/212800
[pid=30836] ppid=30833 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/30836/stat : 30836 (xcsp3-exec) S 30833 30836 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3764795 9740288 346 33554432000 4194304 5098028 140723203662784 140723203660888 140082054730364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14876672 140723203667086 140723203667296 140723203667296 140723203669995 0
/proc/30836/statm: 2378 346 289 221 0 87 0
[pid=30837] ppid=30836 vsize=13801768 CPUtime=14.52 cores=0-3,8-11
/proc/30837/stat : 30837 (java) S 30836 30836 18810 0 -1 1077944320 19550 0 0 0 1401 51 0 0 20 0 28 0 3764796 14133010432 97603 33554432000 4194304 4196468 140729989273520 140729989256064 139996094881527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
/proc/30837/statm: 3450442 97603 3241 1 0 3437675 0
[pid=30837/tid=30838] ppid=30836 vsize=13801768 CPUtime=1.63 cores=0-3,8-11
/proc/30837/task/30838/stat : 30838 (java) S 30836 30836 18810 0 -1 1077944384 6616 0 0 0 157 6 0 0 20 0 28 0 3764796 14133010432 97603 33554432000 4194304 4196468 140729989273520 139996099122304 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30840] ppid=30836 vsize=13801768 CPUtime=0.08 cores=0-3,8-11
/proc/30837/task/30840/stat : 30840 (java) S 30836 30836 18810 0 -1 1077944384 45 0 0 0 4 4 0 0 20 0 28 0 3764797 14133010432 97603 33554432000 4194304 4196468 140729989273520 139996013361680 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30841] ppid=30836 vsize=13801768 CPUtime=0.09 cores=0-3,8-11
/proc/30837/task/30841/stat : 30841 (java) S 30836 30836 18810 0 -1 1077944384 48 0 0 0 4 5 0 0 20 0 28 0 3764797 14133010432 97603 33554432000 4194304 4196468 140729989273520 139996012309136 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30842] ppid=30836 vsize=13801768 CPUtime=0.08 cores=0-3,8-11
/proc/30837/task/30842/stat : 30842 (java) S 30836 30836 18810 0 -1 1077944384 57 0 0 0 4 4 0 0 20 0 28 0 3764797 14133010432 97603 33554432000 4194304 4196468 140729989273520 139996011256080 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30843] ppid=30836 vsize=13801768 CPUtime=0.08 cores=0-3,8-11
/proc/30837/task/30843/stat : 30843 (java) S 30836 30836 18810 0 -1 1077944384 51 0 0 0 4 4 0 0 20 0 28 0 3764797 14133010432 97603 33554432000 4194304 4196468 140729989273520 139996010203536 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30844] ppid=30836 vsize=13801768 CPUtime=0.05 cores=0-3,8-11
/proc/30837/task/30844/stat : 30844 (java) S 30836 30836 18810 0 -1 1077944384 35 0 0 0 2 3 0 0 20 0 28 0 3764797 14133010432 97603 33554432000 4194304 4196468 140729989273520 139996009151504 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30845] ppid=30836 vsize=13801768 CPUtime=0.09 cores=0-3,8-11
/proc/30837/task/30845/stat : 30845 (java) S 30836 30836 18810 0 -1 1077944384 54 0 0 0 4 5 0 0 20 0 28 0 3764797 14133010432 97603 33554432000 4194304 4196468 140729989273520 139996008098960 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30846] ppid=30836 vsize=13801768 CPUtime=0.08 cores=0-3,8-11
/proc/30837/task/30846/stat : 30846 (java) S 30836 30836 18810 0 -1 1077944384 51 0 0 0 4 4 0 0 20 0 28 0 3764797 14133010432 97603 33554432000 4194304 4196468 140729989273520 139996007045904 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30847] ppid=30836 vsize=13801768 CPUtime=0.09 cores=0-3,8-11
/proc/30837/task/30847/stat : 30847 (java) S 30836 30836 18810 0 -1 1077944384 44 0 0 0 4 5 0 0 20 0 28 0 3764797 14133010432 97603 33554432000 4194304 4196468 140729989273520 139996005993360 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30848] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30848/stat : 30848 (java) S 30836 30836 18810 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 3764799 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994826909936 139996094892674 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30849] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30849/stat : 30849 (java) S 30836 30836 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3764800 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994825856224 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30850] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30850/stat : 30850 (java) S 30836 30836 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3764800 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994824803072 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30851] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30851/stat : 30851 (java) S 30836 30836 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3764804 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994823751632 139996094900123 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30852] ppid=30836 vsize=13801768 CPUtime=1.37 cores=0-3,8-11
/proc/30837/task/30852/stat : 30852 (java) R 30836 30836 18810 0 -1 4202560 2943 0 0 0 137 0 0 0 20 0 28 0 3764804 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994822685784 139996073297842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30853] ppid=30836 vsize=13801768 CPUtime=1.45 cores=0-3,8-11
/proc/30837/task/30853/stat : 30853 (java) R 30836 30836 18810 0 -1 4202560 2062 0 0 0 144 1 0 0 20 0 28 0 3764804 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994821639704 139996074158343 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30854] ppid=30836 vsize=13801768 CPUtime=1.25 cores=0-3,8-11
/proc/30837/task/30854/stat : 30854 (java) R 30836 30836 18810 0 -1 4202560 2482 0 0 0 124 1 0 0 20 0 28 0 3764804 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994820574896 139996076406641 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30855] ppid=30836 vsize=13801768 CPUtime=0.8 cores=0-3,8-11
/proc/30837/task/30855/stat : 30855 (java) S 30836 30836 18810 0 -1 1077944384 3113 0 0 0 79 1 0 0 20 0 28 0 3764804 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994819541616 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30856] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30856/stat : 30856 (java) S 30836 30836 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3764805 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994818488800 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30857] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30857/stat : 30857 (java) S 30836 30836 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3764805 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994817436336 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30858] ppid=30836 vsize=13801768 CPUtime=0.9 cores=0-3,8-11
/proc/30837/task/30858/stat : 30858 (java) R 30836 30836 18810 0 -1 4202560 62 0 0 0 90 0 0 0 20 0 28 0 3764972 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994809419416 139995689926692 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30859] ppid=30836 vsize=13801768 CPUtime=0.94 cores=0-3,8-11
/proc/30837/task/30859/stat : 30859 (java) R 30836 30836 18810 0 -1 4202560 55 0 0 0 94 0 0 0 20 0 28 0 3764972 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994808369144 139995689926457 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30860] ppid=30836 vsize=13801768 CPUtime=0.9 cores=0-3,8-11
/proc/30837/task/30860/stat : 30860 (java) R 30836 30836 18810 0 -1 4202560 50 0 0 0 90 0 0 0 20 0 28 0 3764972 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994807315800 139995690831014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30861] ppid=30836 vsize=13801768 CPUtime=0.93 cores=0-3,8-11
/proc/30837/task/30861/stat : 30861 (java) R 30836 30836 18810 0 -1 4202560 81 0 0 0 93 0 0 0 20 0 28 0 3764972 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994806264528 139996080091760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30862] ppid=30836 vsize=13801768 CPUtime=0.79 cores=0-3,8-11
/proc/30837/task/30862/stat : 30862 (java) R 30836 30836 18810 0 -1 4202560 52 0 0 0 79 0 0 0 20 0 28 0 3764972 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994805210824 139995690209563 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30863] ppid=30836 vsize=13801768 CPUtime=0.82 cores=0-3,8-11
/proc/30837/task/30863/stat : 30863 (java) R 30836 30836 18810 0 -1 4202560 55 0 0 0 82 0 0 0 20 0 28 0 3764972 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994804156880 139995690606492 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30864] ppid=30836 vsize=13801768 CPUtime=0.86 cores=0-3,8-11
/proc/30837/task/30864/stat : 30864 (java) R 30836 30836 18810 0 -1 4202560 37 0 0 0 86 0 0 0 20 0 28 0 3764972 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994803106040 139995690604257 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30865] ppid=30836 vsize=13801768 CPUtime=1.05 cores=0-3,8-11
/proc/30837/task/30865/stat : 30865 (java) R 30836 30836 18810 0 -1 4202560 52 0 0 0 105 0 0 0 20 0 28 0 3764972 14133010432 97603 33554432000 4194304 4196468 140729989273520 139994802055320 139995690052968 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
Current children cumulated CPU time (s) 14.52
Current children cumulated vsize (KiB) 13811280
[startup+6.30166 s]
/proc/loadavg: 15.74 15.75 14.63 17/303 30865
/proc/meminfo: memFree=28064716/32770624 swapFree=5944/212808
[pid=30836] ppid=30833 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/30836/stat : 30836 (xcsp3-exec) S 30833 30836 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3764795 9740288 346 33554432000 4194304 5098028 140723203662784 140723203660888 140082054730364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14876672 140723203667086 140723203667296 140723203667296 140723203669995 0
/proc/30836/statm: 2378 346 289 221 0 87 0
[pid=30837] ppid=30836 vsize=13801768 CPUtime=39.41 cores=0-3,8-11
/proc/30837/stat : 30837 (java) S 30836 30836 18810 0 -1 1077944320 31073 0 0 0 3889 52 0 0 20 0 28 0 3764796 14133010432 97634 33554432000 4194304 4196468 140729989273520 140729989256064 139996094881527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
/proc/30837/statm: 3450442 97634 3254 1 0 3437675 0
[pid=30837/tid=30838] ppid=30836 vsize=13801768 CPUtime=1.63 cores=0-3,8-11
/proc/30837/task/30838/stat : 30838 (java) S 30836 30836 18810 0 -1 1077944384 6616 0 0 0 157 6 0 0 20 0 28 0 3764796 14133010432 97634 33554432000 4194304 4196468 140729989273520 139996099122304 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30840] ppid=30836 vsize=13801768 CPUtime=0.08 cores=0-3,8-11
/proc/30837/task/30840/stat : 30840 (java) S 30836 30836 18810 0 -1 1077944384 45 0 0 0 4 4 0 0 20 0 28 0 3764797 14133010432 97634 33554432000 4194304 4196468 140729989273520 139996013361680 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30841] ppid=30836 vsize=13801768 CPUtime=0.09 cores=0-3,8-11
/proc/30837/task/30841/stat : 30841 (java) S 30836 30836 18810 0 -1 1077944384 48 0 0 0 4 5 0 0 20 0 28 0 3764797 14133010432 97634 33554432000 4194304 4196468 140729989273520 139996012309136 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30842] ppid=30836 vsize=13801768 CPUtime=0.08 cores=0-3,8-11
/proc/30837/task/30842/stat : 30842 (java) S 30836 30836 18810 0 -1 1077944384 57 0 0 0 4 4 0 0 20 0 28 0 3764797 14133010432 97634 33554432000 4194304 4196468 140729989273520 139996011256080 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30843] ppid=30836 vsize=13801768 CPUtime=0.08 cores=0-3,8-11
/proc/30837/task/30843/stat : 30843 (java) S 30836 30836 18810 0 -1 1077944384 51 0 0 0 4 4 0 0 20 0 28 0 3764797 14133010432 97634 33554432000 4194304 4196468 140729989273520 139996010203536 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
################
# More data... #
################
/proc/30837/task/30849/stat : 30849 (java) S 30836 30836 18810 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 3764800 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994825856224 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30850] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30850/stat : 30850 (java) S 30836 30836 18810 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3764800 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994824803072 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30851] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30851/stat : 30851 (java) S 30836 30836 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3764804 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994823751632 139996094900123 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30852] ppid=30836 vsize=13801768 CPUtime=2.59 cores=0-3,8-11
/proc/30837/task/30852/stat : 30852 (java) S 30836 30836 18810 0 -1 1077944384 9967 0 0 0 258 1 0 0 20 0 28 0 3764804 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994822699760 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30853] ppid=30836 vsize=13801768 CPUtime=2.75 cores=0-3,8-11
/proc/30837/task/30853/stat : 30853 (java) S 30836 30836 18810 0 -1 1077944384 7919 0 0 0 274 1 0 0 20 0 28 0 3764804 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994821647216 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30854] ppid=30836 vsize=13801768 CPUtime=2.77 cores=0-3,8-11
/proc/30837/task/30854/stat : 30854 (java) S 30836 30836 18810 0 -1 1077944384 6759 0 0 0 276 1 0 0 20 0 28 0 3764804 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994820594160 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30855] ppid=30836 vsize=13801768 CPUtime=0.93 cores=0-3,8-11
/proc/30837/task/30855/stat : 30855 (java) S 30836 30836 18810 0 -1 1077944384 4865 0 0 0 92 1 0 0 20 0 28 0 3764804 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994819541616 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 12 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30856] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30856/stat : 30856 (java) S 30836 30836 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3764805 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994818488800 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30857] ppid=30836 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/30837/task/30857/stat : 30857 (java) S 30836 30836 18810 0 -1 1077944384 255 0 0 0 0 1 0 0 20 0 28 0 3764805 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994817436336 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30858] ppid=30836 vsize=13801768 CPUtime=41.74 cores=0-3,8-11
/proc/30837/task/30858/stat : 30858 (java) R 30836 30836 18810 0 -1 4202560 922 0 0 0 4171 3 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994809420360 139995690726939 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30859] ppid=30836 vsize=13801768 CPUtime=41.91 cores=0-3,8-11
/proc/30837/task/30859/stat : 30859 (java) R 30836 30836 18810 0 -1 4202560 534 0 0 0 4191 0 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994808368528 139995692100641 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30860] ppid=30836 vsize=13801768 CPUtime=41.88 cores=0-3,8-11
/proc/30837/task/30860/stat : 30860 (java) R 30836 30836 18810 0 -1 4202560 1766 0 0 0 4185 3 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994807316904 139995691812330 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30861] ppid=30836 vsize=13801768 CPUtime=41.75 cores=0-3,8-11
/proc/30837/task/30861/stat : 30861 (java) R 30836 30836 18810 0 -1 4202560 909 0 0 0 4172 3 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994806265000 139995689926481 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30862] ppid=30836 vsize=13801768 CPUtime=41.71 cores=0-3,8-11
/proc/30837/task/30862/stat : 30862 (java) R 30836 30836 18810 0 -1 4202560 770 0 0 0 4170 1 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994805211384 139995690841943 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30863] ppid=30836 vsize=13801768 CPUtime=41.8 cores=0-3,8-11
/proc/30837/task/30863/stat : 30863 (java) R 30836 30836 18810 0 -1 4202560 294 0 0 0 4180 0 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994804158888 139995684088594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30864] ppid=30836 vsize=13801768 CPUtime=41.61 cores=0-3,8-11
/proc/30837/task/30864/stat : 30864 (java) R 30836 30836 18810 0 -1 4202560 594 0 0 0 4161 0 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994803105544 139995684088667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30865] ppid=30836 vsize=13801768 CPUtime=41.18 cores=0-3,8-11
/proc/30837/task/30865/stat : 30865 (java) R 30836 30836 18810 0 -1 4202560 731 0 0 0 4116 2 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994802053288 139995690820280 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
Current children cumulated CPU time (s) 345.89
Current children cumulated vsize (KiB) 13811280
[startup+45.2153 s]
/proc/loadavg: 15.91 15.79 14.69 17/302 30968
/proc/meminfo: memFree=30286648/32770624 swapFree=5944/212888
[pid=30836] ppid=30833 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/30836/stat : 30836 (xcsp3-exec) S 30833 30836 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3764795 9740288 346 33554432000 4194304 5098028 140723203662784 140723203660888 140082054730364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14876672 140723203667086 140723203667296 140723203667296 140723203669995 0
/proc/30836/statm: 2378 346 289 221 0 87 0
[pid=30837] ppid=30836 vsize=13801768 CPUtime=349.17 cores=0-3,8-11
/proc/30837/stat : 30837 (java) S 30836 30836 18810 0 -1 1077944320 52478 0 0 0 34807 110 0 0 20 0 28 0 3764796 14133010432 296804 33554432000 4194304 4196468 140729989273520 140729989256064 139996094881527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
/proc/30837/statm: 3450442 296804 3265 1 0 3437675 0
[pid=30837/tid=30838] ppid=30836 vsize=13801768 CPUtime=1.63 cores=0-3,8-11
/proc/30837/task/30838/stat : 30838 (java) S 30836 30836 18810 0 -1 1077944384 6616 0 0 0 157 6 0 0 20 0 28 0 3764796 14133010432 296804 33554432000 4194304 4196468 140729989273520 139996099122304 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30840] ppid=30836 vsize=13801768 CPUtime=0.17 cores=0-3,8-11
/proc/30837/task/30840/stat : 30840 (java) S 30836 30836 18810 0 -1 1077944384 1496 0 0 0 8 9 0 0 20 0 28 0 3764797 14133010432 296804 33554432000 4194304 4196468 140729989273520 139996013361680 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30841] ppid=30836 vsize=13801768 CPUtime=0.19 cores=0-3,8-11
/proc/30837/task/30841/stat : 30841 (java) S 30836 30836 18810 0 -1 1077944384 307 0 0 0 8 11 0 0 20 0 28 0 3764797 14133010432 296804 33554432000 4194304 4196468 140729989273520 139996012309136 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30842] ppid=30836 vsize=13801768 CPUtime=0.17 cores=0-3,8-11
/proc/30837/task/30842/stat : 30842 (java) S 30836 30836 18810 0 -1 1077944384 1324 0 0 0 8 9 0 0 20 0 28 0 3764797 14133010432 296804 33554432000 4194304 4196468 140729989273520 139996011256080 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30843] ppid=30836 vsize=13801768 CPUtime=0.17 cores=0-3,8-11
/proc/30837/task/30843/stat : 30843 (java) S 30836 30836 18810 0 -1 1077944384 1462 0 0 0 8 9 0 0 20 0 28 0 3764797 14133010432 296804 33554432000 4194304 4196468 140729989273520 139996010203536 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30844] ppid=30836 vsize=13801768 CPUtime=0.14 cores=0-3,8-11
/proc/30837/task/30844/stat : 30844 (java) S 30836 30836 18810 0 -1 1077944384 166 0 0 0 6 8 0 0 20 0 28 0 3764797 14133010432 296804 33554432000 4194304 4196468 140729989273520 139996009151504 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30845] ppid=30836 vsize=13801768 CPUtime=0.18 cores=0-3,8-11
/proc/30837/task/30845/stat : 30845 (java) S 30836 30836 18810 0 -1 1077944384 236 0 0 0 8 10 0 0 20 0 28 0 3764797 14133010432 296804 33554432000 4194304 4196468 140729989273520 139996008098960 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30846] ppid=30836 vsize=13801768 CPUtime=0.17 cores=0-3,8-11
/proc/30837/task/30846/stat : 30846 (java) S 30836 30836 18810 0 -1 1077944384 175 0 0 0 8 9 0 0 20 0 28 0 3764797 14133010432 296804 33554432000 4194304 4196468 140729989273520 139996007045904 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30847] ppid=30836 vsize=13801768 CPUtime=0.16 cores=0-3,8-11
/proc/30837/task/30847/stat : 30847 (java) S 30836 30836 18810 0 -1 1077944384 988 0 0 0 8 8 0 0 20 0 28 0 3764797 14133010432 296804 33554432000 4194304 4196468 140729989273520 139996005993360 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30848] ppid=30836 vsize=13801768 CPUtime=0.03 cores=0-3,8-11
/proc/30837/task/30848/stat : 30848 (java) S 30836 30836 18810 0 -1 1077944384 2081 0 0 0 1 2 0 0 20 0 28 0 3764799 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994826909936 139996094892674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30849] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30849/stat : 30849 (java) S 30836 30836 18810 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 3764800 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994825856224 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30850] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30850/stat : 30850 (java) S 30836 30836 18810 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3764800 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994824803072 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30851] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30851/stat : 30851 (java) S 30836 30836 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3764804 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994823751632 139996094900123 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30852] ppid=30836 vsize=13801768 CPUtime=2.59 cores=0-3,8-11
/proc/30837/task/30852/stat : 30852 (java) S 30836 30836 18810 0 -1 1077944384 9967 0 0 0 258 1 0 0 20 0 28 0 3764804 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994822699760 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30853] ppid=30836 vsize=13801768 CPUtime=2.75 cores=0-3,8-11
/proc/30837/task/30853/stat : 30853 (java) S 30836 30836 18810 0 -1 1077944384 7919 0 0 0 274 1 0 0 20 0 28 0 3764804 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994821647216 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30854] ppid=30836 vsize=13801768 CPUtime=2.77 cores=0-3,8-11
/proc/30837/task/30854/stat : 30854 (java) S 30836 30836 18810 0 -1 1077944384 6759 0 0 0 276 1 0 0 20 0 28 0 3764804 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994820594160 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30855] ppid=30836 vsize=13801768 CPUtime=0.93 cores=0-3,8-11
/proc/30837/task/30855/stat : 30855 (java) S 30836 30836 18810 0 -1 1077944384 4865 0 0 0 92 1 0 0 20 0 28 0 3764804 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994819541616 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 12 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30856] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30856/stat : 30856 (java) S 30836 30836 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3764805 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994818488800 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30857] ppid=30836 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/30837/task/30857/stat : 30857 (java) S 30836 30836 18810 0 -1 1077944384 255 0 0 0 0 1 0 0 20 0 28 0 3764805 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994817436336 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30858] ppid=30836 vsize=13801768 CPUtime=42.16 cores=0-3,8-11
/proc/30837/task/30858/stat : 30858 (java) R 30836 30836 18810 0 -1 4202560 924 0 0 0 4213 3 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994809420360 139995689926617 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30859] ppid=30836 vsize=13801768 CPUtime=42.33 cores=0-3,8-11
/proc/30837/task/30859/stat : 30859 (java) R 30836 30836 18810 0 -1 4202560 538 0 0 0 4233 0 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994808368528 139995689926040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30860] ppid=30836 vsize=13801768 CPUtime=42.29 cores=0-3,8-11
/proc/30837/task/30860/stat : 30860 (java) R 30836 30836 18810 0 -1 4202560 1768 0 0 0 4226 3 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994807316904 139995691811780 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30861] ppid=30836 vsize=13801768 CPUtime=42.16 cores=0-3,8-11
/proc/30837/task/30861/stat : 30861 (java) R 30836 30836 18810 0 -1 4202560 911 0 0 0 4213 3 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994806265000 139995689926893 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30862] ppid=30836 vsize=13801768 CPUtime=42.12 cores=0-3,8-11
/proc/30837/task/30862/stat : 30862 (java) R 30836 30836 18810 0 -1 4202560 774 0 0 0 4211 1 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994805211384 139995690841342 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30863] ppid=30836 vsize=13801768 CPUtime=42.22 cores=0-3,8-11
/proc/30837/task/30863/stat : 30863 (java) R 30836 30836 18810 0 -1 4202560 294 0 0 0 4222 0 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994804158888 139995690210074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30864] ppid=30836 vsize=13801768 CPUtime=42.03 cores=0-3,8-11
/proc/30837/task/30864/stat : 30864 (java) R 30836 30836 18810 0 -1 4202560 597 0 0 0 4203 0 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994803105544 139995690834501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30865] ppid=30836 vsize=13801768 CPUtime=41.58 cores=0-3,8-11
/proc/30837/task/30865/stat : 30865 (java) R 30836 30836 18810 0 -1 4202560 731 0 0 0 4156 2 0 0 20 0 28 0 3764972 14133010432 296804 33554432000 4194304 4196468 140729989273520 139994802053288 139995690606962 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
Current children cumulated CPU time (s) 349.17
Current children cumulated vsize (KiB) 13811280
[startup+45.6016 s]
/proc/loadavg: 15.91 15.79 14.69 17/302 30968
/proc/meminfo: memFree=30286648/32770624 swapFree=5944/212888
[pid=30836] ppid=30833 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/30836/stat : 30836 (xcsp3-exec) S 30833 30836 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3764795 9740288 346 33554432000 4194304 5098028 140723203662784 140723203660888 140082054730364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14876672 140723203667086 140723203667296 140723203667296 140723203669995 0
/proc/30836/statm: 2378 346 289 221 0 87 0
[pid=30837] ppid=30836 vsize=13801768 CPUtime=352.09 cores=0-3,8-11
/proc/30837/stat : 30837 (java) S 30836 30836 18810 0 -1 1077944320 52724 0 0 0 35099 110 0 0 20 0 28 0 3764796 14133010432 296812 33554432000 4194304 4196468 140729989273520 140729989256064 139996094881527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
/proc/30837/statm: 3450442 296812 3266 1 0 3437675 0
[pid=30837/tid=30838] ppid=30836 vsize=13801768 CPUtime=1.63 cores=0-3,8-11
/proc/30837/task/30838/stat : 30838 (java) S 30836 30836 18810 0 -1 1077944384 6616 0 0 0 157 6 0 0 20 0 28 0 3764796 14133010432 296812 33554432000 4194304 4196468 140729989273520 139996099122304 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30840] ppid=30836 vsize=13801768 CPUtime=0.17 cores=0-3,8-11
/proc/30837/task/30840/stat : 30840 (java) S 30836 30836 18810 0 -1 1077944384 1496 0 0 0 8 9 0 0 20 0 28 0 3764797 14133010432 296812 33554432000 4194304 4196468 140729989273520 139996013361680 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30841] ppid=30836 vsize=13801768 CPUtime=0.19 cores=0-3,8-11
/proc/30837/task/30841/stat : 30841 (java) S 30836 30836 18810 0 -1 1077944384 307 0 0 0 8 11 0 0 20 0 28 0 3764797 14133010432 296812 33554432000 4194304 4196468 140729989273520 139996012309136 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30842] ppid=30836 vsize=13801768 CPUtime=0.17 cores=0-3,8-11
/proc/30837/task/30842/stat : 30842 (java) S 30836 30836 18810 0 -1 1077944384 1324 0 0 0 8 9 0 0 20 0 28 0 3764797 14133010432 296812 33554432000 4194304 4196468 140729989273520 139996011256080 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30843] ppid=30836 vsize=13801768 CPUtime=0.17 cores=0-3,8-11
/proc/30837/task/30843/stat : 30843 (java) S 30836 30836 18810 0 -1 1077944384 1462 0 0 0 8 9 0 0 20 0 28 0 3764797 14133010432 296812 33554432000 4194304 4196468 140729989273520 139996010203536 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30844] ppid=30836 vsize=13801768 CPUtime=0.14 cores=0-3,8-11
/proc/30837/task/30844/stat : 30844 (java) S 30836 30836 18810 0 -1 1077944384 166 0 0 0 6 8 0 0 20 0 28 0 3764797 14133010432 296812 33554432000 4194304 4196468 140729989273520 139996009151504 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30845] ppid=30836 vsize=13801768 CPUtime=0.18 cores=0-3,8-11
/proc/30837/task/30845/stat : 30845 (java) S 30836 30836 18810 0 -1 1077944384 236 0 0 0 8 10 0 0 20 0 28 0 3764797 14133010432 296812 33554432000 4194304 4196468 140729989273520 139996008098960 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30846] ppid=30836 vsize=13801768 CPUtime=0.17 cores=0-3,8-11
/proc/30837/task/30846/stat : 30846 (java) S 30836 30836 18810 0 -1 1077944384 175 0 0 0 8 9 0 0 20 0 28 0 3764797 14133010432 296812 33554432000 4194304 4196468 140729989273520 139996007045904 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30847] ppid=30836 vsize=13801768 CPUtime=0.16 cores=0-3,8-11
/proc/30837/task/30847/stat : 30847 (java) S 30836 30836 18810 0 -1 1077944384 988 0 0 0 8 8 0 0 20 0 28 0 3764797 14133010432 296812 33554432000 4194304 4196468 140729989273520 139996005993360 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30848] ppid=30836 vsize=13801768 CPUtime=0.03 cores=0-3,8-11
/proc/30837/task/30848/stat : 30848 (java) S 30836 30836 18810 0 -1 1077944384 2081 0 0 0 1 2 0 0 20 0 28 0 3764799 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994826909936 139996094892674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30849] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30849/stat : 30849 (java) S 30836 30836 18810 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 3764800 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994825856224 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30850] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30850/stat : 30850 (java) S 30836 30836 18810 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3764800 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994824803072 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30851] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30851/stat : 30851 (java) S 30836 30836 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3764804 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994823751632 139996094900123 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30852] ppid=30836 vsize=13801768 CPUtime=2.6 cores=0-3,8-11
/proc/30837/task/30852/stat : 30852 (java) S 30836 30836 18810 0 -1 1077944384 9971 0 0 0 259 1 0 0 20 0 28 0 3764804 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994822699760 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30853] ppid=30836 vsize=13801768 CPUtime=2.75 cores=0-3,8-11
/proc/30837/task/30853/stat : 30853 (java) S 30836 30836 18810 0 -1 1077944384 7919 0 0 0 274 1 0 0 20 0 28 0 3764804 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994821647216 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30854] ppid=30836 vsize=13801768 CPUtime=2.77 cores=0-3,8-11
/proc/30837/task/30854/stat : 30854 (java) S 30836 30836 18810 0 -1 1077944384 6769 0 0 0 276 1 0 0 20 0 28 0 3764804 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994820594160 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30855] ppid=30836 vsize=13801768 CPUtime=0.94 cores=0-3,8-11
/proc/30837/task/30855/stat : 30855 (java) S 30836 30836 18810 0 -1 1077944384 5003 0 0 0 93 1 0 0 20 0 28 0 3764804 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994819541616 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 12 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30856] ppid=30836 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/30837/task/30856/stat : 30856 (java) S 30836 30836 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3764805 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994818488800 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30857] ppid=30836 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/30837/task/30857/stat : 30857 (java) S 30836 30836 18810 0 -1 1077944384 255 0 0 0 0 1 0 0 20 0 28 0 3764805 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994817436336 139996094892674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30858] ppid=30836 vsize=13801768 CPUtime=42.52 cores=0-3,8-11
/proc/30837/task/30858/stat : 30858 (java) S 30836 30836 18810 0 -1 1077944384 930 0 0 0 4249 3 0 0 20 0 28 0 3764972 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994809425216 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30859] ppid=30836 vsize=13801768 CPUtime=42.69 cores=0-3,8-11
/proc/30837/task/30859/stat : 30859 (java) S 30836 30836 18810 0 -1 1077944384 543 0 0 0 4269 0 0 0 20 0 28 0 3764972 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994808374096 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30860] ppid=30836 vsize=13801768 CPUtime=42.68 cores=0-3,8-11
/proc/30837/task/30860/stat : 30860 (java) R 30836 30836 18810 0 -1 4202560 1768 0 0 0 4265 3 0 0 20 0 28 0 3764972 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994807316904 139995691812186 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30861] ppid=30836 vsize=13801768 CPUtime=42.52 cores=0-3,8-11
/proc/30837/task/30861/stat : 30861 (java) S 30836 30836 18810 0 -1 1077944384 919 0 0 0 4249 3 0 0 20 0 28 0 3764972 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994806269520 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30862] ppid=30836 vsize=13801768 CPUtime=42.48 cores=0-3,8-11
/proc/30837/task/30862/stat : 30862 (java) S 30836 30836 18810 0 -1 1077944384 778 0 0 0 4247 1 0 0 20 0 28 0 3764972 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994805216464 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30863] ppid=30836 vsize=13801768 CPUtime=42.58 cores=0-3,8-11
/proc/30837/task/30863/stat : 30863 (java) S 30836 30836 18810 0 -1 1077944384 303 0 0 0 4258 0 0 0 20 0 28 0 3764972 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994804163920 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30864] ppid=30836 vsize=13801768 CPUtime=42.39 cores=0-3,8-11
/proc/30837/task/30864/stat : 30864 (java) S 30836 30836 18810 0 -1 1077944384 599 0 0 0 4239 0 0 0 20 0 28 0 3764972 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994803110864 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
[pid=30837/tid=30865] ppid=30836 vsize=13801768 CPUtime=41.93 cores=0-3,8-11
/proc/30837/task/30865/stat : 30865 (java) S 30836 30836 18810 0 -1 1077944384 791 0 0 0 4191 2 0 0 20 0 28 0 3764972 14133010432 296812 33554432000 4194304 4196468 140729989273520 139994802058320 139996094891733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30740480 140729989280956 140729989281132 140729989281132 140729989283791 0
Current children cumulated CPU time (s) 352.09
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 45.6259
CPU time (s): 352.134
CPU user time (s): 351.018
CPU system time (s): 1.11666
CPU usage (%): 771.786
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 351.018
system time used= 1.11666
maximum resident set size= 1187444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53726
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6058
involuntary context switches= 24775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.580583 second user time and 0.667323 second system time
The end