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-3701768-1338075490/watcher-3701768-1338075490 -o /tmp/evaluation-result-3701768-1338075490/solver-3701768-1338075490 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701768-1338075490.opb 865852270 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/179 14502
/proc/meminfo: memFree=30451276/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[startup+0.0587889 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14502
/proc/meminfo: memFree=30451276/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100296 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14502
/proc/meminfo: memFree=30451276/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300286 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14502
/proc/meminfo: memFree=30451276/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700272 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14502
/proc/meminfo: memFree=30451276/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14516
/proc/meminfo: memFree=30431588/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=7684 CPUtime=0.54 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 2698 13824 0 0 7 7 33 7 20 0 1 0 273673409 7868416 1441 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 1921 1441 178 440 0 1477 0
[pid=14515] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14515/stat : 14515 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273673466 9367552 266 33554432000 4194304 5064252 140736107531312 140736107530224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14515/statm: 2287 266 226 213 0 72 0
[pid=14516] ppid=14515 vsize=16764 CPUtime=0.92 cores=0,2,4,6
/proc/14516/stat : 14516 (glucose) R 14515 14502 9087 0 -1 4202496 3008 0 0 0 92 0 0 0 20 0 1 0 273673466 17166336 3235 33554432000 4194304 5208918 140735245607488 140735245605432 4229010 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14516/statm: 4191 3235 95 248 0 3940 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 42744
[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14523
/proc/meminfo: memFree=30432652/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=13908 CPUtime=1.39 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 3606 0 0 0 139 0 0 0 20 0 1 0 273673579 14241792 2818 33554432000 4194304 5208918 140736566098992 140736566096952 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14523/statm: 3477 2818 105 248 0 3226 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 40272
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14523
/proc/meminfo: memFree=30420300/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=19744 CPUtime=4.59 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 5939 0 0 0 458 1 0 0 20 0 1 0 273673579 20217856 4260 33554432000 4194304 5208918 140736566098992 140736566096984 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14523/statm: 4936 4260 105 248 0 4685 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 46108
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14523
/proc/meminfo: memFree=30414724/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=31236 CPUtime=10.99 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 6796 0 0 0 1098 1 0 0 20 0 1 0 273673579 31985664 7117 33554432000 4194304 5208918 140736566098992 140736566096856 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14523/statm: 7809 7117 105 248 0 7558 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 57600
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14524
/proc/meminfo: memFree=30412064/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=41072 CPUtime=23.78 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 7292 0 0 0 2377 1 0 0 20 0 1 0 273673579 42057728 7647 33554432000 4194304 5208918 140736566098992 140736566095368 4229479 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14523/statm: 10268 7647 105 248 0 10017 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 67436
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14524
/proc/meminfo: memFree=30366700/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=41072 CPUtime=49.38 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 7710 0 0 0 4937 1 0 0 20 0 1 0 273673579 42057728 9592 33554432000 4194304 5208918 140736566098992 140736566095368 4229251 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 10268 9592 105 248 0 10017 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 67436
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14524
/proc/meminfo: memFree=30392384/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=64204 CPUtime=100.58 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 8862 0 0 0 10056 2 0 0 20 0 1 0 273673579 65744896 13022 33554432000 4194304 5208918 140736566098992 140736566096936 4211760 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 16051 13022 105 248 0 15800 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 90568
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14527
/proc/meminfo: memFree=30345396/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14704
/proc/meminfo: memFree=30248312/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=181104 CPUtime=1420.37 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 19499 0 0 0 142016 21 0 0 20 0 1 0 273673579 185450496 43273 33554432000 4194304 5208918 140736566098992 140736566094680 4211584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 45276 43273 105 248 0 45025 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 207468
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14704
/proc/meminfo: memFree=30258264/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=211924 CPUtime=1480.34 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 20415 0 0 0 148012 22 0 0 20 0 1 0 273673579 217010176 45388 33554432000 4194304 5208918 140736566098992 140736566095368 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 52981 45388 105 248 0 52730 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 238288
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14704
/proc/meminfo: memFree=30293592/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=131784 CPUtime=1540.34 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 21230 0 0 0 154010 24 0 0 20 0 1 0 273673579 134946816 32321 33554432000 4194304 5208918 140736566098992 140736566097080 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 32946 32321 105 248 0 32695 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 158148
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14705
/proc/meminfo: memFree=30317904/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=131784 CPUtime=1600.32 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 22045 0 0 0 160006 26 0 0 20 0 1 0 273673579 134946816 32321 33554432000 4194304 5208918 140736566098992 140736566097080 4229296 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 32946 32321 105 248 0 32695 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 158148
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 14705
/proc/meminfo: memFree=30298124/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=131784 CPUtime=1660.31 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 22862 0 0 0 166003 28 0 0 20 0 1 0 273673579 134946816 32321 33554432000 4194304 5208918 140736566098992 140736566095368 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 32946 32321 105 248 0 32695 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 158148
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14705
/proc/meminfo: memFree=30233224/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=211924 CPUtime=1720.31 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 23679 0 0 0 172001 30 0 0 20 0 1 0 273673579 217010176 45388 33554432000 4194304 5208918 140736566098992 140736566097144 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 52981 45388 105 248 0 52730 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 238288
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 14705
/proc/meminfo: memFree=30234604/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=181104 CPUtime=1780.3 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 23896 0 0 0 177999 31 0 0 20 0 1 0 273673579 185450496 41225 33554432000 4194304 5208918 140736566098992 140736566096984 4229483 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 45276 41225 105 248 0 45025 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 207468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14705
/proc/meminfo: memFree=30225048/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=181104 CPUtime=1798.4 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 23899 0 0 0 179809 31 0 0 20 0 1 0 273673579 185450496 42761 33554432000 4194304 5208918 140736566098992 140736566096984 4229328 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 45276 42761 105 248 0 45025 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 207468
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14705
/proc/meminfo: memFree=30225048/32873844 swapFree=7388/7388
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo.sh) S 14500 14502 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273673408 9367552 275 33554432000 4194304 5064252 140734209213552 140734209212464 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=8068 CPUtime=1.61 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 9087 0 -1 4202496 3271 20876 0 0 9 8 135 9 20 0 1 0 273673409 8261632 1493 33554432000 4194304 5992684 140737167882624 140737167874944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14503/statm: 2017 1493 178 440 0 1573 0
[pid=14522] ppid=14503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14522/stat : 14522 (satsolver.sh) S 14503 14502 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273673579 9367552 267 33554432000 4194304 5064252 140734163085744 140734163084656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14522/statm: 2287 267 226 213 0 72 0
[pid=14523] ppid=14522 vsize=181104 CPUtime=1798.4 cores=0,2,4,6
/proc/14523/stat : 14523 (glucose) R 14522 14502 9087 0 -1 4202496 23899 0 0 0 179809 31 0 0 20 0 1 0 273673579 185450496 42761 33554432000 4194304 5208918 140736566098992 140736566096984 4229328 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 45276 42761 105 248 0 45025 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 207468
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.55
CPU system time (s): 0.491925
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 238288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.491925
maximum resident set size= 189744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 152
involuntary context switches= 2360
runsolver used 3.54246 second user time and 9.61854 second system time
The end