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 (15262 MiB free)
memory of node 1: 16384 MiB (13536 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273785-1502749847/watcher-4273785-1502749847 -o /tmp/evaluation-result-4273785-1502749847/solver-4273785-1502749847 -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 510840111 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273785-1502749847.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=7714, runsolver pid=7711
[startup+0.100161 s]*
/proc/loadavg: 1.95 2.00 1.93 3/196 7716
/proc/meminfo: memFree=29486828/32770624 swapFree=67108860/67108860
[pid=7714] ppid=7711 vsize=13358552 memory=13348 CPUtime=0 cores=0,2,4,6
/proc/7714/stat : 7714 (java) S 7711 7714 2357 0 -1 1077944320 3147 0 0 0 0 0 0 0 20 0 6 0 2599791 13679157248 3337 18446744073709551615 4194304 4196468 140726564986880 140726564969424 140657611816695 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
/proc/7714/statm: 3339638 3337 1756 1 0 3329135 0
[pid=7714/tid=7716] ppid=7711 vsize=13358552 memory=-8035107114825123821 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7716/stat : 7716 (java) R 7711 7714 2357 0 -1 4202560 1862 0 0 0 0 0 0 0 20 0 6 0 2599801 13679157248 3337 18446744073709551615 4194304 4196468 140726564986880 140657616052816 140657572798061 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7717] ppid=7711 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7717/stat : 7717 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 2599801 13679157248 3337 18446744073709551615 4194304 4196468 140726564986880 140657568783248 140657611826901 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7718] ppid=7711 vsize=13358552 memory=140537690764928 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7718/stat : 7718 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 2599801 13679157248 3337 18446744073709551615 4194304 4196468 140726564986880 140657567730448 140657611826901 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7719] ppid=7711 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7719/stat : 7719 (java) S 7711 7714 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 2599801 13679157248 3337 18446744073709551615 4194304 4196468 140726564986880 140657566678160 140657611826901 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7720] ppid=7711 vsize=13358552 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7720/stat : 7720 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 2599801 13679157248 3403 18446744073709551615 4194304 4196468 140726564986880 140657565625360 140657611826901 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 13348 KiB
[startup+0.209947 s]*
/proc/loadavg: 1.95 2.00 1.93 3/209 7729
/proc/meminfo: memFree=29475644/32770624 swapFree=67108860/67108860
[pid=7714] ppid=7711 vsize=13975920 memory=30280 CPUtime=0.08 cores=0,2,4,6
/proc/7714/stat : 7714 (java) S 7711 7714 2357 0 -1 1077944320 6892 0 0 0 7 1 0 0 20 0 15 0 2599791 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140726564969424 140657611816695 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
/proc/7714/statm: 3493980 7570 3349 1 0 3482759 0
[pid=7714/tid=7716] ppid=7711 vsize=13975920 memory=7078076838863583850 CPUtime=0.07 cores=0,2,4,6
/proc/7714/task/7716/stat : 7716 (java) R 7711 7714 2357 0 -1 4202560 4922 0 0 0 6 1 0 0 20 0 15 0 2599801 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657616046072 140657611838621 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7717] ppid=7711 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7717/stat : 7717 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599801 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657568783248 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7718] ppid=7711 vsize=13975920 memory=140537690764928 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7718/stat : 7718 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599801 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657567730448 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7719] ppid=7711 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7719/stat : 7719 (java) S 7711 7714 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 2599801 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657566678160 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7720] ppid=7711 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7720/stat : 7720 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599801 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657565625360 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7721] ppid=7711 vsize=13975920 memory=140537690764928 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7721/stat : 7721 (java) S 7711 7714 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 2599803 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657090877552 140657611827842 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7722] ppid=7711 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7722/stat : 7722 (java) S 7711 7714 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 2599803 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657089823520 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7723] ppid=7711 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7723/stat : 7723 (java) S 7711 7714 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 2599803 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657088771184 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7724] ppid=7711 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7724/stat : 7724 (java) S 7711 7714 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2599806 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657087719504 140657611835291 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7725] ppid=7711 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7725/stat : 7725 (java) S 7711 7714 2357 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 2599806 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657086667376 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7726] ppid=7711 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7726/stat : 7726 (java) S 7711 7714 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2599806 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657085614576 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7727] ppid=7711 vsize=13975920 memory=140537690764928 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7727/stat : 7727 (java) S 7711 7714 2357 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 15 0 2599806 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657084562288 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7728] ppid=7711 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7728/stat : 7728 (java) S 7711 7714 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2599806 14311342080 7570 18446744073709551615 4194304 4196468 140726564986880 140657083509728 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7729] ppid=7711 vsize=13975920 memory=140537690764928 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7729/stat : 7729 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599810 14311342080 7634 18446744073709551615 4194304 4196468 140726564986880 140657082456496 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30280 KiB
[startup+0.310119 s]*
/proc/loadavg: 1.95 2.00 1.93 3/209 7729
/proc/meminfo: memFree=29463536/32770624 swapFree=67108860/67108860
[pid=7714] ppid=7711 vsize=13975920 memory=39560 CPUtime=0.24 cores=0,2,4,6
/proc/7714/stat : 7714 (java) S 7711 7714 2357 0 -1 1077944320 10176 0 0 0 21 3 0 0 20 0 15 0 2599791 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140726564969424 140657611816695 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
/proc/7714/statm: 3493980 9890 3518 1 0 3482759 0
[pid=7714/tid=7716] ppid=7711 vsize=13975920 memory=7680170660397595203 CPUtime=0.17 cores=0,2,4,6
/proc/7714/task/7716/stat : 7716 (java) R 7711 7714 2357 0 -1 4202560 7908 0 0 0 14 3 0 0 20 0 15 0 2599801 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657616024848 140657595897182 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7717] ppid=7711 vsize=13975920 memory=7078076838863583850 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7717/stat : 7717 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599801 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657568783248 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7718] ppid=7711 vsize=13975920 memory=140537690771921 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7718/stat : 7718 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599801 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657567730448 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7719] ppid=7711 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7719/stat : 7719 (java) S 7711 7714 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 2599801 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657566678160 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7720] ppid=7711 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7720/stat : 7720 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599801 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657565625360 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7721] ppid=7711 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7721/stat : 7721 (java) S 7711 7714 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 2599803 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657090877552 140657611827842 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7722] ppid=7711 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7722/stat : 7722 (java) S 7711 7714 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 2599803 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657089823520 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7723] ppid=7711 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7723/stat : 7723 (java) S 7711 7714 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 2599803 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657088771184 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7724] ppid=7711 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7724/stat : 7724 (java) S 7711 7714 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2599806 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657087719504 140657611835291 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7725] ppid=7711 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7714/task/7725/stat : 7725 (java) S 7711 7714 2357 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 15 0 2599806 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657086667376 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7726] ppid=7711 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7714/task/7726/stat : 7726 (java) S 7711 7714 2357 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 15 0 2599806 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657085614576 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7727] ppid=7711 vsize=13975920 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7714/task/7727/stat : 7727 (java) S 7711 7714 2357 0 -1 1077944384 372 0 0 0 4 0 0 0 20 0 15 0 2599806 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657084562288 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7728] ppid=7711 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7728/stat : 7728 (java) S 7711 7714 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2599806 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657083509728 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7729] ppid=7711 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7729/stat : 7729 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599810 14311342080 9890 18446744073709551615 4194304 4196468 140726564986880 140657082456496 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39560 KiB
[startup+0.700683 s]
/proc/loadavg: 1.95 2.00 1.93 3/209 7729
/proc/meminfo: memFree=29450860/32770624 swapFree=67108860/67108860
[pid=7714] ppid=7711 vsize=13977988 memory=68820 CPUtime=0.92 cores=0,2,4,6
/proc/7714/stat : 7714 (java) S 7711 7714 2357 0 -1 1077944320 13988 0 0 0 86 6 0 0 20 0 15 0 2599791 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140726564969424 140657611816695 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
/proc/7714/statm: 3494497 17205 3727 1 0 3483271 0
[pid=7714/tid=7716] ppid=7711 vsize=13977988 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/7714/task/7716/stat : 7716 (java) R 7711 7714 2357 0 -1 4202560 10716 0 0 0 50 4 0 0 20 0 15 0 2599801 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657616052624 140657243011030 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7717] ppid=7711 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7717/stat : 7717 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599801 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657568783248 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7718] ppid=7711 vsize=13977988 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7718/stat : 7718 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599801 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657567730448 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7719] ppid=7711 vsize=13977988 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7719/stat : 7719 (java) S 7711 7714 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 2599801 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657566678160 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7720] ppid=7711 vsize=13977988 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7720/stat : 7720 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599801 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657565625360 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7721] ppid=7711 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7721/stat : 7721 (java) S 7711 7714 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 2599803 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657090877552 140657611827842 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7722] ppid=7711 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7722/stat : 7722 (java) S 7711 7714 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 2599803 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657089823520 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7723] ppid=7711 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7723/stat : 7723 (java) S 7711 7714 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 2599803 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657088771184 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7724] ppid=7711 vsize=13977988 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7724/stat : 7724 (java) S 7711 7714 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2599806 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657087719504 140657611835291 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7725] ppid=7711 vsize=13977988 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7714/task/7725/stat : 7725 (java) S 7711 7714 2357 0 -1 1077944384 705 0 0 0 9 0 0 0 20 0 15 0 2599806 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657086667376 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7726] ppid=7711 vsize=13977988 memory=734659835863591011 CPUtime=0.1 cores=0,2,4,6
/proc/7714/task/7726/stat : 7726 (java) S 7711 7714 2357 0 -1 1077944384 556 0 0 0 10 0 0 0 20 0 15 0 2599806 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657085614576 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7727] ppid=7711 vsize=13977988 memory=6944656592455097440 CPUtime=0.15 cores=0,2,4,6
/proc/7714/task/7727/stat : 7727 (java) R 7711 7714 2357 0 -1 1077944384 629 0 0 0 15 0 0 0 20 0 15 0 2599806 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657084562288 140657611827842 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7728] ppid=7711 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7728/stat : 7728 (java) S 7711 7714 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2599806 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657083509728 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7729] ppid=7711 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7729/stat : 7729 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599810 14313459712 17205 18446744073709551615 4194304 4196468 140726564986880 140657082456496 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68820 KiB
[startup+0.814121 s]
# the end of solver process 7714 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.01493 s, system=0.072717 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800871 s]
/proc/loadavg: 1.95 2.00 1.93 3/209 7729
/proc/meminfo: memFree=29450860/32770624 swapFree=67108860/67108860
[pid=7714] ppid=7711 vsize=13980036 memory=77652 CPUtime=1.05 cores=0,2,4,6
/proc/7714/stat : 7714 (java) S 7711 7714 2357 0 -1 1077944320 14624 0 0 0 99 6 0 0 20 0 15 0 2599791 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140726564969424 140657611816695 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
/proc/7714/statm: 3495009 19413 3728 1 0 3483783 0
[pid=7714/tid=7716] ppid=7711 vsize=13980036 memory=140537571081584 CPUtime=0.65 cores=0,2,4,6
/proc/7714/task/7716/stat : 7716 (java) R 7711 7714 2357 0 -1 4202560 11314 0 0 0 60 5 0 0 20 0 15 0 2599801 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657616053216 140657611828630 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7717] ppid=7711 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7717/stat : 7717 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599801 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657568783248 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7718] ppid=7711 vsize=13980036 memory=-8970745359494625598 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7718/stat : 7718 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599801 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657567730448 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7719] ppid=7711 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7719/stat : 7719 (java) S 7711 7714 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 2599801 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657566678160 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7720] ppid=7711 vsize=13980036 memory=2760 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7720/stat : 7720 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599801 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657565625360 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7721] ppid=7711 vsize=13980036 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7721/stat : 7721 (java) S 7711 7714 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 2599803 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657090877552 140657611827842 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7722] ppid=7711 vsize=13980036 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7722/stat : 7722 (java) S 7711 7714 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 2599803 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657089823520 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7723] ppid=7711 vsize=13980036 memory=3180 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7723/stat : 7723 (java) S 7711 7714 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 2599803 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657088771184 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7724] ppid=7711 vsize=13980036 memory=2161816 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7724/stat : 7724 (java) S 7711 7714 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2599806 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657087719504 140657611835291 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7725] ppid=7711 vsize=13980036 memory=1152 CPUtime=0.1 cores=0,2,4,6
/proc/7714/task/7725/stat : 7725 (java) S 7711 7714 2357 0 -1 1077944384 709 0 0 0 10 0 0 0 20 0 15 0 2599806 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657086667376 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7726] ppid=7711 vsize=13980036 memory=2368 CPUtime=0.11 cores=0,2,4,6
/proc/7714/task/7726/stat : 7726 (java) S 7711 7714 2357 0 -1 1077944384 567 0 0 0 11 0 0 0 20 0 15 0 2599806 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657085614576 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7727] ppid=7711 vsize=13980036 memory=56316 CPUtime=0.17 cores=0,2,4,6
/proc/7714/task/7727/stat : 7727 (java) R 7711 7714 2357 0 -1 4202560 653 0 0 0 17 0 0 0 20 0 15 0 2599806 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657084562288 140657611828630 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7728] ppid=7711 vsize=13980036 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7728/stat : 7728 (java) S 7711 7714 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 2599806 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657083509728 140657611826901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
[pid=7714/tid=7729] ppid=7711 vsize=13980036 memory=4064 CPUtime=0 cores=0,2,4,6
/proc/7714/task/7729/stat : 7729 (java) S 7711 7714 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 2599810 14315556864 19413 18446744073709551615 4194304 4196468 140726564986880 140657082456496 140657611827842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13148160 140726564995442 140726564995628 140726564995628 140726564999119 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 77652 KiB
Child status: 0
Real time (s): 0.814173
CPU time (s): 1.08765
CPU user time (s): 1.01493
CPU system time (s): 0.072717
CPU usage (%): 133.589
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 77652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.01493
system time used= 0.072717
maximum resident set size= 80784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14740
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= 1342
involuntary context switches= 2
# summary of solver processes directly reported to runsolver:
# pid: 7714
# total CPU time (s): 1.08765
# total CPU user time (s): 1.01493
# total CPU system time (s): 0.072717
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030391 second user time and 0.042548 second system time
The end