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 (4785 MiB free)
memory of node 1: 16384 MiB (4887 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403654-1568989163/watcher-4403654-1568989163 -o /tmp/evaluation-result-4403654-1568989163/solver-4403654-1568989163 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30877 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 566731406 HOME/instance-4403654-1568989163.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
Current StackSize limit: 8192 KiB
solver pid=361, runsolver pid=358
[startup+0.100058 s]*
/proc/loadavg: 8.20 8.06 6.42 7/232 377
/proc/meminfo: memFree=9887536/32770624 swapFree=66938896/67108860
[pid=361] ppid=358 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/361/stat : 361 (xcsp3-exec) S 358 361 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475185962 115843072 362 33554432000 4194304 5098028 140721543975120 140721543973224 140714241852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10047488 140721543979899 140721543980141 140721543980141 140721543983050 0
/proc/361/statm: 28282 362 304 221 0 87 0
[pid=363] ppid=361 vsize=15144776 memory=29668 CPUtime=0.12 cores=0,2,4,6
/proc/363/stat : 363 (java) S 361 361 30846 0 -1 1077944320 5806 0 0 0 11 1 0 0 20 0 15 0 475185962 15508250624 7417 33554432000 4194304 4196468 140726456192128 140726456174672 139914805296887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
/proc/363/statm: 3786194 7417 3156 1 0 3748377 0
[pid=363/tid=364] ppid=361 vsize=15144776 memory=7883960649037381690 CPUtime=0.08 cores=0,2,4,6
/proc/363/task/364/stat : 364 (java) R 361 361 30846 0 -1 4202560 3736 0 0 0 8 0 0 0 20 0 15 0 475185962 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914809528208 139914787164546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=365] ppid=361 vsize=15144776 memory=12641 CPUtime=0 cores=0,2,4,6
/proc/363/task/365/stat : 365 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475185963 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914741533456 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=366] ppid=361 vsize=15144776 memory=3977724486223550112 CPUtime=0 cores=0,2,4,6
/proc/363/task/366/stat : 366 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475185963 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914740480912 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=367] ppid=361 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/367/stat : 367 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475185963 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914739428368 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=368] ppid=361 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/363/task/368/stat : 368 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475185963 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914738375824 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=369] ppid=361 vsize=15144776 memory=139772021855872 CPUtime=0 cores=0,2,4,6
/proc/363/task/369/stat : 369 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475185964 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914365609968 139914805308034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=370] ppid=361 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/363/task/370/stat : 370 (java) S 361 361 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475185965 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914364556192 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=371] ppid=361 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/371/stat : 371 (java) S 361 361 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475185965 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914363503600 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=372] ppid=361 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/372/stat : 372 (java) S 361 361 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475185967 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914362452176 139914805315483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=373] ppid=361 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/373/stat : 373 (java) R 361 361 30846 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 475185967 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914361399792 139914805308034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=374] ppid=361 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/363/task/374/stat : 374 (java) R 361 361 30846 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 15 0 475185967 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914360347248 139914788732625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=375] ppid=361 vsize=15144776 memory=139772021855872 CPUtime=0.02 cores=0,2,4,6
/proc/363/task/375/stat : 375 (java) R 361 361 30846 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 475185967 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914359294704 139914789404951 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=376] ppid=361 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/363/task/376/stat : 376 (java) S 361 361 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475185968 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914358242400 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=377] ppid=361 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/377/stat : 377 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475185968 15508250624 7417 33554432000 4194304 4196468 140726456192128 139914357188912 139914805308034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31116 KiB
[startup+0.210703 s]*
/proc/loadavg: 8.20 8.06 6.42 7/232 377
/proc/meminfo: memFree=9876964/32770624 swapFree=66938896/67108860
[pid=361] ppid=358 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/361/stat : 361 (xcsp3-exec) S 358 361 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475185962 115843072 362 33554432000 4194304 5098028 140721543975120 140721543973224 140714241852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10047488 140721543979899 140721543980141 140721543980141 140721543983050 0
/proc/361/statm: 28282 362 304 221 0 87 0
[pid=363] ppid=361 vsize=15144776 memory=40320 CPUtime=0.33 cores=0,2,4,6
/proc/363/stat : 363 (java) S 361 361 30846 0 -1 1077944320 9286 0 0 0 31 2 0 0 20 0 15 0 475185962 15508250624 10080 33554432000 4194304 4196468 140726456192128 140726456174672 139914805296887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
/proc/363/statm: 3786194 10080 3297 1 0 3748377 0
[pid=363/tid=364] ppid=361 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/363/task/364/stat : 364 (java) R 361 361 30846 0 -1 4202560 6591 0 0 0 18 2 0 0 20 0 15 0 475185962 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914809531584 139914789377374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=365] ppid=361 vsize=15144776 memory=12641 CPUtime=0 cores=0,2,4,6
/proc/363/task/365/stat : 365 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475185963 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914741533456 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=366] ppid=361 vsize=15144776 memory=3977724486223550112 CPUtime=0 cores=0,2,4,6
/proc/363/task/366/stat : 366 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475185963 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914740480912 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=367] ppid=361 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/367/stat : 367 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475185963 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914739428368 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=368] ppid=361 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/363/task/368/stat : 368 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475185963 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914738375824 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=369] ppid=361 vsize=15144776 memory=139772021855872 CPUtime=0 cores=0,2,4,6
/proc/363/task/369/stat : 369 (java) S 361 361 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475185964 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914365609968 139914805308034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=370] ppid=361 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/363/task/370/stat : 370 (java) S 361 361 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475185965 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914364556192 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=371] ppid=361 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/371/stat : 371 (java) S 361 361 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475185965 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914363503600 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=372] ppid=361 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/372/stat : 372 (java) S 361 361 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475185967 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914362452176 139914805315483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=373] ppid=361 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/363/task/373/stat : 373 (java) S 361 361 30846 0 -1 1077944384 477 0 0 0 2 0 0 0 20 0 15 0 475185967 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914361399792 139914805308034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=374] ppid=361 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/363/task/374/stat : 374 (java) S 361 361 30846 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 15 0 475185967 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914360347248 139914805308034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=375] ppid=361 vsize=15144776 memory=139772021855872 CPUtime=0.08 cores=0,2,4,6
/proc/363/task/375/stat : 375 (java) S 361 361 30846 0 -1 1077944384 777 0 0 0 8 0 0 0 20 0 15 0 475185967 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914359294704 139914805308034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=376] ppid=361 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/363/task/376/stat : 376 (java) S 361 361 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475185968 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914358242400 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=377] ppid=361 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/377/stat : 377 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475185968 15508250624 10080 33554432000 4194304 4196468 140726456192128 139914357188912 139914805308034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41768 KiB
[startup+0.311798 s]*
/proc/loadavg: 8.20 8.06 6.42 6/232 377
/proc/meminfo: memFree=9868092/32770624 swapFree=66938896/67108860
[pid=361] ppid=358 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/361/stat : 361 (xcsp3-exec) S 358 361 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475185962 115843072 362 33554432000 4194304 5098028 140721543975120 140721543973224 140714241852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10047488 140721543979899 140721543980141 140721543980141 140721543983050 0
/proc/361/statm: 28282 362 304 221 0 87 0
[pid=363] ppid=361 vsize=15149032 memory=49360 CPUtime=0.51 cores=0,2,4,6
/proc/363/stat : 363 (java) S 361 361 30846 0 -1 1077944320 10660 0 0 0 48 3 0 0 20 0 15 0 475185962 15512608768 12340 33554432000 4194304 4196468 140726456192128 140726456174672 139914805296887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
/proc/363/statm: 3787258 12340 3355 1 0 3748377 0
[pid=363/tid=364] ppid=361 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/363/task/364/stat : 364 (java) R 361 361 30846 0 -1 4202560 7783 0 0 0 28 2 0 0 20 0 15 0 475185962 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914809528000 139914805318813 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=365] ppid=361 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/363/task/365/stat : 365 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475185963 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914741533456 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=366] ppid=361 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/363/task/366/stat : 366 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475185963 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914740480912 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=367] ppid=361 vsize=15149032 memory=3475195960850671461 CPUtime=0 cores=0,2,4,6
/proc/363/task/367/stat : 367 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475185963 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914739428368 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=368] ppid=361 vsize=15149032 memory=-6876588461455810464 CPUtime=0 cores=0,2,4,6
/proc/363/task/368/stat : 368 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475185963 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914738375824 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=369] ppid=361 vsize=15149032 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/363/task/369/stat : 369 (java) S 361 361 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475185964 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914365609968 139914805308034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=370] ppid=361 vsize=15149032 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/363/task/370/stat : 370 (java) S 361 361 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475185965 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914364556192 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=371] ppid=361 vsize=15149032 memory=-8608168169079938421 CPUtime=0 cores=0,2,4,6
/proc/363/task/371/stat : 371 (java) S 361 361 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475185965 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914363503600 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=372] ppid=361 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/372/stat : 372 (java) S 361 361 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475185967 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914362452176 139914805315483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=373] ppid=361 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/363/task/373/stat : 373 (java) S 361 361 30846 0 -1 1077944384 509 0 0 0 3 0 0 0 20 0 15 0 475185967 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914361399792 139914805308034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=374] ppid=361 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/363/task/374/stat : 374 (java) S 361 361 30846 0 -1 1077944384 212 0 0 0 4 0 0 0 20 0 15 0 475185967 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914360347248 139914805308034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=375] ppid=361 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/363/task/375/stat : 375 (java) S 361 361 30846 0 -1 1077944384 937 0 0 0 12 0 0 0 20 0 15 0 475185967 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914359294704 139914805308034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=376] ppid=361 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/376/stat : 376 (java) S 361 361 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475185968 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914358242400 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=377] ppid=361 vsize=15149032 memory=4049052965732169013 CPUtime=0 cores=0,2,4,6
/proc/363/task/377/stat : 377 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475185968 15512608768 12437 33554432000 4194304 4196468 140726456192128 139914357188912 139914805308034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50808 KiB
[startup+0.701891 s]
/proc/loadavg: 8.20 8.06 6.42 10/232 377
/proc/meminfo: memFree=9856520/32770624 swapFree=66938896/67108860
[pid=361] ppid=358 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/361/stat : 361 (xcsp3-exec) S 358 361 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475185962 115843072 362 33554432000 4194304 5098028 140721543975120 140721543973224 140714241852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10047488 140721543979899 140721543980141 140721543980141 140721543983050 0
/proc/361/statm: 28282 362 304 221 0 87 0
[pid=363] ppid=361 vsize=15818852 memory=130468 CPUtime=1.63 cores=0,2,4,6
/proc/363/stat : 363 (java) S 361 361 30846 0 -1 1077944320 14476 0 0 0 157 6 0 0 20 0 19 0 475185962 16198504448 32617 33554432000 4194304 4196468 140726456192128 140726456174672 139914805296887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
/proc/363/statm: 3954713 32617 3458 1 0 3915813 0
[pid=363/tid=364] ppid=361 vsize=15818852 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/363/task/364/stat : 364 (java) S 361 361 30846 0 -1 1077944384 9166 0 0 0 52 3 0 0 20 0 19 0 475185962 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914809537664 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=365] ppid=361 vsize=15818852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/365/stat : 365 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475185963 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914741533456 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=366] ppid=361 vsize=15818852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/366/stat : 366 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475185963 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914740480912 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=367] ppid=361 vsize=15818852 memory=64424 CPUtime=0 cores=0,2,4,6
/proc/363/task/367/stat : 367 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475185963 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914739428368 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=368] ppid=361 vsize=15818852 memory=53492 CPUtime=0 cores=0,2,4,6
/proc/363/task/368/stat : 368 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475185963 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914738375824 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=369] ppid=361 vsize=15818852 memory=988 CPUtime=0 cores=0,2,4,6
/proc/363/task/369/stat : 369 (java) S 361 361 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475185964 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914365609968 139914805308034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=370] ppid=361 vsize=15818852 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/363/task/370/stat : 370 (java) S 361 361 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475185965 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914364556192 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=371] ppid=361 vsize=15818852 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/363/task/371/stat : 371 (java) S 361 361 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475185965 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914363503600 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=372] ppid=361 vsize=15818852 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/363/task/372/stat : 372 (java) S 361 361 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475185967 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914362452176 139914805315483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=373] ppid=361 vsize=15818852 memory=1552 CPUtime=0.22 cores=0,2,4,6
/proc/363/task/373/stat : 373 (java) R 361 361 30846 0 -1 4202560 983 0 0 0 22 0 0 0 20 0 19 0 475185967 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914361385888 139914786841361 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=374] ppid=361 vsize=15818852 memory=3640 CPUtime=0.25 cores=0,2,4,6
/proc/363/task/374/stat : 374 (java) R 361 361 30846 0 -1 4202560 642 0 0 0 25 0 0 0 20 0 19 0 475185967 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914360340352 139914786841327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=375] ppid=361 vsize=15818852 memory=2832 CPUtime=0.35 cores=0,2,4,6
/proc/363/task/375/stat : 375 (java) R 361 361 30846 0 -1 4202560 1653 0 0 0 35 0 0 0 20 0 19 0 475185967 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914359294704 139914797534014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=376] ppid=361 vsize=15818852 memory=784 CPUtime=0 cores=0,2,4,6
/proc/363/task/376/stat : 376 (java) S 361 361 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475185968 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914358242400 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=377] ppid=361 vsize=15818852 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/363/task/377/stat : 377 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475185968 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914357188912 139914805308034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15931980 KiB
Current children cumulated memory: 131916 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+0.701891 s]
/proc/loadavg: 8.20 8.06 6.42 10/232 377
/proc/meminfo: memFree=9856520/32770624 swapFree=66938896/67108860
[pid=361] ppid=358 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/361/stat : 361 (xcsp3-exec) S 358 361 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475185962 115843072 362 33554432000 4194304 5098028 140721543975120 140721543973224 140714241852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10047488 140721543979899 140721543980141 140721543980141 140721543983050 0
/proc/361/statm: 28282 362 304 221 0 87 0
[pid=363] ppid=361 vsize=15818852 memory=130468 CPUtime=1.63 cores=0,2,4,6
/proc/363/stat : 363 (java) S 361 361 30846 0 -1 1077944320 14476 0 0 0 157 6 0 0 20 0 19 0 475185962 16198504448 32617 33554432000 4194304 4196468 140726456192128 140726456174672 139914805296887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
/proc/363/statm: 3954713 32617 3458 1 0 3915813 0
[pid=363/tid=364] ppid=361 vsize=15818852 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/363/task/364/stat : 364 (java) S 361 361 30846 0 -1 1077944384 9166 0 0 0 52 3 0 0 20 0 19 0 475185962 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914809537664 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=365] ppid=361 vsize=15818852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/365/stat : 365 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475185963 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914741533456 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=366] ppid=361 vsize=15818852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/366/stat : 366 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475185963 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914740480912 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=367] ppid=361 vsize=15818852 memory=64424 CPUtime=0 cores=0,2,4,6
/proc/363/task/367/stat : 367 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475185963 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914739428368 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=368] ppid=361 vsize=15818852 memory=53492 CPUtime=0 cores=0,2,4,6
/proc/363/task/368/stat : 368 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475185963 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914738375824 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=369] ppid=361 vsize=15818852 memory=988 CPUtime=0 cores=0,2,4,6
/proc/363/task/369/stat : 369 (java) S 361 361 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475185964 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914365609968 139914805308034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=370] ppid=361 vsize=15818852 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/363/task/370/stat : 370 (java) S 361 361 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475185965 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914364556192 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=371] ppid=361 vsize=15818852 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/363/task/371/stat : 371 (java) S 361 361 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475185965 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914363503600 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=372] ppid=361 vsize=15818852 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/363/task/372/stat : 372 (java) S 361 361 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475185967 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914362452176 139914805315483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=373] ppid=361 vsize=15818852 memory=1552 CPUtime=0.22 cores=0,2,4,6
/proc/363/task/373/stat : 373 (java) R 361 361 30846 0 -1 4202560 983 0 0 0 22 0 0 0 20 0 19 0 475185967 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914361385888 139914786841361 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=374] ppid=361 vsize=15818852 memory=3640 CPUtime=0.25 cores=0,2,4,6
/proc/363/task/374/stat : 374 (java) R 361 361 30846 0 -1 4202560 642 0 0 0 25 0 0 0 20 0 19 0 475185967 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914360340352 139914786841327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=375] ppid=361 vsize=15818852 memory=2832 CPUtime=0.35 cores=0,2,4,6
/proc/363/task/375/stat : 375 (java) R 361 361 30846 0 -1 4202560 1653 0 0 0 35 0 0 0 20 0 19 0 475185967 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914359294704 139914797534014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=376] ppid=361 vsize=15818852 memory=784 CPUtime=0 cores=0,2,4,6
/proc/363/task/376/stat : 376 (java) S 361 361 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475185968 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914358242400 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=377] ppid=361 vsize=15818852 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/363/task/377/stat : 377 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475185968 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914357188912 139914805308034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15931980 KiB
Current children cumulated memory: 131916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+0.717862 s]
# the end of solver process 361 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000763 s, system=0.001527 s
[startup+0.73304 s]
# the end of solver process 363 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.62241 s, system=0.07163 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+0.701891 s]
/proc/loadavg: 8.20 8.06 6.42 10/232 377
/proc/meminfo: memFree=9856520/32770624 swapFree=66938896/67108860
[pid=361] ppid=358 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/361/stat : 361 (xcsp3-exec) S 358 361 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475185962 115843072 362 33554432000 4194304 5098028 140721543975120 140721543973224 140714241852028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10047488 140721543979899 140721543980141 140721543980141 140721543983050 0
/proc/361/statm: 28282 362 304 221 0 87 0
[pid=363] ppid=361 vsize=15818852 memory=130468 CPUtime=1.63 cores=0,2,4,6
/proc/363/stat : 363 (java) S 361 361 30846 0 -1 1077944320 14476 0 0 0 157 6 0 0 20 0 19 0 475185962 16198504448 32617 33554432000 4194304 4196468 140726456192128 140726456174672 139914805296887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
/proc/363/statm: 3954713 32617 3458 1 0 3915813 0
[pid=363/tid=364] ppid=361 vsize=15818852 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/363/task/364/stat : 364 (java) S 361 361 30846 0 -1 1077944384 9166 0 0 0 52 3 0 0 20 0 19 0 475185962 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914809537664 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=365] ppid=361 vsize=15818852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/365/stat : 365 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475185963 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914741533456 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=366] ppid=361 vsize=15818852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/363/task/366/stat : 366 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475185963 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914740480912 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=367] ppid=361 vsize=15818852 memory=64424 CPUtime=0 cores=0,2,4,6
/proc/363/task/367/stat : 367 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475185963 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914739428368 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=368] ppid=361 vsize=15818852 memory=53492 CPUtime=0 cores=0,2,4,6
/proc/363/task/368/stat : 368 (java) S 361 361 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475185963 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914738375824 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=369] ppid=361 vsize=15818852 memory=988 CPUtime=0 cores=0,2,4,6
/proc/363/task/369/stat : 369 (java) S 361 361 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475185964 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914365609968 139914805308034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=370] ppid=361 vsize=15818852 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/363/task/370/stat : 370 (java) S 361 361 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475185965 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914364556192 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=371] ppid=361 vsize=15818852 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/363/task/371/stat : 371 (java) S 361 361 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475185965 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914363503600 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=372] ppid=361 vsize=15818852 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/363/task/372/stat : 372 (java) S 361 361 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475185967 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914362452176 139914805315483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=373] ppid=361 vsize=15818852 memory=1552 CPUtime=0.22 cores=0,2,4,6
/proc/363/task/373/stat : 373 (java) R 361 361 30846 0 -1 4202560 983 0 0 0 22 0 0 0 20 0 19 0 475185967 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914361385888 139914786841361 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=374] ppid=361 vsize=15818852 memory=3640 CPUtime=0.25 cores=0,2,4,6
/proc/363/task/374/stat : 374 (java) R 361 361 30846 0 -1 4202560 642 0 0 0 25 0 0 0 20 0 19 0 475185967 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914360340352 139914786841327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=375] ppid=361 vsize=15818852 memory=2832 CPUtime=0.35 cores=0,2,4,6
/proc/363/task/375/stat : 375 (java) R 361 361 30846 0 -1 4202560 1653 0 0 0 35 0 0 0 20 0 19 0 475185967 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914359294704 139914797534014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=376] ppid=361 vsize=15818852 memory=784 CPUtime=0 cores=0,2,4,6
/proc/363/task/376/stat : 376 (java) S 361 361 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475185968 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914358242400 139914805307093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
[pid=363/tid=377] ppid=361 vsize=15818852 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/363/task/377/stat : 377 (java) S 361 361 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475185968 16198504448 32617 33554432000 4194304 4196468 140726456192128 139914357188912 139914805308034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38281216 140726456198127 140726456198298 140726456198298 140726456201167 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15931980 KiB
Current children cumulated memory: 131916 KiB
Child status: 143
Real time (s): 0.733082
CPU time (s): 1.69404
CPU user time (s): 1.62241
CPU system time (s): 0.07163
CPU usage (%): 231.085
Max. virtual memory (cumulated for all children) (KiB): 15931980
Max. memory (cumulated for all children) (KiB): 131916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.62241
system time used= 0.07163
maximum resident set size= 156188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15268
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= 1916
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 361,363
# total CPU time (s): 1.69404
# total CPU user time (s): 1.62241
# total CPU system time (s): 0.07163
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020034 second user time and 0.056096 second system time
The end