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-3752786-1339212775/watcher-3752786-1339212775 -o /tmp/evaluation-result-3752786-1339212775/solver-3752786-1339212775 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752786-1339212775.wbo 1974593621 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: 2.00 2.00 1.95 3/178 11872
/proc/meminfo: memFree=31477892/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[startup+0.0518491 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11872
/proc/meminfo: memFree=31477892/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100321 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11872
/proc/meminfo: memFree=31477892/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300267 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11872
/proc/meminfo: memFree=31477892/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11872
/proc/meminfo: memFree=31477892/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 11878
/proc/meminfo: memFree=31363088/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=30476 CPUtime=0.49 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 7966 0 0 0 36 13 0 0 20 0 1 0 387402382 31207424 6903 33554432000 4194304 6006132 140736155360960 140736155354064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11873/statm: 7619 6903 156 443 0 7172 0
[pid=11877] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11877/stat : 11877 (cp2_pre.sh) S 11873 11872 8864 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 387402432 9367552 276 33554432000 4194304 5064252 140733679547072 140733679545776 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11877/statm: 2287 276 234 213 0 72 0
[pid=11878] ppid=11877 vsize=46288 CPUtime=0.98 cores=0,2,4,6
/proc/11878/stat : 11878 (coprocessor) R 11877 11872 8864 0 -1 4202496 9460 0 0 0 97 1 0 0 20 0 1 0 387402432 47398912 10920 33554432000 4194304 6586260 140733252997904 140733252993496 5599209 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/11878/statm: 11572 10920 190 584 0 10984 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 95060
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 1.95 3/182 11886
/proc/meminfo: memFree=31382684/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=132524 CPUtime=3.07 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) R 11872 11872 8864 0 -1 4202496 30736 30722 0 0 84 22 194 7 20 0 1 0 387402382 135704576 32129 33554432000 4194304 6006132 140736155360960 140736155353736 4581106 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11873/statm: 33131 32129 192 443 0 32684 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 141672
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 11908
/proc/meminfo: memFree=30884728/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=378284 CPUtime=6.27 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) R 11872 11872 8864 0 -1 4202496 33009 30722 0 0 397 29 194 7 20 0 1 0 387402382 387362816 90492 33554432000 4194304 6006132 140736155360960 140736155353656 4583817 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11873/statm: 94571 90492 192 443 0 94124 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 387432
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 1.96 3/180 11908
/proc/meminfo: memFree=29912544/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1164716 CPUtime=12.67 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) R 11872 11872 8864 0 -1 4202496 34648 30722 0 0 1020 46 194 7 20 0 1 0 387402382 1192669184 209788 33554432000 4194304 6006132 140736155360960 140736155353304 4580462 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11873/statm: 291179 209788 192 443 0 290732 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1173864
[startup+25.5004 s]
/proc/loadavg: 2.14 2.03 1.96 3/184 11912
/proc/meminfo: memFree=25251184/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (satsolver.sh) S 11873 11872 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387403803 9367552 266 33554432000 4194304 5064252 140735348932432 140735348931344 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11909/statm: 2287 266 226 213 0 72 0
[pid=11910] ppid=11909 vsize=1742328 CPUtime=11.28 cores=0,2,4,6
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 206707 0 0 0 1056 72 0 0 20 0 1 0 387403803 1784143872 382953 33554432000 4194304 5208918 140733679323728 140733679321576 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 435582 382953 104 248 0 435331 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 2843776
[startup+51.1004 s]
/proc/loadavg: 2.38 2.10 1.99 3/183 11912
/proc/meminfo: memFree=25349016/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (satsolver.sh) S 11873 11872 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387403803 9367552 266 33554432000 4194304 5064252 140735348932432 140735348931344 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11909/statm: 2287 266 226 213 0 72 0
[pid=11910] ppid=11909 vsize=1968516 CPUtime=36.88 cores=0,2,4,6
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 209953 0 0 0 3612 76 0 0 20 0 1 0 387403803 2015760384 389248 33554432000 4194304 5208918 140733679323728 140733679321576 4211156 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 492129 389248 105 248 0 491878 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 3069964
[startup+102.3 s]
/proc/loadavg: 2.16 2.09 1.99 3/183 11912
/proc/meminfo: memFree=25251096/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (satsolver.sh) S 11873 11872 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387403803 9367552 266 33554432000 4194304 5064252 140735348932432 140735348931344 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11909/statm: 2287 266 226 213 0 72 0
[pid=11910] ppid=11909 vsize=1996692 CPUtime=88.07 cores=0,2,4,6
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 217802 0 0 0 8729 78 0 0 20 0 1 0 387403803 2044612608 400658 33554432000 4194304 5208918 140733679323728 140733679321576 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 499173 400658 105 248 0 498922 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 3098140
[startup+162.3 s]
/proc/loadavg: 2.06 2.07 1.99 3/183 11912
/proc/meminfo: memFree=25251096/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (satsolver.sh) S 11873 11872 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387403803 9367552 266 33554432000 4194304 5064252 140735348932432 140735348931344 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11909/statm: 2287 266 226 213 0 72 0
[pid=11910] ppid=11909 vsize=1996692 CPUtime=148.06 cores=0,2,4,6
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 217802 0 0 0 14728 78 0 0 20 0 1 0 387403803 2044612608 400658 33554432000 4194304 5208918 140733679323728 140733679321576 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 499173 400658 105 248 0 498922 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 3098140
[startup+222.3 s]
/proc/loadavg: 2.02 2.05 1.99 3/183 11913
/proc/meminfo: memFree=25251096/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 218099 0 0 0 134710 78 0 0 20 0 1 0 387403803 2046164992 401466 33554432000 4194304 5208918 140733679323728 140733679321688 4229335 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 499552 401466 105 248 0 499301 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 3099656
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 11923
/proc/meminfo: memFree=25183300/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (satsolver.sh) S 11873 11872 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387403803 9367552 266 33554432000 4194304 5064252 140735348932432 140735348931344 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11909/statm: 2287 266 226 213 0 72 0
[pid=11910] ppid=11909 vsize=1998208 CPUtime=1407.87 cores=0,2,4,6
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 218103 0 0 0 140709 78 0 0 20 0 1 0 387403803 2046164992 401467 33554432000 4194304 5208918 140733679323728 140733679321688 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 499552 401467 105 248 0 499301 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 3099656
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 11923
/proc/meminfo: memFree=25175016/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (satsolver.sh) S 11873 11872 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387403803 9367552 266 33554432000 4194304 5064252 140735348932432 140735348931344 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11909/statm: 2287 266 226 213 0 72 0
[pid=11910] ppid=11909 vsize=1998208 CPUtime=1467.85 cores=0,2,4,6
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 218110 0 0 0 146707 78 0 0 20 0 1 0 387403803 2046164992 401468 33554432000 4194304 5208918 140733679323728 140733679321688 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 499552 401468 105 248 0 499301 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 3099656
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11923
/proc/meminfo: memFree=25175168/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (satsolver.sh) S 11873 11872 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387403803 9367552 266 33554432000 4194304 5064252 140735348932432 140735348931344 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11909/statm: 2287 266 226 213 0 72 0
[pid=11910] ppid=11909 vsize=1998208 CPUtime=1527.84 cores=0,2,4,6
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 218117 0 0 0 152706 78 0 0 20 0 1 0 387403803 2046164992 401468 33554432000 4194304 5208918 140733679323728 140733679321688 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 499552 401468 105 248 0 499301 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 3099656
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11923
/proc/meminfo: memFree=25175196/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (satsolver.sh) S 11873 11872 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387403803 9367552 266 33554432000 4194304 5064252 140735348932432 140735348931344 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11909/statm: 2287 266 226 213 0 72 0
[pid=11910] ppid=11909 vsize=1998208 CPUtime=1587.82 cores=0,2,4,6
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 218125 0 0 0 158704 78 0 0 20 0 1 0 387403803 2046164992 401469 33554432000 4194304 5208918 140733679323728 140733679321688 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 499552 401469 105 248 0 499301 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 3099656
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 11926
/proc/meminfo: memFree=25175092/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (satsolver.sh) S 11873 11872 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387403803 9367552 266 33554432000 4194304 5064252 140735348932432 140735348931344 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11909/statm: 2287 266 226 213 0 72 0
[pid=11910] ppid=11909 vsize=1998208 CPUtime=1647.81 cores=0,2,4,6
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 218134 0 0 0 164703 78 0 0 20 0 1 0 387403803 2046164992 401470 33554432000 4194304 5208918 140733679323728 140733679321688 4229469 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 499552 401470 105 248 0 499301 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 3099656
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 11950
/proc/meminfo: memFree=25175060/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (satsolver.sh) S 11873 11872 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387403803 9367552 266 33554432000 4194304 5064252 140735348932432 140735348931344 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11909/statm: 2287 266 226 213 0 72 0
[pid=11910] ppid=11909 vsize=1998208 CPUtime=1707.81 cores=0,2,4,6
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 218137 0 0 0 170702 79 0 0 20 0 1 0 387403803 2046164992 401493 33554432000 4194304 5208918 140733679323728 140733679321688 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 499552 401493 105 248 0 499301 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 3099656
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11950
/proc/meminfo: memFree=25174352/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (satsolver.sh) S 11873 11872 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387403803 9367552 266 33554432000 4194304 5064252 140735348932432 140735348931344 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11909/statm: 2287 266 226 213 0 72 0
[pid=11910] ppid=11909 vsize=1998208 CPUtime=1767.8 cores=0,2,4,6
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 218140 0 0 0 176701 79 0 0 20 0 1 0 387403803 2046164992 401493 33554432000 4194304 5208918 140733679323728 140733679321688 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 499552 401493 105 248 0 499301 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 3099656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 11975
/proc/meminfo: memFree=28411368/32873844 swapFree=7120/7120
[pid=11872] ppid=11870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11872/stat : 11872 (npSolver-wbo-It) S 11870 11872 8864 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387402382 9367552 275 33554432000 4194304 5064252 140735368071616 140735368070528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11872/statm: 2287 275 233 213 0 72 0
[pid=11873] ppid=11872 vsize=1083152 CPUtime=14.14 cores=0,2,4,6
/proc/11873/stat : 11873 (npSolver-wbo) S 11872 11872 8864 0 -1 4202496 35401 30722 0 0 1040 173 194 7 20 0 1 0 387402382 1109147648 189941 33554432000 4194304 6006132 140736155360960 140736155352352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/11873/statm: 270788 189941 192 443 0 270341 0
[pid=11909] ppid=11873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (satsolver.sh) S 11873 11872 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387403803 9367552 266 33554432000 4194304 5064252 140735348932432 140735348931344 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11909/statm: 2287 266 226 213 0 72 0
[pid=11910] ppid=11909 vsize=1998208 CPUtime=1785.89 cores=0,2,4,6
/proc/11910/stat : 11910 (glucose) R 11909 11872 8864 0 -1 4202496 218143 0 0 0 178510 79 0 0 20 0 1 0 387403803 2046164992 401494 33554432000 4194304 5208918 140733679323728 140733679321688 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11910/statm: 499552 401494 105 248 0 499301 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3099656
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11872 and gives
# childrusage.ru_utime.tv_sec=12
# childrusage.ru_utime.tv_usec=348122
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=819723
# CPU time returned by wait4() is 14.1678
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.03
CPU user time (s): 1797.44
CPU system time (s): 2.59
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 3401020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3481
system time used= 1.81972
maximum resident set size= 1486340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67100
page faults= 0
swaps= 0
block input operations= 24
block output operations= 1472760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178
involuntary context switches= 51
runsolver used 3.2755 second user time and 8.72567 second system time
The end