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-3750867-1339174258/watcher-3750867-1339174258 -o /tmp/evaluation-result-3750867-1339174258/solver-3750867-1339174258 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750867-1339174258.opb 739441948 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.56 2.14 2.04 3/180 4654
/proc/meminfo: memFree=22908572/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[startup+0.0655119 s]
/proc/loadavg: 2.56 2.14 2.04 3/180 4654
/proc/meminfo: memFree=22908572/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100475 s]
/proc/loadavg: 2.56 2.14 2.04 3/180 4654
/proc/meminfo: memFree=22908572/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.301085 s]
/proc/loadavg: 2.56 2.14 2.04 3/180 4654
/proc/meminfo: memFree=22908572/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.701086 s]
/proc/loadavg: 2.56 2.14 2.04 3/180 4654
/proc/meminfo: memFree=22908572/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50111 s]
/proc/loadavg: 2.56 2.14 2.04 3/182 4656
/proc/meminfo: memFree=22786556/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=148864 CPUtime=1.49 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) R 4654 4654 4063 0 -1 4202496 23852 0 0 0 142 7 0 0 20 0 1 0 383551841 152436736 33505 33554432000 4194304 6004724 140734875396048 140734875391688 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 37216 33505 130 442 0 36770 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 158012
[startup+3.10111 s]
/proc/loadavg: 2.56 2.14 2.04 3/181 4656
/proc/meminfo: memFree=22618952/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=362872 CPUtime=3.09 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) R 4654 4654 4063 0 -1 4202496 49839 0 0 0 294 15 0 0 20 0 1 0 383551841 371580928 76040 33554432000 4194304 6004724 140734875396048 140734875390328 4415504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 90718 76040 154 442 0 90272 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 372020
[startup+6.30114 s]
/proc/loadavg: 2.75 2.19 2.06 3/181 4656
/proc/meminfo: memFree=22223836/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=756088 CPUtime=6.29 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) R 4654 4654 4063 0 -1 4202496 51170 0 0 0 605 24 0 0 20 0 1 0 383551841 774234112 135944 33554432000 4194304 6004724 140734875396048 140734875390648 4534728 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 189022 135944 154 442 0 188576 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 765236
[startup+12.7075 s]
/proc/loadavg: 2.85 2.22 2.07 3/181 4656
/proc/meminfo: memFree=21535164/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=1280376 CPUtime=12.69 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) R 4654 4654 4063 0 -1 4202496 52177 0 0 0 1230 39 0 0 20 0 1 0 383551841 1311105024 258824 33554432000 4194304 6004724 140734875396048 140734875390648 4534749 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 320094 258824 154 442 0 319648 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1289524
[startup+25.5012 s]
/proc/loadavg: 2.82 2.24 2.08 3/183 4658
/proc/meminfo: memFree=18931516/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=22.83 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57172 0 0 0 2009 274 0 0 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875390096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4657] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4657/stat : 4657 (cp2_pre.sh) S 4655 4654 4063 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383554126 9367552 276 33554432000 4194304 5064252 140733512441264 140733512439968 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4657/statm: 2287 276 234 213 0 72 0
[pid=4658] ppid=4657 vsize=316288 CPUtime=2.63 cores=0,2,4,6
/proc/4658/stat : 4658 (coprocessor) R 4657 4654 4063 0 -1 4202496 15449 0 0 0 252 11 0 0 20 0 1 0 383554127 323878912 77380 33554432000 4194304 6586260 140735113816992 140735113813880 4372640 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/4658/statm: 79072 77380 138 584 0 78484 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 2672532
[startup+51.1012 s]
/proc/loadavg: 2.88 2.30 2.10 3/183 4661
/proc/meminfo: memFree=17281600/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=22.83 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57172 0 0 0 2009 274 0 0 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875390096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4657] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4657/stat : 4657 (cp2_pre.sh) S 4655 4654 4063 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383554126 9367552 276 33554432000 4194304 5064252 140733512441264 140733512439968 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4657/statm: 2287 276 234 213 0 72 0
[pid=4658] ppid=4657 vsize=2760864 CPUtime=28.08 cores=0,2,4,6
/proc/4658/stat : 4658 (coprocessor) R 4657 4654 4063 0 -1 4202496 25975 0 0 0 2672 136 0 0 20 0 1 0 383554127 2827124736 583267 33554432000 4194304 6586260 140735113816992 140735113812744 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 15 0 0
/proc/4658/statm: 690216 583267 158 584 0 689628 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 5117108
[startup+102.3 s]
/proc/loadavg: 2.64 2.33 2.12 3/183 4664
/proc/meminfo: memFree=17425060/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=90.24 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57180 26877 0 0 2009 275 6375 365 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875391184 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4663] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4663/stat : 4663 (satsolver.sh) S 4655 4654 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383560960 9367552 267 33554432000 4194304 5064252 140737201108560 140737201107472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4663/statm: 2287 267 226 213 0 72 0
[pid=4664] ppid=4663 vsize=2901508 CPUtime=11.09 cores=0,2,4,6
/proc/4664/stat : 4664 (glucose) R 4663 4654 4063 0 -1 4202496 291227 0 0 0 1009 100 0 0 20 0 1 0 383560961 2971144192 632189 33554432000 4194304 5208918 140735852313760 140735851263160 4221600 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4664/statm: 725377 632189 69 248 0 725126 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 5257752
[startup+162.3 s]
/proc/loadavg: 2.23 2.26 2.11 3/183 4664
/proc/meminfo: memFree=16890496/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=90.24 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57180 26877 0 0 2009 275 6375 365 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875391184 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4663] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4663/stat : 4663 (satsolver.sh) S 4655 4654 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383560960 9367552 267 33554432000 4194304 5064252 140737201108560 140737201107472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4663/statm: 2287 267 226 213 0 72 0
[pid=4664] ppid=4663 vsize=3851840 CPUtime=71.08 cores=0,2,4,6
/proc/4664/stat : 4664 (glucose) R 4663 4654 4063 0 -1 4202496 359788 0 0 0 6981 127 0 0 20 0 1 0 383560961 3944284160 765764 33554432000 4194304 5208918 140735852313760 140735852311608 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4664/statm: 962960 765764 103 248 0 962709 0
Current children cumulated CPU time (s) 161.32
Current children cumulated vsize (KiB) 6208084
[startup+222.307 s]
/proc/loadavg: 2.08 2.21 2.10 3/183 4664
/proc/meminfo: memFree=16881812/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=90.24 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57180 26877 0 0 2009 275 6375 365 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875391184 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4663] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4663/stat : 4663 (satsolver.sh) S 4655 4654 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383560960 9367552 267 33554432000 4194304 5064252 140737201108560 140737201107472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4663/statm: 2287 267 226 213 0 72 0
[pid=4664] ppid=4663 vsize=3856992 CPUtime=131.07 cores=0,2,4,6
/proc/4664/stat : 4664 (glucose) R 4663 4654 4063 0 -1 4202496 361098 0 0 0 12980 127 0 0 20 0 1 0 383560961 3949559808 768096 33554432000 4194304 5208918 140735852313760 140735852311608 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4664/statm: 964248 768096 103 248 0 963997 0
Current children cumulated CPU time (s) 221.31
################
# More data... #
################
/proc/4664/statm: 967694 779170 104 248 0 967443 0
Current children cumulated CPU time (s) 1421.13
Current children cumulated vsize (KiB) 6227020
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4698
/proc/meminfo: memFree=16788212/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=90.24 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57180 26877 0 0 2009 275 6375 365 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875391184 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4663] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4663/stat : 4663 (satsolver.sh) S 4655 4654 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383560960 9367552 267 33554432000 4194304 5064252 140737201108560 140737201107472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4663/statm: 2287 267 226 213 0 72 0
[pid=4664] ppid=4663 vsize=3872496 CPUtime=1390.87 cores=0,2,4,6
/proc/4664/stat : 4664 (glucose) R 4663 4654 4063 0 -1 4202496 407127 0 0 0 138943 144 0 0 20 0 1 0 383560961 3965435904 781115 33554432000 4194304 5208918 140735852313760 140735852311512 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4664/statm: 968124 781115 104 248 0 967873 0
Current children cumulated CPU time (s) 1481.11
Current children cumulated vsize (KiB) 6228740
[startup+1542.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 4698
/proc/meminfo: memFree=16778536/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=90.24 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57180 26877 0 0 2009 275 6375 365 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875391184 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4663] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4663/stat : 4663 (satsolver.sh) S 4655 4654 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383560960 9367552 267 33554432000 4194304 5064252 140737201108560 140737201107472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4663/statm: 2287 267 226 213 0 72 0
[pid=4664] ppid=4663 vsize=3873572 CPUtime=1450.87 cores=0,2,4,6
/proc/4664/stat : 4664 (glucose) R 4663 4654 4063 0 -1 4202496 407392 0 0 0 144943 144 0 0 20 0 1 0 383560961 3966537728 781380 33554432000 4194304 5208918 140735852313760 140735852311512 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4664/statm: 968393 781380 104 248 0 968142 0
Current children cumulated CPU time (s) 1541.11
Current children cumulated vsize (KiB) 6229816
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 4698
/proc/meminfo: memFree=16776736/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=90.24 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57180 26877 0 0 2009 275 6375 365 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875391184 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4663] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4663/stat : 4663 (satsolver.sh) S 4655 4654 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383560960 9367552 267 33554432000 4194304 5064252 140737201108560 140737201107472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4663/statm: 2287 267 226 213 0 72 0
[pid=4664] ppid=4663 vsize=3873572 CPUtime=1510.86 cores=0,2,4,6
/proc/4664/stat : 4664 (glucose) R 4663 4654 4063 0 -1 4202496 407392 0 0 0 150942 144 0 0 20 0 1 0 383560961 3966537728 781380 33554432000 4194304 5208918 140735852313760 140735852311512 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4664/statm: 968393 781380 104 248 0 968142 0
Current children cumulated CPU time (s) 1601.1
Current children cumulated vsize (KiB) 6229816
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4698
/proc/meminfo: memFree=16774564/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=90.24 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57180 26877 0 0 2009 275 6375 365 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875391184 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4663] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4663/stat : 4663 (satsolver.sh) S 4655 4654 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383560960 9367552 267 33554432000 4194304 5064252 140737201108560 140737201107472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4663/statm: 2287 267 226 213 0 72 0
[pid=4664] ppid=4663 vsize=3873572 CPUtime=1570.85 cores=0,2,4,6
/proc/4664/stat : 4664 (glucose) R 4663 4654 4063 0 -1 4202496 407392 0 0 0 156941 144 0 0 20 0 1 0 383560961 3966537728 781380 33554432000 4194304 5208918 140735852313760 140735852311512 4205128 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4664/statm: 968393 781380 104 248 0 968142 0
Current children cumulated CPU time (s) 1661.09
Current children cumulated vsize (KiB) 6229816
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4698
/proc/meminfo: memFree=16765880/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=90.24 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57180 26877 0 0 2009 275 6375 365 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875391184 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4663] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4663/stat : 4663 (satsolver.sh) S 4655 4654 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383560960 9367552 267 33554432000 4194304 5064252 140737201108560 140737201107472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4663/statm: 2287 267 226 213 0 72 0
[pid=4664] ppid=4663 vsize=3873572 CPUtime=1630.84 cores=0,2,4,6
/proc/4664/stat : 4664 (glucose) R 4663 4654 4063 0 -1 4202496 407392 0 0 0 162940 144 0 0 20 0 1 0 383560961 3966537728 781380 33554432000 4194304 5208918 140735852313760 140735852311512 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4664/statm: 968393 781380 104 248 0 968142 0
Current children cumulated CPU time (s) 1721.08
Current children cumulated vsize (KiB) 6229816
[startup+1782.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 4753
/proc/meminfo: memFree=22574588/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=90.24 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57180 26877 0 0 2009 275 6375 365 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875391184 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4663] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4663/stat : 4663 (satsolver.sh) S 4655 4654 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383560960 9367552 267 33554432000 4194304 5064252 140737201108560 140737201107472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4663/statm: 2287 267 226 213 0 72 0
[pid=4664] ppid=4663 vsize=3873832 CPUtime=1690.83 cores=0,2,4,6
/proc/4664/stat : 4664 (glucose) R 4663 4654 4063 0 -1 4202496 410525 0 0 0 168937 146 0 0 20 0 1 0 383560961 3966803968 781473 33554432000 4194304 5208918 140735852313760 140735852311608 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4664/statm: 968458 781473 104 248 0 968207 0
Current children cumulated CPU time (s) 1781.07
Current children cumulated vsize (KiB) 6230076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 4754
/proc/meminfo: memFree=22573652/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=90.24 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57180 26877 0 0 2009 275 6375 365 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875391184 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4663] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4663/stat : 4663 (satsolver.sh) S 4655 4654 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383560960 9367552 267 33554432000 4194304 5064252 140737201108560 140737201107472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4663/statm: 2287 267 226 213 0 72 0
[pid=4664] ppid=4663 vsize=3873832 CPUtime=1709.83 cores=0,2,4,6
/proc/4664/stat : 4664 (glucose) R 4663 4654 4063 0 -1 4202496 410525 0 0 0 170837 146 0 0 20 0 1 0 383560961 3966803968 781473 33554432000 4194304 5208918 140735852313760 140735852311608 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4664/statm: 968458 781473 104 248 0 968207 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 6230076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 4754
/proc/meminfo: memFree=22573652/32873648 swapFree=7372/7372
[pid=4654] ppid=4652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4654/stat : 4654 (npSolver-pbo.sh) S 4652 4654 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383551841 9367552 274 33554432000 4194304 5064252 140735464156224 140735464155136 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4654/statm: 2287 274 233 213 0 72 0
[pid=4655] ppid=4654 vsize=2337948 CPUtime=90.24 cores=0,2,4,6
/proc/4655/stat : 4655 (npSolver-pbo) S 4654 4654 4063 0 -1 4202496 57180 26877 0 0 2009 275 6375 365 20 0 1 0 383551841 2394058752 410128 33554432000 4194304 6004724 140734875396048 140734875391184 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4655/statm: 584487 410128 163 442 0 584041 0
[pid=4663] ppid=4655 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4663/stat : 4663 (satsolver.sh) S 4655 4654 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383560960 9367552 267 33554432000 4194304 5064252 140737201108560 140737201107472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4663/statm: 2287 267 226 213 0 72 0
[pid=4664] ppid=4663 vsize=3873832 CPUtime=1709.83 cores=0,2,4,6
/proc/4664/stat : 4664 (glucose) R 4663 4654 4063 0 -1 4202496 410525 0 0 0 170837 146 0 0 20 0 1 0 383560961 3966803968 781473 33554432000 4194304 5208918 140735852313760 140735852311608 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4664/statm: 968458 781473 104 248 0 968207 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 6230076
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4654 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.32
CPU time (s): 1800.07
CPU user time (s): 1792.21
CPU system time (s): 7.86
CPU usage (%): 99.9306
Max. virtual memory (cumulated for all children) (KiB): 6271336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.73128 second user time and 10.3334 second system time
The end