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 (7364 MiB free)
memory of node 1: 16384 MiB (15508 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263256-1502611222/watcher-4263256-1502611222 -o /tmp/evaluation-result-4263256-1502611222/solver-4263256-1502611222 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502602071-18557 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263256-1502611222.xml
running on 4 cores: 1,3,5,7
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=20281, runsolver pid=20278
[startup+0.103321 s]*
/proc/loadavg: 4.93 4.08 2.99 6/207 20289
/proc/meminfo: memFree=23412104/32770624 swapFree=67108776/67108860
[pid=20281] ppid=20278 vsize=10151672 memory=19800 CPUtime=0.02 cores=1,3,5,7
/proc/20281/stat : 20281 (java) S 20278 20281 7084 0 -1 1077944320 3797 0 0 0 2 0 0 0 20 0 9 0 160774955 10395312128 4950 18446744073709551615 4194304 4196468 140723397622272 140723397604816 140440611737335 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
/proc/20281/statm: 2537918 4950 2109 1 0 2527415 0
[pid=20281/tid=20283] ppid=20278 vsize=10151672 memory=-6439968830534014599 CPUtime=0.02 cores=1,3,5,7
/proc/20281/task/20283/stat : 20283 (java) R 20278 20281 7084 0 -1 4202560 2437 0 0 0 2 0 0 0 20 0 9 0 160774962 10395312128 4950 18446744073709551615 4194304 4196468 140723397622272 140440615977080 140440611759261 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20284] ppid=20278 vsize=10151672 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20284/stat : 20284 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 160774963 10395312128 4950 18446744073709551615 4194304 4196468 140723397622272 140440542157840 140440611747541 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20285] ppid=20278 vsize=10151672 memory=140461779318400 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20285/stat : 20285 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 160774963 10395312128 4950 18446744073709551615 4194304 4196468 140723397622272 140440541105296 140440611747541 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20286] ppid=20278 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20286/stat : 20286 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 160774963 10395312128 4950 18446744073709551615 4194304 4196468 140723397622272 140440540052240 140440611747541 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20287] ppid=20278 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20287/stat : 20287 (java) S 20278 20281 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 160774963 10395312128 4950 18446744073709551615 4194304 4196468 140723397622272 140440538999696 140440611747541 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20288] ppid=20278 vsize=10151672 memory=140461779318400 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20288/stat : 20288 (java) S 20278 20281 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 160774964 10395312128 4950 18446744073709551615 4194304 4196468 140723397622272 140440107952368 140440611748482 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20289] ppid=20278 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20289/stat : 20289 (java) S 20278 20281 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 160774965 10395312128 4950 18446744073709551615 4194304 4196468 140723397622272 140440106898592 140440611747541 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20290] ppid=20278 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20290/stat : 20290 (java) S 20278 20281 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 160774965 10395312128 4950 18446744073709551615 4194304 4196468 140723397622272 140440105845552 140440611747541 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 19800 KiB
[startup+0.220184 s]*
/proc/loadavg: 4.93 4.08 2.99 6/214 20296
/proc/meminfo: memFree=23408188/32770624 swapFree=67108776/67108860
[pid=20281] ppid=20278 vsize=10551156 memory=26736 CPUtime=0.08 cores=1,3,5,7
/proc/20281/stat : 20281 (java) S 20278 20281 7084 0 -1 1077944320 4695 0 0 0 7 1 0 0 20 0 15 0 160774955 10804383744 6684 18446744073709551615 4194304 4196468 140723397622272 140723397604816 140440611737335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
/proc/20281/statm: 2637789 6684 2615 1 0 2627261 0
[pid=20281/tid=20283] ppid=20278 vsize=10551156 memory=8318255677412212789 CPUtime=0.05 cores=1,3,5,7
/proc/20281/task/20283/stat : 20283 (java) R 20278 20281 7084 0 -1 4202560 2789 0 0 0 5 0 0 0 20 0 15 0 160774962 10804383744 6684 18446744073709551615 4194304 4196468 140723397622272 140440615968896 140440611759261 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20284] ppid=20278 vsize=10551156 memory=329 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20284/stat : 20284 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160774963 10804383744 6684 18446744073709551615 4194304 4196468 140723397622272 140440542157840 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20285] ppid=20278 vsize=10551156 memory=288370837931030144 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20285/stat : 20285 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160774963 10804383744 6684 18446744073709551615 4194304 4196468 140723397622272 140440541105296 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20286] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20286/stat : 20286 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160774963 10804383744 6684 18446744073709551615 4194304 4196468 140723397622272 140440540052240 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20287] ppid=20278 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20287/stat : 20287 (java) S 20278 20281 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 160774963 10804383744 6684 18446744073709551615 4194304 4196468 140723397622272 140440538999696 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20288] ppid=20278 vsize=10551156 memory=140461779318400 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20288/stat : 20288 (java) S 20278 20281 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 160774964 10804383744 6684 18446744073709551615 4194304 4196468 140723397622272 140440107952368 140440611748482 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20289] ppid=20278 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20289/stat : 20289 (java) S 20278 20281 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 160774965 10804383744 6684 18446744073709551615 4194304 4196468 140723397622272 140440106898592 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20290] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20290/stat : 20290 (java) S 20278 20281 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 160774965 10804383744 6684 18446744073709551615 4194304 4196468 140723397622272 140440105845488 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20291] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20291/stat : 20291 (java) S 20278 20281 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 160774967 10804383744 6684 18446744073709551615 4194304 4196468 140723397622272 140440104794064 140440611755931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20292] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20292/stat : 20292 (java) S 20278 20281 7084 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 160774967 10804383744 6684 18446744073709551615 4194304 4196468 140723397622272 140440103742192 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20293] ppid=20278 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20293/stat : 20293 (java) S 20278 20281 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 160774967 10804383744 6749 18446744073709551615 4194304 4196468 140723397622272 140440102689648 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20294] ppid=20278 vsize=10551156 memory=140461779318400 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20294/stat : 20294 (java) S 20278 20281 7084 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 160774967 10804383744 6749 18446744073709551615 4194304 4196468 140723397622272 140440101636592 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20295] ppid=20278 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20295/stat : 20295 (java) S 20278 20281 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 160774968 10804383744 6749 18446744073709551615 4194304 4196468 140723397622272 140440100584288 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20296] ppid=20278 vsize=10551156 memory=140461779318400 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20296/stat : 20296 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160774975 10804383744 6751 18446744073709551615 4194304 4196468 140723397622272 140440099531312 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26736 KiB
[startup+0.318185 s]*
/proc/loadavg: 4.93 4.08 2.99 6/214 20296
/proc/meminfo: memFree=23396400/32770624 swapFree=67108776/67108860
[pid=20281] ppid=20278 vsize=10551156 memory=36496 CPUtime=0.23 cores=1,3,5,7
/proc/20281/stat : 20281 (java) S 20278 20281 7084 0 -1 1077944320 7928 0 0 0 21 2 0 0 20 0 15 0 160774955 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140723397604816 140440611737335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
/proc/20281/statm: 2637789 9124 2863 1 0 2627261 0
[pid=20281/tid=20283] ppid=20278 vsize=10551156 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/20281/task/20283/stat : 20283 (java) R 20278 20281 7084 0 -1 4202560 5602 0 0 0 14 1 0 0 20 0 15 0 160774962 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440615961536 140440611759261 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20284] ppid=20278 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20284/stat : 20284 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160774963 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440542157840 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20285] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20285/stat : 20285 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160774963 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440541105296 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20286] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20286/stat : 20286 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160774963 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440540052240 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20287] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20287/stat : 20287 (java) S 20278 20281 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 160774963 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440538999696 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20288] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20288/stat : 20288 (java) S 20278 20281 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 160774964 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440107952368 140440611748482 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20289] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20289/stat : 20289 (java) S 20278 20281 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 160774965 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440106898592 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20290] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20290/stat : 20290 (java) S 20278 20281 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 160774965 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440105845488 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20291] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20291/stat : 20291 (java) S 20278 20281 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 160774967 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440104794064 140440611755931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20292] ppid=20278 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20281/task/20292/stat : 20292 (java) S 20278 20281 7084 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 15 0 160774967 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440103742192 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20293] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20293/stat : 20293 (java) S 20278 20281 7084 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 160774967 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440102689648 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20294] ppid=20278 vsize=10551156 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/20281/task/20294/stat : 20294 (java) R 20278 20281 7084 0 -1 4202560 377 0 0 0 3 0 0 0 20 0 15 0 160774967 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440101636592 140440611758682 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20295] ppid=20278 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20295/stat : 20295 (java) S 20278 20281 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 160774968 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440100584288 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20296] ppid=20278 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20296/stat : 20296 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160774975 10804383744 9124 18446744073709551615 4194304 4196468 140723397622272 140440099531312 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36496 KiB
[startup+0.700693 s]
/proc/loadavg: 4.93 4.08 2.99 10/214 20296
/proc/meminfo: memFree=23384864/32770624 swapFree=67108776/67108860
[pid=20281] ppid=20278 vsize=10750924 memory=61124 CPUtime=1.22 cores=1,3,5,7
/proc/20281/stat : 20281 (java) S 20278 20281 7084 0 -1 1077944320 11585 0 0 0 118 4 0 0 20 0 16 0 160774955 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140723397604816 140440611737335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
/proc/20281/statm: 2687731 15281 3058 1 0 2677184 0
[pid=20281/tid=20283] ppid=20278 vsize=10750924 memory=1836 CPUtime=0.49 cores=1,3,5,7
/proc/20281/task/20283/stat : 20283 (java) S 20278 20281 7084 0 -1 1077944384 6957 0 0 0 47 2 0 0 20 0 16 0 160774962 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440615978016 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20284] ppid=20278 vsize=10750924 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20284/stat : 20284 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 160774963 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440542157840 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20285] ppid=20278 vsize=10750924 memory=2 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20285/stat : 20285 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 160774963 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440541105296 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20286] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20286/stat : 20286 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 160774963 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440540052240 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20287] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20287/stat : 20287 (java) S 20278 20281 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 160774963 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440538999696 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20288] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20288/stat : 20288 (java) S 20278 20281 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 160774964 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440107952368 140440611748482 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20289] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20289/stat : 20289 (java) S 20278 20281 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 160774965 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440106898592 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20290] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20290/stat : 20290 (java) S 20278 20281 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 160774965 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440105845488 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20291] ppid=20278 vsize=10750924 memory=40 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20291/stat : 20291 (java) S 20278 20281 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 160774967 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440104794064 140440611755931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20292] ppid=20278 vsize=10750924 memory=204 CPUtime=0.23 cores=1,3,5,7
/proc/20281/task/20292/stat : 20292 (java) S 20278 20281 7084 0 -1 1077944384 1188 0 0 0 23 0 0 0 20 0 16 0 160774967 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440103742192 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20293] ppid=20278 vsize=10750924 memory=140461671070753 CPUtime=0.25 cores=1,3,5,7
/proc/20281/task/20293/stat : 20293 (java) S 20278 20281 7084 0 -1 1077944384 894 0 0 0 25 0 0 0 20 0 16 0 160774967 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440102689648 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20294] ppid=20278 vsize=10750924 memory=288230600329142066 CPUtime=0.21 cores=1,3,5,7
/proc/20281/task/20294/stat : 20294 (java) S 20278 20281 7084 0 -1 1077944384 1108 0 0 0 20 1 0 0 20 0 16 0 160774967 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440101636592 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20295] ppid=20278 vsize=10750924 memory=13849655444265308 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20295/stat : 20295 (java) S 20278 20281 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 160774968 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440100584288 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20296] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20296/stat : 20296 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 160774975 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440099531312 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 61124 KiB
[startup+0.87171 s]
# the end of solver process 20281 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.19081 s, system=0.043452 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800889 s]
/proc/loadavg: 4.93 4.08 2.99 10/214 20296
/proc/meminfo: memFree=23384864/32770624 swapFree=67108776/67108860
[pid=20281] ppid=20278 vsize=10750924 memory=61124 CPUtime=1.22 cores=1,3,5,7
/proc/20281/stat : 20281 (java) S 20278 20281 7084 0 -1 1077944320 11585 0 0 0 118 4 0 0 20 0 16 0 160774955 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140723397604816 140440611737335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
/proc/20281/statm: 2687731 15281 3058 1 0 2677184 0
[pid=20281/tid=20283] ppid=20278 vsize=10750924 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/20281/task/20283/stat : 20283 (java) S 20278 20281 7084 0 -1 1077944384 6957 0 0 0 47 2 0 0 20 0 16 0 160774962 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440615978016 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20284] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20284/stat : 20284 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 160774963 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440542157840 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20285] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20285/stat : 20285 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 160774963 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440541105296 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20286] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20286/stat : 20286 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 160774963 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440540052240 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20287] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20287/stat : 20287 (java) S 20278 20281 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 160774963 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440538999696 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20288] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20288/stat : 20288 (java) S 20278 20281 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 160774964 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440107952368 140440611748482 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20289] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20289/stat : 20289 (java) S 20278 20281 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 160774965 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440106898592 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20290] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20290/stat : 20290 (java) S 20278 20281 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 160774965 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440105845488 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20291] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20291/stat : 20291 (java) S 20278 20281 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 160774967 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440104794064 140440611755931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20292] ppid=20278 vsize=10750924 memory=49232 CPUtime=0.23 cores=1,3,5,7
/proc/20281/task/20292/stat : 20292 (java) S 20278 20281 7084 0 -1 1077944384 1188 0 0 0 23 0 0 0 20 0 16 0 160774967 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440103742192 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20293] ppid=20278 vsize=10750924 memory=-8774313645642428999 CPUtime=0.25 cores=1,3,5,7
/proc/20281/task/20293/stat : 20293 (java) S 20278 20281 7084 0 -1 1077944384 894 0 0 0 25 0 0 0 20 0 16 0 160774967 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440102689648 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20294] ppid=20278 vsize=10750924 memory=4872558044660077418 CPUtime=0.21 cores=1,3,5,7
/proc/20281/task/20294/stat : 20294 (java) S 20278 20281 7084 0 -1 1077944384 1108 0 0 0 20 1 0 0 20 0 16 0 160774967 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440101636592 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20295] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20295/stat : 20295 (java) S 20278 20281 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 160774968 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440100584288 140440611747541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
[pid=20281/tid=20296] ppid=20278 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20281/task/20296/stat : 20296 (java) S 20278 20281 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 160774975 11008946176 15281 18446744073709551615 4194304 4196468 140723397622272 140440099531312 140440611748482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140723397624208 140723397624361 140723397624361 140723397627855 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 61124 KiB
Child status: 0
Real time (s): 0.87175
CPU time (s): 1.23426
CPU user time (s): 1.19081
CPU system time (s): 0.043452
CPU usage (%): 141.585
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 61124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.19081
system time used= 0.043452
maximum resident set size= 63564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11595
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= 1142
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 20281
# total CPU time (s): 1.23426
# total CPU user time (s): 1.19081
# total CPU system time (s): 0.043452
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031982 second user time and 0.04333 second system time
The end