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-3750758-1339165291/watcher-3750758-1339165291 -o /tmp/evaluation-result-3750758-1339165291/solver-3750758-1339165291 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750758-1339165291.opb 1951110589 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 19062
/proc/meminfo: memFree=30043984/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[startup+0.075018 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19062
/proc/meminfo: memFree=30043984/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100266 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19062
/proc/meminfo: memFree=30043984/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19062
/proc/meminfo: memFree=30043984/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700167 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19062
/proc/meminfo: memFree=30043984/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19064
/proc/meminfo: memFree=29919704/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=193984 CPUtime=1.49 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) R 19062 19062 12494 0 -1 4202496 21288 0 0 0 143 6 0 0 20 0 1 0 382655113 198639616 43482 33554432000 4194304 6004724 140735890757632 140735890754072 4534761 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19063/statm: 48496 43482 154 442 0 48050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 203132
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19064
/proc/meminfo: memFree=29823452/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=390592 CPUtime=3.09 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) R 19062 19062 12494 0 -1 4202496 22462 0 0 0 299 10 0 0 20 0 1 0 382655113 399966208 72154 33554432000 4194304 6004724 140735890757632 140735890752232 4617922 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19063/statm: 97648 72154 154 442 0 97202 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 399740
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19064
/proc/meminfo: memFree=29231100/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=616440 CPUtime=5.68 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 23603 0 0 0 505 63 0 0 20 0 1 0 382655113 631234560 102033 33554432000 4194304 6004724 140735890757632 140735890751680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/19063/statm: 154110 102033 163 442 0 153664 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 625588
[startup+12.7004 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 19066
/proc/meminfo: memFree=28243644/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=616440 CPUtime=5.68 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 23603 0 0 0 505 63 0 0 20 0 1 0 382655113 631234560 102033 33554432000 4194304 6004724 140735890757632 140735890751680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/19063/statm: 154110 102033 163 442 0 153664 0
[pid=19065] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19065/stat : 19065 (cp2_pre.sh) S 19063 19062 12494 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382655684 9367552 276 33554432000 4194304 5064252 140734877986848 140734877985552 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19065/statm: 2287 276 234 213 0 72 0
[pid=19066] ppid=19065 vsize=1203180 CPUtime=6.97 cores=0,2,4,6
/proc/19066/stat : 19066 (coprocessor) R 19065 19062 12494 0 -1 4202496 100622 0 0 0 661 36 0 0 20 0 1 0 382655684 1232056320 270623 33554432000 4194304 6586260 140733932553904 140733932550168 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/19066/statm: 300795 270624 164 584 0 300207 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 1837916
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 19066
/proc/meminfo: memFree=27815432/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=616440 CPUtime=5.68 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 23603 0 0 0 505 63 0 0 20 0 1 0 382655113 631234560 102033 33554432000 4194304 6004724 140735890757632 140735890751680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/19063/statm: 154110 102033 163 442 0 153664 0
[pid=19065] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19065/stat : 19065 (cp2_pre.sh) S 19063 19062 12494 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382655684 9367552 276 33554432000 4194304 5064252 140734877986848 140734877985552 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19065/statm: 2287 276 234 213 0 72 0
[pid=19066] ppid=19065 vsize=1465816 CPUtime=19.78 cores=0,2,4,6
/proc/19066/stat : 19066 (coprocessor) R 19065 19062 12494 0 -1 4202496 137865 0 0 0 1865 113 0 0 20 0 1 0 382655684 1500995584 357100 33554432000 4194304 6586260 140733932553904 140733932549656 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/19066/statm: 366454 357100 199 584 0 365866 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 2100552
[startup+51.1069 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 19069
/proc/meminfo: memFree=29101292/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=616440 CPUtime=26.48 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 23612 138767 0 0 505 63 1953 127 20 0 1 0 382655113 631234560 102033 33554432000 4194304 6004724 140735890757632 140735890752768 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/19063/statm: 154110 102033 163 442 0 153664 0
[pid=19068] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19068/stat : 19068 (satsolver.sh) S 19063 19062 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382657781 9367552 267 33554432000 4194304 5064252 140734254942560 140734254941472 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19068/statm: 2287 267 226 213 0 72 0
[pid=19069] ppid=19068 vsize=513072 CPUtime=24.41 cores=0,2,4,6
/proc/19069/stat : 19069 (glucose) R 19068 19062 12494 0 -1 4202496 76879 0 0 0 2422 19 0 0 20 0 1 0 382657782 525385728 116496 33554432000 4194304 5208918 140736417347792 140736417345640 4229195 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19069/statm: 128268 116496 104 248 0 128017 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 1147808
[startup+102.3 s]
/proc/loadavg: 2.19 2.06 2.01 3/183 19077
/proc/meminfo: memFree=28970976/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=626444 CPUtime=86.68 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 32087 226609 0 0 677 651 7159 181 20 0 1 0 382655113 641478656 104516 33554432000 4194304 6004724 140735890757632 140735890749984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/19063/statm: 156611 104516 177 442 0 156165 0
[pid=19075] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19075/stat : 19075 (satsolver.sh) S 19063 19062 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382663824 9367552 266 33554432000 4194304 5064252 140733784105376 140733784104288 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19075/statm: 2287 266 226 213 0 72 0
[pid=19076] ppid=19075 vsize=492724 CPUtime=15.17 cores=0,2,4,6
/proc/19076/stat : 19076 (glucose) R 19075 19062 12494 0 -1 4202496 76592 0 0 0 1496 21 0 0 20 0 1 0 382663825 504549376 111995 33554432000 4194304 5208918 140733941964992 140733941961368 4229273 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19076/statm: 123181 111995 105 248 0 122930 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 1137464
[startup+162.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 19091
/proc/meminfo: memFree=29007804/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=653308 CPUtime=136.03 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 40892 387120 0 0 722 653 11951 277 20 0 1 0 382655113 668987392 108758 33554432000 4194304 6004724 140735890757632 140735890749984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/19063/statm: 163327 108758 178 442 0 162881 0
[pid=19090] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19090/stat : 19090 (satsolver.sh) S 19063 19062 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382668759 9367552 267 33554432000 4194304 5064252 140733901106464 140733901105376 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19090/statm: 2287 267 226 213 0 72 0
[pid=19091] ppid=19090 vsize=489564 CPUtime=25.82 cores=0,2,4,6
/proc/19091/stat : 19091 (glucose) R 19090 19062 12494 0 -1 4202496 79062 0 0 0 2564 18 0 0 20 0 1 0 382668759 501313536 108235 33554432000 4194304 5208918 140735701986800 140735701983176 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19091/statm: 122391 108235 105 248 0 122140 0
Current children cumulated CPU time (s) 161.85
Current children cumulated vsize (KiB) 1161168
[startup+222.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/181 19229
/proc/meminfo: memFree=28925576/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=653308 CPUtime=136.03 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 40892 387120 0 0 722 653 11951 277 20 0 1 0 382655113 668987392 108758 33554432000 4194304 6004724 140735890757632 140735890749984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/19063/statm: 163327 108758 178 442 0 162881 0
[pid=19090] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 19293
/proc/meminfo: memFree=28737328/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=653308 CPUtime=894.5 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 58672 711585 0 0 811 657 87504 478 20 0 1 0 382655113 668987392 108758 33554432000 4194304 6004724 140735890757632 140735890749984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/19063/statm: 163327 108758 178 442 0 162881 0
[pid=19287] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19287/stat : 19287 (satsolver.sh) S 19063 19062 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382744741 9367552 267 33554432000 4194304 5064252 140734589886768 140734589885680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19287/statm: 2287 267 226 213 0 72 0
[pid=19288] ppid=19287 vsize=498304 CPUtime=525.86 cores=0,2,4,6
/proc/19288/stat : 19288 (glucose) R 19287 19062 12494 0 -1 4202496 85999 0 0 0 52554 32 0 0 20 0 1 0 382744742 510263296 112415 33554432000 4194304 5208918 140734249615712 140734249612088 4211156 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19288/statm: 124576 112415 105 248 0 124325 0
Current children cumulated CPU time (s) 1420.36
Current children cumulated vsize (KiB) 1169908
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 19293
/proc/meminfo: memFree=28738096/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=653308 CPUtime=894.5 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 58672 711585 0 0 811 657 87504 478 20 0 1 0 382655113 668987392 108758 33554432000 4194304 6004724 140735890757632 140735890749984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/19063/statm: 163327 108758 178 442 0 162881 0
[pid=19287] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19287/stat : 19287 (satsolver.sh) S 19063 19062 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382744741 9367552 267 33554432000 4194304 5064252 140734589886768 140734589885680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19287/statm: 2287 267 226 213 0 72 0
[pid=19288] ppid=19287 vsize=498304 CPUtime=585.85 cores=0,2,4,6
/proc/19288/stat : 19288 (glucose) R 19287 19062 12494 0 -1 4202496 86842 0 0 0 58551 34 0 0 20 0 1 0 382744742 510263296 112432 33554432000 4194304 5208918 140734249615712 140734249612088 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19288/statm: 124576 112432 105 248 0 124325 0
Current children cumulated CPU time (s) 1480.35
Current children cumulated vsize (KiB) 1169908
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19294
/proc/meminfo: memFree=28736680/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=653308 CPUtime=894.5 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 58672 711585 0 0 811 657 87504 478 20 0 1 0 382655113 668987392 108758 33554432000 4194304 6004724 140735890757632 140735890749984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/19063/statm: 163327 108758 178 442 0 162881 0
[pid=19287] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19287/stat : 19287 (satsolver.sh) S 19063 19062 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382744741 9367552 267 33554432000 4194304 5064252 140734589886768 140734589885680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19287/statm: 2287 267 226 213 0 72 0
[pid=19288] ppid=19287 vsize=498304 CPUtime=645.84 cores=0,2,4,6
/proc/19288/stat : 19288 (glucose) R 19287 19062 12494 0 -1 4202496 87813 0 0 0 64548 36 0 0 20 0 1 0 382744742 510263296 112634 33554432000 4194304 5208918 140734249615712 140734249612088 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19288/statm: 124576 112634 105 248 0 124325 0
Current children cumulated CPU time (s) 1540.34
Current children cumulated vsize (KiB) 1169908
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19294
/proc/meminfo: memFree=28736144/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=653308 CPUtime=894.5 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 58672 711585 0 0 811 657 87504 478 20 0 1 0 382655113 668987392 108758 33554432000 4194304 6004724 140735890757632 140735890749984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/19063/statm: 163327 108758 178 442 0 162881 0
[pid=19287] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19287/stat : 19287 (satsolver.sh) S 19063 19062 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382744741 9367552 267 33554432000 4194304 5064252 140734589886768 140734589885680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19287/statm: 2287 267 226 213 0 72 0
[pid=19288] ppid=19287 vsize=500528 CPUtime=705.83 cores=0,2,4,6
/proc/19288/stat : 19288 (glucose) R 19287 19062 12494 0 -1 4202496 89172 0 0 0 70545 38 0 0 20 0 1 0 382744742 512540672 113200 33554432000 4194304 5208918 140734249615712 140734249611480 4205163 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19288/statm: 125132 113200 105 248 0 124881 0
Current children cumulated CPU time (s) 1600.33
Current children cumulated vsize (KiB) 1172132
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19295
/proc/meminfo: memFree=28769428/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=653308 CPUtime=894.5 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 58672 711585 0 0 811 657 87504 478 20 0 1 0 382655113 668987392 108758 33554432000 4194304 6004724 140735890757632 140735890749984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/19063/statm: 163327 108758 178 442 0 162881 0
[pid=19287] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19287/stat : 19287 (satsolver.sh) S 19063 19062 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382744741 9367552 267 33554432000 4194304 5064252 140734589886768 140734589885680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19287/statm: 2287 267 226 213 0 72 0
[pid=19288] ppid=19287 vsize=500528 CPUtime=765.82 cores=0,2,4,6
/proc/19288/stat : 19288 (glucose) R 19287 19062 12494 0 -1 4202496 89999 0 0 0 76543 39 0 0 20 0 1 0 382744742 512540672 112694 33554432000 4194304 5208918 140734249615712 140734249613800 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19288/statm: 125132 112694 105 248 0 124881 0
Current children cumulated CPU time (s) 1660.32
Current children cumulated vsize (KiB) 1172132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19298
/proc/meminfo: memFree=28773136/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=653308 CPUtime=894.5 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 58672 711585 0 0 811 657 87504 478 20 0 1 0 382655113 668987392 108758 33554432000 4194304 6004724 140735890757632 140735890749984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/19063/statm: 163327 108758 178 442 0 162881 0
[pid=19287] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19287/stat : 19287 (satsolver.sh) S 19063 19062 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382744741 9367552 267 33554432000 4194304 5064252 140734589886768 140734589885680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19287/statm: 2287 267 226 213 0 72 0
[pid=19288] ppid=19287 vsize=500528 CPUtime=825.81 cores=0,2,4,6
/proc/19288/stat : 19288 (glucose) R 19287 19062 12494 0 -1 4202496 90857 0 0 0 82540 41 0 0 20 0 1 0 382744742 512540672 111677 33554432000 4194304 5208918 140734249615712 140734249613800 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19288/statm: 125132 111677 105 248 0 124881 0
Current children cumulated CPU time (s) 1720.31
Current children cumulated vsize (KiB) 1172132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19298
/proc/meminfo: memFree=28730688/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=653308 CPUtime=894.5 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 58672 711585 0 0 811 657 87504 478 20 0 1 0 382655113 668987392 108758 33554432000 4194304 6004724 140735890757632 140735890749984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/19063/statm: 163327 108758 178 442 0 162881 0
[pid=19287] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19287/stat : 19287 (satsolver.sh) S 19063 19062 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382744741 9367552 267 33554432000 4194304 5064252 140734589886768 140734589885680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19287/statm: 2287 267 226 213 0 72 0
[pid=19288] ppid=19287 vsize=532952 CPUtime=885.8 cores=0,2,4,6
/proc/19288/stat : 19288 (glucose) R 19287 19062 12494 0 -1 4202496 91756 0 0 0 88538 42 0 0 20 0 1 0 382744742 545742848 115629 33554432000 4194304 5208918 140734249615712 140734249612024 4230001 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19288/statm: 133238 115629 105 248 0 132987 0
Current children cumulated CPU time (s) 1780.3
Current children cumulated vsize (KiB) 1204556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19298
/proc/meminfo: memFree=28741068/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=653308 CPUtime=894.5 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 58672 711585 0 0 811 657 87504 478 20 0 1 0 382655113 668987392 108758 33554432000 4194304 6004724 140735890757632 140735890749984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/19063/statm: 163327 108758 178 442 0 162881 0
[pid=19287] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19287/stat : 19287 (satsolver.sh) S 19063 19062 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382744741 9367552 267 33554432000 4194304 5064252 140734589886768 140734589885680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19287/statm: 2287 267 226 213 0 72 0
[pid=19288] ppid=19287 vsize=502132 CPUtime=905.51 cores=0,2,4,6
/proc/19288/stat : 19288 (glucose) R 19287 19062 12494 0 -1 4202496 92054 0 0 0 90507 44 0 0 20 0 1 0 382744742 514183168 112083 33554432000 4194304 5208918 140734249615712 140734249613800 4212619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19288/statm: 125533 112083 105 248 0 125282 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1173736
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19298
/proc/meminfo: memFree=28741068/32873648 swapFree=7628/7628
[pid=19062] ppid=19060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19062/stat : 19062 (npSolver-pbo.sh) S 19060 19062 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382655113 9367552 274 33554432000 4194304 5064252 140735522857712 140735522856624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19062/statm: 2287 274 233 213 0 72 0
[pid=19063] ppid=19062 vsize=653308 CPUtime=894.5 cores=0,2,4,6
/proc/19063/stat : 19063 (npSolver-pbo) S 19062 19062 12494 0 -1 4202496 58672 711585 0 0 811 657 87504 478 20 0 1 0 382655113 668987392 108758 33554432000 4194304 6004724 140735890757632 140735890749984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/19063/statm: 163327 108758 178 442 0 162881 0
[pid=19287] ppid=19063 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19287/stat : 19287 (satsolver.sh) S 19063 19062 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382744741 9367552 267 33554432000 4194304 5064252 140734589886768 140734589885680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19287/statm: 2287 267 226 213 0 72 0
[pid=19288] ppid=19287 vsize=502132 CPUtime=905.51 cores=0,2,4,6
/proc/19288/stat : 19288 (glucose) R 19287 19062 12494 0 -1 4202496 92054 0 0 0 90507 44 0 0 20 0 1 0 382744742 514183168 112083 33554432000 4194304 5208918 140734249615712 140734249613800 4212619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19288/statm: 125533 112083 105 248 0 125282 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1173736
Child status: 0
Real time (s): 1802.02
CPU time (s): 1800.05
CPU user time (s): 1788.23
CPU system time (s): 11.8192
CPU usage (%): 99.891
Max. virtual memory (cumulated for all children) (KiB): 2142760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.23
system time used= 11.8192
maximum resident set size= 1470600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 863300
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2644112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14990
involuntary context switches= 2245
runsolver used 3.25351 second user time and 8.60169 second system time
The end