runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3701694-1338125318/watcher-3701694-1338125318 -o /tmp/evaluation-result-3701694-1338125318/solver-3701694-1338125318 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701694-1338125318.opb 1508953690 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 24110
/proc/meminfo: memFree=26998828/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (runsolver) D 24108 24110 23788 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 278657345 12095488 52 33554432000 4194304 5436572 140735136112624 140735136108920 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 2953 52 31 304 0 2645 0
[startup+0.0587531 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 24110
/proc/meminfo: memFree=26998828/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (runsolver) D 24108 24110 23788 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 278657345 12095488 52 33554432000 4194304 5436572 140735136112624 140735136108920 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/24110/statm: 2953 52 31 304 0 2645 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11812
[startup+0.100265 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 24110
/proc/meminfo: memFree=26998828/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300182 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 24110
/proc/meminfo: memFree=26998828/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 24110
/proc/meminfo: memFree=26998828/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 24112
/proc/meminfo: memFree=26992656/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=13548 CPUtime=1.42 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) R 24110 24110 23788 0 -1 4202496 2827 0 0 0 142 0 0 0 20 0 1 0 278657352 13873152 2329 33554432000 4194304 5992684 140736563285792 140736563281912 4767646 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24112/statm: 3387 2329 146 440 0 2943 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 22696
[startup+3.10029 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 24112
/proc/meminfo: memFree=26985132/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=49772 CPUtime=3.02 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) R 24110 24110 23788 0 -1 4202496 10267 0 0 0 301 1 0 0 20 0 1 0 278657352 50966528 10787 33554432000 4194304 5992684 140736563285792 140736563281912 4955973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24112/statm: 12443 10787 158 440 0 11999 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 58920
[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 24112
/proc/meminfo: memFree=26734088/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=372752 CPUtime=6.23 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) R 24110 24110 23788 0 -1 4202496 32009 0 0 0 611 12 0 0 20 0 1 0 278657352 381698048 84020 33554432000 4194304 5992684 140736563285792 140736563280760 4523502 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24112/statm: 93188 84020 167 440 0 92744 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 381900
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 24114
/proc/meminfo: memFree=25390228/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=372752 CPUtime=7 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 32736 0 0 0 650 50 0 0 20 0 1 0 278657352 381698048 91238 33554432000 4194304 5992684 140736563285792 140736563279824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24112/statm: 93188 91238 174 440 0 92744 0
[pid=24113] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24113/stat : 24113 (cp2_pre.sh) S 24112 24110 23788 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278658053 9367552 276 33554432000 4194304 5064252 140736316269392 140736316268096 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24113/statm: 2287 276 234 213 0 72 0
[pid=24114] ppid=24113 vsize=1178176 CPUtime=5.61 cores=0,2,4,6
/proc/24114/stat : 24114 (coprocessor) R 24113 24110 23788 0 -1 4202496 81141 0 0 0 534 27 0 0 20 0 1 0 278658053 1206452224 259755 33554432000 4194304 6586260 140734861135712 140734861131976 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/24114/statm: 294544 259755 164 584 0 293956 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 1569224
[startup+25.5004 s]
/proc/loadavg: 2.09 2.02 2.01 3/183 24117
/proc/meminfo: memFree=26117664/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=372752 CPUtime=24 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 32745 121953 0 0 650 50 1631 69 20 0 1 0 278657352 381698048 91238 33554432000 4194304 5992684 140736563285792 140736563280912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24112/statm: 93188 91238 174 440 0 92744 0
[pid=24116] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24116/stat : 24116 (satsolver.sh) S 24112 24110 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278659768 9367552 266 33554432000 4194304 5064252 140734450780912 140734450779824 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24116/statm: 2287 266 226 213 0 72 0
[pid=24117] ppid=24116 vsize=496040 CPUtime=1.26 cores=0,2,4,6
/proc/24117/stat : 24117 (glucose) R 24116 24110 23788 0 -1 4202496 69116 0 0 0 110 16 0 0 20 0 1 0 278659768 507944960 113789 33554432000 4194304 5208918 140733680984640 140733679934040 4465602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24117/statm: 124010 113790 70 248 0 123759 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 887088
[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 24118
/proc/meminfo: memFree=25962016/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=372752 CPUtime=24 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 32745 121953 0 0 650 50 1631 69 20 0 1 0 278657352 381698048 91238 33554432000 4194304 5992684 140736563285792 140736563280912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24112/statm: 93188 91238 174 440 0 92744 0
[pid=24116] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24116/stat : 24116 (satsolver.sh) S 24112 24110 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278659768 9367552 266 33554432000 4194304 5064252 140734450780912 140734450779824 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24116/statm: 2287 266 226 213 0 72 0
[pid=24117] ppid=24116 vsize=615212 CPUtime=26.85 cores=0,2,4,6
/proc/24117/stat : 24117 (glucose) R 24116 24110 23788 0 -1 4202496 88639 0 0 0 2665 20 0 0 20 0 1 0 278659768 629977088 134909 33554432000 4194304 5208918 140733680984640 140733680982488 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24117/statm: 153803 134909 103 248 0 153552 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 1006260
[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 24166
/proc/meminfo: memFree=26461756/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=372752 CPUtime=24 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 32745 121953 0 0 650 50 1631 69 20 0 1 0 278657352 381698048 91238 33554432000 4194304 5992684 140736563285792 140736563280912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24112/statm: 93188 91238 174 440 0 92744 0
[pid=24116] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24116/stat : 24116 (satsolver.sh) S 24112 24110 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278659768 9367552 266 33554432000 4194304 5064252 140734450780912 140734450779824 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24116/statm: 2287 266 226 213 0 72 0
[pid=24117] ppid=24116 vsize=615212 CPUtime=78.06 cores=0,2,4,6
/proc/24117/stat : 24117 (glucose) R 24116 24110 23788 0 -1 4202496 88646 0 0 0 7784 22 0 0 20 0 1 0 278659768 629977088 135427 33554432000 4194304 5208918 140733680984640 140733680982488 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24117/statm: 153803 135427 103 248 0 153552 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 1006260
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 24173
/proc/meminfo: memFree=26291984/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=394476 CPUtime=136.74 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 51426 220791 0 0 910 722 11918 124 20 0 1 0 278657352 403943424 96656 33554432000 4194304 5992684 140736563285792 140736563278112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/24112/statm: 98619 96656 183 440 0 98175 0
[pid=24172] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24172/stat : 24172 (satsolver.sh) S 24112 24110 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278671060 9367552 267 33554432000 4194304 5064252 140736167535792 140736167534704 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24172/statm: 2287 267 226 213 0 72 0
[pid=24173] ppid=24172 vsize=625736 CPUtime=25.13 cores=0,2,4,6
/proc/24173/stat : 24173 (glucose) R 24172 24110 23788 0 -1 4202496 87711 0 0 0 2492 21 0 0 20 0 1 0 278671060 640753664 138453 33554432000 4194304 5208918 140733793902000 140733793899832 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24173/statm: 156434 138453 103 248 0 156183 0
Current children cumulated CPU time (s) 161.87
Current children cumulated vsize (KiB) 1038508
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24173
/proc/meminfo: memFree=26275108/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=394476 CPUtime=136.74 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 51426 220791 0 0 910 722 11918 124 20 0 1 0 278657352 403943424 96656 33554432000 4194304 5992684 140736563285792 140736563278112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/24112/statm: 98619 96656 183 440 0 98175 0
[pid=24172] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/24173/stat : 24173 (glucose) R 24172 24110 23788 0 -1 4202496 106914 0 0 0 128418 75 0 0 20 0 1 0 278671060 742981632 154239 33554432000 4194304 5208918 140733793902000 140733793898376 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24173/statm: 181392 154239 105 248 0 181141 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 1138340
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 24183
/proc/meminfo: memFree=26155376/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=394476 CPUtime=136.74 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 51426 220791 0 0 910 722 11918 124 20 0 1 0 278657352 403943424 96656 33554432000 4194304 5992684 140736563285792 140736563278112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/24112/statm: 98619 96656 183 440 0 98175 0
[pid=24172] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24172/stat : 24172 (satsolver.sh) S 24112 24110 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278671060 9367552 267 33554432000 4194304 5064252 140736167535792 140736167534704 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24172/statm: 2287 267 226 213 0 72 0
[pid=24173] ppid=24172 vsize=726520 CPUtime=1344.92 cores=0,2,4,6
/proc/24173/stat : 24173 (glucose) R 24172 24110 23788 0 -1 4202496 107157 0 0 0 134416 76 0 0 20 0 1 0 278671060 743956480 163680 33554432000 4194304 5208918 140733793902000 140733793898376 4205148 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24173/statm: 181630 163680 105 248 0 181379 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 1139292
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 24183
/proc/meminfo: memFree=26162836/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=394476 CPUtime=136.74 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 51426 220791 0 0 910 722 11918 124 20 0 1 0 278657352 403943424 96656 33554432000 4194304 5992684 140736563285792 140736563278112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/24112/statm: 98619 96656 183 440 0 98175 0
[pid=24172] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24172/stat : 24172 (satsolver.sh) S 24112 24110 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278671060 9367552 267 33554432000 4194304 5064252 140736167535792 140736167534704 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24172/statm: 2287 267 226 213 0 72 0
[pid=24173] ppid=24172 vsize=726928 CPUtime=1404.91 cores=0,2,4,6
/proc/24173/stat : 24173 (glucose) R 24172 24110 23788 0 -1 4202496 108562 0 0 0 140411 80 0 0 20 0 1 0 278671060 744374272 159697 33554432000 4194304 5208918 140733793902000 140733793899848 4211901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24173/statm: 181732 159697 105 248 0 181481 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 1139700
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24184
/proc/meminfo: memFree=26172936/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=394476 CPUtime=136.74 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 51426 220791 0 0 910 722 11918 124 20 0 1 0 278657352 403943424 96656 33554432000 4194304 5992684 140736563285792 140736563278112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/24112/statm: 98619 96656 183 440 0 98175 0
[pid=24172] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24172/stat : 24172 (satsolver.sh) S 24112 24110 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278671060 9367552 267 33554432000 4194304 5064252 140736167535792 140736167534704 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24172/statm: 2287 267 226 213 0 72 0
[pid=24173] ppid=24172 vsize=727328 CPUtime=1464.9 cores=0,2,4,6
/proc/24173/stat : 24173 (glucose) R 24172 24110 23788 0 -1 4202496 108689 0 0 0 146410 80 0 0 20 0 1 0 278671060 744783872 165445 33554432000 4194304 5208918 140733793902000 140733793898376 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24173/statm: 181832 165445 105 248 0 181581 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 1140100
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24184
/proc/meminfo: memFree=26189844/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=394476 CPUtime=136.74 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 51426 220791 0 0 910 722 11918 124 20 0 1 0 278657352 403943424 96656 33554432000 4194304 5992684 140736563285792 140736563278112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/24112/statm: 98619 96656 183 440 0 98175 0
[pid=24172] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24172/stat : 24172 (satsolver.sh) S 24112 24110 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278671060 9367552 267 33554432000 4194304 5064252 140736167535792 140736167534704 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24172/statm: 2287 267 226 213 0 72 0
[pid=24173] ppid=24172 vsize=728024 CPUtime=1524.89 cores=0,2,4,6
/proc/24173/stat : 24173 (glucose) R 24172 24110 23788 0 -1 4202496 109266 0 0 0 152406 83 0 0 20 0 1 0 278671060 745496576 159147 33554432000 4194304 5208918 140733793902000 140733793898376 4229717 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24173/statm: 182006 159147 105 248 0 181755 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1140796
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24184
/proc/meminfo: memFree=26202572/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=394476 CPUtime=136.74 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 51426 220791 0 0 910 722 11918 124 20 0 1 0 278657352 403943424 96656 33554432000 4194304 5992684 140736563285792 140736563278112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/24112/statm: 98619 96656 183 440 0 98175 0
[pid=24172] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24172/stat : 24172 (satsolver.sh) S 24112 24110 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278671060 9367552 267 33554432000 4194304 5064252 140736167535792 140736167534704 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24172/statm: 2287 267 226 213 0 72 0
[pid=24173] ppid=24172 vsize=729364 CPUtime=1584.88 cores=0,2,4,6
/proc/24173/stat : 24173 (glucose) R 24172 24110 23788 0 -1 4202496 110055 0 0 0 158401 87 0 0 20 0 1 0 278671060 746868736 154419 33554432000 4194304 5208918 140733793902000 140733793900088 4213614 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24173/statm: 182341 154419 105 248 0 182090 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 1142136
[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 24191
/proc/meminfo: memFree=26059304/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=394476 CPUtime=136.74 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 51426 220791 0 0 910 722 11918 124 20 0 1 0 278657352 403943424 96656 33554432000 4194304 5992684 140736563285792 140736563278112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/24112/statm: 98619 96656 183 440 0 98175 0
[pid=24172] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24172/stat : 24172 (satsolver.sh) S 24112 24110 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278671060 9367552 267 33554432000 4194304 5064252 140736167535792 140736167534704 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24172/statm: 2287 267 226 213 0 72 0
[pid=24173] ppid=24172 vsize=729764 CPUtime=1644.87 cores=0,2,4,6
/proc/24173/stat : 24173 (glucose) R 24172 24110 23788 0 -1 4202496 110153 0 0 0 164399 88 0 0 20 0 1 0 278671060 747278336 163204 33554432000 4194304 5208918 140733793902000 140733793899752 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24173/statm: 182441 163204 105 248 0 182190 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 1142536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 24191
/proc/meminfo: memFree=26047020/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=394476 CPUtime=136.74 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 51426 220791 0 0 910 722 11918 124 20 0 1 0 278657352 403943424 96656 33554432000 4194304 5992684 140736563285792 140736563278112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/24112/statm: 98619 96656 183 440 0 98175 0
[pid=24172] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24172/stat : 24172 (satsolver.sh) S 24112 24110 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278671060 9367552 267 33554432000 4194304 5064252 140736167535792 140736167534704 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24172/statm: 2287 267 226 213 0 72 0
[pid=24173] ppid=24172 vsize=730040 CPUtime=1663.28 cores=0,2,4,6
/proc/24173/stat : 24173 (glucose) R 24172 24110 23788 0 -1 4202496 110242 0 0 0 166240 88 0 0 20 0 1 0 278671060 747560960 165848 33554432000 4194304 5208918 140733793902000 140733793899848 4229552 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24173/statm: 182510 165848 105 248 0 182259 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1142812
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 24191
/proc/meminfo: memFree=26047020/32873648 swapFree=7104/7104
[pid=24110] ppid=24108 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24110/stat : 24110 (npSolver-pbo.sh) S 24108 24110 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278657345 9367552 275 33554432000 4194304 5064252 140737203551904 140737203550816 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/24110/statm: 2287 275 233 213 0 72 0
[pid=24112] ppid=24110 vsize=394476 CPUtime=136.74 cores=0,2,4,6
/proc/24112/stat : 24112 (npSolver-pbo) S 24110 24110 23788 0 -1 4202496 51426 220791 0 0 910 722 11918 124 20 0 1 0 278657352 403943424 96656 33554432000 4194304 5992684 140736563285792 140736563278112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/24112/statm: 98619 96656 183 440 0 98175 0
[pid=24172] ppid=24112 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24172/stat : 24172 (satsolver.sh) S 24112 24110 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278671060 9367552 267 33554432000 4194304 5064252 140736167535792 140736167534704 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24172/statm: 2287 267 226 213 0 72 0
[pid=24173] ppid=24172 vsize=730040 CPUtime=1663.28 cores=0,2,4,6
/proc/24173/stat : 24173 (glucose) R 24172 24110 23788 0 -1 4202496 110242 0 0 0 166240 88 0 0 20 0 1 0 278671060 747560960 165848 33554432000 4194304 5208918 140733793902000 140733793899848 4229552 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24173/statm: 182510 165848 105 248 0 182259 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1142812
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24110 and gives
# childrusage.ru_utime.tv_sec=128
# childrusage.ru_utime.tv_usec=287497
# childrusage.ru_stime.tv_sec=8
# childrusage.ru_stime.tv_usec=486709
# CPU time returned by wait4() is 136.774
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.73
CPU time (s): 1800.02
CPU user time (s): 1790.68
CPU system time (s): 9.34
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (KiB): 1919536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 128.287
system time used= 8.48671
maximum resident set size= 1476636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273184
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1282736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3926
involuntary context switches= 260
runsolver used 3.2545 second user time and 8.67768 second system time
The end