runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (2464 MiB free)
memory of node 1: 16384 MiB (3875 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403473-1568989038/watcher-4403473-1568989038 -o /var/tmp/evaluation-result-4403473-1568989038/solver-4403473-1568989038 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1568987924-19058 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1164603572 HOME/instance-4403473-1568989038.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20818, runsolver pid=20815
[startup+0.100058 s]*
/proc/loadavg: 8.29 8.13 6.07 7/233 20834
/proc/meminfo: memFree=6476228/32770624 swapFree=66966844/67108860
[pid=20818] ppid=20815 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20818/stat : 20818 (xcsp3-exec) S 20815 20818 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474840294 115843072 363 33554432000 4194304 5098028 140728547471008 140728547469112 140346306687612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19558400 140728547476310 140728547476569 140728547476569 140728547479494 0
/proc/20818/statm: 28282 363 304 221 0 87 0
[pid=20820] ppid=20818 vsize=15144776 memory=28868 CPUtime=0.13 cores=1,3,5,7
/proc/20820/stat : 20820 (java) S 20818 20818 19026 0 -1 1077944320 5684 0 0 0 12 1 0 0 20 0 15 0 474840295 15508250624 7217 33554432000 4194304 4196468 140733758730480 140733758713024 140635598802679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
/proc/20820/statm: 3786194 7217 3146 1 0 3748377 0
[pid=20820/tid=20821] ppid=20818 vsize=15144776 memory=8180089925722843723 CPUtime=0.08 cores=1,3,5,7
/proc/20820/task/20821/stat : 20821 (java) R 20818 20818 19026 0 -1 4202560 3554 0 0 0 8 0 0 0 20 0 15 0 474840295 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635603023952 140635598814614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20822] ppid=20818 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20822/stat : 20822 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840296 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635551423120 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20823] ppid=20818 vsize=15144776 memory=139738117650048 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20823/stat : 20823 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840296 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635190254096 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20824] ppid=20818 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20824/stat : 20824 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840296 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635189201296 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20825] ppid=20818 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20825/stat : 20825 (java) S 20818 20818 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474840296 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635188148496 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20826] ppid=20818 vsize=15144776 memory=139738117650048 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20826/stat : 20826 (java) S 20818 20818 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474840297 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635067321200 140635598813826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20827] ppid=20818 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20827/stat : 20827 (java) S 20818 20818 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474840298 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635066267168 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20828] ppid=20818 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20828/stat : 20828 (java) S 20818 20818 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474840298 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635065214320 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20829] ppid=20818 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20829/stat : 20829 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474840300 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635064162640 140635598821275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20830] ppid=20818 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20830/stat : 20830 (java) R 20818 20818 19026 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 474840300 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635063110000 140635598813826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20831] ppid=20818 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20831/stat : 20831 (java) S 20818 20818 19026 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 474840300 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635062057200 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20832] ppid=20818 vsize=15144776 memory=139738117650048 CPUtime=0.02 cores=1,3,5,7
/proc/20820/task/20832/stat : 20832 (java) R 20818 20818 19026 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 474840300 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635061004400 140635582883166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20833] ppid=20818 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20833/stat : 20833 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474840300 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635059951840 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20834] ppid=20818 vsize=15144776 memory=139738117650048 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20834/stat : 20834 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840301 15508250624 7217 33554432000 4194304 4196468 140733758730480 140635058900144 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30320 KiB
[startup+0.210966 s]*
/proc/loadavg: 8.29 8.13 6.07 7/233 20834
/proc/meminfo: memFree=6463336/32770624 swapFree=66966844/67108860
[pid=20818] ppid=20815 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20818/stat : 20818 (xcsp3-exec) S 20815 20818 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474840294 115843072 363 33554432000 4194304 5098028 140728547471008 140728547469112 140346306687612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19558400 140728547476310 140728547476569 140728547476569 140728547479494 0
/proc/20818/statm: 28282 363 304 221 0 87 0
[pid=20820] ppid=20818 vsize=15144776 memory=40064 CPUtime=0.35 cores=1,3,5,7
/proc/20820/stat : 20820 (java) S 20818 20818 19026 0 -1 1077944320 9302 0 0 0 32 3 0 0 20 0 15 0 474840295 15508250624 10016 33554432000 4194304 4196468 140733758730480 140733758713024 140635598802679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
/proc/20820/statm: 3786194 10016 3256 1 0 3748377 0
[pid=20820/tid=20821] ppid=20818 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20820/task/20821/stat : 20821 (java) R 20818 20818 19026 0 -1 4202560 6551 0 0 0 18 2 0 0 20 0 15 0 474840295 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635603037664 140635582846309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20822] ppid=20818 vsize=15144776 memory=9276 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20822/stat : 20822 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840296 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635551423120 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20823] ppid=20818 vsize=15144776 memory=3525492 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20823/stat : 20823 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840296 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635190254096 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20824] ppid=20818 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20824/stat : 20824 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840296 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635189201296 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20825] ppid=20818 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20825/stat : 20825 (java) S 20818 20818 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474840296 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635188148496 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20826] ppid=20818 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20826/stat : 20826 (java) S 20818 20818 19026 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474840297 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635067321200 140635598813826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20827] ppid=20818 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20827/stat : 20827 (java) S 20818 20818 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474840298 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635066267168 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20828] ppid=20818 vsize=15144776 memory=139738117650048 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20828/stat : 20828 (java) S 20818 20818 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474840298 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635065214320 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20829] ppid=20818 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20829/stat : 20829 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474840300 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635064162640 140635598821275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20830] ppid=20818 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20820/task/20830/stat : 20830 (java) S 20818 20818 19026 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 474840300 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635063110000 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20831] ppid=20818 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/20820/task/20831/stat : 20831 (java) S 20818 20818 19026 0 -1 1077944384 259 0 0 0 3 0 0 0 20 0 15 0 474840300 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635062057200 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20832] ppid=20818 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20820/task/20832/stat : 20832 (java) R 20818 20818 19026 0 -1 4202560 823 0 0 0 8 0 0 0 20 0 15 0 474840300 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635061004400 140635577291984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20833] ppid=20818 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20833/stat : 20833 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474840300 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635059951840 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20834] ppid=20818 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20834/stat : 20834 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840301 15508250624 10016 33554432000 4194304 4196468 140733758730480 140635058900144 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41516 KiB
[startup+0.310843 s]*
/proc/loadavg: 8.29 8.13 6.07 7/233 20834
/proc/meminfo: memFree=6455544/32770624 swapFree=66966844/67108860
[pid=20818] ppid=20815 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20818/stat : 20818 (xcsp3-exec) S 20815 20818 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474840294 115843072 363 33554432000 4194304 5098028 140728547471008 140728547469112 140346306687612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19558400 140728547476310 140728547476569 140728547476569 140728547479494 0
/proc/20818/statm: 28282 363 304 221 0 87 0
[pid=20820] ppid=20818 vsize=15149032 memory=50264 CPUtime=0.53 cores=1,3,5,7
/proc/20820/stat : 20820 (java) S 20818 20818 19026 0 -1 1077944320 10890 0 0 0 49 4 0 0 20 0 15 0 474840295 15512608768 12566 33554432000 4194304 4196468 140733758730480 140733758713024 140635598802679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
/proc/20820/statm: 3787258 12566 3376 1 0 3748377 0
[pid=20820/tid=20821] ppid=20818 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/20820/task/20821/stat : 20821 (java) R 20818 20818 19026 0 -1 4202560 7783 0 0 0 27 3 0 0 20 0 15 0 474840295 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635603033792 140635582883166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20822] ppid=20818 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20822/stat : 20822 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840296 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635551423120 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20823] ppid=20818 vsize=15149032 memory=3524512 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20823/stat : 20823 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840296 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635190254096 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20824] ppid=20818 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20824/stat : 20824 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840296 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635189201296 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20825] ppid=20818 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20825/stat : 20825 (java) S 20818 20818 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474840296 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635188148496 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20826] ppid=20818 vsize=15149032 memory=139738117650048 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20826/stat : 20826 (java) S 20818 20818 19026 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474840297 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635067321200 140635598813826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20827] ppid=20818 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20827/stat : 20827 (java) S 20818 20818 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474840298 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635066267168 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20828] ppid=20818 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20828/stat : 20828 (java) S 20818 20818 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474840298 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635065214320 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20829] ppid=20818 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20829/stat : 20829 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474840300 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635064162640 140635598821275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20830] ppid=20818 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20820/task/20830/stat : 20830 (java) S 20818 20818 19026 0 -1 1077944384 412 0 0 0 3 0 0 0 20 0 15 0 474840300 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635063110000 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20831] ppid=20818 vsize=15149032 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/20820/task/20831/stat : 20831 (java) S 20818 20818 19026 0 -1 1077944384 398 0 0 0 6 0 0 0 20 0 15 0 474840300 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635062057200 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20832] ppid=20818 vsize=15149032 memory=139738117650048 CPUtime=0.12 cores=1,3,5,7
/proc/20820/task/20832/stat : 20832 (java) S 20818 20818 19026 0 -1 1077944384 993 0 0 0 12 0 0 0 20 0 15 0 474840300 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635061004400 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20833] ppid=20818 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20833/stat : 20833 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474840300 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635059951840 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20834] ppid=20818 vsize=15149032 memory=139738117650048 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20834/stat : 20834 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840301 15512608768 12566 33554432000 4194304 4196468 140733758730480 140635058900144 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51716 KiB
[startup+0.700856 s]
/proc/loadavg: 8.29 8.13 6.07 9/233 20834
/proc/meminfo: memFree=6441028/32770624 swapFree=66966844/67108860
[pid=20818] ppid=20815 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20818/stat : 20818 (xcsp3-exec) S 20815 20818 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474840294 115843072 363 33554432000 4194304 5098028 140728547471008 140728547469112 140346306687612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19558400 140728547476310 140728547476569 140728547476569 140728547479494 0
/proc/20818/statm: 28282 363 304 221 0 87 0
[pid=20820] ppid=20818 vsize=15151156 memory=184456 CPUtime=1.33 cores=1,3,5,7
/proc/20820/stat : 20820 (java) S 20818 20818 19026 0 -1 1077944320 12830 0 0 0 126 7 0 0 20 0 15 0 474840295 15514783744 46114 33554432000 4194304 4196468 140733758730480 140733758713024 140635598802679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
/proc/20820/statm: 3787789 46114 3460 1 0 3748889 0
[pid=20820/tid=20821] ppid=20818 vsize=15151156 memory=2120 CPUtime=0.66 cores=1,3,5,7
/proc/20820/task/20821/stat : 20821 (java) R 20818 20818 19026 0 -1 4202560 8623 0 0 0 62 4 0 0 20 0 15 0 474840295 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635603040672 140635234561562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20822] ppid=20818 vsize=15151156 memory=508 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20822/stat : 20822 (java) S 20818 20818 19026 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 474840296 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635551423120 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20823] ppid=20818 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20823/stat : 20823 (java) S 20818 20818 19026 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 474840296 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635190254096 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20824] ppid=20818 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20824/stat : 20824 (java) S 20818 20818 19026 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 474840296 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635189201296 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20825] ppid=20818 vsize=15151156 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20825/stat : 20825 (java) S 20818 20818 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474840296 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635188148496 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20826] ppid=20818 vsize=15151156 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20826/stat : 20826 (java) S 20818 20818 19026 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 474840297 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635067321200 140635598813826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20827] ppid=20818 vsize=15151156 memory=864 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20827/stat : 20827 (java) S 20818 20818 19026 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 474840298 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635066267232 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20828] ppid=20818 vsize=15151156 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20828/stat : 20828 (java) S 20818 20818 19026 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 474840298 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635065214336 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20829] ppid=20818 vsize=15151156 memory=7086240636128743779 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20829/stat : 20829 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474840300 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635064162640 140635598821275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20830] ppid=20818 vsize=15151156 memory=7453282923427948884 CPUtime=0.16 cores=1,3,5,7
/proc/20820/task/20830/stat : 20830 (java) S 20818 20818 19026 0 -1 1077944384 722 0 0 0 16 0 0 0 20 0 15 0 474840300 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635063110000 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20831] ppid=20818 vsize=15151156 memory=6935650355287975249 CPUtime=0.18 cores=1,3,5,7
/proc/20820/task/20831/stat : 20831 (java) S 20818 20818 19026 0 -1 1077944384 644 0 0 0 18 0 0 0 20 0 15 0 474840300 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635062057200 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20832] ppid=20818 vsize=15151156 memory=8514726395715219869 CPUtime=0.26 cores=1,3,5,7
/proc/20820/task/20832/stat : 20832 (java) S 20818 20818 19026 0 -1 1077944384 1403 0 0 0 26 0 0 0 20 0 15 0 474840300 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635061004400 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20833] ppid=20818 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20833/stat : 20833 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474840300 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635059951840 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20834] ppid=20818 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20834/stat : 20834 (java) S 20818 20818 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474840301 15514783744 46114 33554432000 4194304 4196468 140733758730480 140635058900144 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 185908 KiB
[startup+1.50103 s]
/proc/loadavg: 8.29 8.13 6.07 6/233 20834
/proc/meminfo: memFree=6190376/32770624 swapFree=66966844/67108860
[pid=20818] ppid=20815 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20818/stat : 20818 (xcsp3-exec) S 20815 20818 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474840294 115843072 363 33554432000 4194304 5098028 140728547471008 140728547469112 140346306687612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19558400 140728547476310 140728547476569 140728547476569 140728547479494 0
/proc/20818/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 4775772 KiB
[startup+184.005 s]*
/proc/loadavg: 4.97 6.54 5.82 12/237 21017
/proc/meminfo: memFree=295764/32770624 swapFree=66966844/67108860
[pid=20818] ppid=20815 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20818/stat : 20818 (xcsp3-exec) S 20815 20818 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474840294 115843072 363 33554432000 4194304 5098028 140728547471008 140728547469112 140346306687612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19558400 140728547476310 140728547476569 140728547476569 140728547479494 0
/proc/20818/statm: 28282 363 304 221 0 87 0
[pid=20820] ppid=20818 vsize=15419460 memory=4788960 CPUtime=213.99 cores=1,3,5,7
/proc/20820/stat : 20820 (java) S 20818 20818 19026 0 -1 1077944320 193589 0 0 0 21141 258 0 0 20 0 19 0 474840295 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140733758713024 140635598802679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
/proc/20820/statm: 3854865 1197240 3528 1 0 3815965 0
[pid=20820/tid=20821] ppid=20818 vsize=15419460 memory=1398722017469774279 CPUtime=173.92 cores=1,3,5,7
/proc/20820/task/20821/stat : 20821 (java) S 20818 20818 19026 0 -1 1077944384 102744 0 0 0 17278 114 0 0 20 0 19 0 474840295 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635603043456 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20822] ppid=20818 vsize=15419460 memory=4126316290023845779 CPUtime=2.36 cores=1,3,5,7
/proc/20820/task/20822/stat : 20822 (java) S 20818 20818 19026 0 -1 1077944384 11139 0 0 0 205 31 0 0 20 0 19 0 474840296 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635551423120 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20823] ppid=20818 vsize=15419460 memory=864 CPUtime=2.37 cores=1,3,5,7
/proc/20820/task/20823/stat : 20823 (java) S 20818 20818 19026 0 -1 1077944384 11357 0 0 0 205 32 0 0 20 0 19 0 474840296 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635190254096 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20824] ppid=20818 vsize=15419460 memory=4768600 CPUtime=2.36 cores=1,3,5,7
/proc/20820/task/20824/stat : 20824 (java) S 20818 20818 19026 0 -1 1077944384 12660 0 0 0 203 33 0 0 20 0 19 0 474840296 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635189201296 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20825] ppid=20818 vsize=15419460 memory=4768208 CPUtime=2.37 cores=1,3,5,7
/proc/20820/task/20825/stat : 20825 (java) S 20818 20818 19026 0 -1 1077944384 12750 0 0 0 205 32 0 0 20 0 19 0 474840296 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635188148496 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20826] ppid=20818 vsize=15419460 memory=1760 CPUtime=0.29 cores=1,3,5,7
/proc/20820/task/20826/stat : 20826 (java) S 20818 20818 19026 0 -1 1077944384 4747 0 0 0 27 2 0 0 20 0 19 0 474840297 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635067321200 140635598813826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20827] ppid=20818 vsize=15419460 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20827/stat : 20827 (java) S 20818 20818 19026 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 474840298 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635066267232 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20828] ppid=20818 vsize=15419460 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20828/stat : 20828 (java) S 20818 20818 19026 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 474840298 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635065214336 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20829] ppid=20818 vsize=15419460 memory=804 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20829/stat : 20829 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474840300 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635064162640 140635598821275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20830] ppid=20818 vsize=15419460 memory=4100 CPUtime=1.44 cores=1,3,5,7
/proc/20820/task/20830/stat : 20830 (java) R 20818 20818 19026 0 -1 4202560 5586 0 0 0 143 1 0 0 20 0 19 0 474840300 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635063091568 140635576549664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20831] ppid=20818 vsize=15419460 memory=1804 CPUtime=1.71 cores=1,3,5,7
/proc/20820/task/20831/stat : 20831 (java) R 20818 20818 19026 0 -1 4202560 5970 0 0 0 171 0 0 0 20 0 19 0 474840300 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635062043664 140635583682895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20832] ppid=20818 vsize=15419460 memory=916 CPUtime=0.76 cores=1,3,5,7
/proc/20820/task/20832/stat : 20832 (java) S 20818 20818 19026 0 -1 1077944384 9782 0 0 0 74 2 0 0 20 0 19 0 474840300 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635061004400 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20833] ppid=20818 vsize=15419460 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20833/stat : 20833 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474840300 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635059951840 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20834] ppid=20818 vsize=15419460 memory=2596 CPUtime=0.1 cores=1,3,5,7
/proc/20820/task/20834/stat : 20834 (java) R 20818 20818 19026 0 -1 1077944384 492 0 0 0 4 6 0 0 20 0 19 0 474840301 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635058900144 140635598813826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=21013] ppid=20818 vsize=15419460 memory=3188 CPUtime=6.3 cores=1,3,5,7
/proc/20820/task/21013/stat : 21013 (java) R 20818 20818 19026 0 -1 4202560 9720 0 0 0 630 0 0 0 20 0 19 0 474857973 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635049678976 140635237343740 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=21014] ppid=20818 vsize=15419460 memory=279475938371712 CPUtime=6.66 cores=1,3,5,7
/proc/20820/task/21014/stat : 21014 (java) R 20818 20818 19026 0 -1 4202560 1332 0 0 0 666 0 0 0 20 0 19 0 474857973 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635048630440 140635237679564 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=21015] ppid=20818 vsize=15419460 memory=1399103955520229747 CPUtime=6.76 cores=1,3,5,7
/proc/20820/task/21015/stat : 21015 (java) R 20818 20818 19026 0 -1 4202560 3631 0 0 0 676 0 0 0 20 0 19 0 474857973 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635047575896 140635237343505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=21016] ppid=20818 vsize=15419460 memory=9230 CPUtime=6.42 cores=1,3,5,7
/proc/20820/task/21016/stat : 21016 (java) R 20818 20818 19026 0 -1 4202560 318 0 0 0 642 0 0 0 20 0 19 0 474857973 15789527040 1197240 33554432000 4194304 4196468 140733758730480 140635046523112 140635237290141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
Current children cumulated CPU time: 213.99 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 4790412 KiB
[startup+184.401 s]
/proc/loadavg: 4.97 6.54 5.82 12/237 21017
/proc/meminfo: memFree=295764/32770624 swapFree=66966844/67108860
[pid=20818] ppid=20815 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20818/stat : 20818 (xcsp3-exec) S 20815 20818 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474840294 115843072 363 33554432000 4194304 5098028 140728547471008 140728547469112 140346306687612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19558400 140728547476310 140728547476569 140728547476569 140728547479494 0
/proc/20818/statm: 28282 363 304 221 0 87 0
[pid=20820] ppid=20818 vsize=15419460 memory=4789588 CPUtime=215.52 cores=1,3,5,7
/proc/20820/stat : 20820 (java) S 20818 20818 19026 0 -1 1077944320 193707 0 0 0 21294 258 0 0 20 0 19 0 474840295 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140733758713024 140635598802679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
/proc/20820/statm: 3854865 1197397 3530 1 0 3815965 0
[pid=20820/tid=20821] ppid=20818 vsize=15419460 memory=508 CPUtime=173.92 cores=1,3,5,7
/proc/20820/task/20821/stat : 20821 (java) S 20818 20818 19026 0 -1 1077944384 102744 0 0 0 17278 114 0 0 20 0 19 0 474840295 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635603043456 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20822] ppid=20818 vsize=15419460 memory=1560 CPUtime=2.36 cores=1,3,5,7
/proc/20820/task/20822/stat : 20822 (java) S 20818 20818 19026 0 -1 1077944384 11139 0 0 0 205 31 0 0 20 0 19 0 474840296 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635551423120 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20823] ppid=20818 vsize=15419460 memory=932 CPUtime=2.37 cores=1,3,5,7
/proc/20820/task/20823/stat : 20823 (java) S 20818 20818 19026 0 -1 1077944384 11357 0 0 0 205 32 0 0 20 0 19 0 474840296 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635190254096 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20824] ppid=20818 vsize=15419460 memory=1568 CPUtime=2.36 cores=1,3,5,7
/proc/20820/task/20824/stat : 20824 (java) S 20818 20818 19026 0 -1 1077944384 12660 0 0 0 203 33 0 0 20 0 19 0 474840296 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635189201296 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20825] ppid=20818 vsize=15419460 memory=1444 CPUtime=2.37 cores=1,3,5,7
/proc/20820/task/20825/stat : 20825 (java) S 20818 20818 19026 0 -1 1077944384 12750 0 0 0 205 32 0 0 20 0 19 0 474840296 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635188148496 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20826] ppid=20818 vsize=15419460 memory=864 CPUtime=0.29 cores=1,3,5,7
/proc/20820/task/20826/stat : 20826 (java) S 20818 20818 19026 0 -1 1077944384 4747 0 0 0 27 2 0 0 20 0 19 0 474840297 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635067321200 140635598813826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20827] ppid=20818 vsize=15419460 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20827/stat : 20827 (java) S 20818 20818 19026 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 474840298 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635066267232 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20828] ppid=20818 vsize=15419460 memory=2496 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20828/stat : 20828 (java) S 20818 20818 19026 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 474840298 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635065214336 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20829] ppid=20818 vsize=15419460 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20829/stat : 20829 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474840300 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635064162640 140635598821275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20830] ppid=20818 vsize=15419460 memory=111636 CPUtime=1.57 cores=1,3,5,7
/proc/20820/task/20830/stat : 20830 (java) R 20818 20818 19026 0 -1 4202560 5604 0 0 0 156 1 0 0 20 0 19 0 474840300 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635063110296 140635583196146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20831] ppid=20818 vsize=15419460 memory=804 CPUtime=1.85 cores=1,3,5,7
/proc/20820/task/20831/stat : 20831 (java) R 20818 20818 19026 0 -1 1077944384 6019 0 0 0 184 1 0 0 20 0 19 0 474840300 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635062057200 140635598813826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20832] ppid=20818 vsize=15419460 memory=4100 CPUtime=0.78 cores=1,3,5,7
/proc/20820/task/20832/stat : 20832 (java) S 20818 20818 19026 0 -1 1077944384 9820 0 0 0 76 2 0 0 20 0 19 0 474840300 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635061004400 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20833] ppid=20818 vsize=15419460 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20833/stat : 20833 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474840300 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635059951840 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20834] ppid=20818 vsize=15419460 memory=916 CPUtime=0.1 cores=1,3,5,7
/proc/20820/task/20834/stat : 20834 (java) S 20818 20818 19026 0 -1 1077944384 492 0 0 0 4 6 0 0 20 0 19 0 474840301 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635058900144 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=21013] ppid=20818 vsize=15419460 memory=3848 CPUtime=6.51 cores=1,3,5,7
/proc/20820/task/21013/stat : 21013 (java) R 20818 20818 19026 0 -1 4202560 9720 0 0 0 651 0 0 0 20 0 19 0 474857973 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635049680760 140635237744498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=21014] ppid=20818 vsize=15419460 memory=2596 CPUtime=7.02 cores=1,3,5,7
/proc/20820/task/21014/stat : 21014 (java) R 20818 20818 19026 0 -1 4202560 1345 0 0 0 702 0 0 0 20 0 19 0 474857973 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635048628664 140635237481234 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=21015] ppid=20818 vsize=15419460 memory=2592 CPUtime=7.06 cores=1,3,5,7
/proc/20820/task/21015/stat : 21015 (java) R 20818 20818 19026 0 -1 4202560 3631 0 0 0 706 0 0 0 20 0 19 0 474857973 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635047576216 140635579642180 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=21016] ppid=20818 vsize=15419460 memory=1412 CPUtime=6.79 cores=1,3,5,7
/proc/20820/task/21016/stat : 21016 (java) R 20818 20818 19026 0 -1 4202560 318 0 0 0 679 0 0 0 20 0 19 0 474857973 15789527040 1197397 33554432000 4194304 4196468 140733758730480 140635046523016 140635237289623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
Current children cumulated CPU time: 215.52 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 4791040 KiB
[startup+184.801 s]
/proc/loadavg: 4.97 6.54 5.82 12/237 21017
/proc/meminfo: memFree=295764/32770624 swapFree=66966844/67108860
[pid=20818] ppid=20815 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20818/stat : 20818 (xcsp3-exec) S 20815 20818 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474840294 115843072 363 33554432000 4194304 5098028 140728547471008 140728547469112 140346306687612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19558400 140728547476310 140728547476569 140728547476569 140728547479494 0
/proc/20818/statm: 28282 363 304 221 0 87 0
[pid=20820] ppid=20818 vsize=15419460 memory=4790180 CPUtime=217.11 cores=1,3,5,7
/proc/20820/stat : 20820 (java) S 20818 20818 19026 0 -1 1077944320 198368 0 0 0 21453 258 0 0 20 0 19 0 474840295 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140733758713024 140635598802679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
/proc/20820/statm: 3854865 1197545 3533 1 0 3815965 0
[pid=20820/tid=20821] ppid=20818 vsize=15419460 memory=6791534058613427641 CPUtime=173.92 cores=1,3,5,7
/proc/20820/task/20821/stat : 20821 (java) S 20818 20818 19026 0 -1 1077944384 102744 0 0 0 17278 114 0 0 20 0 19 0 474840295 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635603043456 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20822] ppid=20818 vsize=15419460 memory=2832 CPUtime=2.36 cores=1,3,5,7
/proc/20820/task/20822/stat : 20822 (java) S 20818 20818 19026 0 -1 1077944384 11139 0 0 0 205 31 0 0 20 0 19 0 474840296 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635551423120 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20823] ppid=20818 vsize=15419460 memory=8104 CPUtime=2.37 cores=1,3,5,7
/proc/20820/task/20823/stat : 20823 (java) S 20818 20818 19026 0 -1 1077944384 11357 0 0 0 205 32 0 0 20 0 19 0 474840296 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635190254096 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20824] ppid=20818 vsize=15419460 memory=10492 CPUtime=2.36 cores=1,3,5,7
/proc/20820/task/20824/stat : 20824 (java) S 20818 20818 19026 0 -1 1077944384 12660 0 0 0 203 33 0 0 20 0 19 0 474840296 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635189201296 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20825] ppid=20818 vsize=15419460 memory=14012 CPUtime=2.37 cores=1,3,5,7
/proc/20820/task/20825/stat : 20825 (java) S 20818 20818 19026 0 -1 1077944384 12750 0 0 0 205 32 0 0 20 0 19 0 474840296 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635188148496 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20826] ppid=20818 vsize=15419460 memory=14080 CPUtime=0.29 cores=1,3,5,7
/proc/20820/task/20826/stat : 20826 (java) S 20818 20818 19026 0 -1 1077944384 4747 0 0 0 27 2 0 0 20 0 19 0 474840297 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635067321200 140635598813826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20827] ppid=20818 vsize=15419460 memory=3518155 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20827/stat : 20827 (java) S 20818 20818 19026 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 474840298 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635066267232 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20828] ppid=20818 vsize=15419460 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20828/stat : 20828 (java) S 20818 20818 19026 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 474840298 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635065214336 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20829] ppid=20818 vsize=15419460 memory=4713745541279610410 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20829/stat : 20829 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474840300 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635064162640 140635598821275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20830] ppid=20818 vsize=15419460 memory=4427205132082312746 CPUtime=1.62 cores=1,3,5,7
/proc/20820/task/20830/stat : 20830 (java) S 20818 20818 19026 0 -1 1077944384 6094 0 0 0 161 1 0 0 20 0 19 0 474840300 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635063110000 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20831] ppid=20818 vsize=15419460 memory=-8486080722631693414 CPUtime=1.91 cores=1,3,5,7
/proc/20820/task/20831/stat : 20831 (java) S 20818 20818 19026 0 -1 1077944384 7023 0 0 0 190 1 0 0 20 0 19 0 474840300 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635062057200 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20832] ppid=20818 vsize=15419460 memory=-8412652152092201843 CPUtime=0.81 cores=1,3,5,7
/proc/20820/task/20832/stat : 20832 (java) S 20818 20818 19026 0 -1 1077944384 11167 0 0 0 79 2 0 0 20 0 19 0 474840300 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635061004400 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20833] ppid=20818 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20820/task/20833/stat : 20833 (java) S 20818 20818 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474840300 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635059951840 140635598812885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=20834] ppid=20818 vsize=15419460 memory=54808 CPUtime=0.1 cores=1,3,5,7
/proc/20820/task/20834/stat : 20834 (java) S 20818 20818 19026 0 -1 1077944384 502 0 0 0 4 6 0 0 20 0 19 0 474840301 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635058900144 140635598813826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=21013] ppid=20818 vsize=15419460 memory=988 CPUtime=6.86 cores=1,3,5,7
/proc/20820/task/21013/stat : 21013 (java) R 20818 20818 19026 0 -1 4202560 9830 0 0 0 686 0 0 0 20 0 19 0 474857973 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635049680616 140635237642868 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=21014] ppid=20818 vsize=15419460 memory=2020 CPUtime=7.41 cores=1,3,5,7
/proc/20820/task/21014/stat : 21014 (java) R 20818 20818 19026 0 -1 4202560 1523 0 0 0 741 0 0 0 20 0 19 0 474857973 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635048630024 140635237289554 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=21015] ppid=20818 vsize=15419460 memory=1432 CPUtime=7.44 cores=1,3,5,7
/proc/20820/task/21015/stat : 21015 (java) R 20818 20818 19026 0 -1 4202560 4890 0 0 0 744 0 0 0 20 0 19 0 474857973 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635047575832 140635237289516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
[pid=20820/tid=21016] ppid=20818 vsize=15419460 memory=776 CPUtime=7.13 cores=1,3,5,7
/proc/20820/task/21016/stat : 21016 (java) R 20818 20818 19026 0 -1 4202560 581 0 0 0 713 0 0 0 20 0 19 0 474857973 15789527040 1197545 33554432000 4194304 4196468 140733758730480 140635046523320 140635238364420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39800832 140733758735323 140733758735498 140733758735498 140733758738383 0
Current children cumulated CPU time: 217.11 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 4791632 KiB
[startup+184.901 s]
/proc/loadavg: 4.97 6.54 5.82 12/237 21017
/proc/meminfo: memFree=295764/32770624 swapFree=66966844/67108860
[pid=20818] ppid=20815 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20818/stat : 20818 (xcsp3-exec) S 20815 20818 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474840294 115843072 363 33554432000 4194304 5098028 140728547471008 140728547469112 140346306687612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19558400 140728547476310 140728547476569 140728547476569 140728547479494 0
/proc/20818/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 184.917
CPU time (s): 217.375
CPU user time (s): 214.744
CPU system time (s): 2.63095
CPU usage (%): 117.552
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 4791632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 214.744
system time used= 2.63095
maximum resident set size= 4790264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200447
page faults= 0
swaps= 0
block input operations= 8
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11746
involuntary context switches= 1531
# summary of solver processes directly reported to runsolver:
# pid: 20818
# total CPU time (s): 217.375
# total CPU user time (s): 214.744
# total CPU system time (s): 2.63095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13675 second user time and 2.02939 second system time
The end