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 (15194 MiB free)
memory of node 1: 16384 MiB (4411 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273478-1502837409/watcher-4273478-1502837409 -o /tmp/evaluation-result-4273478-1502837409/solver-4273478-1502837409 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 616204376 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273478-1502837409.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=25602, runsolver pid=25599
[startup+0.100119 s]*
/proc/loadavg: 2.67 2.28 2.14 2/196 25604
/proc/meminfo: memFree=20073520/32770624 swapFree=67108860/67108860
[pid=25602] ppid=25599 vsize=13358552 memory=16184 CPUtime=0 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25599 25602 2357 0 -1 1077944320 3361 0 0 0 0 0 0 0 20 0 6 0 11355954 13679157248 4046 18446744073709551615 4194304 4196468 140735965039472 140735965022016 140589938007799 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
/proc/25602/statm: 3339638 4046 1909 1 0 3329135 0
[pid=25602/tid=25604] ppid=25599 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25604/stat : 25604 (java) R 25599 25602 2357 0 -1 4202560 2045 0 0 0 0 0 0 0 20 0 6 0 11355963 13679157248 4046 18446744073709551615 4194304 4196468 140735965039472 140589942243920 140589919401533 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25605] ppid=25599 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 11355964 13679157248 4046 18446744073709551615 4194304 4196468 140735965039472 140589857422224 140589938018005 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25606] ppid=25599 vsize=13358552 memory=140638025483904 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 11355964 13679157248 4046 18446744073709551615 4194304 4196468 140735965039472 140589856369424 140589938018005 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25607] ppid=25599 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 11355964 13679157248 4046 18446744073709551615 4194304 4196468 140735965039472 140589855317136 140589938018005 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25608] ppid=25599 vsize=13358552 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 11355964 13679157248 4046 18446744073709551615 4194304 4196468 140735965039472 140589854264336 140589938018005 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 16184 KiB
[startup+0.210135 s]*
/proc/loadavg: 2.67 2.28 2.14 4/209 25617
/proc/meminfo: memFree=20064084/32770624 swapFree=67108860/67108860
[pid=25602] ppid=25599 vsize=13975920 memory=28756 CPUtime=0.08 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25599 25602 2357 0 -1 1077944320 6499 0 0 0 7 1 0 0 20 0 15 0 11355954 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140735965022016 140589938007799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
/proc/25602/statm: 3493980 7189 3344 1 0 3482759 0
[pid=25602/tid=25604] ppid=25599 vsize=13975920 memory=7077796292425249400 CPUtime=0.06 cores=0,2,4,6
/proc/25602/task/25604/stat : 25604 (java) R 25599 25602 2357 0 -1 4202560 4522 0 0 0 6 0 0 0 20 0 15 0 11355963 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589942241064 140589919401533 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25605] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355964 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589857422224 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25606] ppid=25599 vsize=13975920 memory=140638025483904 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355964 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589856369424 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25607] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355964 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589855317136 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25608] ppid=25599 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355964 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589854264336 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25609] ppid=25599 vsize=13975920 memory=140638025483904 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25609/stat : 25609 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355965 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589416298608 140589938018946 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25610] ppid=25599 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25610/stat : 25610 (java) S 25599 25602 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11355966 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589415244576 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25611] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25611/stat : 25611 (java) S 25599 25602 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11355966 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589414192240 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25612] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25612/stat : 25612 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355968 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589413140560 140589938026395 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25613] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25613/stat : 25613 (java) S 25599 25602 2357 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 11355968 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589412088432 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25614] ppid=25599 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25614/stat : 25614 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355968 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589411035632 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25615] ppid=25599 vsize=13975920 memory=140638025483904 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25615/stat : 25615 (java) S 25599 25602 2357 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 11355968 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589409983344 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25616] ppid=25599 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25616/stat : 25616 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355969 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589408930784 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25617] ppid=25599 vsize=13975920 memory=140638025483904 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25617/stat : 25617 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355974 14311342080 7189 18446744073709551615 4194304 4196468 140735965039472 140589407877552 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 28756 KiB
[startup+0.311643 s]*
/proc/loadavg: 2.67 2.28 2.14 3/209 25617
/proc/meminfo: memFree=20049404/32770624 swapFree=67108860/67108860
[pid=25602] ppid=25599 vsize=13975920 memory=40440 CPUtime=0.24 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25599 25602 2357 0 -1 1077944320 9807 0 0 0 21 3 0 0 20 0 15 0 11355954 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140735965022016 140589938007799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
/proc/25602/statm: 3493980 10110 3551 1 0 3482759 0
[pid=25602/tid=25604] ppid=25599 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/25602/task/25604/stat : 25604 (java) R 25599 25602 2357 0 -1 4202560 7539 0 0 0 14 2 0 0 20 0 15 0 11355963 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589942235072 140589938029725 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25605] ppid=25599 vsize=13975920 memory=1398720917958146503 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355964 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589857422224 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25606] ppid=25599 vsize=13975920 memory=140638025490897 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355964 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589856369424 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25607] ppid=25599 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355964 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589855317136 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25608] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355964 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589854264336 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25609] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25609/stat : 25609 (java) S 25599 25602 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11355965 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589416298608 140589938018946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25610] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25610/stat : 25610 (java) S 25599 25602 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11355966 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589415244576 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25611] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25611/stat : 25611 (java) S 25599 25602 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11355966 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589414192240 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25612] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25612/stat : 25612 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355968 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589413140560 140589938026395 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25613] ppid=25599 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25602/task/25613/stat : 25613 (java) S 25599 25602 2357 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 11355968 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589412088528 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25614] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25614/stat : 25614 (java) S 25599 25602 2357 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 11355968 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589411035632 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25615] ppid=25599 vsize=13975920 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25602/task/25615/stat : 25615 (java) R 25599 25602 2357 0 -1 4202560 373 0 0 0 4 0 0 0 20 0 15 0 11355968 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589409983344 140589938019734 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25616] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25616/stat : 25616 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355969 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589408930784 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25617] ppid=25599 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25617/stat : 25617 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355974 14311342080 10110 18446744073709551615 4194304 4196468 140735965039472 140589407877552 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40440 KiB
[startup+0.702516 s]
/proc/loadavg: 2.67 2.28 2.14 4/209 25617
/proc/meminfo: memFree=20037356/32770624 swapFree=67108860/67108860
[pid=25602] ppid=25599 vsize=13977988 memory=69600 CPUtime=1.02 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25599 25602 2357 0 -1 1077944320 14138 0 0 0 97 5 0 0 20 0 15 0 11355954 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140735965022016 140589938007799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
/proc/25602/statm: 3494497 17400 3731 1 0 3483271 0
[pid=25602/tid=25604] ppid=25599 vsize=13977988 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/25602/task/25604/stat : 25604 (java) R 25599 25602 2357 0 -1 4202560 9890 0 0 0 51 3 0 0 20 0 15 0 11355963 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589942236208 140589922051429 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25605] ppid=25599 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355964 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589857422224 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25606] ppid=25599 vsize=13977988 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355964 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589856369424 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25607] ppid=25599 vsize=13977988 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355964 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589855317136 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25608] ppid=25599 vsize=13977988 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355964 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589854264336 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25609] ppid=25599 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25609/stat : 25609 (java) S 25599 25602 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11355965 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589416298608 140589938018946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25610] ppid=25599 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25610/stat : 25610 (java) S 25599 25602 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11355966 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589415244576 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25611] ppid=25599 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25611/stat : 25611 (java) S 25599 25602 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11355966 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589414192240 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25612] ppid=25599 vsize=13977988 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25612/stat : 25612 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355968 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589413140560 140589938026395 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25613] ppid=25599 vsize=13977988 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/25602/task/25613/stat : 25613 (java) R 25599 25602 2357 0 -1 4202560 1242 0 0 0 13 0 0 0 20 0 15 0 11355968 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589412069336 140589918709463 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25614] ppid=25599 vsize=13977988 memory=3749592432059638654 CPUtime=0.11 cores=0,2,4,6
/proc/25602/task/25614/stat : 25614 (java) R 25599 25602 2357 0 -1 1077944384 656 0 0 0 11 0 0 0 20 0 15 0 11355968 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589411022416 140589938018005 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25615] ppid=25599 vsize=13977988 memory=6944656592455097440 CPUtime=0.21 cores=0,2,4,6
/proc/25602/task/25615/stat : 25615 (java) R 25599 25602 2357 0 -1 4202560 987 0 0 0 21 0 0 0 20 0 15 0 11355968 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589409981744 140589938029146 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25616] ppid=25599 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25616/stat : 25616 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355969 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589408930784 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25617] ppid=25599 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25617/stat : 25617 (java) R 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355974 14313459712 17400 18446744073709551615 4194304 4196468 140735965039472 140589407877552 140589938018946 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 69600 KiB
[startup+1.37667 s]
# the end of solver process 25602 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.795 s, system=0.099128 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800925 s]
/proc/loadavg: 2.67 2.28 2.14 4/209 25617
/proc/meminfo: memFree=20037356/32770624 swapFree=67108860/67108860
[pid=25602] ppid=25599 vsize=13977988 memory=76796 CPUtime=1.25 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25599 25602 2357 0 -1 1077944320 14886 0 0 0 119 6 0 0 20 0 15 0 11355954 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140735965022016 140589938007799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
/proc/25602/statm: 3494497 19199 3731 1 0 3483271 0
[pid=25602/tid=25604] ppid=25599 vsize=13977988 memory=140637898833264 CPUtime=0.64 cores=0,2,4,6
/proc/25602/task/25604/stat : 25604 (java) R 25599 25602 2357 0 -1 4202560 10268 0 0 0 60 4 0 0 20 0 15 0 11355963 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589942245440 140589938029725 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25605] ppid=25599 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355964 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589857422224 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25606] ppid=25599 vsize=13977988 memory=-8970745359494625598 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355964 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589856369424 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25607] ppid=25599 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355964 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589855317136 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25608] ppid=25599 vsize=13977988 memory=2760 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355964 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589854264336 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25609] ppid=25599 vsize=13977988 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25609/stat : 25609 (java) S 25599 25602 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11355965 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589416298608 140589938018946 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25610] ppid=25599 vsize=13977988 memory=3120 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25610/stat : 25610 (java) S 25599 25602 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11355966 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589415244576 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25611] ppid=25599 vsize=13977988 memory=11355872 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25611/stat : 25611 (java) S 25599 25602 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11355966 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589414192240 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25612] ppid=25599 vsize=13977988 memory=4060 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25612/stat : 25612 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355968 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589413140560 140589938026395 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25613] ppid=25599 vsize=13977988 memory=1156 CPUtime=0.19 cores=0,2,4,6
/proc/25602/task/25613/stat : 25613 (java) S 25599 25602 2357 0 -1 1077944384 1461 0 0 0 19 0 0 0 20 0 15 0 11355968 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589412088432 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25614] ppid=25599 vsize=13977988 memory=2372 CPUtime=0.12 cores=0,2,4,6
/proc/25602/task/25614/stat : 25614 (java) S 25599 25602 2357 0 -1 1077944384 679 0 0 0 12 0 0 0 20 0 15 0 11355968 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589411035632 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25615] ppid=25599 vsize=13977988 memory=54156 CPUtime=0.26 cores=0,2,4,6
/proc/25602/task/25615/stat : 25615 (java) R 25599 25602 2357 0 -1 4202560 1096 0 0 0 26 0 0 0 20 0 15 0 11355968 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589409983344 140589922088286 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25616] ppid=25599 vsize=13977988 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25616/stat : 25616 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355969 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589408930784 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25617] ppid=25599 vsize=13977988 memory=3900 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25617/stat : 25617 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355974 14313459712 19199 18446744073709551615 4194304 4196468 140735965039472 140589407877552 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 76796 KiB
[startup+1.2009 s]
/proc/loadavg: 2.67 2.28 2.14 6/209 25617
/proc/meminfo: memFree=19984520/32770624 swapFree=67108860/67108860
[pid=25602] ppid=25599 vsize=13980036 memory=126976 CPUtime=2.39 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25599 25602 2357 0 -1 1077944320 22909 0 0 0 230 9 0 0 20 0 15 0 11355954 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140735965022016 140589938007799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
/proc/25602/statm: 3495009 31744 3747 1 0 3483783 0
[pid=25602/tid=25604] ppid=25599 vsize=13980036 memory=7452441904473860160 CPUtime=1.03 cores=0,2,4,6
/proc/25602/task/25604/stat : 25604 (java) R 25599 25602 2357 0 -1 4202560 13425 0 0 0 97 6 0 0 20 0 15 0 11355963 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589942243928 140589534889889 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25605] ppid=25599 vsize=13980036 memory=7810487953224384612 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355964 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589857422224 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25606] ppid=25599 vsize=13980036 memory=7810487953224384612 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355964 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589856369424 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25607] ppid=25599 vsize=13980036 memory=7452441904473860160 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355964 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589855317136 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25608] ppid=25599 vsize=13980036 memory=7236556064810886248 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355964 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589854264336 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25609] ppid=25599 vsize=13980036 memory=5860423748260227158 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25609/stat : 25609 (java) S 25599 25602 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11355965 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589416298608 140589938018946 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25610] ppid=25599 vsize=13980036 memory=5787213827364966480 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25610/stat : 25610 (java) S 25599 25602 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11355966 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589415244576 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25611] ppid=25599 vsize=13980036 memory=7649399384214746418 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25611/stat : 25611 (java) S 25599 25602 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11355966 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589414192240 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25612] ppid=25599 vsize=13980036 memory=4294969504 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25612/stat : 25612 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355968 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589413140560 140589938026395 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25613] ppid=25599 vsize=13980036 memory=281275797732096 CPUtime=0.49 cores=0,2,4,6
/proc/25602/task/25613/stat : 25613 (java) R 25599 25602 2357 0 -1 4202560 3428 0 0 0 49 0 0 0 20 0 15 0 11355968 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589412074456 140589921472265 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25614] ppid=25599 vsize=13980036 memory=14132238623227078 CPUtime=0.41 cores=0,2,4,6
/proc/25602/task/25614/stat : 25614 (java) R 25599 25602 2357 0 -1 4202560 2876 0 0 0 41 0 0 0 20 0 15 0 11355968 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589411035648 140589919552476 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25615] ppid=25599 vsize=13980036 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/25602/task/25615/stat : 25615 (java) S 25599 25602 2357 0 -1 1077944384 1800 0 0 0 42 0 0 0 20 0 15 0 11355968 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589409983344 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25616] ppid=25599 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25616/stat : 25616 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355969 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589408930784 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25617] ppid=25599 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25617/stat : 25617 (java) S 25599 25602 2357 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 11355974 14315556864 31744 18446744073709551615 4194304 4196468 140735965039472 140589407877552 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 126976 KiB
[startup+1.30089 s]
/proc/loadavg: 2.67 2.28 2.14 6/209 25617
/proc/meminfo: memFree=19984520/32770624 swapFree=67108860/67108860
[pid=25602] ppid=25599 vsize=13980036 memory=138116 CPUtime=2.69 cores=0,2,4,6
/proc/25602/stat : 25602 (java) S 25599 25602 2357 0 -1 1077944320 23960 0 0 0 260 9 0 0 20 0 15 0 11355954 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140735965022016 140589938007799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
/proc/25602/statm: 3495009 34529 3753 1 0 3483783 0
[pid=25602/tid=25604] ppid=25599 vsize=13980036 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/25602/task/25604/stat : 25604 (java) R 25599 25602 2357 0 -1 4202560 13453 0 0 0 107 6 0 0 20 0 15 0 11355963 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589942243336 140589534981052 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25605] ppid=25599 vsize=13980036 memory=7452441904473860160 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25605/stat : 25605 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355964 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589857422224 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25606] ppid=25599 vsize=13980036 memory=87380 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25606/stat : 25606 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355964 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589856369424 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25607] ppid=25599 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25607/stat : 25607 (java) S 25599 25602 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355964 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589855317136 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25608] ppid=25599 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25608/stat : 25608 (java) S 25599 25602 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355964 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589854264336 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25609] ppid=25599 vsize=13980036 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25609/stat : 25609 (java) S 25599 25602 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11355965 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589416298608 140589938018946 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25610] ppid=25599 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25610/stat : 25610 (java) S 25599 25602 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11355966 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589415244576 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25611] ppid=25599 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25611/stat : 25611 (java) S 25599 25602 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11355966 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589414192240 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25612] ppid=25599 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25612/stat : 25612 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355968 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589413140560 140589938026395 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25613] ppid=25599 vsize=13980036 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/25602/task/25613/stat : 25613 (java) R 25599 25602 2357 0 -1 4202560 4034 0 0 0 59 0 0 0 20 0 15 0 11355968 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589412074456 140589930297253 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25614] ppid=25599 vsize=13980036 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/25602/task/25614/stat : 25614 (java) R 25599 25602 2357 0 -1 4202560 3281 0 0 0 51 0 0 0 20 0 15 0 11355968 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589411035648 140589919551888 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25615] ppid=25599 vsize=13980036 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/25602/task/25615/stat : 25615 (java) S 25599 25602 2357 0 -1 1077944384 1801 0 0 0 42 0 0 0 20 0 15 0 11355968 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589409983344 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25616] ppid=25599 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25616/stat : 25616 (java) S 25599 25602 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355969 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589408930784 140589938018005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
[pid=25602/tid=25617] ppid=25599 vsize=13980036 memory=-2605811476043407915 CPUtime=0 cores=0,2,4,6
/proc/25602/task/25617/stat : 25617 (java) S 25599 25602 2357 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 11355974 14315556864 34529 18446744073709551615 4194304 4196468 140735965039472 140589407877552 140589938018946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24092672 140735965045106 140735965045292 140735965045292 140735965048783 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 138116 KiB
Child status: 0
Real time (s): 1.37671
CPU time (s): 2.89413
CPU user time (s): 2.795
CPU system time (s): 0.099128
CPU usage (%): 210.221
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 138116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.795
system time used= 0.099128
maximum resident set size= 149544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25831
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= 2050
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 25602
# total CPU time (s): 2.89413
# total CPU user time (s): 2.795
# total CPU system time (s): 0.099128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033245 second user time and 0.054237 second system time
The end