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 (14298 MiB free)
memory of node 1: 16384 MiB (15488 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394085-1568326953/watcher-4394085-1568326953 -o /tmp/evaluation-result-4394085-1568326953/solver-4394085-1568326953 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 688075917 HOME/instance-4394085-1568326953.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30134, runsolver pid=30131
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 8.46 8.01 6.67 7/234 30150
/proc/meminfo: memFree=30484584/32770624 swapFree=66933608/67108860
[pid=30134] ppid=30131 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408966788 115843072 363 33554432000 4194304 5098028 140723881735744 140723881733848 139940792947324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36679680 140723881743227 140723881743469 140723881743469 140723881746378 0
/proc/30134/statm: 28282 363 304 221 0 87 0
[pid=30136] ppid=30134 vsize=15144768 memory=29040 CPUtime=0.13 cores=1,3,5,7
/proc/30136/stat : 30136 (java) S 30134 30134 25300 0 -1 1077944320 5700 0 0 0 13 0 0 0 20 0 15 0 408966789 15508242432 7260 33554432000 4194304 4196468 140733722826752 140733722809296 140077162086135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
/proc/30136/statm: 3786192 7260 3146 1 0 3748377 0
[pid=30136/tid=30137] ppid=30134 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (java) R 30134 30134 25300 0 -1 4202560 3566 0 0 0 9 0 0 0 20 0 15 0 408966789 15508242432 7260 33554432000 4194304 4196468 140733722826752 140077166310544 140077162098070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30138] ppid=30134 vsize=15144768 memory=3472468733793178832 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408966790 15508242432 7260 33554432000 4194304 4196468 140733722826752 140077073742992 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30139] ppid=30134 vsize=15144768 memory=140604898027136 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408966790 15508242432 7260 33554432000 4194304 4196468 140733722826752 140077072690192 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30140] ppid=30134 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30140/stat : 30140 (java) S 30134 30134 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408966790 15508242432 7260 33554432000 4194304 4196468 140733722826752 140077071637392 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30141] ppid=30134 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30141/stat : 30141 (java) S 30134 30134 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408966790 15508242432 7260 33554432000 4194304 4196468 140733722826752 140076751252240 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30142] ppid=30134 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30142/stat : 30142 (java) S 30134 30134 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408966791 15508242432 7260 33554432000 4194304 4196468 140733722826752 140076304652656 140077162097282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30143] ppid=30134 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30143/stat : 30143 (java) S 30134 30134 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408966792 15508242432 7260 33554432000 4194304 4196468 140733722826752 140076303598624 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30144] ppid=30134 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30144/stat : 30144 (java) S 30134 30134 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408966792 15508242432 7260 33554432000 4194304 4196468 140733722826752 140076302545776 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30145] ppid=30134 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30145/stat : 30145 (java) S 30134 30134 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408966794 15508242432 7260 33554432000 4194304 4196468 140733722826752 140076301494096 140077162104731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30146] ppid=30134 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30146/stat : 30146 (java) R 30134 30134 25300 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 408966794 15508242432 7260 33554432000 4194304 4196468 140733722826752 140076300429328 140077162096341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30147] ppid=30134 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30147/stat : 30147 (java) S 30134 30134 25300 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 408966794 15508242432 7260 33554432000 4194304 4196468 140733722826752 140076299389680 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30148] ppid=30134 vsize=15144768 memory=140604898027136 CPUtime=0.02 cores=1,3,5,7
/proc/30136/task/30148/stat : 30148 (java) S 30134 30134 25300 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 408966794 15508242432 7260 33554432000 4194304 4196468 140733722826752 140076298336880 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30149] ppid=30134 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30149/stat : 30149 (java) S 30134 30134 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408966794 15508242432 7260 33554432000 4194304 4196468 140733722826752 140076297284320 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30150] ppid=30134 vsize=15144768 memory=140604898027136 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30150/stat : 30150 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408966795 15508242432 7260 33554432000 4194304 4196468 140733722826752 140076296231600 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30492 KiB
[startup+0.210766 s]*
/proc/loadavg: 8.46 8.01 6.67 7/234 30150
/proc/meminfo: memFree=30471216/32770624 swapFree=66933608/67108860
[pid=30134] ppid=30131 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408966788 115843072 363 33554432000 4194304 5098028 140723881735744 140723881733848 139940792947324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36679680 140723881743227 140723881743469 140723881743469 140723881746378 0
/proc/30134/statm: 28282 363 304 221 0 87 0
[pid=30136] ppid=30134 vsize=15144768 memory=40848 CPUtime=0.34 cores=1,3,5,7
/proc/30136/stat : 30136 (java) S 30134 30134 25300 0 -1 1077944320 9488 0 0 0 32 2 0 0 20 0 15 0 408966789 15508242432 10212 33554432000 4194304 4196468 140733722826752 140733722809296 140077162086135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
/proc/30136/statm: 3786192 10212 3288 1 0 3748377 0
[pid=30136/tid=30137] ppid=30134 vsize=15144768 memory=5852835216252043682 CPUtime=0.19 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (java) R 30134 30134 25300 0 -1 4202560 6599 0 0 0 18 1 0 0 20 0 15 0 408966789 15508242432 10212 33554432000 4194304 4196468 140733722826752 140077166320016 140077146166622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30138] ppid=30134 vsize=15144768 memory=3472468733793178832 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408966790 15508242432 10212 33554432000 4194304 4196468 140733722826752 140077073742992 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30139] ppid=30134 vsize=15144768 memory=140604898027136 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408966790 15508242432 10212 33554432000 4194304 4196468 140733722826752 140077072690192 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30140] ppid=30134 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30140/stat : 30140 (java) S 30134 30134 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408966790 15508242432 10212 33554432000 4194304 4196468 140733722826752 140077071637392 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30141] ppid=30134 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30141/stat : 30141 (java) S 30134 30134 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408966790 15508242432 10212 33554432000 4194304 4196468 140733722826752 140076751252240 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30142] ppid=30134 vsize=15144768 memory=140604898027136 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30142/stat : 30142 (java) S 30134 30134 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408966791 15508242432 10212 33554432000 4194304 4196468 140733722826752 140076304652656 140077162097282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30143] ppid=30134 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30143/stat : 30143 (java) S 30134 30134 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408966792 15508242432 10212 33554432000 4194304 4196468 140733722826752 140076303598624 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30144] ppid=30134 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30144/stat : 30144 (java) S 30134 30134 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408966792 15508242432 10212 33554432000 4194304 4196468 140733722826752 140076302545776 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30145] ppid=30134 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30145/stat : 30145 (java) S 30134 30134 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408966794 15508242432 10212 33554432000 4194304 4196468 140733722826752 140076301494096 140077162104731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30146] ppid=30134 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30136/task/30146/stat : 30146 (java) S 30134 30134 25300 0 -1 1077944384 593 0 0 0 2 0 0 0 20 0 15 0 408966794 15508242432 10212 33554432000 4194304 4196468 140733722826752 140076300442480 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30147] ppid=30134 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30136/task/30147/stat : 30147 (java) S 30134 30134 25300 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 15 0 408966794 15508242432 10212 33554432000 4194304 4196468 140733722826752 140076299389680 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30148] ppid=30134 vsize=15144768 memory=140604898027136 CPUtime=0.08 cores=1,3,5,7
/proc/30136/task/30148/stat : 30148 (java) S 30134 30134 25300 0 -1 1077944384 771 0 0 0 8 0 0 0 20 0 15 0 408966794 15508242432 10212 33554432000 4194304 4196468 140733722826752 140076298336880 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30149] ppid=30134 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30149/stat : 30149 (java) S 30134 30134 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408966794 15508242432 10212 33554432000 4194304 4196468 140733722826752 140076297284320 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30150] ppid=30134 vsize=15144768 memory=140604898027136 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30150/stat : 30150 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408966795 15508242432 10212 33554432000 4194304 4196468 140733722826752 140076296231600 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42300 KiB
[startup+0.316187 s]*
/proc/loadavg: 8.46 8.01 6.67 7/234 30150
/proc/meminfo: memFree=30463688/32770624 swapFree=66933608/67108860
[pid=30134] ppid=30131 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408966788 115843072 363 33554432000 4194304 5098028 140723881735744 140723881733848 139940792947324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36679680 140723881743227 140723881743469 140723881743469 140723881746378 0
/proc/30134/statm: 28282 363 304 221 0 87 0
[pid=30136] ppid=30134 vsize=15149024 memory=50328 CPUtime=0.53 cores=1,3,5,7
/proc/30136/stat : 30136 (java) S 30134 30134 25300 0 -1 1077944320 10956 0 0 0 50 3 0 0 20 0 15 0 408966789 15512600576 12582 33554432000 4194304 4196468 140733722826752 140733722809296 140077162086135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
/proc/30136/statm: 3787256 12582 3351 1 0 3748377 0
[pid=30136/tid=30137] ppid=30134 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (java) R 30134 30134 25300 0 -1 4202560 7849 0 0 0 28 2 0 0 20 0 15 0 408966789 15512600576 12582 33554432000 4194304 4196468 140733722826752 140077166313904 140077146166622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30138] ppid=30134 vsize=15149024 memory=3472468733793178832 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408966790 15512600576 12582 33554432000 4194304 4196468 140733722826752 140077073742992 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30139] ppid=30134 vsize=15149024 memory=140604898027136 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408966790 15512600576 12647 33554432000 4194304 4196468 140733722826752 140077072690192 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30140] ppid=30134 vsize=15149024 memory=1 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30140/stat : 30140 (java) S 30134 30134 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408966790 15512600576 12647 33554432000 4194304 4196468 140733722826752 140077071637392 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30141] ppid=30134 vsize=15149024 memory=140604747163679 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30141/stat : 30141 (java) S 30134 30134 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408966790 15512600576 12647 33554432000 4194304 4196468 140733722826752 140076751252240 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30142] ppid=30134 vsize=15149024 memory=281209494288128 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30142/stat : 30142 (java) S 30134 30134 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408966791 15512600576 12647 33554432000 4194304 4196468 140733722826752 140076304652656 140077162097282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30143] ppid=30134 vsize=15149024 memory=140604747140623 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30143/stat : 30143 (java) S 30134 30134 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408966792 15512600576 12647 33554432000 4194304 4196468 140733722826752 140076303598624 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30144] ppid=30134 vsize=15149024 memory=281209645176928 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30144/stat : 30144 (java) S 30134 30134 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408966792 15512600576 12647 33554432000 4194304 4196468 140733722826752 140076302545776 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30145] ppid=30134 vsize=15149024 memory=140604747145231 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30145/stat : 30145 (java) S 30134 30134 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408966794 15512600576 12647 33554432000 4194304 4196468 140733722826752 140076301494096 140077162104731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30146] ppid=30134 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/30136/task/30146/stat : 30146 (java) S 30134 30134 25300 0 -1 1077944384 699 0 0 0 5 0 0 0 20 0 15 0 408966794 15512600576 12647 33554432000 4194304 4196468 140733722826752 140076300442480 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30147] ppid=30134 vsize=15149024 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30136/task/30147/stat : 30147 (java) S 30134 30134 25300 0 -1 1077944384 241 0 0 0 3 0 0 0 20 0 15 0 408966794 15512600576 12647 33554432000 4194304 4196468 140733722826752 140076299389680 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30148] ppid=30134 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30136/task/30148/stat : 30148 (java) S 30134 30134 25300 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 408966794 15512600576 12647 33554432000 4194304 4196468 140733722826752 140076298336880 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30149] ppid=30134 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30149/stat : 30149 (java) S 30134 30134 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408966794 15512600576 12647 33554432000 4194304 4196468 140733722826752 140076297284320 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30150] ppid=30134 vsize=15149024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30150/stat : 30150 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408966795 15512600576 12647 33554432000 4194304 4196468 140733722826752 140076296231600 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51780 KiB
[startup+0.705187 s]
/proc/loadavg: 8.46 8.01 6.67 8/234 30150
/proc/meminfo: memFree=30451568/32770624 swapFree=66933608/67108860
[pid=30134] ppid=30131 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408966788 115843072 363 33554432000 4194304 5098028 140723881735744 140723881733848 139940792947324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36679680 140723881743227 140723881743469 140723881743469 140723881746378 0
/proc/30134/statm: 28282 363 304 221 0 87 0
[pid=30136] ppid=30134 vsize=15484996 memory=136500 CPUtime=1.55 cores=1,3,5,7
/proc/30136/stat : 30136 (java) S 30134 30134 25300 0 -1 1077944320 14584 0 0 0 150 5 0 0 20 0 19 0 408966789 15856635904 34125 33554432000 4194304 4196468 140733722826752 140733722809296 140077162086135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
/proc/30136/statm: 3871249 34125 3454 1 0 3832351 0
[pid=30136/tid=30137] ppid=30134 vsize=15484996 memory=56 CPUtime=0.6 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (java) S 30134 30134 25300 0 -1 1077944384 9180 0 0 0 57 3 0 0 20 0 19 0 408966789 15856635904 34125 33554432000 4194304 4196468 140733722826752 140077166326912 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30138] ppid=30134 vsize=15484996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408966790 15856635904 34125 33554432000 4194304 4196468 140733722826752 140077073742992 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30139] ppid=30134 vsize=15484996 memory=8458433173657302581 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408966790 15856635904 34125 33554432000 4194304 4196468 140733722826752 140077072690192 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30140] ppid=30134 vsize=15484996 memory=5787220424116429667 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30140/stat : 30140 (java) S 30134 30134 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408966790 15856635904 34125 33554432000 4194304 4196468 140733722826752 140077071637392 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30141] ppid=30134 vsize=15484996 memory=5865491479076426066 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30141/stat : 30141 (java) S 30134 30134 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408966790 15856635904 34125 33554432000 4194304 4196468 140733722826752 140076751252240 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30142] ppid=30134 vsize=15484996 memory=3470692292451393600 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30142/stat : 30142 (java) S 30134 30134 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408966791 15856635904 34125 33554432000 4194304 4196468 140733722826752 140076304652656 140077162097282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30143] ppid=30134 vsize=15484996 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30143/stat : 30143 (java) S 30134 30134 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408966792 15856635904 34125 33554432000 4194304 4196468 140733722826752 140076303598624 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30144] ppid=30134 vsize=15484996 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30144/stat : 30144 (java) S 30134 30134 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408966792 15856635904 34125 33554432000 4194304 4196468 140733722826752 140076302545776 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30145] ppid=30134 vsize=15484996 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30145/stat : 30145 (java) S 30134 30134 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408966794 15856635904 34125 33554432000 4194304 4196468 140733722826752 140076301494096 140077162104731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30146] ppid=30134 vsize=15484996 memory=744 CPUtime=0.18 cores=1,3,5,7
/proc/30136/task/30146/stat : 30146 (java) R 30134 30134 25300 0 -1 4202560 1073 0 0 0 18 0 0 0 20 0 19 0 408966794 15856635904 34125 33554432000 4194304 4196468 140733722826752 140076300431280 140077141325409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30147] ppid=30134 vsize=15484996 memory=8296 CPUtime=0.18 cores=1,3,5,7
/proc/30136/task/30147/stat : 30147 (java) R 30134 30134 25300 0 -1 4202560 615 0 0 0 18 0 0 0 20 0 19 0 408966794 15856635904 34125 33554432000 4194304 4196468 140733722826752 140076299376224 140077141338792 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30148] ppid=30134 vsize=15484996 memory=5952 CPUtime=0.42 cores=1,3,5,7
/proc/30136/task/30148/stat : 30148 (java) R 30134 30134 25300 0 -1 4202560 1656 0 0 0 42 0 0 0 20 0 19 0 408966794 15856635904 34125 33554432000 4194304 4196468 140733722826752 140076298336880 140077146129765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30149] ppid=30134 vsize=15484996 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30149/stat : 30149 (java) S 30134 30134 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408966794 15856635904 34125 33554432000 4194304 4196468 140733722826752 140076297284320 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30150] ppid=30134 vsize=15484996 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30150/stat : 30150 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408966795 15856635904 34125 33554432000 4194304 4196468 140733722826752 140076296231600 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 137952 KiB
[startup+1.50119 s]
/proc/loadavg: 8.46 8.01 6.67 12/238 30198
/proc/meminfo: memFree=30335900/32770624 swapFree=66933608/67108860
[pid=30134] ppid=30131 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408966788 115843072 363 33554432000 4194304 5098028 140723881735744 140723881733848 139940792947324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36679680 140723881743227 140723881743469 140723881743469 140723881746378 0
/proc/30134/statm: 28282 363 304 221 0 87 0
[pid=30136] ppid=30134 vsize=15486024 memory=183940 CPUtime=4.66 cores=1,3,5,7
/proc/30136/stat : 30136 (java) S 30134 30134 25300 0 -1 1077944320 18154 0 0 0 459 7 0 0 20 0 19 0 408966789 15857688576 45985 33554432000 4194304 4196468 140733722826752 140733722809296 140077162086135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
/proc/30136/statm: 3871506 45985 3486 1 0 3832608 0
[pid=30136/tid=30137] ppid=30134 vsize=15486024 memory=1452 CPUtime=0.6 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (java) S 30134 30134 25300 0 -1 1077944384 9180 0 0 0 57 3 0 0 20 0 19 0 408966789 15857688576 45985 33554432000 4194304 4196468 140733722826752 140077166326912 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30138] ppid=30134 vsize=15486024 memory=181720 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (java) S 30134 30134 25300 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 408966790 15857688576 45985 33554432000 4194304 4196468 140733722826752 140077073742992 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30139] ppid=30134 vsize=15486024 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (java) S 30134 30134 25300 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 408966790 15857688576 45985 33554432000 4194304 4196468 140733722826752 140077072690192 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30140] ppid=30134 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30140/stat : 30140 (java) S 30134 30134 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408966790 15857688576 45985 33554432000 4194304 4196468 140733722826752 140077071637392 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30141] ppid=30134 vsize=15486024 memory=140604747191472 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30141/stat : 30141 (java) S 30134 30134 25300 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 408966790 15857688576 45985 33554432000 4194304 4196468 140733722826752 140076751252240 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30142] ppid=30134 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30142/stat : 30142 (java) S 30134 30134 25300 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 408966791 15857688576 45985 33554432000 4194304 4196468 140733722826752 140076304652656 140077162097282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30143] ppid=30134 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30143/stat : 30143 (java) S 30134 30134 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408966792 15857688576 45985 33554432000 4194304 4196468 140733722826752 140076303598624 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30144] ppid=30134 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30144/stat : 30144 (java) S 30134 30134 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408966792 15857688576 45985 33554432000 4194304 4196468 140733722826752 140076302545776 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30145] ppid=30134 vsize=15486024 memory=6977 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30145/stat : 30145 (java) S 30134 30134 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408966794 15857688576 45985 33554432000 4194304 4196468 140733722826752 140076301494096 140077162104731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30146] ppid=30134 vsize=15486024 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/30136/task/30146/stat : 30146 (java) R 30134 30134 25300 0 -1 4202560 2702 0 0 0 74 0 0 0 20 0 19 0 408966794 15857688576 45985 33554432000 4194304 4196468 140733722826752 140076300424048 140077143630362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30147] ppid=30134 vsize=15486024 memory=43772361331 CPUtime=0.6 cores=1,3,5,7
/proc/30136/task/30147/stat : 30147 (java) R 30134 30134 25300 0 -1 4202560 1559 0 0 0 60 0 0 0 20 0 19 0 408966794 15857688576 45985 33554432000 4194304 4196468 140733722826752 140076299376248 140077145586341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30148] ppid=30134 vsize=15486024 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/30136/task/30148/stat : 30148 (java) S 30134 30134 25300 0 -1 1077944384 2215 0 0 0 55 0 0 0 20 0 19 0 408966794 15857688576 45985 33554432000 4194304 4196468 140733722826752 140076298336880 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30149] ppid=30134 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30149/stat : 30149 (java) S 30134 30134 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408966794 15857688576 45985 33554432000 4194304 4196468 140733722826752 140076297284320 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30150] ppid=30134 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30150/stat : 30150 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408966795 15857688576 45985 33554432000 4194304 4196468 140733722826752 140076296231600 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
Current children cumulated CPU time: 4.66 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 185392 KiB
[startup+1.62998 s]
# the end of solver process 30134 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.04929 s, system=0.075672 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60119 s]
/proc/loadavg: 8.46 8.01 6.67 12/238 30198
/proc/meminfo: memFree=30335900/32770624 swapFree=66933608/67108860
[pid=30134] ppid=30131 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408966788 115843072 363 33554432000 4194304 5098028 140723881735744 140723881733848 139940792947324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36679680 140723881743227 140723881743469 140723881743469 140723881746378 0
/proc/30134/statm: 28282 363 304 221 0 87 0
[pid=30136] ppid=30134 vsize=15486024 memory=186112 CPUtime=5.06 cores=1,3,5,7
/proc/30136/stat : 30136 (java) S 30134 30134 25300 0 -1 1077944320 18212 0 0 0 499 7 0 0 20 0 19 0 408966789 15857688576 46528 33554432000 4194304 4196468 140733722826752 140733722809296 140077162086135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
/proc/30136/statm: 3871506 46528 3486 1 0 3832608 0
[pid=30136/tid=30137] ppid=30134 vsize=15486024 memory=11928 CPUtime=0.6 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (java) S 30134 30134 25300 0 -1 1077944384 9180 0 0 0 57 3 0 0 20 0 19 0 408966789 15857688576 46528 33554432000 4194304 4196468 140733722826752 140077166326912 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30138] ppid=30134 vsize=15486024 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (java) S 30134 30134 25300 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 408966790 15857688576 46528 33554432000 4194304 4196468 140733722826752 140077073742992 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30139] ppid=30134 vsize=15486024 memory=6288 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (java) S 30134 30134 25300 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 408966790 15857688576 46528 33554432000 4194304 4196468 140733722826752 140077072690192 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30140] ppid=30134 vsize=15486024 memory=504 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30140/stat : 30140 (java) S 30134 30134 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408966790 15857688576 46528 33554432000 4194304 4196468 140733722826752 140077071637392 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30141] ppid=30134 vsize=15486024 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30141/stat : 30141 (java) S 30134 30134 25300 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 408966790 15857688576 46528 33554432000 4194304 4196468 140733722826752 140076751252240 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30142] ppid=30134 vsize=15486024 memory=924 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30142/stat : 30142 (java) S 30134 30134 25300 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 408966791 15857688576 46528 33554432000 4194304 4196468 140733722826752 140076304652656 140077162097282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30143] ppid=30134 vsize=15486024 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30143/stat : 30143 (java) S 30134 30134 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408966792 15857688576 46528 33554432000 4194304 4196468 140733722826752 140076303598624 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30144] ppid=30134 vsize=15486024 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30144/stat : 30144 (java) S 30134 30134 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408966792 15857688576 46528 33554432000 4194304 4196468 140733722826752 140076302545776 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30145] ppid=30134 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30145/stat : 30145 (java) S 30134 30134 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408966794 15857688576 46528 33554432000 4194304 4196468 140733722826752 140076301494096 140077162104731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30146] ppid=30134 vsize=15486024 memory=22244 CPUtime=0.78 cores=1,3,5,7
/proc/30136/task/30146/stat : 30146 (java) S 30134 30134 25300 0 -1 1077944384 2717 0 0 0 78 0 0 0 20 0 19 0 408966794 15857688576 46528 33554432000 4194304 4196468 140733722826752 140076300435504 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30147] ppid=30134 vsize=15486024 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/30136/task/30147/stat : 30147 (java) R 30134 30134 25300 0 -1 4202560 1567 0 0 0 66 0 0 0 20 0 19 0 408966794 15857688576 46528 33554432000 4194304 4196468 140733722826752 140076299382704 140077141304767 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30148] ppid=30134 vsize=15486024 memory=6656426216303648864 CPUtime=0.56 cores=1,3,5,7
/proc/30136/task/30148/stat : 30148 (java) S 30134 30134 25300 0 -1 1077944384 2248 0 0 0 56 0 0 0 20 0 19 0 408966794 15857688576 46528 33554432000 4194304 4196468 140733722826752 140076298336880 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30149] ppid=30134 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30149/stat : 30149 (java) S 30134 30134 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408966794 15857688576 46528 33554432000 4194304 4196468 140733722826752 140076297284320 140077162096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
[pid=30136/tid=30150] ppid=30134 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30136/task/30150/stat : 30150 (java) S 30134 30134 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408966795 15857688576 46528 33554432000 4194304 4196468 140733722826752 140076296231600 140077162097282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28291072 140733722829807 140733722829978 140733722829978 140733722832847 0
Current children cumulated CPU time: 5.06 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 187564 KiB
Child status: 0
Real time (s): 1.63002
CPU time (s): 5.12496
CPU user time (s): 5.04929
CPU system time (s): 0.075672
CPU usage (%): 314.41
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 187564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.04929
system time used= 0.075672
maximum resident set size= 187124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2606
involuntary context switches= 247
# summary of solver processes directly reported to runsolver:
# pid: 30134
# total CPU time (s): 5.12496
# total CPU user time (s): 5.04929
# total CPU system time (s): 0.075672
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03049 second user time and 0.062471 second system time
The end