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-3750443-1339127387/watcher-3750443-1339127387 -o /tmp/evaluation-result-3750443-1339127387/solver-3750443-1339127387 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750443-1339127387.opb 1346510858 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 2.00 3/177 5177
/proc/meminfo: memFree=30246480/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[startup+0.0636819 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5177
/proc/meminfo: memFree=30246480/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100322 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5177
/proc/meminfo: memFree=30246480/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300276 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5177
/proc/meminfo: memFree=30246480/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700266 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5177
/proc/meminfo: memFree=30246480/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5179
/proc/meminfo: memFree=30157348/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=219716 CPUtime=1.46 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) R 5177 5177 694 0 -1 4202496 6921 0 0 0 135 11 0 0 20 0 1 0 378867155 224989184 42468 33554432000 4194304 6004724 140734120755648 140734120751520 5193835 0 0 4096 0 0 0 0 17 0 0 0 2 0 0
/proc/5178/statm: 54929 42468 157 442 0 54483 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 228864
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5181
/proc/meminfo: memFree=30007252/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=137760 CPUtime=1.51 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 6928 0 0 0 135 16 0 0 20 0 1 0 378867155 141066240 21985 33554432000 4194304 6004724 140734120755648 140734120749696 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/5178/statm: 34440 21985 163 442 0 33994 0
[pid=5180] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5180/stat : 5180 (cp2_pre.sh) S 5178 5177 694 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 378867309 9367552 277 33554432000 4194304 5064252 140734902777584 140734902776288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5180/statm: 2287 277 234 213 0 72 0
[pid=5181] ppid=5180 vsize=378328 CPUtime=1.54 cores=0,2,4,6
/proc/5181/stat : 5181 (coprocessor) R 5180 5177 694 0 -1 4202496 37641 0 0 0 143 11 0 0 20 0 1 0 378867309 387407872 84739 33554432000 4194304 6586260 140734722010304 140734722007064 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/5181/statm: 94582 84739 164 584 0 93994 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 534384
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5181
/proc/meminfo: memFree=29619864/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=137760 CPUtime=1.51 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 6928 0 0 0 135 16 0 0 20 0 1 0 378867155 141066240 21985 33554432000 4194304 6004724 140734120755648 140734120749696 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/5178/statm: 34440 21985 163 442 0 33994 0
[pid=5180] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5180/stat : 5180 (cp2_pre.sh) S 5178 5177 694 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 378867309 9367552 277 33554432000 4194304 5064252 140734902777584 140734902776288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5180/statm: 2287 277 234 213 0 72 0
[pid=5181] ppid=5180 vsize=514016 CPUtime=4.74 cores=0,2,4,6
/proc/5181/stat : 5181 (coprocessor) R 5180 5177 694 0 -1 4202496 62469 0 0 0 457 17 0 0 20 0 1 0 378867309 526352384 126430 33554432000 4194304 6586260 140734722010304 140734722005624 4676454 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/5181/statm: 128504 126430 190 584 0 127916 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 670072
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 5184
/proc/meminfo: memFree=29974044/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=137760 CPUtime=8.37 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 6937 63858 0 0 135 16 642 44 20 0 1 0 378867155 141066240 21985 33554432000 4194304 6004724 140734120755648 140734120750784 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 34440 21985 163 442 0 33994 0
[pid=5183] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5183/stat : 5183 (satsolver.sh) S 5178 5177 694 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378867996 9367552 267 33554432000 4194304 5064252 140734664548128 140734664547040 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5183/statm: 2287 267 226 213 0 72 0
[pid=5184] ppid=5183 vsize=177244 CPUtime=4.27 cores=0,2,4,6
/proc/5184/stat : 5184 (glucose) R 5183 5177 694 0 -1 4202496 33723 0 0 0 420 7 0 0 20 0 1 0 378867997 181497856 39388 33554432000 4194304 5208918 140734100169712 140734100167560 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5184/statm: 44311 39388 95 248 0 44060 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 333300
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 5187
/proc/meminfo: memFree=29971680/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=137760 CPUtime=8.37 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 6937 63858 0 0 135 16 642 44 20 0 1 0 378867155 141066240 21985 33554432000 4194304 6004724 140734120755648 140734120750784 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 34440 21985 163 442 0 33994 0
[pid=5183] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5183/stat : 5183 (satsolver.sh) S 5178 5177 694 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378867996 9367552 267 33554432000 4194304 5064252 140734664548128 140734664547040 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5183/statm: 2287 267 226 213 0 72 0
[pid=5184] ppid=5183 vsize=179372 CPUtime=17.07 cores=0,2,4,6
/proc/5184/stat : 5184 (glucose) R 5183 5177 694 0 -1 4202496 34386 0 0 0 1700 7 0 0 20 0 1 0 378867997 183676928 40051 33554432000 4194304 5208918 140734100169712 140734100167560 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5184/statm: 44843 40051 103 248 0 44592 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 335428
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 5194
/proc/meminfo: memFree=29932088/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=158036 CPUtime=49.38 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 9344 106173 0 0 176 174 4526 62 20 0 1 0 378867155 161828864 26881 33554432000 4194304 6004724 140734120755648 140734120748000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 39509 26881 177 442 0 39063 0
[pid=5193] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5193/stat : 5193 (satsolver.sh) S 5178 5177 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378872098 9367552 267 33554432000 4194304 5064252 140733424765632 140733424764544 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5193/statm: 2287 267 226 213 0 72 0
[pid=5194] ppid=5193 vsize=175288 CPUtime=1.66 cores=0,2,4,6
/proc/5194/stat : 5194 (glucose) R 5193 5177 694 0 -1 4202496 30647 0 0 0 159 7 0 0 20 0 1 0 378872098 179494912 38558 33554432000 4194304 5208918 140735355959664 140735355957608 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5194/statm: 43822 38558 95 248 0 43571 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 351620
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 5194
/proc/meminfo: memFree=29927384/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=158036 CPUtime=49.38 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 9344 106173 0 0 176 174 4526 62 20 0 1 0 378867155 161828864 26881 33554432000 4194304 6004724 140734120755648 140734120748000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 39509 26881 177 442 0 39063 0
[pid=5193] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5193/stat : 5193 (satsolver.sh) S 5178 5177 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378872098 9367552 267 33554432000 4194304 5064252 140733424765632 140733424764544 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5193/statm: 2287 267 226 213 0 72 0
[pid=5194] ppid=5193 vsize=180308 CPUtime=52.85 cores=0,2,4,6
/proc/5194/stat : 5194 (glucose) R 5193 5177 694 0 -1 4202496 31855 0 0 0 5277 8 0 0 20 0 1 0 378872098 184635392 39766 33554432000 4194304 5208918 140735355959664 140735355957496 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5194/statm: 45077 39766 103 248 0 44826 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 356640
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 5194
/proc/meminfo: memFree=29925212/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=158036 CPUtime=49.38 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 9344 106173 0 0 176 174 4526 62 20 0 1 0 378867155 161828864 26881 33554432000 4194304 6004724 140734120755648 140734120748000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 39509 26881 177 442 0 39063 0
[pid=5193] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5193/stat : 5193 (satsolver.sh) S 5178 5177 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378872098 9367552 267 33554432000 4194304 5064252 140733424765632 140733424764544 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5193/statm: 2287 267 226 213 0 72 0
[pid=5194] ppid=5193 vsize=180308 CPUtime=112.83 cores=0,2,4,6
/proc/5194/stat : 5194 (glucose) R 5193 5177 694 0 -1 4202496 31864 0 0 0 11275 8 0 0 20 0 1 0 378872098 184635392 40286 33554432000 4194304 5208918 140735355959664 140735355957496 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5194/statm: 45077 40286 103 248 0 44826 0
Current children cumulated CPU time (s) 162.21
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 5271
/proc/meminfo: memFree=23140016/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=158036 CPUtime=49.38 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 9344 106173 0 0 176 174 4526 62 20 0 1 0 378867155 161828864 26881 33554432000 4194304 6004724 140734120755648 140734120748000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 39509 26881 177 442 0 39063 0
[pid=5193] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5193/stat : 5193 (satsolver.sh) S 5178 5177 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378872098 9367552 267 33554432000 4194304 5064252 140733424765632 140733424764544 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5193/statm: 2287 267 226 213 0 72 0
[pid=5194] ppid=5193 vsize=187048 CPUtime=1312.6 cores=0,2,4,6
/proc/5194/stat : 5194 (glucose) R 5193 5177 694 0 -1 4202496 34186 0 0 0 131240 20 0 0 20 0 1 0 378872098 191537152 44083 33554432000 4194304 5208918 140735355959664 140735355957496 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5194/statm: 46762 44083 105 248 0 46511 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 363380
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 5272
/proc/meminfo: memFree=23113512/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=158036 CPUtime=49.38 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 9344 106173 0 0 176 174 4526 62 20 0 1 0 378867155 161828864 26881 33554432000 4194304 6004724 140734120755648 140734120748000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 39509 26881 177 442 0 39063 0
[pid=5193] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5193/stat : 5193 (satsolver.sh) S 5178 5177 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378872098 9367552 267 33554432000 4194304 5064252 140733424765632 140733424764544 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5193/statm: 2287 267 226 213 0 72 0
[pid=5194] ppid=5193 vsize=214284 CPUtime=1372.59 cores=0,2,4,6
/proc/5194/stat : 5194 (glucose) R 5193 5177 694 0 -1 4202496 34979 0 0 0 137239 20 0 0 20 0 1 0 378872098 219426816 49893 33554432000 4194304 5208918 140735355959664 140735355957528 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5194/statm: 53571 49893 105 248 0 53320 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 390616
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 5272
/proc/meminfo: memFree=23110340/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=158036 CPUtime=49.38 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 9344 106173 0 0 176 174 4526 62 20 0 1 0 378867155 161828864 26881 33554432000 4194304 6004724 140734120755648 140734120748000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 39509 26881 177 442 0 39063 0
[pid=5193] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5193/stat : 5193 (satsolver.sh) S 5178 5177 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378872098 9367552 267 33554432000 4194304 5064252 140733424765632 140733424764544 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5193/statm: 2287 267 226 213 0 72 0
[pid=5194] ppid=5193 vsize=214284 CPUtime=1432.58 cores=0,2,4,6
/proc/5194/stat : 5194 (glucose) R 5193 5177 694 0 -1 4202496 34979 0 0 0 143238 20 0 0 20 0 1 0 378872098 219426816 49893 33554432000 4194304 5208918 140735355959664 140735355957528 4229203 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5194/statm: 53571 49893 105 248 0 53320 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 390616
[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 5272
/proc/meminfo: memFree=23106980/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=158036 CPUtime=49.38 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 9344 106173 0 0 176 174 4526 62 20 0 1 0 378867155 161828864 26881 33554432000 4194304 6004724 140734120755648 140734120748000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 39509 26881 177 442 0 39063 0
[pid=5193] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5193/stat : 5193 (satsolver.sh) S 5178 5177 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378872098 9367552 267 33554432000 4194304 5064252 140733424765632 140733424764544 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5193/statm: 2287 267 226 213 0 72 0
[pid=5194] ppid=5193 vsize=214284 CPUtime=1492.57 cores=0,2,4,6
/proc/5194/stat : 5194 (glucose) R 5193 5177 694 0 -1 4202496 34982 0 0 0 149237 20 0 0 20 0 1 0 378872098 219426816 50407 33554432000 4194304 5208918 140735355959664 140735355957528 4205203 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5194/statm: 53571 50407 105 248 0 53320 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 390616
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 5272
/proc/meminfo: memFree=23104948/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=158036 CPUtime=49.38 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 9344 106173 0 0 176 174 4526 62 20 0 1 0 378867155 161828864 26881 33554432000 4194304 6004724 140734120755648 140734120748000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 39509 26881 177 442 0 39063 0
[pid=5193] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5193/stat : 5193 (satsolver.sh) S 5178 5177 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378872098 9367552 267 33554432000 4194304 5064252 140733424765632 140733424764544 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5193/statm: 2287 267 226 213 0 72 0
[pid=5194] ppid=5193 vsize=214284 CPUtime=1552.56 cores=0,2,4,6
/proc/5194/stat : 5194 (glucose) R 5193 5177 694 0 -1 4202496 34987 0 0 0 155236 20 0 0 20 0 1 0 378872098 219426816 50412 33554432000 4194304 5208918 140735355959664 140735355957528 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5194/statm: 53571 50412 105 248 0 53320 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 390616
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 5272
/proc/meminfo: memFree=23099952/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=158036 CPUtime=49.38 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 9344 106173 0 0 176 174 4526 62 20 0 1 0 378867155 161828864 26881 33554432000 4194304 6004724 140734120755648 140734120748000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 39509 26881 177 442 0 39063 0
[pid=5193] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5193/stat : 5193 (satsolver.sh) S 5178 5177 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378872098 9367552 267 33554432000 4194304 5064252 140733424765632 140733424764544 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5193/statm: 2287 267 226 213 0 72 0
[pid=5194] ppid=5193 vsize=214284 CPUtime=1612.56 cores=0,2,4,6
/proc/5194/stat : 5194 (glucose) R 5193 5177 694 0 -1 4202496 34988 0 0 0 161235 21 0 0 20 0 1 0 378872098 219426816 50924 33554432000 4194304 5208918 140735355959664 140735355957528 4229872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5194/statm: 53571 50924 105 248 0 53320 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 390616
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5273
/proc/meminfo: memFree=23098664/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=158036 CPUtime=49.38 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 9344 106173 0 0 176 174 4526 62 20 0 1 0 378867155 161828864 26881 33554432000 4194304 6004724 140734120755648 140734120748000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 39509 26881 177 442 0 39063 0
[pid=5193] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5193/stat : 5193 (satsolver.sh) S 5178 5177 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378872098 9367552 267 33554432000 4194304 5064252 140733424765632 140733424764544 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5193/statm: 2287 267 226 213 0 72 0
[pid=5194] ppid=5193 vsize=214284 CPUtime=1672.55 cores=0,2,4,6
/proc/5194/stat : 5194 (glucose) R 5193 5177 694 0 -1 4202496 34989 0 0 0 167234 21 0 0 20 0 1 0 378872098 219426816 50925 33554432000 4194304 5208918 140735355959664 140735355957528 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5194/statm: 53571 50925 105 248 0 53320 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 390616
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5273
/proc/meminfo: memFree=23095344/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=158036 CPUtime=49.38 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 9344 106173 0 0 176 174 4526 62 20 0 1 0 378867155 161828864 26881 33554432000 4194304 6004724 140734120755648 140734120748000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 39509 26881 177 442 0 39063 0
[pid=5193] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5193/stat : 5193 (satsolver.sh) S 5178 5177 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378872098 9367552 267 33554432000 4194304 5064252 140733424765632 140733424764544 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5193/statm: 2287 267 226 213 0 72 0
[pid=5194] ppid=5193 vsize=214284 CPUtime=1732.54 cores=0,2,4,6
/proc/5194/stat : 5194 (glucose) R 5193 5177 694 0 -1 4202496 35090 0 0 0 173233 21 0 0 20 0 1 0 378872098 219426816 51019 33554432000 4194304 5208918 140735355959664 140735355957528 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5194/statm: 53571 51019 105 248 0 53320 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 390616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5273
/proc/meminfo: memFree=23094576/32873844 swapFree=7124/7124
[pid=5177] ppid=5175 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo.sh) S 5175 5177 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378867154 9367552 275 33554432000 4194304 5064252 140734475635056 140734475633968 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5177/statm: 2287 275 233 213 0 72 0
[pid=5178] ppid=5177 vsize=158036 CPUtime=49.38 cores=0,2,4,6
/proc/5178/stat : 5178 (npSolver-pbo) S 5177 5177 694 0 -1 4202496 9344 106173 0 0 176 174 4526 62 20 0 1 0 378867155 161828864 26881 33554432000 4194304 6004724 140734120755648 140734120748000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/5178/statm: 39509 26881 177 442 0 39063 0
[pid=5193] ppid=5178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5193/stat : 5193 (satsolver.sh) S 5178 5177 694 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378872098 9367552 267 33554432000 4194304 5064252 140733424765632 140733424764544 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5193/statm: 2287 267 226 213 0 72 0
[pid=5194] ppid=5193 vsize=214284 CPUtime=1750.64 cores=0,2,4,6
/proc/5194/stat : 5194 (glucose) R 5193 5177 694 0 -1 4202496 35176 0 0 0 175043 21 0 0 20 0 1 0 378872098 219426816 51105 33554432000 4194304 5208918 140735355959664 140735355957528 4229688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5194/statm: 53571 51105 105 248 0 53320 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 390616
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1797.47
CPU system time (s): 2.58961
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 670340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.47
system time used= 2.58961
maximum resident set size= 521964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151682
page faults= 0
swaps= 0
block input operations= 8
block output operations= 328048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1337
involuntary context switches= 2142
runsolver used 2.5986 second user time and 7.2419 second system time
The end