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-3715711-1338204553/watcher-3715711-1338204553 -o /tmp/evaluation-result-3715711-1338204553/solver-3715711-1338204553 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715711-1338204553.wbo 924338794 HOME HOME
running on 4 cores: 1,3,5,7
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.04 2.07 2.24 3/178 27931
/proc/meminfo: memFree=30826348/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[startup+0.054285 s]
/proc/loadavg: 2.04 2.07 2.24 3/178 27931
/proc/meminfo: memFree=30826348/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100266 s]
/proc/loadavg: 2.04 2.07 2.24 3/178 27931
/proc/meminfo: memFree=30826348/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 2.04 2.07 2.24 3/178 27931
/proc/meminfo: memFree=30826348/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70024 s]
/proc/loadavg: 2.04 2.07 2.24 3/178 27931
/proc/meminfo: memFree=30826348/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/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: 2.04 2.07 2.24 3/181 27959
/proc/meminfo: memFree=30802756/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=34876 CPUtime=1.49 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) R 27931 27931 30917 0 -1 4202496 2902 0 0 0 149 0 0 0 20 0 1 0 286583895 35713024 5428 33554432000 4194304 5990268 140736961376976 140736961372216 4766408 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 8719 5428 136 439 0 8276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44024
[startup+3.10023 s]
/proc/loadavg: 2.04 2.07 2.24 3/181 27994
/proc/meminfo: memFree=30770780/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=68088 CPUtime=2.66 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 5081 0 0 0 259 7 0 0 20 0 1 0 286583895 69722112 11795 33554432000 4194304 5990268 140736961376976 140736961370128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 17022 11795 149 439 0 16579 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 77236
[startup+6.30036 s]
/proc/loadavg: 2.03 2.06 2.24 3/183 28108
/proc/meminfo: memFree=30680680/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=5.22 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 7742 24712 0 0 278 52 175 17 20 0 1 0 286583895 88379392 16301 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 21577 16301 174 439 0 21134 0
[pid=28103] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28103/stat : 28103 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286584419 9367552 267 33554432000 4194304 5064252 140736293083344 140736293082256 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28103/statm: 2287 267 226 213 0 72 0
[pid=28104] ppid=28103 vsize=81632 CPUtime=1.04 cores=1,3,5,7
/proc/28104/stat : 28104 (glucose) R 28103 27931 30917 0 -1 4202496 13655 0 0 0 101 3 0 0 20 0 1 0 286584419 83591168 17320 33554432000 4194304 5208918 140734541327392 140734541325144 4211871 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28104/statm: 20408 17320 95 248 0 20157 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 186236
[startup+12.7004 s]
/proc/loadavg: 2.03 2.06 2.24 3/183 28279
/proc/meminfo: memFree=30632360/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=9.44 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 10316 44738 0 0 287 53 566 38 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=28215] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28215/stat : 28215 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286584840 9367552 267 33554432000 4194304 5064252 140733916189456 140733916188368 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28215/statm: 2287 267 226 213 0 72 0
[pid=28216] ppid=28215 vsize=83680 CPUtime=3.23 cores=1,3,5,7
/proc/28216/stat : 28216 (glucose) R 28215 27931 30917 0 -1 4202496 14471 0 0 0 319 4 0 0 20 0 1 0 286584841 85688320 18069 33554432000 4194304 5208918 140734545555424 140734545553272 4465602 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28216/statm: 20920 18070 102 248 0 20669 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 188284
[startup+25.5004 s]
/proc/loadavg: 1.95 2.04 2.23 3/181 28673
/proc/meminfo: memFree=30640104/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=22.1 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 18035 107879 0 0 312 57 1739 102 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=28579] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28579/stat : 28579 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286586106 9367552 267 33554432000 4194304 5064252 140736714132832 140736714131744 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28579/statm: 2287 267 226 213 0 72 0
[pid=28580] ppid=28579 vsize=85268 CPUtime=3.37 cores=1,3,5,7
/proc/28580/stat : 28580 (glucose) R 28579 27931 30917 0 -1 4202496 14553 0 0 0 333 4 0 0 20 0 1 0 286586106 87314432 18215 33554432000 4194304 5208918 140734288586208 140734288584056 4229528 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28580/statm: 21317 18215 102 248 0 21066 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 189872
[startup+51.1004 s]
/proc/loadavg: 1.97 2.04 2.22 3/184 29423
/proc/meminfo: memFree=30633076/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=47.36 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 33473 234323 0 0 363 65 4081 227 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=29321] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29321/stat : 29321 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286588633 9367552 267 33554432000 4194304 5064252 140736276297888 140736276296800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29321/statm: 2287 267 226 213 0 72 0
[pid=29322] ppid=29321 vsize=88376 CPUtime=3.7 cores=1,3,5,7
/proc/29322/stat : 29322 (glucose) R 29321 27931 30917 0 -1 4202496 16692 0 0 0 367 3 0 0 20 0 1 0 286588633 90497024 19225 33554432000 4194304 5208918 140737440104016 140737440101864 4229773 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29322/statm: 22094 19225 102 248 0 21843 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 192980
[startup+102.307 s]
/proc/loadavg: 1.81 1.98 2.19 3/184 31017
/proc/meminfo: memFree=30691080/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=102.08 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 66922 510935 0 0 475 80 9157 496 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 3 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=31013] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31013/stat : 31013 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286594109 9367552 267 33554432000 4194304 5064252 140734252335104 140734252334016 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31013/statm: 2287 267 226 213 0 72 0
[pid=31014] ppid=31013 vsize=30436 CPUtime=0.14 cores=1,3,5,7
/proc/31014/stat : 31014 (glucose) R 31013 27931 30917 0 -1 4202496 4263 0 0 0 13 1 0 0 20 0 1 0 286594110 31166464 5585 33554432000 4194304 5208918 140735686954672 140734252334040 4237172 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31014/statm: 7609 5585 70 248 0 7358 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 135040
[startup+162.3 s]
/proc/loadavg: 1.93 1.98 2.17 3/181 31794
/proc/meminfo: memFree=29010192/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=161.04 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 102944 806226 0 0 595 96 14637 776 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 3 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=31793] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31793/stat : 31793 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286600045 9367552 267 33554432000 4194304 5064252 140733511821440 140733511820352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31793/statm: 2287 267 226 213 0 72 0
[pid=31794] ppid=31793 vsize=81636 CPUtime=0.78 cores=1,3,5,7
/proc/31794/stat : 31794 (glucose) R 31793 27931 30917 0 -1 4202496 15031 0 0 0 75 3 0 0 20 0 1 0 286600045 83595264 17576 33554432000 4194304 5208918 140734581970960 140734580920456 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31794/statm: 20409 17576 95 248 0 20158 0
Current children cumulated CPU time (s) 161.82
Current children cumulated vsize (KiB) 186240
[startup+222.3 s]
/proc/loadavg: 2.27 2.06 2.19 3/183 31887
/proc/meminfo: memFree=24240084/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/1279/statm: 2287 267 226 213 0 72 0
[pid=1280] ppid=1279 vsize=81632 CPUtime=0.96 cores=1,3,5,7
/proc/1280/stat : 1280 (glucose) R 1279 27931 30917 0 -1 4202496 13658 0 0 0 93 3 0 0 20 0 1 0 286714028 83591168 17322 33554432000 4194304 5208918 140735064197984 140735064195736 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1280/statm: 20408 17322 95 248 0 20157 0
Current children cumulated CPU time (s) 1253.08
Current children cumulated vsize (KiB) 186236
[startup+1362.3 s]
/proc/loadavg: 2.57 2.52 2.39 3/183 1392
/proc/meminfo: memFree=21569956/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1311.11 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 805373 6557177 0 0 2936 419 121369 6387 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 17 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=1391] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1391/stat : 1391 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 286720034 9367552 267 33554432000 4194304 5064252 140736528859792 140736528858704 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 2287 267 226 213 0 72 0
[pid=1392] ppid=1391 vsize=81636 CPUtime=0.88 cores=1,3,5,7
/proc/1392/stat : 1392 (glucose) R 1391 27931 30917 0 -1 4202496 14094 0 0 0 85 3 0 0 20 0 1 0 286720035 83595264 17202 33554432000 4194304 5208918 140735557515520 140735557513272 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1392/statm: 20409 17202 95 248 0 20158 0
Current children cumulated CPU time (s) 1311.99
Current children cumulated vsize (KiB) 186240
[startup+1422.3 s]
/proc/loadavg: 2.61 2.54 2.40 3/183 1501
/proc/meminfo: memFree=21566904/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1369.9 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 839002 6853265 0 0 3047 435 126841 6667 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 17 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
Current children cumulated CPU time (s) 1369.9
Current children cumulated vsize (KiB) 95456
[startup+1482.3 s]
/proc/loadavg: 2.72 2.57 2.42 3/183 1617
/proc/meminfo: memFree=21570544/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1424.76 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 874844 7127426 0 0 3167 452 131922 6935 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 41 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=1616] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1616/stat : 1616 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286731829 9367552 267 33554432000 4194304 5064252 140734582860128 140734582859040 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1616/statm: 2287 267 226 213 0 72 0
[pid=1617] ppid=1616 vsize=82092 CPUtime=2.85 cores=1,3,5,7
/proc/1617/stat : 1617 (glucose) R 1616 27931 30917 0 -1 4202496 15167 0 0 0 282 3 0 0 20 0 1 0 286731829 84062208 17708 33554432000 4194304 5208918 140736197682704 140736197680552 4211553 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/1617/statm: 20523 17708 95 248 0 20272 0
Current children cumulated CPU time (s) 1427.61
Current children cumulated vsize (KiB) 186696
[startup+1542.3 s]
/proc/loadavg: 2.59 2.55 2.42 3/183 1725
/proc/meminfo: memFree=21560360/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1484.15 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) R 27931 27931 30917 0 -1 4202496 910863 7423043 0 0 3285 471 137431 7228 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368960 4569904 0 0 4096 0 0 0 0 17 3 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
Current children cumulated CPU time (s) 1484.15
Current children cumulated vsize (KiB) 95456
[startup+1602.3 s]
/proc/loadavg: 2.66 2.57 2.43 3/183 1844
/proc/meminfo: memFree=21565580/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1539.01 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 944315 7695908 0 0 3398 487 142518 7498 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=1841] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1841/stat : 1841 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286743800 9367552 266 33554432000 4194304 5064252 140736076917872 140736076916784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1841/statm: 2287 266 226 213 0 72 0
[pid=1844] ppid=1841 vsize=83816 CPUtime=3.24 cores=1,3,5,7
/proc/1844/stat : 1844 (glucose) R 1841 27931 30917 0 -1 4202496 15602 0 0 0 321 3 0 0 20 0 1 0 286743800 85827584 18141 33554432000 4194304 5208918 140737137530832 140737137528680 4229773 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1844/statm: 20954 18141 102 248 0 20703 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 188420
[startup+1662.3 s]
/proc/loadavg: 2.61 2.57 2.44 3/183 1950
/proc/meminfo: memFree=21562064/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1597.96 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 980337 7992069 0 0 3519 504 147996 7777 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=1949] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1949/stat : 1949 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286749897 9367552 266 33554432000 4194304 5064252 140735407014544 140735407013456 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1949/statm: 2287 266 226 213 0 72 0
[pid=1950] ppid=1949 vsize=82092 CPUtime=2.27 cores=1,3,5,7
/proc/1950/stat : 1950 (glucose) R 1949 27931 30917 0 -1 4202496 14061 0 0 0 224 3 0 0 20 0 1 0 286749897 84062208 17661 33554432000 4194304 5208918 140734180460816 140734180458664 4211918 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1950/statm: 20523 17661 95 248 0 20272 0
Current children cumulated CPU time (s) 1600.23
Current children cumulated vsize (KiB) 186696
[startup+1722.3 s]
/proc/loadavg: 2.54 2.56 2.44 3/181 2053
/proc/meminfo: memFree=21627468/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1656.89 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 1016359 8287895 0 0 3639 521 153463 8066 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
Current children cumulated CPU time (s) 1656.89
Current children cumulated vsize (KiB) 95456
[startup+1782.31 s]
/proc/loadavg: 2.60 2.56 2.45 3/183 2160
/proc/meminfo: memFree=21565416/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1715.89 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 1052381 8584345 0 0 3759 537 158935 8358 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=2159] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2159/stat : 2159 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286762078 9367552 266 33554432000 4194304 5064252 140734946417520 140734946416432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2159/statm: 2287 266 226 213 0 72 0
[pid=2160] ppid=2159 vsize=81636 CPUtime=0.46 cores=1,3,5,7
/proc/2160/stat : 2160 (glucose) R 2159 27931 30917 0 -1 4202496 14584 0 0 0 43 3 0 0 20 0 1 0 286762078 83595264 17162 33554432000 4194304 5208918 140734073995264 140734946416456 4211740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2160/statm: 20409 17162 95 248 0 20158 0
Current children cumulated CPU time (s) 1716.35
Current children cumulated vsize (KiB) 186240
[startup+1842.3 s]
/proc/loadavg: 2.61 2.56 2.46 3/183 2265
/proc/meminfo: memFree=21577424/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1775.06 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 1088403 8882563 0 0 3879 554 164430 8643 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=2264] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2264/stat : 2264 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286768029 9367552 267 33554432000 4194304 5064252 140733779451072 140733779449984 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2264/statm: 2287 267 226 213 0 72 0
[pid=2265] ppid=2264 vsize=81636 CPUtime=0.94 cores=1,3,5,7
/proc/2265/stat : 2265 (glucose) R 2264 27931 30917 0 -1 4202496 15097 0 0 0 91 3 0 0 20 0 1 0 286768030 83595264 17119 33554432000 4194304 5208918 140735634611168 140735634608920 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2265/statm: 20409 17119 95 248 0 20158 0
Current children cumulated CPU time (s) 1776
Current children cumulated vsize (KiB) 186240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1866.5 s]
/proc/loadavg: 2.54 2.55 2.45 3/183 2311
/proc/meminfo: memFree=26277900/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1800.21 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) R 27931 27931 30917 0 -1 4202496 1102068 9011277 0 0 3923 560 166776 8762 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368960 5042551 0 0 4096 0 0 0 0 17 1 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 95456
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1866.51
CPU time (s): 1800.23
CPU user time (s): 1707
CPU system time (s): 93.2338
CPU usage (%): 96.4492
Max. virtual memory (cumulated for all children) (KiB): 193624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707
system time used= 93.2338
maximum resident set size= 94552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10113729
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24747080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132790
involuntary context switches= 9103
runsolver used 3.17752 second user time and 8.93464 second system time
The end