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 (15097 MiB free)
memory of node 1: 16384 MiB (15109 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284045-1503184340/watcher-4284045-1503184340 -o /tmp/evaluation-result-4284045-1503184340/solver-4284045-1503184340 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28736 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 162578815 HOME/instance-4284045-1503184340.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=30514, runsolver pid=30511
[startup+0.10015 s]*
/proc/loadavg: 1.68 1.62 1.60 2/196 30515
/proc/meminfo: memFree=30931624/32770624 swapFree=67108860/67108860
[pid=30514] ppid=30511 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/30514/stat : 30514 (runsolver) D 30511 30514 13977 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 106774571 34791424 113 18446744073709551615 4194304 4346622 140728293321184 140728293317816 140038621590231 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 16187392 140728293326903 140728293327396 140728293327396 140728293330890 0
/proc/30514/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.20899 s]*
/proc/loadavg: 1.68 1.62 1.60 2/210 30529
/proc/meminfo: memFree=30919044/32770624 swapFree=67108860/67108860
[pid=30514] ppid=30511 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30514/stat : 30514 (xcsp3-exec) S 30511 30514 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106774571 9740288 345 18446744073709551615 4194304 5098028 140728812963664 140728812961768 140132830319228 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 11374592 140728812970361 140728812970565 140728812970565 140728812974059 0
/proc/30514/statm: 2378 345 289 221 0 87 0
[pid=30516] ppid=30514 vsize=13974352 memory=22928 CPUtime=0.06 cores=0,2,4,6
/proc/30516/stat : 30516 (java) S 30514 30514 13977 0 -1 1077944320 5140 0 0 0 5 1 0 0 20 0 15 0 106774582 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140726067253760 140697695678199 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
/proc/30516/statm: 3493588 5732 2713 1 0 3482964 0
[pid=30516/tid=30517] ppid=30514 vsize=13974352 memory=-6657846833176482147 CPUtime=0.04 cores=0,2,4,6
/proc/30516/task/30517/stat : 30517 (java) R 30514 30514 13977 0 -1 4202560 3297 0 0 0 4 0 0 0 20 0 15 0 106774582 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697699909104 140697677329758 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30518] ppid=30514 vsize=13974352 memory=4211973764829330826 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30518/stat : 30518 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774583 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697630112400 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30519] ppid=30514 vsize=13974352 memory=140038624540288 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30519/stat : 30519 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774583 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697629059600 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30520] ppid=30514 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30520/stat : 30520 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774583 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697628006800 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30521] ppid=30514 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30521/stat : 30521 (java) S 30514 30514 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106774583 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697626954000 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30522] ppid=30514 vsize=13974352 memory=140038624540288 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30522/stat : 30522 (java) S 30514 30514 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106774584 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697174252400 140697695689346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30523] ppid=30514 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30523/stat : 30523 (java) S 30514 30514 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106774585 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697173198368 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30524] ppid=30514 vsize=13974352 memory=140038624540288 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30524/stat : 30524 (java) S 30514 30514 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106774585 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697172145520 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30525] ppid=30514 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30525/stat : 30525 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774587 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697171093840 140697695696795 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30526] ppid=30514 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30526/stat : 30526 (java) S 30514 30514 13977 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 106774587 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697170041200 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30527] ppid=30514 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30527/stat : 30527 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774587 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697168988400 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30528] ppid=30514 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30528/stat : 30528 (java) R 30514 30514 13977 0 -1 4202560 232 0 0 0 0 0 0 0 20 0 15 0 106774587 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697167935600 140697695699546 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30529] ppid=30514 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30529/stat : 30529 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774588 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697166883040 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30530] ppid=30514 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30530/stat : 30530 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774592 14309736448 5732 18446744073709551615 4194304 4196468 140726067271216 140697165831344 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24308 KiB
[startup+0.310264 s]*
/proc/loadavg: 1.68 1.62 1.60 3/211 30530
/proc/meminfo: memFree=30906304/32770624 swapFree=67108860/67108860
[pid=30514] ppid=30511 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30514/stat : 30514 (xcsp3-exec) S 30511 30514 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106774571 9740288 345 18446744073709551615 4194304 5098028 140728812963664 140728812961768 140132830319228 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 11374592 140728812970361 140728812970565 140728812970565 140728812974059 0
/proc/30514/statm: 2378 345 289 221 0 87 0
[pid=30516] ppid=30514 vsize=13974352 memory=36460 CPUtime=0.24 cores=0,2,4,6
/proc/30516/stat : 30516 (java) S 30514 30514 13977 0 -1 1077944320 8732 0 0 0 22 2 0 0 20 0 15 0 106774582 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140726067253760 140697695678199 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
/proc/30516/statm: 3493588 9115 2973 1 0 3482964 0
[pid=30516/tid=30517] ppid=30514 vsize=13974352 memory=288363917221298210 CPUtime=0.14 cores=0,2,4,6
/proc/30516/task/30517/stat : 30517 (java) R 30514 30514 13977 0 -1 4202560 5999 0 0 0 13 1 0 0 20 0 15 0 106774582 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697699900576 140697679758686 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30518] ppid=30514 vsize=13974352 memory=301 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30518/stat : 30518 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774583 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697630112400 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30519] ppid=30514 vsize=13974352 memory=140038625554857 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30519/stat : 30519 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774583 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697629059600 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30520] ppid=30514 vsize=13974352 memory=-6804530833007812508 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30520/stat : 30520 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774583 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697628006800 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30521] ppid=30514 vsize=13974352 memory=8097827316026060847 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30521/stat : 30521 (java) S 30514 30514 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106774583 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697626954000 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30522] ppid=30514 vsize=13974352 memory=7311575070149301747 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30522/stat : 30522 (java) S 30514 30514 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106774584 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697174252400 140697695689346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30523] ppid=30514 vsize=13974352 memory=3472328296160571439 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30523/stat : 30523 (java) S 30514 30514 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106774585 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697173198368 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30524] ppid=30514 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30524/stat : 30524 (java) S 30514 30514 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106774585 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697172145520 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30525] ppid=30514 vsize=13974352 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30525/stat : 30525 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774587 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697171093840 140697695696795 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30526] ppid=30514 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30526/stat : 30526 (java) S 30514 30514 13977 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 15 0 106774587 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697170041200 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30527] ppid=30514 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30516/task/30527/stat : 30527 (java) S 30514 30514 13977 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 15 0 106774587 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697168988400 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30528] ppid=30514 vsize=13974352 memory=140038624540288 CPUtime=0.05 cores=0,2,4,6
/proc/30516/task/30528/stat : 30528 (java) S 30514 30514 13977 0 -1 1077944384 704 0 0 0 5 0 0 0 20 0 15 0 106774587 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697167935600 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30529] ppid=30514 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30529/stat : 30529 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774588 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697166883040 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30530] ppid=30514 vsize=13974352 memory=140038624540288 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30530/stat : 30530 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774592 14309736448 9115 18446744073709551615 4194304 4196468 140726067271216 140697165831344 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37840 KiB
[startup+0.700762 s]
/proc/loadavg: 1.68 1.62 1.60 3/211 30530
/proc/meminfo: memFree=30895600/32770624 swapFree=67108860/67108860
[pid=30514] ppid=30511 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30514/stat : 30514 (xcsp3-exec) S 30511 30514 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106774571 9740288 345 18446744073709551615 4194304 5098028 140728812963664 140728812961768 140132830319228 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 11374592 140728812970361 140728812970565 140728812970565 140728812974059 0
/proc/30514/statm: 2378 345 289 221 0 87 0
[pid=30516] ppid=30514 vsize=13980732 memory=64604 CPUtime=1.14 cores=0,2,4,6
/proc/30516/stat : 30516 (java) S 30514 30514 13977 0 -1 1077944320 12364 0 0 0 110 4 0 0 20 0 15 0 106774582 14316269568 16151 18446744073709551615 4194304 4196468 140726067271216 140726067253760 140697695678199 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
/proc/30516/statm: 3495183 16151 3161 1 0 3483476 0
[pid=30516/tid=30517] ppid=30514 vsize=13980732 memory=1372 CPUtime=0.53 cores=0,2,4,6
/proc/30516/task/30517/stat : 30517 (java) R 30514 30514 13977 0 -1 4202560 8028 0 0 0 50 3 0 0 20 0 15 0 106774582 14316269568 16151 18446744073709551615 4194304 4196468 140726067271216 140697699915440 140697310700517 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30518] ppid=30514 vsize=13980732 memory=181 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30518/stat : 30518 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774583 14316269568 16151 18446744073709551615 4194304 4196468 140726067271216 140697630112400 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30519] ppid=30514 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30519/stat : 30519 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774583 14316269568 16151 18446744073709551615 4194304 4196468 140726067271216 140697629059600 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30520] ppid=30514 vsize=13980732 memory=6009280068879672678 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30520/stat : 30520 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774583 14316269568 16151 18446744073709551615 4194304 4196468 140726067271216 140697628006800 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30521] ppid=30514 vsize=13980732 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30521/stat : 30521 (java) S 30514 30514 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106774583 14316269568 16663 18446744073709551615 4194304 4196468 140726067271216 140697626954000 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30522] ppid=30514 vsize=13980732 memory=4638778428397932880 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30522/stat : 30522 (java) S 30514 30514 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106774584 14316269568 16663 18446744073709551615 4194304 4196468 140726067271216 140697174252400 140697695689346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30523] ppid=30514 vsize=13980732 memory=7100839870071150693 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30523/stat : 30523 (java) S 30514 30514 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106774585 14316269568 16663 18446744073709551615 4194304 4196468 140726067271216 140697173198368 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30524] ppid=30514 vsize=13980732 memory=8370611207638964880 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30524/stat : 30524 (java) S 30514 30514 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106774585 14316269568 16663 18446744073709551615 4194304 4196468 140726067271216 140697172145520 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30525] ppid=30514 vsize=13980732 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30525/stat : 30525 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774587 14316269568 16663 18446744073709551615 4194304 4196468 140726067271216 140697171093840 140697695696795 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30526] ppid=30514 vsize=13980732 memory=-7522837415797432223 CPUtime=0.13 cores=0,2,4,6
/proc/30516/task/30526/stat : 30526 (java) S 30514 30514 13977 0 -1 1077944384 844 0 0 0 13 0 0 0 20 0 15 0 106774587 14316269568 16663 18446744073709551615 4194304 4196468 140726067271216 140697170041200 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30527] ppid=30514 vsize=13980732 memory=4137292528961491315 CPUtime=0.15 cores=0,2,4,6
/proc/30516/task/30527/stat : 30527 (java) S 30514 30514 13977 0 -1 1077944384 815 0 0 0 15 0 0 0 20 0 15 0 106774587 14316269568 16663 18446744073709551615 4194304 4196468 140726067271216 140697168988400 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30528] ppid=30514 vsize=13980732 memory=8187704045996132563 CPUtime=0.31 cores=0,2,4,6
/proc/30516/task/30528/stat : 30528 (java) S 30514 30514 13977 0 -1 1077944384 1369 0 0 0 31 0 0 0 20 0 15 0 106774587 14316269568 16663 18446744073709551615 4194304 4196468 140726067271216 140697167935600 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30529] ppid=30514 vsize=13980732 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30529/stat : 30529 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774588 14316269568 16663 18446744073709551615 4194304 4196468 140726067271216 140697166883040 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30530] ppid=30514 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30530/stat : 30530 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774592 14316269568 16663 18446744073709551615 4194304 4196468 140726067271216 140697165831344 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65984 KiB
[startup+1.50122 s]
/proc/loadavg: 1.68 1.62 1.60 3/211 30530
/proc/meminfo: memFree=30855236/32770624 swapFree=67108860/67108860
[pid=30514] ppid=30511 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30514/stat : 30514 (xcsp3-exec) S 30511 30514 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106774571 9740288 345 18446744073709551615 4194304 5098028 140728812963664 140728812961768 140132830319228 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 11374592 140728812970361 140728812970565 140728812970565 140728812974059 0
/proc/30514/statm: 2378 345 289 221 0 87 0
[pid=30516] ppid=30514 vsize=13980732 memory=106068 CPUtime=3.48 cores=0,2,4,6
/proc/30516/stat : 30516 (java) S 30514 30514 13977 0 -1 1077944320 23042 0 0 0 341 7 0 0 20 0 15 0 106774582 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140726067253760 140697695678199 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
/proc/30516/statm: 3495183 26517 3199 1 0 3483476 0
[pid=30516/tid=30517] ppid=30514 vsize=13980732 memory=1380 CPUtime=1.32 cores=0,2,4,6
/proc/30516/task/30517/stat : 30517 (java) R 30514 30514 13977 0 -1 4202560 10760 0 0 0 128 4 0 0 20 0 15 0 106774582 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697699916736 140697307021792 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30518] ppid=30514 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30518/stat : 30518 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774583 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697630112400 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30519] ppid=30514 vsize=13980732 memory=280076964952832 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30519/stat : 30519 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774583 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697629059600 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30520] ppid=30514 vsize=13980732 memory=280076964960080 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30520/stat : 30520 (java) S 30514 30514 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106774583 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697628006800 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30521] ppid=30514 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30521/stat : 30521 (java) S 30514 30514 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106774583 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697626954000 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30522] ppid=30514 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30522/stat : 30522 (java) S 30514 30514 13977 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 106774584 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697174252400 140697695689346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30523] ppid=30514 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30523/stat : 30523 (java) S 30514 30514 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106774585 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697173198368 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30524] ppid=30514 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30524/stat : 30524 (java) S 30514 30514 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106774585 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697172145520 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30525] ppid=30514 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30525/stat : 30525 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774587 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697171093840 140697695696795 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30526] ppid=30514 vsize=13980732 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/30516/task/30526/stat : 30526 (java) R 30514 30514 13977 0 -1 4202560 3938 0 0 0 73 0 0 0 20 0 15 0 106774587 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697170022216 140697679164173 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30527] ppid=30514 vsize=13980732 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/30516/task/30527/stat : 30527 (java) R 30514 30514 13977 0 -1 4202560 3205 0 0 0 78 0 0 0 20 0 15 0 106774587 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697168974424 140697673535393 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30528] ppid=30514 vsize=13980732 memory=4120 CPUtime=0.6 cores=0,2,4,6
/proc/30516/task/30528/stat : 30528 (java) R 30514 30514 13977 0 -1 4202560 3804 0 0 0 59 1 0 0 20 0 15 0 106774587 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697167932536 140697677241700 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30529] ppid=30514 vsize=13980732 memory=58020 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30529/stat : 30529 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774588 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697166883040 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30530] ppid=30514 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30530/stat : 30530 (java) S 30514 30514 13977 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106774592 14316269568 26517 18446744073709551615 4194304 4196468 140726067271216 140697165831344 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
################
# More data... #
################
/proc/30516/task/30524/stat : 30524 (java) S 30514 30514 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 106774585 14318366720 195967 18446744073709551615 4194304 4196468 140726067271216 140697172145536 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30525] ppid=30514 vsize=13982780 memory=319597244691251483 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30525/stat : 30525 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774587 14318366720 195967 18446744073709551615 4194304 4196468 140726067271216 140697171093840 140697695696795 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30526] ppid=30514 vsize=13982780 memory=783868 CPUtime=8.46 cores=0,2,4,6
/proc/30516/task/30526/stat : 30526 (java) S 30514 30514 13977 0 -1 1077944384 40376 0 0 0 842 4 0 0 20 0 15 0 106774587 14318366720 195967 18446744073709551615 4194304 4196468 140726067271216 140697170041200 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30527] ppid=30514 vsize=13982780 memory=4120 CPUtime=8.41 cores=0,2,4,6
/proc/30516/task/30527/stat : 30527 (java) S 30514 30514 13977 0 -1 1077944384 35481 0 0 0 836 5 0 0 20 0 15 0 106774587 14318366720 195967 18446744073709551615 4194304 4196468 140726067271216 140697168988400 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30528] ppid=30514 vsize=13982780 memory=1380 CPUtime=1.13 cores=0,2,4,6
/proc/30516/task/30528/stat : 30528 (java) S 30514 30514 13977 0 -1 1077944384 15149 0 0 0 110 3 0 0 20 0 15 0 106774587 14318366720 195967 18446744073709551615 4194304 4196468 140726067271216 140697167935600 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30529] ppid=30514 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30529/stat : 30529 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774588 14318366720 195967 18446744073709551615 4194304 4196468 140726067271216 140697166883040 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30530] ppid=30514 vsize=13982780 memory=1380 CPUtime=1.33 cores=0,2,4,6
/proc/30516/task/30530/stat : 30530 (java) S 30514 30514 13977 0 -1 1077944384 3710 0 0 0 66 67 0 0 20 0 15 0 106774592 14318366720 195967 18446744073709551615 4194304 4196468 140726067271216 140697165831344 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
Current children cumulated CPU time: 2439.62 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 785248 KiB
[startup+2442.3 s]
/proc/loadavg: 1.25 1.42 1.64 3/211 30789
/proc/meminfo: memFree=27926296/32770624 swapFree=67108860/67108860
[pid=30514] ppid=30511 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30514/stat : 30514 (xcsp3-exec) S 30511 30514 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106774571 9740288 345 18446744073709551615 4194304 5098028 140728812963664 140728812961768 140132830319228 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 11374592 140728812970361 140728812970565 140728812970565 140728812974059 0
/proc/30514/statm: 2378 345 289 221 0 87 0
[pid=30516] ppid=30514 vsize=13982780 memory=785920 CPUtime=2500.83 cores=0,2,4,6
/proc/30516/stat : 30516 (java) S 30514 30514 13977 0 -1 1077944320 265659 0 0 0 249799 284 0 0 20 0 15 0 106774582 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140726067253760 140697695678199 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
/proc/30516/statm: 3495695 196480 3262 1 0 3483988 0
[pid=30516/tid=30517] ppid=30514 vsize=13982780 memory=787972 CPUtime=2427.69 cores=0,2,4,6
/proc/30516/task/30517/stat : 30517 (java) R 30514 30514 13977 0 -1 4202560 85073 0 0 0 242735 34 0 0 20 0 15 0 106774582 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697699917568 140697314798111 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30518] ppid=30514 vsize=13982780 memory=788484 CPUtime=13.2 cores=0,2,4,6
/proc/30516/task/30518/stat : 30518 (java) S 30514 30514 13977 0 -1 1077944384 13961 0 0 0 1277 43 0 0 20 0 15 0 106774583 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697630112400 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30519] ppid=30514 vsize=13982780 memory=787972 CPUtime=13.25 cores=0,2,4,6
/proc/30516/task/30519/stat : 30519 (java) S 30514 30514 13977 0 -1 1077944384 13153 0 0 0 1280 45 0 0 20 0 15 0 106774583 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697629059600 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30520] ppid=30514 vsize=13982780 memory=787460 CPUtime=13.16 cores=0,2,4,6
/proc/30516/task/30520/stat : 30520 (java) S 30514 30514 13977 0 -1 1077944384 13592 0 0 0 1271 45 0 0 20 0 15 0 106774583 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697628006800 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30521] ppid=30514 vsize=13982780 memory=786432 CPUtime=13.24 cores=0,2,4,6
/proc/30516/task/30521/stat : 30521 (java) S 30514 30514 13977 0 -1 1077944384 13010 0 0 0 1282 42 0 0 20 0 15 0 106774583 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697626954000 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30522] ppid=30514 vsize=13982780 memory=1380 CPUtime=0.84 cores=0,2,4,6
/proc/30516/task/30522/stat : 30522 (java) S 30514 30514 13977 0 -1 1077944384 30778 0 0 0 71 13 0 0 20 0 15 0 106774584 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697174252400 140697695689346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30523] ppid=30514 vsize=13982780 memory=791732 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30523/stat : 30523 (java) S 30514 30514 13977 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 106774585 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697173198432 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30524] ppid=30514 vsize=13982780 memory=788484 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30524/stat : 30524 (java) S 30514 30514 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 106774585 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697172145536 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30525] ppid=30514 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30525/stat : 30525 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774587 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697171093840 140697695696795 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30526] ppid=30514 vsize=13982780 memory=786432 CPUtime=8.46 cores=0,2,4,6
/proc/30516/task/30526/stat : 30526 (java) S 30514 30514 13977 0 -1 1077944384 40378 0 0 0 842 4 0 0 20 0 15 0 106774587 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697170041200 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30527] ppid=30514 vsize=13982780 memory=1380 CPUtime=8.41 cores=0,2,4,6
/proc/30516/task/30527/stat : 30527 (java) S 30514 30514 13977 0 -1 1077944384 35483 0 0 0 836 5 0 0 20 0 15 0 106774587 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697168988400 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30528] ppid=30514 vsize=13982780 memory=786432 CPUtime=1.13 cores=0,2,4,6
/proc/30516/task/30528/stat : 30528 (java) S 30514 30514 13977 0 -1 1077944384 15151 0 0 0 110 3 0 0 20 0 15 0 106774587 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697167935600 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30529] ppid=30514 vsize=13982780 memory=787972 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30529/stat : 30529 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774588 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697166883040 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30530] ppid=30514 vsize=13982780 memory=787972 CPUtime=1.36 cores=0,2,4,6
/proc/30516/task/30530/stat : 30530 (java) S 30514 30514 13977 0 -1 1077944384 3727 0 0 0 67 69 0 0 20 0 15 0 106774592 14318366720 196480 18446744073709551615 4194304 4196468 140726067271216 140697165831344 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
Current children cumulated CPU time: 2500.83 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 787300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2461.11 s]
/proc/loadavg: 1.25 1.41 1.63 3/211 30789
/proc/meminfo: memFree=27946348/32770624 swapFree=67108860/67108860
[pid=30514] ppid=30511 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30514/stat : 30514 (xcsp3-exec) S 30511 30514 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106774571 9740288 345 18446744073709551615 4194304 5098028 140728812963664 140728812961768 140132830319228 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 11374592 140728812970361 140728812970565 140728812970565 140728812974059 0
/proc/30514/statm: 2378 345 289 221 0 87 0
[pid=30516] ppid=30514 vsize=13982780 memory=783160 CPUtime=2520.01 cores=0,2,4,6
/proc/30516/stat : 30516 (java) S 30514 30514 13977 0 -1 1077944320 266009 0 0 0 251716 285 0 0 20 0 15 0 106774582 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140726067253760 140697695678199 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
/proc/30516/statm: 3495695 195790 3262 1 0 3483988 0
[pid=30516/tid=30517] ppid=30514 vsize=13982780 memory=783160 CPUtime=2446.36 cores=0,2,4,6
/proc/30516/task/30517/stat : 30517 (java) R 30514 30514 13977 0 -1 4202560 85242 0 0 0 244602 34 0 0 20 0 15 0 106774582 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697699917568 140697315228321 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30518] ppid=30514 vsize=13982780 memory=783160 CPUtime=13.32 cores=0,2,4,6
/proc/30516/task/30518/stat : 30518 (java) S 30514 30514 13977 0 -1 1077944384 14011 0 0 0 1289 43 0 0 20 0 15 0 106774583 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697630112400 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30519] ppid=30514 vsize=13982780 memory=783160 CPUtime=13.37 cores=0,2,4,6
/proc/30516/task/30519/stat : 30519 (java) S 30514 30514 13977 0 -1 1077944384 13201 0 0 0 1292 45 0 0 20 0 15 0 106774583 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697629059600 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30520] ppid=30514 vsize=13982780 memory=783160 CPUtime=13.28 cores=0,2,4,6
/proc/30516/task/30520/stat : 30520 (java) S 30514 30514 13977 0 -1 1077944384 13622 0 0 0 1283 45 0 0 20 0 15 0 106774583 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697628006800 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30521] ppid=30514 vsize=13982780 memory=2924 CPUtime=13.36 cores=0,2,4,6
/proc/30516/task/30521/stat : 30521 (java) S 30514 30514 13977 0 -1 1077944384 13057 0 0 0 1294 42 0 0 20 0 15 0 106774583 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697626954000 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30522] ppid=30514 vsize=13982780 memory=4284 CPUtime=0.84 cores=0,2,4,6
/proc/30516/task/30522/stat : 30522 (java) S 30514 30514 13977 0 -1 1077944384 30782 0 0 0 71 13 0 0 20 0 15 0 106774584 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697174252400 140697695689346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30523] ppid=30514 vsize=13982780 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30523/stat : 30523 (java) S 30514 30514 13977 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 106774585 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697173198432 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30524] ppid=30514 vsize=13982780 memory=135408507685364 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30524/stat : 30524 (java) S 30514 30514 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 106774585 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697172145536 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30525] ppid=30514 vsize=13982780 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30525/stat : 30525 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774587 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697171093840 140697695696795 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30526] ppid=30514 vsize=13982780 memory=1996 CPUtime=8.46 cores=0,2,4,6
/proc/30516/task/30526/stat : 30526 (java) S 30514 30514 13977 0 -1 1077944384 40378 0 0 0 842 4 0 0 20 0 15 0 106774587 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697170041200 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30527] ppid=30514 vsize=13982780 memory=1380 CPUtime=8.41 cores=0,2,4,6
/proc/30516/task/30527/stat : 30527 (java) S 30514 30514 13977 0 -1 1077944384 35483 0 0 0 836 5 0 0 20 0 15 0 106774587 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697168988400 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30528] ppid=30514 vsize=13982780 memory=783672 CPUtime=1.13 cores=0,2,4,6
/proc/30516/task/30528/stat : 30528 (java) S 30514 30514 13977 0 -1 1077944384 15151 0 0 0 110 3 0 0 20 0 15 0 106774587 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697167935600 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30529] ppid=30514 vsize=13982780 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30529/stat : 30529 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774588 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697166883040 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30530] ppid=30514 vsize=13982780 memory=7269 CPUtime=1.38 cores=0,2,4,6
/proc/30516/task/30530/stat : 30530 (java) S 30514 30514 13977 0 -1 1077944384 3729 0 0 0 68 70 0 0 20 0 15 0 106774592 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697165831344 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 784540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2461.12 s]
# the end of solver process 30514 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000936 s, system=0.000936 s
[startup+2461.12 s]
# the end of solver process 30516 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.18 s, system=2.85678 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+2461.11 s]
/proc/loadavg: 1.25 1.41 1.63 3/211 30789
/proc/meminfo: memFree=27946348/32770624 swapFree=67108860/67108860
[pid=30514] ppid=30511 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30514/stat : 30514 (xcsp3-exec) S 30511 30514 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106774571 9740288 345 18446744073709551615 4194304 5098028 140728812963664 140728812961768 140132830319228 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 11374592 140728812970361 140728812970565 140728812970565 140728812974059 0
/proc/30514/statm: 2378 345 289 221 0 87 0
[pid=30516] ppid=30514 vsize=13982780 memory=783160 CPUtime=2520.01 cores=0,2,4,6
/proc/30516/stat : 30516 (java) S 30514 30514 13977 0 -1 1077944320 266009 0 0 0 251716 285 0 0 20 0 15 0 106774582 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140726067253760 140697695678199 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
/proc/30516/statm: 3495695 195790 3262 1 0 3483988 0
[pid=30516/tid=30517] ppid=30514 vsize=13982780 memory=783160 CPUtime=2446.36 cores=0,2,4,6
/proc/30516/task/30517/stat : 30517 (java) R 30514 30514 13977 0 -1 4202560 85242 0 0 0 244602 34 0 0 20 0 15 0 106774582 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697699917568 140697315228321 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30518] ppid=30514 vsize=13982780 memory=783160 CPUtime=13.32 cores=0,2,4,6
/proc/30516/task/30518/stat : 30518 (java) S 30514 30514 13977 0 -1 1077944384 14011 0 0 0 1289 43 0 0 20 0 15 0 106774583 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697630112400 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30519] ppid=30514 vsize=13982780 memory=783160 CPUtime=13.37 cores=0,2,4,6
/proc/30516/task/30519/stat : 30519 (java) S 30514 30514 13977 0 -1 1077944384 13201 0 0 0 1292 45 0 0 20 0 15 0 106774583 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697629059600 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30520] ppid=30514 vsize=13982780 memory=783160 CPUtime=13.28 cores=0,2,4,6
/proc/30516/task/30520/stat : 30520 (java) S 30514 30514 13977 0 -1 1077944384 13622 0 0 0 1283 45 0 0 20 0 15 0 106774583 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697628006800 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30521] ppid=30514 vsize=13982780 memory=2924 CPUtime=13.36 cores=0,2,4,6
/proc/30516/task/30521/stat : 30521 (java) S 30514 30514 13977 0 -1 1077944384 13057 0 0 0 1294 42 0 0 20 0 15 0 106774583 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697626954000 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30522] ppid=30514 vsize=13982780 memory=4284 CPUtime=0.84 cores=0,2,4,6
/proc/30516/task/30522/stat : 30522 (java) S 30514 30514 13977 0 -1 1077944384 30782 0 0 0 71 13 0 0 20 0 15 0 106774584 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697174252400 140697695689346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30523] ppid=30514 vsize=13982780 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30523/stat : 30523 (java) S 30514 30514 13977 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 106774585 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697173198432 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30524] ppid=30514 vsize=13982780 memory=135408507685364 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30524/stat : 30524 (java) S 30514 30514 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 106774585 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697172145536 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30525] ppid=30514 vsize=13982780 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30525/stat : 30525 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774587 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697171093840 140697695696795 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30526] ppid=30514 vsize=13982780 memory=1996 CPUtime=8.46 cores=0,2,4,6
/proc/30516/task/30526/stat : 30526 (java) S 30514 30514 13977 0 -1 1077944384 40378 0 0 0 842 4 0 0 20 0 15 0 106774587 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697170041200 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30527] ppid=30514 vsize=13982780 memory=1380 CPUtime=8.41 cores=0,2,4,6
/proc/30516/task/30527/stat : 30527 (java) S 30514 30514 13977 0 -1 1077944384 35483 0 0 0 836 5 0 0 20 0 15 0 106774587 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697168988400 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30528] ppid=30514 vsize=13982780 memory=783672 CPUtime=1.13 cores=0,2,4,6
/proc/30516/task/30528/stat : 30528 (java) S 30514 30514 13977 0 -1 1077944384 15151 0 0 0 110 3 0 0 20 0 15 0 106774587 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697167935600 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30529] ppid=30514 vsize=13982780 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/30516/task/30529/stat : 30529 (java) S 30514 30514 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106774588 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697166883040 140697695688405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
[pid=30516/tid=30530] ppid=30514 vsize=13982780 memory=7269 CPUtime=1.38 cores=0,2,4,6
/proc/30516/task/30530/stat : 30530 (java) S 30514 30514 13977 0 -1 1077944384 3729 0 0 0 68 70 0 0 20 0 15 0 106774592 14318366720 195790 18446744073709551615 4194304 4196468 140726067271216 140697165831344 140697695689346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39120896 140726067278257 140726067278433 140726067278433 140726067281871 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 784540 KiB
Child status: 143
Real time (s): 2461.12
CPU time (s): 2520.03
CPU user time (s): 2517.18
CPU system time (s): 2.85678
CPU usage (%): 102.394
Max. virtual memory (cumulated for all children) (KiB): 13995548
Max. memory (cumulated for all children) (KiB): 2150388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.18
system time used= 2.85678
maximum resident set size= 2169568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66605
involuntary context switches= 3656
# summary of solver processes directly reported to runsolver:
# pid: 30514,30516
# total CPU time (s): 2520.03
# total CPU user time (s): 2517.18
# total CPU system time (s): 2.85678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1374 second user time and 24.2131 second system time
The end