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 (15270 MiB free)
memory of node 1: 16384 MiB (15344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392975-1568315389/watcher-4392975-1568315389 -o /tmp/evaluation-result-4392975-1568315389/solver-4392975-1568315389 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 638844196 HOME/instance-4392975-1568315389.xml
running on 4 cores: 0,2,4,6
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
solver pid=11359, runsolver pid=11356
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 5.91 6.56 6.96 3/233 11375
/proc/meminfo: memFree=31333272/32770624 swapFree=66979412/67108860
[pid=11359] ppid=11356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11359/stat : 11359 (xcsp3-exec) S 11356 11359 6753 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407801564 115843072 363 33554432000 4194304 5098028 140730524875760 140730524873864 139706336412284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36392960 140730524877691 140730524877933 140730524877933 140730524880842 0
/proc/11359/statm: 28282 363 305 221 0 87 0
[pid=11361] ppid=11359 vsize=15144768 memory=28652 CPUtime=0.12 cores=0,2,4,6
/proc/11361/stat : 11361 (java) S 11359 11359 6753 0 -1 1077944320 5651 0 0 0 11 1 0 0 20 0 15 0 407801564 15508242432 7163 33554432000 4194304 4196468 140731736935904 140731736918448 140231137705719 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
/proc/11361/statm: 3786192 7163 3115 1 0 3748377 0
[pid=11361/tid=11362] ppid=11359 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/11361/task/11362/stat : 11362 (java) R 11359 11359 6753 0 -1 4202560 3566 0 0 0 8 1 0 0 20 0 15 0 407801564 15508242432 7163 33554432000 4194304 4196468 140731736935904 140231141938080 140231137717654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11363] ppid=11359 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11363/stat : 11363 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801565 15508242432 7163 33554432000 4194304 4196468 140731736935904 140231090326544 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11364] ppid=11359 vsize=15144768 memory=139905403287168 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11364/stat : 11364 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801565 15508242432 7163 33554432000 4194304 4196468 140731736935904 140231089274000 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11365] ppid=11359 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11365/stat : 11365 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801565 15508242432 7163 33554432000 4194304 4196468 140731736935904 140231088220944 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11366] ppid=11359 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11366/stat : 11366 (java) S 11359 11359 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407801565 15508242432 7163 33554432000 4194304 4196468 140731736935904 140231087168400 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11367] ppid=11359 vsize=15144768 memory=139905403287168 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11367/stat : 11367 (java) S 11359 11359 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407801567 15508242432 7163 33554432000 4194304 4196468 140731736935904 140230606407920 140231137716866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11368] ppid=11359 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11368/stat : 11368 (java) S 11359 11359 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407801567 15508242432 7163 33554432000 4194304 4196468 140731736935904 140230605354144 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11369] ppid=11359 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11369/stat : 11369 (java) S 11359 11359 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407801567 15508242432 7163 33554432000 4194304 4196468 140731736935904 140230604301040 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11370] ppid=11359 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11370/stat : 11370 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407801570 15508242432 7163 33554432000 4194304 4196468 140731736935904 140230603249616 140231137724315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11371] ppid=11359 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11371/stat : 11371 (java) R 11359 11359 6753 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 407801570 15508242432 7163 33554432000 4194304 4196468 140731736935904 140230602197744 140231137716866 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11372] ppid=11359 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11372/stat : 11372 (java) R 11359 11359 6753 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 15 0 407801570 15508242432 7163 33554432000 4194304 4196468 140731736935904 140230601145200 140231130690761 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11373] ppid=11359 vsize=15144768 memory=139905403287168 CPUtime=0.02 cores=0,2,4,6
/proc/11361/task/11373/stat : 11373 (java) R 11359 11359 6753 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 407801570 15508242432 7163 33554432000 4194304 4196468 140731736935904 140230600092144 140231129942846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11374] ppid=11359 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11374/stat : 11374 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407801570 15508242432 7163 33554432000 4194304 4196468 140731736935904 140230599039840 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11375] ppid=11359 vsize=15144768 memory=139905403287168 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11375/stat : 11375 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801570 15508242432 7163 33554432000 4194304 4196468 140731736935904 140230597986864 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30104 KiB
[startup+0.210725 s]*
/proc/loadavg: 5.91 6.56 6.96 4/233 11375
/proc/meminfo: memFree=31320400/32770624 swapFree=66979412/67108860
[pid=11359] ppid=11356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11359/stat : 11359 (xcsp3-exec) S 11356 11359 6753 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407801564 115843072 363 33554432000 4194304 5098028 140730524875760 140730524873864 139706336412284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36392960 140730524877691 140730524877933 140730524877933 140730524880842 0
/proc/11359/statm: 28282 363 305 221 0 87 0
[pid=11361] ppid=11359 vsize=15144768 memory=40352 CPUtime=0.34 cores=0,2,4,6
/proc/11361/stat : 11361 (java) S 11359 11359 6753 0 -1 1077944320 9296 0 0 0 31 3 0 0 20 0 15 0 407801564 15508242432 10088 33554432000 4194304 4196468 140731736935904 140731736918448 140231137705719 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
/proc/11361/statm: 3786192 10088 3307 1 0 3748377 0
[pid=11361/tid=11362] ppid=11359 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/11361/task/11362/stat : 11362 (java) R 11359 11359 6753 0 -1 4202560 6572 0 0 0 18 2 0 0 20 0 15 0 407801564 15508242432 10088 33554432000 4194304 4196468 140731736935904 140231141938448 140231137727645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11363] ppid=11359 vsize=15144768 memory=2995868 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11363/stat : 11363 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801565 15508242432 10088 33554432000 4194304 4196468 140731736935904 140231090326544 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11364] ppid=11359 vsize=15144768 memory=139905403298524 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11364/stat : 11364 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801565 15508242432 10088 33554432000 4194304 4196468 140731736935904 140231089274000 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11365] ppid=11359 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11365/stat : 11365 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801565 15508242432 10088 33554432000 4194304 4196468 140731736935904 140231088220944 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11366] ppid=11359 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11366/stat : 11366 (java) S 11359 11359 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407801565 15508242432 10088 33554432000 4194304 4196468 140731736935904 140231087168400 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11367] ppid=11359 vsize=15144768 memory=139905403287168 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11367/stat : 11367 (java) S 11359 11359 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407801567 15508242432 10088 33554432000 4194304 4196468 140731736935904 140230606407920 140231137716866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11368] ppid=11359 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11368/stat : 11368 (java) S 11359 11359 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407801567 15508242432 10088 33554432000 4194304 4196468 140731736935904 140230605354144 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11369] ppid=11359 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11369/stat : 11369 (java) S 11359 11359 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407801567 15508242432 10088 33554432000 4194304 4196468 140731736935904 140230604301040 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11370] ppid=11359 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11370/stat : 11370 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407801570 15508242432 10088 33554432000 4194304 4196468 140731736935904 140230603249616 140231137724315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11371] ppid=11359 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11371/stat : 11371 (java) S 11359 11359 6753 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 15 0 407801570 15508242432 10088 33554432000 4194304 4196468 140731736935904 140230602197744 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11372] ppid=11359 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11361/task/11372/stat : 11372 (java) S 11359 11359 6753 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 407801570 15508242432 10088 33554432000 4194304 4196468 140731736935904 140230601145200 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11373] ppid=11359 vsize=15144768 memory=139905403287168 CPUtime=0.08 cores=0,2,4,6
/proc/11361/task/11373/stat : 11373 (java) S 11359 11359 6753 0 -1 1077944384 802 0 0 0 8 0 0 0 20 0 15 0 407801570 15508242432 10088 33554432000 4194304 4196468 140731736935904 140230600092144 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11374] ppid=11359 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11374/stat : 11374 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407801570 15508242432 10088 33554432000 4194304 4196468 140731736935904 140230599039840 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11375] ppid=11359 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11375/stat : 11375 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801570 15508242432 10088 33554432000 4194304 4196468 140731736935904 140230597986864 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41804 KiB
[startup+0.310705 s]*
/proc/loadavg: 5.91 6.56 6.96 4/233 11375
/proc/meminfo: memFree=31315312/32770624 swapFree=66979412/67108860
[pid=11359] ppid=11356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11359/stat : 11359 (xcsp3-exec) S 11356 11359 6753 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407801564 115843072 363 33554432000 4194304 5098028 140730524875760 140730524873864 139706336412284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36392960 140730524877691 140730524877933 140730524877933 140730524880842 0
/proc/11359/statm: 28282 363 305 221 0 87 0
[pid=11361] ppid=11359 vsize=15149024 memory=49216 CPUtime=0.53 cores=0,2,4,6
/proc/11361/stat : 11361 (java) S 11359 11359 6753 0 -1 1077944320 10641 0 0 0 49 4 0 0 20 0 15 0 407801564 15512600576 12304 33554432000 4194304 4196468 140731736935904 140731736918448 140231137705719 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
/proc/11361/statm: 3787256 12304 3355 1 0 3748377 0
[pid=11361/tid=11362] ppid=11359 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/11361/task/11362/stat : 11362 (java) R 11359 11359 6753 0 -1 4202560 7646 0 0 0 27 3 0 0 20 0 15 0 407801564 15512600576 12334 33554432000 4194304 4196468 140731736935904 140231141936832 140231121786206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11363] ppid=11359 vsize=15149024 memory=2996209 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11363/stat : 11363 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801565 15512600576 12334 33554432000 4194304 4196468 140731736935904 140231090326544 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11364] ppid=11359 vsize=15149024 memory=3155436 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11364/stat : 11364 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801565 15512600576 12334 33554432000 4194304 4196468 140731736935904 140231089274000 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11365] ppid=11359 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11365/stat : 11365 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801565 15512600576 12334 33554432000 4194304 4196468 140731736935904 140231088220944 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11366] ppid=11359 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11366/stat : 11366 (java) S 11359 11359 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407801565 15512600576 12334 33554432000 4194304 4196468 140731736935904 140231087168400 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11367] ppid=11359 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11367/stat : 11367 (java) S 11359 11359 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407801567 15512600576 12334 33554432000 4194304 4196468 140731736935904 140230606407920 140231137716866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11368] ppid=11359 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11368/stat : 11368 (java) S 11359 11359 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407801567 15512600576 12334 33554432000 4194304 4196468 140731736935904 140230605354144 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11369] ppid=11359 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11369/stat : 11369 (java) S 11359 11359 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407801567 15512600576 12334 33554432000 4194304 4196468 140731736935904 140230604301040 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11370] ppid=11359 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11370/stat : 11370 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407801570 15512600576 12334 33554432000 4194304 4196468 140731736935904 140230603249616 140231137724315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11371] ppid=11359 vsize=15149024 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11361/task/11371/stat : 11371 (java) S 11359 11359 6753 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 407801570 15512600576 12334 33554432000 4194304 4196468 140731736935904 140230602197744 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11372] ppid=11359 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/11361/task/11372/stat : 11372 (java) S 11359 11359 6753 0 -1 1077944384 329 0 0 0 5 0 0 0 20 0 15 0 407801570 15512600576 12334 33554432000 4194304 4196468 140731736935904 140230601145200 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11373] ppid=11359 vsize=15149024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11361/task/11373/stat : 11373 (java) S 11359 11359 6753 0 -1 1077944384 964 0 0 0 13 0 0 0 20 0 15 0 407801570 15512600576 12334 33554432000 4194304 4196468 140731736935904 140230600092144 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11374] ppid=11359 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11374/stat : 11374 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407801570 15512600576 12334 33554432000 4194304 4196468 140731736935904 140230599039840 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11375] ppid=11359 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11375/stat : 11375 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801570 15512600576 12334 33554432000 4194304 4196468 140731736935904 140230597986864 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50668 KiB
[startup+0.708739 s]
/proc/loadavg: 5.91 6.56 6.96 5/233 11375
/proc/meminfo: memFree=31302968/32770624 swapFree=66979412/67108860
[pid=11359] ppid=11356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11359/stat : 11359 (xcsp3-exec) S 11356 11359 6753 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407801564 115843072 363 33554432000 4194304 5098028 140730524875760 140730524873864 139706336412284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36392960 140730524877691 140730524877933 140730524877933 140730524880842 0
/proc/11359/statm: 28282 363 305 221 0 87 0
[pid=11361] ppid=11359 vsize=15151148 memory=89908 CPUtime=1.62 cores=0,2,4,6
/proc/11361/stat : 11361 (java) S 11359 11359 6753 0 -1 1077944320 14611 0 0 0 155 7 0 0 20 0 15 0 407801564 15514775552 22477 33554432000 4194304 4196468 140731736935904 140731736918448 140231137705719 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
/proc/11361/statm: 3787787 22477 3440 1 0 3748889 0
[pid=11361/tid=11362] ppid=11359 vsize=15151148 memory=1787713029377 CPUtime=0.68 cores=0,2,4,6
/proc/11361/task/11362/stat : 11362 (java) R 11359 11359 6753 0 -1 4202560 8976 0 0 0 64 4 0 0 20 0 15 0 407801564 15514775552 22477 33554432000 4194304 4196468 140731736935904 140231141942304 140231121749349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11363] ppid=11359 vsize=15151148 memory=512 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11363/stat : 11363 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801565 15514775552 22477 33554432000 4194304 4196468 140731736935904 140231090326544 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11364] ppid=11359 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11364/stat : 11364 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801565 15514775552 22477 33554432000 4194304 4196468 140731736935904 140231089274000 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11365] ppid=11359 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11365/stat : 11365 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801565 15514775552 22477 33554432000 4194304 4196468 140731736935904 140231088220944 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11366] ppid=11359 vsize=15151148 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11366/stat : 11366 (java) S 11359 11359 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407801565 15514775552 22477 33554432000 4194304 4196468 140731736935904 140231087168400 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11367] ppid=11359 vsize=15151148 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11367/stat : 11367 (java) S 11359 11359 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407801567 15514775552 22477 33554432000 4194304 4196468 140731736935904 140230606407920 140231137716866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11368] ppid=11359 vsize=15151148 memory=920 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11368/stat : 11368 (java) S 11359 11359 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407801567 15514775552 22477 33554432000 4194304 4196468 140731736935904 140230605354144 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11369] ppid=11359 vsize=15151148 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11369/stat : 11369 (java) S 11359 11359 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407801567 15514775552 22477 33554432000 4194304 4196468 140731736935904 140230604301040 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11370] ppid=11359 vsize=15151148 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11370/stat : 11370 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407801570 15514775552 22477 33554432000 4194304 4196468 140731736935904 140230603249616 140231137724315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11371] ppid=11359 vsize=15151148 memory=1764 CPUtime=0.24 cores=0,2,4,6
/proc/11361/task/11371/stat : 11371 (java) R 11359 11359 6753 0 -1 4202560 1288 0 0 0 24 0 0 0 20 0 15 0 407801570 15514775552 22477 33554432000 4194304 4196468 140731736935904 140230602178760 140231122605290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11372] ppid=11359 vsize=15151148 memory=111632 CPUtime=0.26 cores=0,2,4,6
/proc/11361/task/11372/stat : 11372 (java) R 11359 11359 6753 0 -1 4202560 1169 0 0 0 25 1 0 0 20 0 15 0 407801570 15514775552 22477 33554432000 4194304 4196468 140731736935904 140230601130664 140231121090512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11373] ppid=11359 vsize=15151148 memory=804 CPUtime=0.4 cores=0,2,4,6
/proc/11361/task/11373/stat : 11373 (java) S 11359 11359 6753 0 -1 1077944384 1872 0 0 0 40 0 0 0 20 0 15 0 407801570 15514775552 22477 33554432000 4194304 4196468 140731736935904 140230600092144 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11374] ppid=11359 vsize=15151148 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11374/stat : 11374 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407801570 15514775552 22477 33554432000 4194304 4196468 140731736935904 140230599039840 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11375] ppid=11359 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11375/stat : 11375 (java) S 11359 11359 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407801570 15514775552 22477 33554432000 4194304 4196468 140731736935904 140230597986864 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 91360 KiB
[startup+1.50476 s]
/proc/loadavg: 5.91 6.56 6.96 9/237 11379
/proc/meminfo: memFree=31219560/32770624 swapFree=66979412/67108860
[pid=11359] ppid=11356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11359/stat : 11359 (xcsp3-exec) S 11356 11359 6753 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407801564 115843072 363 33554432000 4194304 5098028 140730524875760 140730524873864 139706336412284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36392960 140730524877691 140730524877933 140730524877933 140730524880842 0
/proc/11359/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/11361/stat : 11361 (java) S 11359 11359 6753 0 -1 1077944320 99051 0 0 0 230072 171 0 0 20 0 19 0 407801564 15787421696 319557 33554432000 4194304 4196468 140731736935904 140731736918448 140231137705719 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
/proc/11361/statm: 3854351 319557 3519 1 0 3815453 0
[pid=11361/tid=11362] ppid=11359 vsize=15417404 memory=1287976 CPUtime=0.7 cores=0,2,4,6
/proc/11361/task/11362/stat : 11362 (java) S 11359 11359 6753 0 -1 1077944384 9027 0 0 0 66 4 0 0 20 0 19 0 407801564 15787421696 319557 33554432000 4194304 4196468 140731736935904 140231141946496 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11363] ppid=11359 vsize=15417404 memory=1390984 CPUtime=3.64 cores=0,2,4,6
/proc/11361/task/11363/stat : 11363 (java) S 11359 11359 6753 0 -1 1077944384 5893 0 0 0 335 29 0 0 20 0 19 0 407801565 15787421696 319557 33554432000 4194304 4196468 140731736935904 140231090326544 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11364] ppid=11359 vsize=15417404 memory=1338764 CPUtime=3.65 cores=0,2,4,6
/proc/11361/task/11364/stat : 11364 (java) S 11359 11359 6753 0 -1 1077944384 5892 0 0 0 336 29 0 0 20 0 19 0 407801565 15787421696 319557 33554432000 4194304 4196468 140731736935904 140231089274000 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11365] ppid=11359 vsize=15417404 memory=1309008 CPUtime=3.65 cores=0,2,4,6
/proc/11361/task/11365/stat : 11365 (java) S 11359 11359 6753 0 -1 1077944384 6025 0 0 0 336 29 0 0 20 0 19 0 407801565 15787421696 319557 33554432000 4194304 4196468 140731736935904 140231088220944 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11366] ppid=11359 vsize=15417404 memory=1452 CPUtime=3.64 cores=0,2,4,6
/proc/11361/task/11366/stat : 11366 (java) S 11359 11359 6753 0 -1 1077944384 4534 0 0 0 332 32 0 0 20 0 19 0 407801565 15787421696 319557 33554432000 4194304 4196468 140731736935904 140231087168400 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11367] ppid=11359 vsize=15417404 memory=1452 CPUtime=1.59 cores=0,2,4,6
/proc/11361/task/11367/stat : 11367 (java) S 11359 11359 6753 0 -1 1077944384 23743 0 0 0 134 25 0 0 20 0 19 0 407801567 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230606407920 140231137716866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11368] ppid=11359 vsize=15417404 memory=1282332 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11368/stat : 11368 (java) S 11359 11359 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407801567 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230605354208 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11369] ppid=11359 vsize=15417404 memory=1301828 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11369/stat : 11369 (java) S 11359 11359 6753 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 407801567 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230604301056 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11370] ppid=11359 vsize=15417404 memory=1327988 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11370/stat : 11370 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407801570 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230603249616 140231137724315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11371] ppid=11359 vsize=15417404 memory=1452 CPUtime=1.37 cores=0,2,4,6
/proc/11361/task/11371/stat : 11371 (java) S 11359 11359 6753 0 -1 1077944384 9781 0 0 0 135 2 0 0 20 0 19 0 407801570 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230602197744 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11372] ppid=11359 vsize=15417404 memory=1338248 CPUtime=1.28 cores=0,2,4,6
/proc/11361/task/11372/stat : 11372 (java) S 11359 11359 6753 0 -1 1077944384 8619 0 0 0 127 1 0 0 20 0 19 0 407801570 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230601145200 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11373] ppid=11359 vsize=15417404 memory=1452 CPUtime=0.62 cores=0,2,4,6
/proc/11361/task/11373/stat : 11373 (java) S 11359 11359 6753 0 -1 1077944384 5772 0 0 0 61 1 0 0 20 0 19 0 407801570 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230600092144 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11374] ppid=11359 vsize=15417404 memory=1338764 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11374/stat : 11374 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407801570 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230599039840 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11375] ppid=11359 vsize=15417404 memory=1452 CPUtime=0.5 cores=0,2,4,6
/proc/11361/task/11375/stat : 11375 (java) S 11359 11359 6753 0 -1 1077944384 984 0 0 0 38 12 0 0 20 0 19 0 407801570 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230597986864 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11376] ppid=11359 vsize=15417404 memory=1452 CPUtime=570.65 cores=0,2,4,6
/proc/11361/task/11376/stat : 11376 (java) R 11359 11359 6753 0 -1 4202560 3999 0 0 0 57057 8 0 0 20 0 19 0 407801636 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230588778192 140230771714578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11377] ppid=11359 vsize=15417404 memory=1452 CPUtime=570.59 cores=0,2,4,6
/proc/11361/task/11377/stat : 11377 (java) R 11359 11359 6753 0 -1 4202560 5319 0 0 0 57052 7 0 0 20 0 19 0 407801636 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230587723344 140230771710785 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11378] ppid=11359 vsize=15417404 memory=1452 CPUtime=570.49 cores=0,2,4,6
/proc/11361/task/11378/stat : 11378 (java) R 11359 11359 6753 0 -1 4202560 4255 0 0 0 57043 6 0 0 20 0 19 0 407801636 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230586670992 140230771550801 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11379] ppid=11359 vsize=15417404 memory=1288488 CPUtime=570.02 cores=0,2,4,6
/proc/11361/task/11379/stat : 11379 (java) R 11359 11359 6753 0 -1 4202560 3912 0 0 0 56996 6 0 0 20 0 19 0 407801636 15787421696 319557 33554432000 4194304 4196468 140731736935904 140230585618584 140230772455938 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
Current children cumulated CPU time: 2302.43 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1279680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+637.112 s]
/proc/loadavg: 6.00 6.25 6.61 6/238 11565
/proc/meminfo: memFree=30082880/32770624 swapFree=66979440/67108860
[pid=11359] ppid=11356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11359/stat : 11359 (xcsp3-exec) S 11356 11359 6753 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407801564 115843072 363 33554432000 4194304 5098028 140730524875760 140730524873864 139706336412284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36392960 140730524877691 140730524877933 140730524877933 140730524880842 0
/proc/11359/statm: 28282 363 305 221 0 87 0
[pid=11361] ppid=11359 vsize=15417404 memory=1276660 CPUtime=2520.05 cores=0,2,4,6
/proc/11361/stat : 11361 (java) S 11359 11359 6753 0 -1 1077944320 107445 0 0 0 251826 179 0 0 20 0 19 0 407801564 15787421696 319165 33554432000 4194304 4196468 140731736935904 140731736918448 140231137705719 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
/proc/11361/statm: 3854351 319165 3519 1 0 3815453 0
[pid=11361/tid=11362] ppid=11359 vsize=15417404 memory=1452 CPUtime=0.7 cores=0,2,4,6
/proc/11361/task/11362/stat : 11362 (java) S 11359 11359 6753 0 -1 1077944384 9027 0 0 0 66 4 0 0 20 0 19 0 407801564 15787421696 319165 33554432000 4194304 4196468 140731736935904 140231141946496 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11363] ppid=11359 vsize=15417404 memory=1276660 CPUtime=4.08 cores=0,2,4,6
/proc/11361/task/11363/stat : 11363 (java) S 11359 11359 6753 0 -1 1077944384 6011 0 0 0 379 29 0 0 20 0 19 0 407801565 15787421696 319165 33554432000 4194304 4196468 140731736935904 140231090326544 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11364] ppid=11359 vsize=15417404 memory=1223612 CPUtime=4.09 cores=0,2,4,6
/proc/11361/task/11364/stat : 11364 (java) S 11359 11359 6753 0 -1 1077944384 7911 0 0 0 380 29 0 0 20 0 19 0 407801565 15787421696 319165 33554432000 4194304 4196468 140731736935904 140231089274000 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11365] ppid=11359 vsize=15417404 memory=1224484 CPUtime=4.09 cores=0,2,4,6
/proc/11361/task/11365/stat : 11365 (java) S 11359 11359 6753 0 -1 1077944384 6719 0 0 0 379 30 0 0 20 0 19 0 407801565 15787421696 319165 33554432000 4194304 4196468 140731736935904 140231088220944 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11366] ppid=11359 vsize=15417404 memory=1221432 CPUtime=4.08 cores=0,2,4,6
/proc/11361/task/11366/stat : 11366 (java) S 11359 11359 6753 0 -1 1077944384 4781 0 0 0 376 32 0 0 20 0 19 0 407801565 15787421696 319165 33554432000 4194304 4196468 140731736935904 140231087168400 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11367] ppid=11359 vsize=15417404 memory=1272944 CPUtime=1.72 cores=0,2,4,6
/proc/11361/task/11367/stat : 11367 (java) S 11359 11359 6753 0 -1 1077944384 27767 0 0 0 143 29 0 0 20 0 19 0 407801567 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230606407920 140231137716866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11368] ppid=11359 vsize=15417404 memory=1272944 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11368/stat : 11368 (java) S 11359 11359 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407801567 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230605354208 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11369] ppid=11359 vsize=15417404 memory=1276660 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11369/stat : 11369 (java) S 11359 11359 6753 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 407801567 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230604301056 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11370] ppid=11359 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11370/stat : 11370 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407801570 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230603249616 140231137724315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11371] ppid=11359 vsize=15417404 memory=1452 CPUtime=1.37 cores=0,2,4,6
/proc/11361/task/11371/stat : 11371 (java) S 11359 11359 6753 0 -1 1077944384 9783 0 0 0 135 2 0 0 20 0 19 0 407801570 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230602197744 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11372] ppid=11359 vsize=15417404 memory=1221460 CPUtime=1.28 cores=0,2,4,6
/proc/11361/task/11372/stat : 11372 (java) S 11359 11359 6753 0 -1 1077944384 8622 0 0 0 127 1 0 0 20 0 19 0 407801570 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230601145200 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11373] ppid=11359 vsize=15417404 memory=1452 CPUtime=0.62 cores=0,2,4,6
/proc/11361/task/11373/stat : 11373 (java) S 11359 11359 6753 0 -1 1077944384 5774 0 0 0 61 1 0 0 20 0 19 0 407801570 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230600092144 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11374] ppid=11359 vsize=15417404 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11374/stat : 11374 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407801570 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230599039840 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11375] ppid=11359 vsize=15417404 memory=16728 CPUtime=0.5 cores=0,2,4,6
/proc/11361/task/11375/stat : 11375 (java) S 11359 11359 6753 0 -1 1077944384 1004 0 0 0 38 12 0 0 20 0 19 0 407801570 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230597986864 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11376] ppid=11359 vsize=15417404 memory=2004 CPUtime=624.61 cores=0,2,4,6
/proc/11361/task/11376/stat : 11376 (java) R 11359 11359 6753 0 -1 4202560 4292 0 0 0 62453 8 0 0 20 0 19 0 407801636 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230588778144 140230772816472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11377] ppid=11359 vsize=15417404 memory=984 CPUtime=624.47 cores=0,2,4,6
/proc/11361/task/11377/stat : 11377 (java) R 11359 11359 6753 0 -1 4202560 5688 0 0 0 62439 8 0 0 20 0 19 0 407801636 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230587723424 140230771713066 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11378] ppid=11359 vsize=15417404 memory=1452 CPUtime=624.44 cores=0,2,4,6
/proc/11361/task/11378/stat : 11378 (java) R 11359 11359 6753 0 -1 4202560 4614 0 0 0 62437 7 0 0 20 0 19 0 407801636 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230586671640 140231122082745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11379] ppid=11359 vsize=15417404 memory=1452 CPUtime=623.91 cores=0,2,4,6
/proc/11361/task/11379/stat : 11379 (java) R 11359 11359 6753 0 -1 4202560 4156 0 0 0 62385 6 0 0 20 0 19 0 407801636 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230585618584 140230772455203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1278112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+637.146 s]
# the end of solver process 11359 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002312 s, system=0 s
[startup+637.196 s]
# the end of solver process 11361 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.56 s, system=1.80169 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+637.112 s]
/proc/loadavg: 6.00 6.25 6.61 6/238 11565
/proc/meminfo: memFree=30082880/32770624 swapFree=66979440/67108860
[pid=11359] ppid=11356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11359/stat : 11359 (xcsp3-exec) S 11356 11359 6753 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407801564 115843072 363 33554432000 4194304 5098028 140730524875760 140730524873864 139706336412284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36392960 140730524877691 140730524877933 140730524877933 140730524880842 0
/proc/11359/statm: 28282 363 305 221 0 87 0
[pid=11361] ppid=11359 vsize=15417404 memory=1276660 CPUtime=2520.05 cores=0,2,4,6
/proc/11361/stat : 11361 (java) S 11359 11359 6753 0 -1 1077944320 107445 0 0 0 251826 179 0 0 20 0 19 0 407801564 15787421696 319165 33554432000 4194304 4196468 140731736935904 140731736918448 140231137705719 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
/proc/11361/statm: 3854351 319165 3519 1 0 3815453 0
[pid=11361/tid=11362] ppid=11359 vsize=15417404 memory=1452 CPUtime=0.7 cores=0,2,4,6
/proc/11361/task/11362/stat : 11362 (java) S 11359 11359 6753 0 -1 1077944384 9027 0 0 0 66 4 0 0 20 0 19 0 407801564 15787421696 319165 33554432000 4194304 4196468 140731736935904 140231141946496 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11363] ppid=11359 vsize=15417404 memory=1276660 CPUtime=4.08 cores=0,2,4,6
/proc/11361/task/11363/stat : 11363 (java) S 11359 11359 6753 0 -1 1077944384 6011 0 0 0 379 29 0 0 20 0 19 0 407801565 15787421696 319165 33554432000 4194304 4196468 140731736935904 140231090326544 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11364] ppid=11359 vsize=15417404 memory=1223612 CPUtime=4.09 cores=0,2,4,6
/proc/11361/task/11364/stat : 11364 (java) S 11359 11359 6753 0 -1 1077944384 7911 0 0 0 380 29 0 0 20 0 19 0 407801565 15787421696 319165 33554432000 4194304 4196468 140731736935904 140231089274000 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11365] ppid=11359 vsize=15417404 memory=1224484 CPUtime=4.09 cores=0,2,4,6
/proc/11361/task/11365/stat : 11365 (java) S 11359 11359 6753 0 -1 1077944384 6719 0 0 0 379 30 0 0 20 0 19 0 407801565 15787421696 319165 33554432000 4194304 4196468 140731736935904 140231088220944 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11366] ppid=11359 vsize=15417404 memory=1221432 CPUtime=4.08 cores=0,2,4,6
/proc/11361/task/11366/stat : 11366 (java) S 11359 11359 6753 0 -1 1077944384 4781 0 0 0 376 32 0 0 20 0 19 0 407801565 15787421696 319165 33554432000 4194304 4196468 140731736935904 140231087168400 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11367] ppid=11359 vsize=15417404 memory=1272944 CPUtime=1.72 cores=0,2,4,6
/proc/11361/task/11367/stat : 11367 (java) S 11359 11359 6753 0 -1 1077944384 27767 0 0 0 143 29 0 0 20 0 19 0 407801567 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230606407920 140231137716866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11368] ppid=11359 vsize=15417404 memory=1272944 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11368/stat : 11368 (java) S 11359 11359 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407801567 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230605354208 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11369] ppid=11359 vsize=15417404 memory=1276660 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11369/stat : 11369 (java) S 11359 11359 6753 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 407801567 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230604301056 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11370] ppid=11359 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11370/stat : 11370 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407801570 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230603249616 140231137724315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11371] ppid=11359 vsize=15417404 memory=1452 CPUtime=1.37 cores=0,2,4,6
/proc/11361/task/11371/stat : 11371 (java) S 11359 11359 6753 0 -1 1077944384 9783 0 0 0 135 2 0 0 20 0 19 0 407801570 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230602197744 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11372] ppid=11359 vsize=15417404 memory=1221460 CPUtime=1.28 cores=0,2,4,6
/proc/11361/task/11372/stat : 11372 (java) S 11359 11359 6753 0 -1 1077944384 8622 0 0 0 127 1 0 0 20 0 19 0 407801570 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230601145200 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11373] ppid=11359 vsize=15417404 memory=1452 CPUtime=0.62 cores=0,2,4,6
/proc/11361/task/11373/stat : 11373 (java) S 11359 11359 6753 0 -1 1077944384 5774 0 0 0 61 1 0 0 20 0 19 0 407801570 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230600092144 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11374] ppid=11359 vsize=15417404 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/11361/task/11374/stat : 11374 (java) S 11359 11359 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407801570 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230599039840 140231137715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11375] ppid=11359 vsize=15417404 memory=16728 CPUtime=0.5 cores=0,2,4,6
/proc/11361/task/11375/stat : 11375 (java) S 11359 11359 6753 0 -1 1077944384 1004 0 0 0 38 12 0 0 20 0 19 0 407801570 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230597986864 140231137716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11376] ppid=11359 vsize=15417404 memory=2004 CPUtime=624.61 cores=0,2,4,6
/proc/11361/task/11376/stat : 11376 (java) R 11359 11359 6753 0 -1 4202560 4292 0 0 0 62453 8 0 0 20 0 19 0 407801636 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230588778144 140230772816472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11377] ppid=11359 vsize=15417404 memory=984 CPUtime=624.47 cores=0,2,4,6
/proc/11361/task/11377/stat : 11377 (java) R 11359 11359 6753 0 -1 4202560 5688 0 0 0 62439 8 0 0 20 0 19 0 407801636 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230587723424 140230771713066 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11378] ppid=11359 vsize=15417404 memory=1452 CPUtime=624.44 cores=0,2,4,6
/proc/11361/task/11378/stat : 11378 (java) R 11359 11359 6753 0 -1 4202560 4614 0 0 0 62437 7 0 0 20 0 19 0 407801636 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230586671640 140231122082745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
[pid=11361/tid=11379] ppid=11359 vsize=15417404 memory=1452 CPUtime=623.91 cores=0,2,4,6
/proc/11361/task/11379/stat : 11379 (java) R 11359 11359 6753 0 -1 4202560 4156 0 0 0 62385 6 0 0 20 0 19 0 407801636 15787421696 319165 33554432000 4194304 4196468 140731736935904 140230585618584 140230772455203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13201408 140731736941551 140731736941722 140731736941722 140731736944591 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1278112 KiB
Child status: 143
Real time (s): 637.196
CPU time (s): 2520.36
CPU user time (s): 2518.56
CPU system time (s): 1.80169
CPU usage (%): 395.539
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 1450516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.56
system time used= 1.80169
maximum resident set size= 1466264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108292
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74163
involuntary context switches= 39091
# summary of solver processes directly reported to runsolver:
# pid: 11359,11361
# total CPU time (s): 2520.36
# total CPU user time (s): 2518.56
# total CPU system time (s): 1.80169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.83846 second user time and 7.68175 second system time
The end