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-3750898-1339132185/watcher-3750898-1339132185 -o /tmp/evaluation-result-3750898-1339132185/solver-3750898-1339132185 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750898-1339132185.opb 1140533761 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: 1.92 1.98 1.99 3/179 21119
/proc/meminfo: memFree=28951248/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[startup+0.0917771 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 21119
/proc/meminfo: memFree=28951248/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100229 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 21119
/proc/meminfo: memFree=28951248/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300188 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 21119
/proc/meminfo: memFree=28951248/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700177 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 21119
/proc/meminfo: memFree=28951248/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/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: 1.92 1.98 1.99 3/183 21140
/proc/meminfo: memFree=28943532/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=0.93 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 1774 13843 0 0 3 2 84 4 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21139] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21139/stat : 21139 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379344500 9367552 267 33554432000 4194304 5064252 140736057218032 140736057216944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21139/statm: 2287 267 226 213 0 72 0
[pid=21140] ppid=21139 vsize=6876 CPUtime=0.53 cores=1,3,5,7
/proc/21140/stat : 21140 (glucose) R 21139 21119 15337 0 -1 4202496 1513 0 0 0 53 0 0 0 20 0 1 0 379344500 7041024 1178 33554432000 4194304 5208918 140736746575072 140736057216968 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21140/statm: 1719 1178 101 248 0 1468 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 28552
[startup+3.10028 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 21140
/proc/meminfo: memFree=28975132/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=0.93 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 1774 13843 0 0 3 2 84 4 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21139] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21139/stat : 21139 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379344500 9367552 267 33554432000 4194304 5064252 140736057218032 140736057216944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21139/statm: 2287 267 226 213 0 72 0
[pid=21140] ppid=21139 vsize=9044 CPUtime=2.13 cores=1,3,5,7
/proc/21140/stat : 21140 (glucose) R 21139 21119 15337 0 -1 4202496 2506 0 0 0 213 0 0 0 20 0 1 0 379344500 9261056 1815 33554432000 4194304 5208918 140736746575072 140736746572920 4215232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21140/statm: 2261 1815 102 248 0 2010 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 30720
[startup+6.30028 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 21140
/proc/meminfo: memFree=28972568/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=0.93 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 1774 13843 0 0 3 2 84 4 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21139] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21139/stat : 21139 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379344500 9367552 267 33554432000 4194304 5064252 140736057218032 140736057216944 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21139/statm: 2287 267 226 213 0 72 0
[pid=21140] ppid=21139 vsize=13552 CPUtime=5.33 cores=1,3,5,7
/proc/21140/stat : 21140 (glucose) R 21139 21119 15337 0 -1 4202496 3151 0 0 0 533 0 0 0 20 0 1 0 379344500 13877248 2933 33554432000 4194304 5208918 140736746575072 140736746571384 4229688 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21140/statm: 3388 2933 102 248 0 3137 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 35228
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 21147
/proc/meminfo: memFree=28975664/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=10.93 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 1845 20231 0 0 3 2 1082 6 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21146] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21146/stat : 21146 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379345499 9367552 266 33554432000 4194304 5064252 140736514482240 140736514481152 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21146/statm: 2287 266 226 213 0 72 0
[pid=21147] ppid=21146 vsize=8996 CPUtime=1.73 cores=1,3,5,7
/proc/21147/stat : 21147 (glucose) R 21146 21119 15337 0 -1 4202496 2401 0 0 0 173 0 0 0 20 0 1 0 379345499 9211904 1793 33554432000 4194304 5208918 140735990866272 140735990864136 4215337 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21147/statm: 2249 1793 102 248 0 1998 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30672
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 21150
/proc/meminfo: memFree=28936444/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=10.93 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 1845 20231 0 0 3 2 1082 6 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21146] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21146/stat : 21146 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379345499 9367552 266 33554432000 4194304 5064252 140736514482240 140736514481152 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21146/statm: 2287 266 226 213 0 72 0
[pid=21147] ppid=21146 vsize=16240 CPUtime=14.54 cores=1,3,5,7
/proc/21147/stat : 21147 (glucose) R 21146 21119 15337 0 -1 4202496 3884 0 0 0 1453 1 0 0 20 0 1 0 379345499 16629760 3670 33554432000 4194304 5208918 140735990866272 140735990862648 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21147/statm: 4060 3670 102 248 0 3809 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 37916
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/184 21150
/proc/meminfo: memFree=28955840/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=10.93 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 1845 20231 0 0 3 2 1082 6 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21146] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21146/stat : 21146 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379345499 9367552 266 33554432000 4194304 5064252 140736514482240 140736514481152 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21146/statm: 2287 266 226 213 0 72 0
[pid=21147] ppid=21146 vsize=27988 CPUtime=40.13 cores=1,3,5,7
/proc/21147/stat : 21147 (glucose) R 21146 21119 15337 0 -1 4202496 5900 0 0 0 4012 1 0 0 20 0 1 0 379345499 28659712 6522 33554432000 4194304 5208918 140735990866272 140735990862008 4229347 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21147/statm: 6997 6522 102 248 0 6746 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 49664
[startup+102.307 s]
/proc/loadavg: 2.04 2.00 2.00 3/183 21150
/proc/meminfo: memFree=28907956/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=10.93 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 1845 20231 0 0 3 2 1082 6 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21146] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21146/stat : 21146 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379345499 9367552 266 33554432000 4194304 5064252 140736514482240 140736514481152 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21146/statm: 2287 266 226 213 0 72 0
[pid=21147] ppid=21146 vsize=42200 CPUtime=91.32 cores=1,3,5,7
/proc/21147/stat : 21147 (glucose) R 21146 21119 15337 0 -1 4202496 8600 0 0 0 9130 2 0 0 20 0 1 0 379345499 43212800 9539 33554432000 4194304 5208918 140735990866272 140735990862648 4212471 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21147/statm: 10550 9539 102 248 0 10299 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 63876
[startup+162.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 21171
/proc/meminfo: memFree=28953432/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=107.8 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 2170 43450 0 0 3 3 10762 12 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21170] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/21170/statm: 2287 267 226 213 0 72 0
[pid=21171] ppid=21170 vsize=29780 CPUtime=54.44 cores=1,3,5,7
/proc/21171/stat : 21171 (glucose) R 21170 21119 15337 0 -1 4202496 5800 0 0 0 5442 2 0 0 20 0 1 0 379355188 30494720 7036 33554432000 4194304 5208918 140735196887728 140735196884040 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21171/statm: 7445 7036 102 248 0 7194 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 51456
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21171
/proc/meminfo: memFree=28944268/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=107.8 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 2170 43450 0 0 3 3 10762 12 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21170] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21170/stat : 21170 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379355188 9367552 267 33554432000 4194304 5064252 140733376947904 140733376946816 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21170/statm: 2287 267 226 213 0 72 0
[pid=21171] ppid=21170 vsize=37256 CPUtime=114.41 cores=1,3,5,7
/proc/21171/stat : 21171 (glucose) R 21170 21119 15337 0 -1 4202496 7540 0 0 0 11439 2 0 0 20 0 1 0 379355188 38150144 8921 33554432000 4194304 5208918 140735196887728 140735196883496 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21171/statm: 9314 8921 102 248 0 9063 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 58932
Solver just ended. Dumping a history of the last processes samples
[startup+230.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21171
/proc/meminfo: memFree=28909700/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=107.8 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 2170 43450 0 0 3 3 10762 12 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21170] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21170/stat : 21170 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379355188 9367552 267 33554432000 4194304 5064252 140733376947904 140733376946816 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21170/statm: 2287 267 226 213 0 72 0
[pid=21171] ppid=21170 vsize=37256 CPUtime=122.41 cores=1,3,5,7
/proc/21171/stat : 21171 (glucose) R 21170 21119 15337 0 -1 4202496 7540 0 0 0 12239 2 0 0 20 0 1 0 379355188 38150144 8921 33554432000 4194304 5208918 140735196887728 140735196883416 4211648 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21171/statm: 9314 8921 102 248 0 9063 0
Current children cumulated CPU time (s) 230.21
Current children cumulated vsize (KiB) 58932
[startup+243.108 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21172
/proc/meminfo: memFree=28904084/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=107.8 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 2170 43450 0 0 3 3 10762 12 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21170] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21170/stat : 21170 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379355188 9367552 267 33554432000 4194304 5064252 140733376947904 140733376946816 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21170/statm: 2287 267 226 213 0 72 0
[pid=21171] ppid=21170 vsize=37256 CPUtime=135.22 cores=1,3,5,7
/proc/21171/stat : 21171 (glucose) R 21170 21119 15337 0 -1 4202496 7540 0 0 0 13520 2 0 0 20 0 1 0 379355188 38150144 8921 33554432000 4194304 5208918 140735196887728 140735196884040 4229648 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21171/statm: 9314 8921 102 248 0 9063 0
Current children cumulated CPU time (s) 243.02
Current children cumulated vsize (KiB) 58932
[startup+249.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21172
/proc/meminfo: memFree=28932760/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=107.8 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 2170 43450 0 0 3 3 10762 12 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21170] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21170/stat : 21170 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379355188 9367552 267 33554432000 4194304 5064252 140733376947904 140733376946816 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21170/statm: 2287 267 226 213 0 72 0
[pid=21171] ppid=21170 vsize=48748 CPUtime=141.61 cores=1,3,5,7
/proc/21171/stat : 21171 (glucose) R 21170 21119 15337 0 -1 4202496 7623 0 0 0 14159 2 0 0 20 0 1 0 379355188 49917952 11555 33554432000 4194304 5208918 140735196887728 140735196884040 4212856 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21171/statm: 12187 11555 102 248 0 11936 0
Current children cumulated CPU time (s) 249.41
Current children cumulated vsize (KiB) 70424
[startup+255.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21172
/proc/meminfo: memFree=28930788/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=107.8 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 2170 43450 0 0 3 3 10762 12 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21170] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21170/stat : 21170 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379355188 9367552 267 33554432000 4194304 5064252 140733376947904 140733376946816 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21170/statm: 2287 267 226 213 0 72 0
[pid=21171] ppid=21170 vsize=51512 CPUtime=148.01 cores=1,3,5,7
/proc/21171/stat : 21171 (glucose) R 21170 21119 15337 0 -1 4202496 8101 0 0 0 14799 2 0 0 20 0 1 0 379355188 52748288 11994 33554432000 4194304 5208918 140735196887728 140735196885592 4229225 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21171/statm: 12878 11994 102 248 0 12627 0
Current children cumulated CPU time (s) 255.81
Current children cumulated vsize (KiB) 73188
[startup+257.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21172
/proc/meminfo: memFree=28926136/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=107.8 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 2170 43450 0 0 3 3 10762 12 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21170] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21170/stat : 21170 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379355188 9367552 267 33554432000 4194304 5064252 140733376947904 140733376946816 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21170/statm: 2287 267 226 213 0 72 0
[pid=21171] ppid=21170 vsize=51512 CPUtime=149.62 cores=1,3,5,7
/proc/21171/stat : 21171 (glucose) R 21170 21119 15337 0 -1 4202496 8462 0 0 0 14959 3 0 0 20 0 1 0 379355188 52748288 12336 33554432000 4194304 5208918 140735196887728 140735196885592 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21171/statm: 12878 12336 102 248 0 12627 0
Current children cumulated CPU time (s) 257.42
Current children cumulated vsize (KiB) 73188
[startup+259.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21172
/proc/meminfo: memFree=28923344/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=107.8 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 2170 43450 0 0 3 3 10762 12 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21170] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21170/stat : 21170 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379355188 9367552 267 33554432000 4194304 5064252 140733376947904 140733376946816 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21170/statm: 2287 267 226 213 0 72 0
[pid=21171] ppid=21170 vsize=51512 CPUtime=151.22 cores=1,3,5,7
/proc/21171/stat : 21171 (glucose) R 21170 21119 15337 0 -1 4202496 8616 0 0 0 15119 3 0 0 20 0 1 0 379355188 52748288 12485 33554432000 4194304 5208918 140735196887728 140735196884104 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21171/statm: 12878 12485 102 248 0 12627 0
Current children cumulated CPU time (s) 259.02
Current children cumulated vsize (KiB) 73188
[startup+259.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21172
/proc/meminfo: memFree=28923220/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=107.8 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 2170 43450 0 0 3 3 10762 12 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21170] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21170/stat : 21170 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379355188 9367552 267 33554432000 4194304 5064252 140733376947904 140733376946816 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21170/statm: 2287 267 226 213 0 72 0
[pid=21171] ppid=21170 vsize=51512 CPUtime=152.02 cores=1,3,5,7
/proc/21171/stat : 21171 (glucose) R 21170 21119 15337 0 -1 4202496 8616 0 0 0 15199 3 0 0 20 0 1 0 379355188 52748288 12485 33554432000 4194304 5208918 140735196887728 140735196884104 4214256 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21171/statm: 12878 12485 102 248 0 12627 0
Current children cumulated CPU time (s) 259.82
Current children cumulated vsize (KiB) 73188
[startup+260.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21172
/proc/meminfo: memFree=28923220/32873648 swapFree=7372/7372
[pid=21119] ppid=21117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21119/stat : 21119 (npSolver-pbo.sh) S 21117 21119 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379344404 9367552 275 33554432000 4194304 5064252 140735219446544 140735219445456 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21119/statm: 2287 275 233 213 0 72 0
[pid=21120] ppid=21119 vsize=3380 CPUtime=107.8 cores=1,3,5,7
/proc/21120/stat : 21120 (npSolver-pbo) S 21119 21119 15337 0 -1 4202496 2170 43450 0 0 3 3 10762 12 20 0 1 0 379344404 3461120 471 33554432000 4194304 6004724 140734233910112 140734233902464 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21120/statm: 845 471 174 442 0 399 0
[pid=21170] ppid=21120 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21170/stat : 21170 (satsolver.sh) S 21120 21119 15337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379355188 9367552 267 33554432000 4194304 5064252 140733376947904 140733376946816 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21170/statm: 2287 267 226 213 0 72 0
[pid=21171] ppid=21170 vsize=51512 CPUtime=152.42 cores=1,3,5,7
/proc/21171/stat : 21171 (glucose) R 21170 21119 15337 0 -1 4202496 8616 0 0 0 15239 3 0 0 20 0 1 0 379355188 52748288 12485 33554432000 4194304 5208918 140735196887728 140735196884104 4229532 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21171/statm: 12878 12485 102 248 0 12627 0
Current children cumulated CPU time (s) 260.22
Current children cumulated vsize (KiB) 73188
Child status: 0
Real time (s): 260.35
CPU time (s): 260.291
CPU user time (s): 260.091
CPU system time (s): 0.199969
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 77608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 260.091
system time used= 0.199969
maximum resident set size= 49944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 186
involuntary context switches= 343
runsolver used 0.560914 second user time and 1.51577 second system time
The end