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-4250070-1500696047/watcher-4250070-1500696047 -o /tmp/evaluation-result-4250070-1500696047/solver-4250070-1500696047 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1430846752 HOME/instance-4250070-1500696047.xml
pid=18382
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 9.75 10.29 11.54 10/267 18385
/proc/meminfo: memFree=21666164/32770624 swapFree=5932/271300
[pid=18385] ppid=18382 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18385/stat : 18385 (xcsp3-exec) S 18382 18385 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4871843 9740288 345 33554432000 4194304 5098028 140729706126784 140729706124888 140082359210620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11173888 140729706128526 140729706128736 140729706128736 140729706131435 0
/proc/18385/statm: 2378 345 289 221 0 87 0
[startup+0.100095 s]
/proc/loadavg: 9.75 10.29 11.54 10/267 18385
/proc/meminfo: memFree=21666164/32770624 swapFree=5932/271300
[pid=18385] ppid=18382 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18385/stat : 18385 (xcsp3-exec) S 18382 18385 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4871843 9740288 345 33554432000 4194304 5098028 140729706126784 140729706124888 140082359210620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11173888 140729706128526 140729706128736 140729706128736 140729706131435 0
/proc/18385/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200282 s]
/proc/loadavg: 9.75 10.29 11.54 10/267 18385
/proc/meminfo: memFree=21666164/32770624 swapFree=5932/271300
[pid=18385] ppid=18382 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18385/stat : 18385 (xcsp3-exec) S 18382 18385 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4871843 9740288 345 33554432000 4194304 5098028 140729706126784 140729706124888 140082359210620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11173888 140729706128526 140729706128736 140729706128736 140729706131435 0
/proc/18385/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300221 s]
/proc/loadavg: 9.75 10.29 11.54 10/267 18385
/proc/meminfo: memFree=21666164/32770624 swapFree=5932/271300
[pid=18385] ppid=18382 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18385/stat : 18385 (xcsp3-exec) S 18382 18385 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4871843 9740288 345 33554432000 4194304 5098028 140729706126784 140729706124888 140082359210620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11173888 140729706128526 140729706128736 140729706128736 140729706131435 0
/proc/18385/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700224 s]
/proc/loadavg: 9.75 10.29 11.54 10/267 18385
/proc/meminfo: memFree=21666164/32770624 swapFree=5932/271300
[pid=18385] ppid=18382 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18385/stat : 18385 (xcsp3-exec) S 18382 18385 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4871843 9740288 345 33554432000 4194304 5098028 140729706126784 140729706124888 140082359210620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11173888 140729706128526 140729706128736 140729706128736 140729706131435 0
/proc/18385/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50122 s]
/proc/loadavg: 9.75 10.29 11.54 13/288 18406
/proc/meminfo: memFree=21509284/32770624 swapFree=5932/271660
[pid=18385] ppid=18382 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18385/stat : 18385 (xcsp3-exec) S 18382 18385 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4871843 9740288 345 33554432000 4194304 5098028 140729706126784 140729706124888 140082359210620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11173888 140729706128526 140729706128736 140729706128736 140729706131435 0
/proc/18385/statm: 2378 345 289 221 0 87 0
[pid=18386] ppid=18385 vsize=13269256 CPUtime=5.21 cores=4-7,12-15
/proc/18386/stat : 18386 (java) S 18385 18385 18810 0 -1 1077944320 24046 0 0 0 502 19 0 0 20 0 20 0 4871843 13587718144 57572 33554432000 4194304 4196468 140724280042752 140724280025296 140620647243511 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
/proc/18386/statm: 3317314 57572 3261 1 0 3304547 0
[pid=18386/tid=18387] ppid=18385 vsize=13269256 CPUtime=1.44 cores=4-7,12-15
/proc/18386/task/18387/stat : 18387 (java) S 18385 18385 18810 0 -1 1077944384 7185 0 0 0 138 6 0 0 20 0 20 0 4871844 13587718144 57572 33554432000 4194304 4196468 140724280042752 140620651483504 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18389] ppid=18385 vsize=13269256 CPUtime=0.02 cores=4-7,12-15
/proc/18386/task/18389/stat : 18389 (java) R 18385 18385 18810 0 -1 4202560 34 0 0 0 1 1 0 0 20 0 20 0 4871845 13587718144 57572 33554432000 4194304 4196468 140724280042752 140620586208344 140620632271394 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18390] ppid=18385 vsize=13269256 CPUtime=0.01 cores=4-7,12-15
/proc/18386/task/18390/stat : 18390 (java) R 18385 18385 18810 0 -1 4202560 15 0 0 0 0 1 0 0 20 0 20 0 4871845 13587718144 57572 33554432000 4194304 4196468 140724280042752 140620245457680 140620640340347 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18391] ppid=18385 vsize=13269256 CPUtime=0.01 cores=4-7,12-15
/proc/18386/task/18391/stat : 18391 (java) S 18385 18385 18810 0 -1 1077944384 9 0 0 0 0 1 0 0 20 0 20 0 4871845 13587718144 57572 33554432000 4194304 4196468 140724280042752 140620244405392 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18392] ppid=18385 vsize=13269256 CPUtime=0.01 cores=4-7,12-15
/proc/18386/task/18392/stat : 18392 (java) R 18385 18385 18810 0 -1 4202560 12 0 0 0 0 1 0 0 20 0 20 0 4871845 13587718144 57572 33554432000 4194304 4196468 140724280042752 140620243352792 140620640340347 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18393] ppid=18385 vsize=13269256 CPUtime=0.02 cores=4-7,12-15
/proc/18386/task/18393/stat : 18393 (java) S 18385 18385 18810 0 -1 1077944384 178 0 0 0 1 1 0 0 20 0 20 0 4871845 13587718144 57572 33554432000 4194304 4196468 140724280042752 140620242299280 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18394] ppid=18385 vsize=13269256 CPUtime=0.01 cores=4-7,12-15
/proc/18386/task/18394/stat : 18394 (java) R 18385 18385 18810 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 20 0 4871845 13587718144 57572 33554432000 4194304 4196468 140724280042752 140620241246680 140620640349183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18395] ppid=18385 vsize=13269256 CPUtime=0.02 cores=4-7,12-15
/proc/18386/task/18395/stat : 18395 (java) R 18385 18385 18810 0 -1 1077944384 109 0 0 0 1 1 0 0 20 0 20 0 4871845 13587718144 57572 33554432000 4194304 4196468 140724280042752 140620240194192 140620647253717 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18396] ppid=18385 vsize=13269256 CPUtime=0.02 cores=4-7,12-15
/proc/18386/task/18396/stat : 18396 (java) R 18385 18385 18810 0 -1 4202560 69 0 0 0 1 1 0 0 20 0 20 0 4871845 13587718144 57572 33554432000 4194304 4196468 140724280042752 140620239141392 140620626967756 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18397] ppid=18385 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18397/stat : 18397 (java) S 18385 18385 18810 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 20 0 4871847 13587718144 57572 33554432000 4194304 4196468 140724280042752 140619646731424 140620647253717 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18398] ppid=18385 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18398/stat : 18398 (java) S 18385 18385 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4871848 13587718144 57572 33554432000 4194304 4196468 140724280042752 140619645678944 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18399] ppid=18385 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18399/stat : 18399 (java) S 18385 18385 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4871848 13587718144 57572 33554432000 4194304 4196468 140724280042752 140619644626560 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18400] ppid=18385 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18400/stat : 18400 (java) S 18385 18385 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4871851 13587718144 57572 33554432000 4194304 4196468 140724280042752 140619643574864 140620647262107 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18401] ppid=18385 vsize=13269256 CPUtime=1 cores=4-7,12-15
/proc/18386/task/18401/stat : 18401 (java) D 18385 18385 18810 0 -1 4202560 3971 0 0 0 100 0 0 0 20 0 20 0 4871851 13587718144 57572 33554432000 4194304 4196468 140724280042752 140619642501784 140620639960663 0 4 0 16800975 18446744071582151463 0 0 -1 14 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18402] ppid=18385 vsize=13269256 CPUtime=0.97 cores=4-7,12-15
/proc/18386/task/18402/stat : 18402 (java) D 18385 18385 18810 0 -1 4202560 3901 0 0 0 97 0 0 0 20 0 20 0 4871851 13587718144 57572 33554432000 4194304 4196468 140724280042752 140619641454968 140620639960663 0 4 0 16800975 18446744071582151463 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18403] ppid=18385 vsize=13269256 CPUtime=1.01 cores=4-7,12-15
/proc/18386/task/18403/stat : 18403 (java) R 18385 18385 18810 0 -1 4202560 4775 0 0 0 101 0 0 0 20 0 20 0 4871851 13587718144 57572 33554432000 4194304 4196468 140724280042752 140619640397640 140620630740240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18404] ppid=18385 vsize=13269256 CPUtime=0.55 cores=4-7,12-15
/proc/18386/task/18404/stat : 18404 (java) S 18385 18385 18810 0 -1 1077944384 2269 0 0 0 55 0 0 0 20 0 20 0 4871851 13587718144 57572 33554432000 4194304 4196468 140724280042752 140619639363824 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18405] ppid=18385 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18405/stat : 18405 (java) S 18385 18385 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4871851 13587718144 57572 33554432000 4194304 4196468 140724280042752 140619638311776 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18406] ppid=18385 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18406/stat : 18406 (java) S 18385 18385 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4871852 13587718144 57572 33554432000 4194304 4196468 140724280042752 140619637259056 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 13278768
[startup+3.10109 s]
/proc/loadavg: 9.93 10.32 11.54 11/288 18406
/proc/meminfo: memFree=21230548/32770624 swapFree=5932/271660
[pid=18385] ppid=18382 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18385/stat : 18385 (xcsp3-exec) S 18382 18385 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4871843 9740288 345 33554432000 4194304 5098028 140729706126784 140729706124888 140082359210620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11173888 140729706128526 140729706128736 140729706128736 140729706131435 0
/proc/18385/statm: 2378 345 289 221 0 87 0
[pid=18386] ppid=18385 vsize=13801768 CPUtime=13.4 cores=4-7,12-15
/proc/18386/stat : 18386 (java) S 18385 18385 18810 0 -1 1077944320 34186 0 0 0 1237 103 0 0 20 0 28 0 4871843 14133010432 130448 33554432000 4194304 4196468 140724280042752 140724280025296 140620647243511 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
/proc/18386/statm: 3450442 130448 3267 1 0 3437675 0
[pid=18386/tid=18387] ppid=18385 vsize=13801768 CPUtime=2.32 cores=4-7,12-15
/proc/18386/task/18387/stat : 18387 (java) S 18385 18385 18810 0 -1 1077944384 9056 0 0 0 225 7 0 0 20 0 28 0 4871844 14133010432 130448 33554432000 4194304 4196468 140724280042752 140620651484288 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18389] ppid=18385 vsize=13801768 CPUtime=0.24 cores=4-7,12-15
/proc/18386/task/18389/stat : 18389 (java) S 18385 18385 18810 0 -1 1077944384 507 0 0 0 12 12 0 0 20 0 28 0 4871845 14133010432 130448 33554432000 4194304 4196468 140724280042752 140620586208144 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18390] ppid=18385 vsize=13801768 CPUtime=0.22 cores=4-7,12-15
/proc/18386/task/18390/stat : 18390 (java) S 18385 18385 18810 0 -1 1077944384 129 0 0 0 11 11 0 0 20 0 28 0 4871845 14133010432 130448 33554432000 4194304 4196468 140724280042752 140620245457680 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18391] ppid=18385 vsize=13801768 CPUtime=0.17 cores=4-7,12-15
/proc/18386/task/18391/stat : 18391 (java) S 18385 18385 18810 0 -1 1077944384 82 0 0 0 8 9 0 0 20 0 28 0 4871845 14133010432 130448 33554432000 4194304 4196468 140724280042752 140620244405392 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18392] ppid=18385 vsize=13801768 CPUtime=0.21 cores=4-7,12-15
/proc/18386/task/18392/stat : 18392 (java) S 18385 18385 18810 0 -1 1077944384 124 0 0 0 10 11 0 0 20 0 28 0 4871845 14133010432 130448 33554432000 4194304 4196468 140724280042752 140620243352592 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18393] ppid=18385 vsize=13801768 CPUtime=0.17 cores=4-7,12-15
/proc/18386/task/18393/stat : 18393 (java) S 18385 18385 18810 0 -1 1077944384 262 0 0 0 8 9 0 0 20 0 28 0 4871845 14133010432 130448 33554432000 4194304 4196468 140724280042752 140620242299280 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18394] ppid=18385 vsize=13801768 CPUtime=0.23 cores=4-7,12-15
/proc/18386/task/18394/stat : 18394 (java) S 18385 18385 18810 0 -1 1077944384 149 0 0 0 11 12 0 0 20 0 28 0 4871845 14133010432 130448 33554432000 4194304 4196468 140724280042752 140620241246480 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18395] ppid=18385 vsize=13801768 CPUtime=0.23 cores=4-7,12-15
/proc/18386/task/18395/stat : 18395 (java) S 18385 18385 18810 0 -1 1077944384 198 0 0 0 13 10 0 0 20 0 28 0 4871845 14133010432 130448 33554432000 4194304 4196468 140724280042752 140620240194192 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18396] ppid=18385 vsize=13801768 CPUtime=0.24 cores=4-7,12-15
/proc/18386/task/18396/stat : 18396 (java) S 18385 18385 18810 0 -1 1077944384 235 0 0 0 13 11 0 0 20 0 28 0 4871845 14133010432 130448 33554432000 4194304 4196468 140724280042752 140620239141392 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18397] ppid=18385 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/18386/task/18397/stat : 18397 (java) S 18385 18385 18810 0 -1 1077944384 501 0 0 0 1 0 0 0 20 0 28 0 4871847 14133010432 130448 33554432000 4194304 4196468 140724280042752 140619646732912 140620647254658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18398] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18398/stat : 18398 (java) S 18385 18385 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4871848 14133010432 130448 33554432000 4194304 4196468 140724280042752 140619645678944 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18399] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18399/stat : 18399 (java) S 18385 18385 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4871848 14133010432 130448 33554432000 4194304 4196468 140724280042752 140619644626560 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18400] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18400/stat : 18400 (java) S 18385 18385 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4871851 14133010432 130448 33554432000 4194304 4196468 140724280042752 140619643574864 140620647262107 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18401] ppid=18385 vsize=13801768 CPUtime=2.03 cores=4-7,12-15
/proc/18386/task/18401/stat : 18401 (java) R 18385 18385 18810 0 -1 4202560 5233 0 0 0 202 1 0 0 20 0 28 0 4871851 14133010432 130448 33554432000 4194304 4196468 140724280042752 140619642514616 140620632153435 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18402] ppid=18385 vsize=13801768 CPUtime=2.03 cores=4-7,12-15
/proc/18386/task/18402/stat : 18402 (java) R 18385 18385 18810 0 -1 4202560 5001 0 0 0 203 0 0 0 20 0 28 0 4871851 14133010432 130448 33554432000 4194304 4196468 140724280042752 140619641462104 140620631668455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18403] ppid=18385 vsize=13801768 CPUtime=1.85 cores=4-7,12-15
/proc/18386/task/18403/stat : 18403 (java) R 18385 18385 18810 0 -1 4202560 7803 0 0 0 184 1 0 0 20 0 28 0 4871851 14133010432 130448 33554432000 4194304 4196468 140724280042752 140619640403304 140620630729519 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18404] ppid=18385 vsize=13801768 CPUtime=0.78 cores=4-7,12-15
/proc/18386/task/18404/stat : 18404 (java) R 18385 18385 18810 0 -1 4202560 3090 0 0 0 77 1 0 0 20 0 28 0 4871851 14133010432 130448 33554432000 4194304 4196468 140724280042752 140619639363712 140620640340347 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18405] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18405/stat : 18405 (java) S 18385 18385 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4871851 14133010432 130448 33554432000 4194304 4196468 140724280042752 140619638311776 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18406] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18406/stat : 18406 (java) S 18385 18385 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4871852 14133010432 130448 33554432000 4194304 4196468 140724280042752 140619637259056 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
Current children cumulated CPU time (s) 13.4
Current children cumulated vsize (KiB) 13811280
[startup+6.30144 s]
/proc/loadavg: 9.93 10.32 11.54 17/296 18414
/proc/meminfo: memFree=20949968/32770624 swapFree=5932/271672
[pid=18385] ppid=18382 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18385/stat : 18385 (xcsp3-exec) S 18382 18385 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4871843 9740288 345 33554432000 4194304 5098028 140729706126784 140729706124888 140082359210620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11173888 140729706128526 140729706128736 140729706128736 140729706131435 0
/proc/18385/statm: 2378 345 289 221 0 87 0
[pid=18386] ppid=18385 vsize=13801768 CPUtime=38.67 cores=4-7,12-15
/proc/18386/stat : 18386 (java) S 18385 18385 18810 0 -1 1077944320 37688 0 0 0 3680 187 0 0 20 0 28 0 4871843 14133010432 242353 33554432000 4194304 4196468 140724280042752 140724280025296 140620647243511 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
/proc/18386/statm: 3450442 242353 3295 1 0 3437675 0
[pid=18386/tid=18387] ppid=18385 vsize=13801768 CPUtime=2.32 cores=4-7,12-15
/proc/18386/task/18387/stat : 18387 (java) S 18385 18385 18810 0 -1 1077944384 9056 0 0 0 225 7 0 0 20 0 28 0 4871844 14133010432 242353 33554432000 4194304 4196468 140724280042752 140620651484288 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18389] ppid=18385 vsize=13801768 CPUtime=0.67 cores=4-7,12-15
/proc/18386/task/18389/stat : 18389 (java) R 18385 18385 18810 0 -1 4202560 608 0 0 0 46 21 0 0 20 0 28 0 4871845 14133010432 242353 33554432000 4194304 4196468 140724280042752 140620586208264 140620639871719 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18390] ppid=18385 vsize=13801768 CPUtime=0.65 cores=4-7,12-15
/proc/18386/task/18390/stat : 18390 (java) R 18385 18385 18810 0 -1 4202560 259 0 0 0 43 22 0 0 20 0 28 0 4871845 14133010432 242353 33554432000 4194304 4196468 140724280042752 140620245457880 140620631944158 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18391] ppid=18385 vsize=13801768 CPUtime=0.59 cores=4-7,12-15
/proc/18386/task/18391/stat : 18391 (java) R 18385 18385 18810 0 -1 4202560 200 0 0 0 41 18 0 0 20 0 28 0 4871845 14133010432 242353 33554432000 4194304 4196468 140724280042752 140620244405512 140620631944158 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18392] ppid=18385 vsize=13801768 CPUtime=0.64 cores=4-7,12-15
/proc/18386/task/18392/stat : 18392 (java) R 18385 18385 18810 0 -1 4202560 258 0 0 0 43 21 0 0 20 0 28 0 4871845 14133010432 242353 33554432000 4194304 4196468 140724280042752 140620243352712 140620639871719 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18393] ppid=18385 vsize=13801768 CPUtime=0.6 cores=4-7,12-15
/proc/18386/task/18393/stat : 18393 (java) R 18385 18385 18810 0 -1 4202560 464 0 0 0 42 18 0 0 20 0 28 0 4871845 14133010432 242353 33554432000 4194304 4196468 140724280042752 140620242299480 140620631944195 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18394] ppid=18385 vsize=13801768 CPUtime=0.65 cores=4-7,12-15
/proc/18386/task/18394/stat : 18394 (java) R 18385 18385 18810 0 -1 4202560 402 0 0 0 43 22 0 0 20 0 28 0 4871845 14133010432 242353 33554432000 4194304 4196468 140724280042752 140620241246600 140620631944207 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18395] ppid=18385 vsize=13801768 CPUtime=0.66 cores=4-7,12-15
/proc/18386/task/18395/stat : 18395 (java) R 18385 18385 18810 0 -1 4202560 325 0 0 0 45 21 0 0 20 0 28 0 4871845 14133010432 242353 33554432000 4194304 4196468 140724280042752 140620240194312 140620639871719 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18396] ppid=18385 vsize=13801768 CPUtime=0.65 cores=4-7,12-15
/proc/18386/task/18396/stat : 18396 (java) R 18385 18385 18810 0 -1 4202560 340 0 0 0 46 19 0 0 20 0 28 0 4871845 14133010432 242353 33554432000 4194304 4196468 140724280042752 140620239141512 140620631944239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18397] ppid=18385 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/18386/task/18397/stat : 18397 (java) S 18385 18385 18810 0 -1 1077944384 1382 0 0 0 2 0 0 0 20 0 28 0 4871847 14133010432 242353 33554432000 4194304 4196468 140724280042752 140619646731456 140620647253717 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18398] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18398/stat : 18398 (java) S 18385 18385 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4871848 14133010432 242353 33554432000 4194304 4196468 140724280042752 140619645678944 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18399] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18399/stat : 18399 (java) S 18385 18385 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4871848 14133010432 242353 33554432000 4194304 4196468 140724280042752 140619644626560 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18400] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18400/stat : 18400 (java) S 18385 18385 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4871851 14133010432 242353 33554432000 4194304 4196468 140724280042752 140619643574864 140620647262107 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
################
# More data... #
################
/proc/18386/task/18398/stat : 18398 (java) S 18385 18385 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4871848 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619645678944 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18399] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18399/stat : 18399 (java) S 18385 18385 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4871848 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619644626560 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18400] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18400/stat : 18400 (java) S 18385 18385 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619643574864 140620647262107 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18401] ppid=18385 vsize=13801768 CPUtime=5.29 cores=4-7,12-15
/proc/18386/task/18401/stat : 18401 (java) S 18385 18385 18810 0 -1 1077944384 12672 0 0 0 526 3 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619642521712 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18402] ppid=18385 vsize=13801768 CPUtime=4.53 cores=4-7,12-15
/proc/18386/task/18402/stat : 18402 (java) S 18385 18385 18810 0 -1 1077944384 12584 0 0 0 452 1 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619641468912 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18403] ppid=18385 vsize=13801768 CPUtime=4.6 cores=4-7,12-15
/proc/18386/task/18403/stat : 18403 (java) S 18385 18385 18810 0 -1 1077944384 14545 0 0 0 457 3 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619640416624 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18404] ppid=18385 vsize=13801768 CPUtime=1.19 cores=4-7,12-15
/proc/18386/task/18404/stat : 18404 (java) S 18385 18385 18810 0 -1 1077944384 6932 0 0 0 117 2 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619639363824 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18405] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18405/stat : 18405 (java) S 18385 18385 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619638311776 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18406] ppid=18385 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/18386/task/18406/stat : 18406 (java) S 18385 18385 18810 0 -1 1077944384 1325 0 0 0 1 3 0 0 20 0 28 0 4871852 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619637259056 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18407] ppid=18385 vsize=13801768 CPUtime=64.83 cores=4-7,12-15
/proc/18386/task/18407/stat : 18407 (java) R 18385 18385 18810 0 -1 4202560 612 0 0 0 6482 1 0 0 20 0 28 0 4872105 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619629743896 140620274839699 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18408] ppid=18385 vsize=13801768 CPUtime=64.77 cores=4-7,12-15
/proc/18386/task/18408/stat : 18408 (java) R 18385 18385 18810 0 -1 4202560 1026 0 0 0 6476 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619628691296 140620274614846 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18409] ppid=18385 vsize=13801768 CPUtime=64.54 cores=4-7,12-15
/proc/18386/task/18409/stat : 18409 (java) R 18385 18385 18810 0 -1 4202560 1844 0 0 0 6453 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619627638904 140620268958598 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18410] ppid=18385 vsize=13801768 CPUtime=64.52 cores=4-7,12-15
/proc/18386/task/18410/stat : 18410 (java) R 18385 18385 18810 0 -1 4202560 1610 0 0 0 6451 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619626585768 140620276232152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18411] ppid=18385 vsize=13801768 CPUtime=64.11 cores=4-7,12-15
/proc/18386/task/18411/stat : 18411 (java) R 18385 18385 18810 0 -1 4202560 1421 0 0 0 6404 7 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619625535744 140620274839699 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18412] ppid=18385 vsize=13801768 CPUtime=65.28 cores=4-7,12-15
/proc/18386/task/18412/stat : 18412 (java) R 18385 18385 18810 0 -1 4202560 620 0 0 0 6527 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619624480328 140620274839699 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18413] ppid=18385 vsize=13801768 CPUtime=63.91 cores=4-7,12-15
/proc/18386/task/18413/stat : 18413 (java) R 18385 18385 18810 0 -1 4202560 779 0 0 0 6390 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619623428056 140620274839972 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18414] ppid=18385 vsize=13801768 CPUtime=64.83 cores=4-7,12-15
/proc/18386/task/18414/stat : 18414 (java) R 18385 18385 18810 0 -1 4202560 1410 0 0 0 6477 6 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619622375640 140620274839288 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
Current children cumulated CPU time (s) 544.04
Current children cumulated vsize (KiB) 13811280
[startup+70.8015 s]
/proc/loadavg: 14.15 11.50 11.87 17/306 18531
/proc/meminfo: memFree=30071820/32770624 swapFree=5932/271780
[pid=18385] ppid=18382 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18385/stat : 18385 (xcsp3-exec) S 18382 18385 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4871843 9740288 345 33554432000 4194304 5098028 140729706126784 140729706124888 140082359210620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11173888 140729706128526 140729706128736 140729706128736 140729706131435 0
/proc/18385/statm: 2378 345 289 221 0 87 0
[pid=18386] ppid=18385 vsize=13801768 CPUtime=547.13 cores=4-7,12-15
/proc/18386/stat : 18386 (java) S 18385 18385 18810 0 -1 1077944320 75676 0 0 0 54450 263 0 0 20 0 28 0 4871843 14133010432 374829 33554432000 4194304 4196468 140724280042752 140724280025296 140620647243511 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
/proc/18386/statm: 3450442 374829 3305 1 0 3437675 0
[pid=18386/tid=18387] ppid=18385 vsize=13801768 CPUtime=2.32 cores=4-7,12-15
/proc/18386/task/18387/stat : 18387 (java) S 18385 18385 18810 0 -1 1077944384 9056 0 0 0 225 7 0 0 20 0 28 0 4871844 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620651484288 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18389] ppid=18385 vsize=13801768 CPUtime=1.06 cores=4-7,12-15
/proc/18386/task/18389/stat : 18389 (java) S 18385 18385 18810 0 -1 1077944384 1033 0 0 0 79 27 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620586208144 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18390] ppid=18385 vsize=13801768 CPUtime=1.05 cores=4-7,12-15
/proc/18386/task/18390/stat : 18390 (java) S 18385 18385 18810 0 -1 1077944384 337 0 0 0 77 28 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620245457680 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18391] ppid=18385 vsize=13801768 CPUtime=1.01 cores=4-7,12-15
/proc/18386/task/18391/stat : 18391 (java) S 18385 18385 18810 0 -1 1077944384 506 0 0 0 77 24 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620244405392 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18392] ppid=18385 vsize=13801768 CPUtime=1.04 cores=4-7,12-15
/proc/18386/task/18392/stat : 18392 (java) S 18385 18385 18810 0 -1 1077944384 460 0 0 0 77 27 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620243352592 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18393] ppid=18385 vsize=13801768 CPUtime=0.99 cores=4-7,12-15
/proc/18386/task/18393/stat : 18393 (java) S 18385 18385 18810 0 -1 1077944384 571 0 0 0 75 24 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620242299280 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18394] ppid=18385 vsize=13801768 CPUtime=1.05 cores=4-7,12-15
/proc/18386/task/18394/stat : 18394 (java) S 18385 18385 18810 0 -1 1077944384 730 0 0 0 76 29 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620241246480 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18395] ppid=18385 vsize=13801768 CPUtime=1.06 cores=4-7,12-15
/proc/18386/task/18395/stat : 18395 (java) S 18385 18385 18810 0 -1 1077944384 998 0 0 0 79 27 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620240194192 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18396] ppid=18385 vsize=13801768 CPUtime=1.06 cores=4-7,12-15
/proc/18386/task/18396/stat : 18396 (java) S 18385 18385 18810 0 -1 1077944384 554 0 0 0 81 25 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620239141392 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18397] ppid=18385 vsize=13801768 CPUtime=0.77 cores=4-7,12-15
/proc/18386/task/18397/stat : 18397 (java) S 18385 18385 18810 0 -1 1077944384 2710 0 0 0 73 4 0 0 20 0 28 0 4871847 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619646732912 140620647254658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18398] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18398/stat : 18398 (java) S 18385 18385 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4871848 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619645678944 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18399] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18399/stat : 18399 (java) S 18385 18385 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4871848 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619644626560 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18400] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18400/stat : 18400 (java) S 18385 18385 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619643574864 140620647262107 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18401] ppid=18385 vsize=13801768 CPUtime=5.29 cores=4-7,12-15
/proc/18386/task/18401/stat : 18401 (java) S 18385 18385 18810 0 -1 1077944384 12672 0 0 0 526 3 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619642521712 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18402] ppid=18385 vsize=13801768 CPUtime=4.53 cores=4-7,12-15
/proc/18386/task/18402/stat : 18402 (java) S 18385 18385 18810 0 -1 1077944384 12584 0 0 0 452 1 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619641468912 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18403] ppid=18385 vsize=13801768 CPUtime=4.6 cores=4-7,12-15
/proc/18386/task/18403/stat : 18403 (java) S 18385 18385 18810 0 -1 1077944384 14545 0 0 0 457 3 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619640416624 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18404] ppid=18385 vsize=13801768 CPUtime=1.19 cores=4-7,12-15
/proc/18386/task/18404/stat : 18404 (java) S 18385 18385 18810 0 -1 1077944384 6932 0 0 0 117 2 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619639363824 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18405] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18405/stat : 18405 (java) S 18385 18385 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619638311776 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18406] ppid=18385 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/18386/task/18406/stat : 18406 (java) S 18385 18385 18810 0 -1 1077944384 1325 0 0 0 1 3 0 0 20 0 28 0 4871852 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619637259056 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18407] ppid=18385 vsize=13801768 CPUtime=65.21 cores=4-7,12-15
/proc/18386/task/18407/stat : 18407 (java) R 18385 18385 18810 0 -1 4202560 612 0 0 0 6520 1 0 0 20 0 28 0 4872105 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619629743896 140620274839699 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18408] ppid=18385 vsize=13801768 CPUtime=65.16 cores=4-7,12-15
/proc/18386/task/18408/stat : 18408 (java) R 18385 18385 18810 0 -1 4202560 1026 0 0 0 6515 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619628691296 140620276150462 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18409] ppid=18385 vsize=13801768 CPUtime=64.93 cores=4-7,12-15
/proc/18386/task/18409/stat : 18409 (java) R 18385 18385 18810 0 -1 4202560 1844 0 0 0 6492 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619627638904 140620274840427 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18410] ppid=18385 vsize=13801768 CPUtime=64.9 cores=4-7,12-15
/proc/18386/task/18410/stat : 18410 (java) R 18385 18385 18810 0 -1 4202560 1611 0 0 0 6489 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619626585768 140620276725165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18411] ppid=18385 vsize=13801768 CPUtime=64.49 cores=4-7,12-15
/proc/18386/task/18411/stat : 18411 (java) R 18385 18385 18810 0 -1 4202560 1422 0 0 0 6442 7 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619625535744 140620274840299 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18412] ppid=18385 vsize=13801768 CPUtime=65.67 cores=4-7,12-15
/proc/18386/task/18412/stat : 18412 (java) R 18385 18385 18810 0 -1 4202560 620 0 0 0 6566 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619624480328 140620274614728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18413] ppid=18385 vsize=13801768 CPUtime=64.29 cores=4-7,12-15
/proc/18386/task/18413/stat : 18413 (java) R 18385 18385 18810 0 -1 4202560 779 0 0 0 6428 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619623428056 140620268847520 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18414] ppid=18385 vsize=13801768 CPUtime=65.22 cores=4-7,12-15
/proc/18386/task/18414/stat : 18414 (java) R 18385 18385 18810 0 -1 4202560 1410 0 0 0 6516 6 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619622375640 140620275969289 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
Current children cumulated CPU time (s) 547.13
Current children cumulated vsize (KiB) 13811280
[startup+71.0014 s]
/proc/loadavg: 14.15 11.50 11.87 17/306 18531
/proc/meminfo: memFree=30071820/32770624 swapFree=5932/271780
[pid=18385] ppid=18382 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18385/stat : 18385 (xcsp3-exec) S 18382 18385 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4871843 9740288 345 33554432000 4194304 5098028 140729706126784 140729706124888 140082359210620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11173888 140729706128526 140729706128736 140729706128736 140729706131435 0
/proc/18385/statm: 2378 345 289 221 0 87 0
[pid=18386] ppid=18385 vsize=13801768 CPUtime=548.73 cores=4-7,12-15
/proc/18386/stat : 18386 (java) S 18385 18385 18810 0 -1 1077944320 75677 0 0 0 54610 263 0 0 20 0 28 0 4871843 14133010432 374829 33554432000 4194304 4196468 140724280042752 140724280025296 140620647243511 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
/proc/18386/statm: 3450442 374829 3305 1 0 3437675 0
[pid=18386/tid=18387] ppid=18385 vsize=13801768 CPUtime=2.32 cores=4-7,12-15
/proc/18386/task/18387/stat : 18387 (java) S 18385 18385 18810 0 -1 1077944384 9056 0 0 0 225 7 0 0 20 0 28 0 4871844 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620651484288 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18389] ppid=18385 vsize=13801768 CPUtime=1.06 cores=4-7,12-15
/proc/18386/task/18389/stat : 18389 (java) S 18385 18385 18810 0 -1 1077944384 1033 0 0 0 79 27 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620586208144 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18390] ppid=18385 vsize=13801768 CPUtime=1.05 cores=4-7,12-15
/proc/18386/task/18390/stat : 18390 (java) S 18385 18385 18810 0 -1 1077944384 337 0 0 0 77 28 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620245457680 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18391] ppid=18385 vsize=13801768 CPUtime=1.01 cores=4-7,12-15
/proc/18386/task/18391/stat : 18391 (java) S 18385 18385 18810 0 -1 1077944384 506 0 0 0 77 24 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620244405392 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18392] ppid=18385 vsize=13801768 CPUtime=1.04 cores=4-7,12-15
/proc/18386/task/18392/stat : 18392 (java) S 18385 18385 18810 0 -1 1077944384 460 0 0 0 77 27 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620243352592 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18393] ppid=18385 vsize=13801768 CPUtime=0.99 cores=4-7,12-15
/proc/18386/task/18393/stat : 18393 (java) S 18385 18385 18810 0 -1 1077944384 571 0 0 0 75 24 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620242299280 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18394] ppid=18385 vsize=13801768 CPUtime=1.05 cores=4-7,12-15
/proc/18386/task/18394/stat : 18394 (java) S 18385 18385 18810 0 -1 1077944384 730 0 0 0 76 29 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620241246480 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18395] ppid=18385 vsize=13801768 CPUtime=1.06 cores=4-7,12-15
/proc/18386/task/18395/stat : 18395 (java) S 18385 18385 18810 0 -1 1077944384 998 0 0 0 79 27 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620240194192 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18396] ppid=18385 vsize=13801768 CPUtime=1.06 cores=4-7,12-15
/proc/18386/task/18396/stat : 18396 (java) S 18385 18385 18810 0 -1 1077944384 554 0 0 0 81 25 0 0 20 0 28 0 4871845 14133010432 374829 33554432000 4194304 4196468 140724280042752 140620239141392 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18397] ppid=18385 vsize=13801768 CPUtime=0.77 cores=4-7,12-15
/proc/18386/task/18397/stat : 18397 (java) S 18385 18385 18810 0 -1 1077944384 2710 0 0 0 73 4 0 0 20 0 28 0 4871847 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619646732912 140620647254658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18398] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18398/stat : 18398 (java) S 18385 18385 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4871848 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619645678944 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18399] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18399/stat : 18399 (java) S 18385 18385 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4871848 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619644626560 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18400] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18400/stat : 18400 (java) S 18385 18385 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619643574864 140620647262107 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18401] ppid=18385 vsize=13801768 CPUtime=5.29 cores=4-7,12-15
/proc/18386/task/18401/stat : 18401 (java) S 18385 18385 18810 0 -1 1077944384 12672 0 0 0 526 3 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619642521712 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18402] ppid=18385 vsize=13801768 CPUtime=4.53 cores=4-7,12-15
/proc/18386/task/18402/stat : 18402 (java) S 18385 18385 18810 0 -1 1077944384 12584 0 0 0 452 1 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619641468912 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18403] ppid=18385 vsize=13801768 CPUtime=4.6 cores=4-7,12-15
/proc/18386/task/18403/stat : 18403 (java) S 18385 18385 18810 0 -1 1077944384 14545 0 0 0 457 3 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619640416624 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18404] ppid=18385 vsize=13801768 CPUtime=1.19 cores=4-7,12-15
/proc/18386/task/18404/stat : 18404 (java) S 18385 18385 18810 0 -1 1077944384 6932 0 0 0 117 2 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619639363824 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18405] ppid=18385 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18386/task/18405/stat : 18405 (java) S 18385 18385 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4871851 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619638311776 140620647253717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18406] ppid=18385 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/18386/task/18406/stat : 18406 (java) S 18385 18385 18810 0 -1 1077944384 1325 0 0 0 1 3 0 0 20 0 28 0 4871852 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619637259056 140620647254658 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18407] ppid=18385 vsize=13801768 CPUtime=65.41 cores=4-7,12-15
/proc/18386/task/18407/stat : 18407 (java) R 18385 18385 18810 0 -1 4202560 612 0 0 0 6540 1 0 0 20 0 28 0 4872105 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619629743896 140620276150167 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18408] ppid=18385 vsize=13801768 CPUtime=65.35 cores=4-7,12-15
/proc/18386/task/18408/stat : 18408 (java) R 18385 18385 18810 0 -1 4202560 1026 0 0 0 6534 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619628691296 140620274840249 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18409] ppid=18385 vsize=13801768 CPUtime=65.13 cores=4-7,12-15
/proc/18386/task/18409/stat : 18409 (java) R 18385 18385 18810 0 -1 4202560 1844 0 0 0 6512 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619627638904 140620275512186 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18410] ppid=18385 vsize=13801768 CPUtime=65.1 cores=4-7,12-15
/proc/18386/task/18410/stat : 18410 (java) R 18385 18385 18810 0 -1 4202560 1612 0 0 0 6509 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619626585768 140620276153407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18411] ppid=18385 vsize=13801768 CPUtime=64.68 cores=4-7,12-15
/proc/18386/task/18411/stat : 18411 (java) R 18385 18385 18810 0 -1 4202560 1422 0 0 0 6461 7 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619625535744 140620275450784 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18412] ppid=18385 vsize=13801768 CPUtime=65.87 cores=4-7,12-15
/proc/18386/task/18412/stat : 18412 (java) R 18385 18385 18810 0 -1 4202560 620 0 0 0 6586 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619624480328 140620275452299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18413] ppid=18385 vsize=13801768 CPUtime=64.49 cores=4-7,12-15
/proc/18386/task/18413/stat : 18413 (java) R 18385 18385 18810 0 -1 4202560 779 0 0 0 6448 1 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619623428056 140620274840249 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
[pid=18386/tid=18414] ppid=18385 vsize=13801768 CPUtime=65.42 cores=4-7,12-15
/proc/18386/task/18414/stat : 18414 (java) R 18385 18385 18810 0 -1 4202560 1410 0 0 0 6536 6 0 0 20 0 28 0 4872106 14133010432 374829 33554432000 4194304 4196468 140724280042752 140619622375640 140620276152323 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11120640 140724280046780 140724280046956 140724280046956 140724280049615 0
Current children cumulated CPU time (s) 548.73
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 71.0598
CPU time (s): 549.03
CPU user time (s): 546.375
CPU system time (s): 2.65539
CPU usage (%): 772.632
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 546.375
system time used= 2.65539
maximum resident set size= 1499508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7431
involuntary context switches= 37614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.803904 second user time and 1.11421 second system time
The end