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-3749813-1339182837/watcher-3749813-1339182837 -o /tmp/evaluation-result-3749813-1339182837/solver-3749813-1339182837 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749813-1339182837.opb 1788640972 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.75 1.95 1.98 3/173 15174
/proc/meminfo: memFree=29705704/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[startup+0.0135449 s]
/proc/loadavg: 1.75 1.95 1.98 3/173 15174
/proc/meminfo: memFree=29705704/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100144 s]
/proc/loadavg: 1.75 1.95 1.98 3/173 15174
/proc/meminfo: memFree=29705704/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300167 s]
/proc/loadavg: 1.75 1.95 1.98 3/173 15174
/proc/meminfo: memFree=29705704/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700158 s]
/proc/loadavg: 1.75 1.95 1.98 3/173 15174
/proc/meminfo: memFree=29705704/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 1.85 1.97 1.99 3/175 15176
/proc/meminfo: memFree=29549252/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=217192 CPUtime=1.49 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) R 15174 15174 14220 0 -1 4202496 25211 0 0 0 141 8 0 0 20 0 1 0 384409864 222404608 42986 33554432000 4194304 6004724 140736510010656 140736510006680 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15175/statm: 54298 42986 130 442 0 53852 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 226340
[startup+3.10027 s]
/proc/loadavg: 1.85 1.97 1.99 3/179 15187
/proc/meminfo: memFree=29340992/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=437364 CPUtime=3.08 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) R 15174 15174 14220 0 -1 4202496 48128 0 0 0 292 16 0 0 20 0 1 0 384409864 447860736 88832 33554432000 4194304 6004724 140736510010656 140736510006232 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15175/statm: 109341 88832 130 442 0 108895 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 446512
[startup+6.30022 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 15187
/proc/meminfo: memFree=28595212/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=1450280 CPUtime=6.28 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) R 15174 15174 14220 0 -1 4202496 157896 0 0 0 586 42 0 0 20 0 1 0 384409864 1485086720 310853 33554432000 4194304 6004724 140736510010656 140736510007096 4959366 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15175/statm: 362570 310853 131 442 0 362124 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1459428
[startup+12.7003 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 15187
/proc/meminfo: memFree=26862396/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=1450276 CPUtime=12.68 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) R 15174 15174 14220 0 -1 4202496 158962 0 0 0 1215 53 0 0 20 0 1 0 384409864 1485082624 338328 33554432000 4194304 6004724 140736510010656 140736510005272 4534738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15175/statm: 362569 338328 147 442 0 362123 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1459424
[startup+25.5002 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 15187
/proc/meminfo: memFree=24931868/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023156 CPUtime=25.47 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) R 15174 15174 14220 0 -1 4202496 161246 0 0 0 2458 89 0 0 20 0 1 0 384409864 3095711744 576948 33554432000 4194304 6004724 140736510010656 140736510005256 4581241 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15175/statm: 755789 576948 154 442 0 755343 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 3032304
[startup+51.1002 s]
/proc/loadavg: 2.26 2.05 2.01 3/181 15189
/proc/meminfo: memFree=19238040/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023160 CPUtime=28.27 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) S 15174 15174 14220 0 -1 4202496 162683 0 0 0 2527 300 0 0 20 0 1 0 384409864 3095715840 585662 33554432000 4194304 6004724 140736510010656 140736510004704 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15175/statm: 755790 585662 163 442 0 755344 0
[pid=15188] ppid=15175 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15188/stat : 15188 (cp2_pre.sh) S 15175 15174 14220 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 384412696 9367552 276 33554432000 4194304 5064252 140734379965424 140734379964128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15188/statm: 2287 276 234 213 0 72 0
[pid=15189] ppid=15188 vsize=2684268 CPUtime=22.74 cores=1,3,5,7
/proc/15189/stat : 15189 (coprocessor) R 15188 15174 14220 0 -1 4202496 25417 0 0 0 2178 96 0 0 20 0 1 0 384412698 2748690432 531269 33554432000 4194304 6586260 140734522616352 140734522612104 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/15189/statm: 671067 531269 158 584 0 670479 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 5725724
[startup+102.307 s]
/proc/loadavg: 3.17 2.32 2.11 3/183 15194
/proc/meminfo: memFree=9979936/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023160 CPUtime=87.99 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) S 15174 15174 14220 0 -1 4202496 162691 26318 0 0 2527 301 5651 320 20 0 1 0 384409864 3095715840 585662 33554432000 4194304 6004724 140736510010656 140736510005792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15175/statm: 755790 585662 163 442 0 755344 0
[pid=15193] ppid=15175 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15193/stat : 15193 (satsolver.sh) S 15175 15174 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384418805 9367552 267 33554432000 4194304 5064252 140735263869488 140735263868400 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15193/statm: 2287 267 226 213 0 72 0
[pid=15194] ppid=15193 vsize=3416296 CPUtime=12.87 cores=1,3,5,7
/proc/15194/stat : 15194 (glucose) R 15193 15174 14220 0 -1 4202496 329537 0 0 0 1176 111 0 0 20 0 1 0 384418807 3498287104 728108 33554432000 4194304 5208918 140733243549184 140733243547032 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15194/statm: 854074 728108 95 248 0 853823 0
Current children cumulated CPU time (s) 100.86
Current children cumulated vsize (KiB) 6457752
[startup+162.3 s]
/proc/loadavg: 3.57 2.59 2.21 3/183 15194
/proc/meminfo: memFree=8682344/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023160 CPUtime=87.99 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) S 15174 15174 14220 0 -1 4202496 162691 26318 0 0 2527 301 5651 320 20 0 1 0 384409864 3095715840 585662 33554432000 4194304 6004724 140736510010656 140736510005792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15175/statm: 755790 585662 163 442 0 755344 0
[pid=15193] ppid=15175 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15193/stat : 15193 (satsolver.sh) S 15175 15174 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384418805 9367552 267 33554432000 4194304 5064252 140735263869488 140735263868400 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15193/statm: 2287 267 226 213 0 72 0
[pid=15194] ppid=15193 vsize=3439572 CPUtime=72.85 cores=1,3,5,7
/proc/15194/stat : 15194 (glucose) R 15193 15174 14220 0 -1 4202496 347450 0 0 0 7168 117 0 0 20 0 1 0 384418807 3522121728 734418 33554432000 4194304 5208918 140733243549184 140733243547128 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15194/statm: 859893 734418 103 248 0 859642 0
Current children cumulated CPU time (s) 160.84
Current children cumulated vsize (KiB) 6481028
[startup+222.3 s]
/proc/loadavg: 2.67 2.51 2.20 3/183 15197
/proc/meminfo: memFree=9852048/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023160 CPUtime=87.99 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) S 15174 15174 14220 0 -1 4202496 162691 26318 0 0 2527 301 5651 320 20 0 1 0 384409864 3095715840 585662 33554432000 4194304 6004724 140736510010656 140736510005792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15175/statm: 755790 585662 163 442 0 755344 0
[pid=15193] ppid=15175 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15193/stat : 15193 (satsolver.sh) S 15175 15174 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384418805 9367552 267 33554432000 4194304 5064252 140735263869488 140735263868400 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15193/statm: 2287 267 226 213 0 72 0
[pid=15194] ppid=15193 vsize=3443416 CPUtime=132.84 cores=1,3,5,7
/proc/15194/stat : 15194 (glucose) R 15193 15174 14220 0 -1 4202496 360057 0 0 0 13163 121 0 0 20 0 1 0 384418807 3526057984 735427 33554432000 4194304 5208918 140733243549184 140733243547032 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15194/statm: 860854 735427 103 248 0 860603 0
Current children cumulated CPU time (s) 220.83
Current children cumulated vsize (KiB) 6484872
[startup+282.3 s]
/proc/loadavg: 2.30 2.43 2.19 3/183 15198
/proc/meminfo: memFree=9819920/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/15194/statm: 867915 742942 103 248 0 867664 0
Current children cumulated CPU time (s) 1420.65
Current children cumulated vsize (KiB) 6513116
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/183 15209
/proc/meminfo: memFree=9696868/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023160 CPUtime=87.99 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) S 15174 15174 14220 0 -1 4202496 162691 26318 0 0 2527 301 5651 320 20 0 1 0 384409864 3095715840 585662 33554432000 4194304 6004724 140736510010656 140736510005792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15175/statm: 755790 585662 163 442 0 755344 0
[pid=15193] ppid=15175 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15193/stat : 15193 (satsolver.sh) S 15175 15174 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384418805 9367552 267 33554432000 4194304 5064252 140735263869488 140735263868400 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15193/statm: 2287 267 226 213 0 72 0
[pid=15194] ppid=15193 vsize=3471828 CPUtime=1392.65 cores=1,3,5,7
/proc/15194/stat : 15194 (glucose) R 15193 15174 14220 0 -1 4202496 611087 0 0 0 139066 199 0 0 20 0 1 0 384418807 3555151872 743023 33554432000 4194304 5208918 140733243549184 140733243547320 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15194/statm: 867957 743023 103 248 0 867706 0
Current children cumulated CPU time (s) 1480.64
Current children cumulated vsize (KiB) 6513284
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/183 15209
/proc/meminfo: memFree=9693128/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023160 CPUtime=87.99 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) S 15174 15174 14220 0 -1 4202496 162691 26318 0 0 2527 301 5651 320 20 0 1 0 384409864 3095715840 585662 33554432000 4194304 6004724 140736510010656 140736510005792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15175/statm: 755790 585662 163 442 0 755344 0
[pid=15193] ppid=15175 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15193/stat : 15193 (satsolver.sh) S 15175 15174 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384418805 9367552 267 33554432000 4194304 5064252 140735263869488 140735263868400 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15193/statm: 2287 267 226 213 0 72 0
[pid=15194] ppid=15193 vsize=3471956 CPUtime=1452.64 cores=1,3,5,7
/proc/15194/stat : 15194 (glucose) R 15193 15174 14220 0 -1 4202496 622737 0 0 0 145061 203 0 0 20 0 1 0 384418807 3555282944 743073 33554432000 4194304 5208918 140733243549184 140733243547320 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15194/statm: 867989 743073 103 248 0 867738 0
Current children cumulated CPU time (s) 1540.63
Current children cumulated vsize (KiB) 6513412
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/184 15212
/proc/meminfo: memFree=9688592/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023160 CPUtime=87.99 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) S 15174 15174 14220 0 -1 4202496 162691 26318 0 0 2527 301 5651 320 20 0 1 0 384409864 3095715840 585662 33554432000 4194304 6004724 140736510010656 140736510005792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15175/statm: 755790 585662 163 442 0 755344 0
[pid=15193] ppid=15175 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15193/stat : 15193 (satsolver.sh) S 15175 15174 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384418805 9367552 267 33554432000 4194304 5064252 140735263869488 140735263868400 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15193/statm: 2287 267 226 213 0 72 0
[pid=15194] ppid=15193 vsize=3473884 CPUtime=1512.63 cores=1,3,5,7
/proc/15194/stat : 15194 (glucose) R 15193 15174 14220 0 -1 4202496 630946 0 0 0 151057 206 0 0 20 0 1 0 384418807 3557257216 744074 33554432000 4194304 5208918 140733243549184 140733243547032 4205761 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15194/statm: 868471 744074 103 248 0 868220 0
Current children cumulated CPU time (s) 1600.62
Current children cumulated vsize (KiB) 6515340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 15212
/proc/meminfo: memFree=9686596/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023160 CPUtime=87.99 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) S 15174 15174 14220 0 -1 4202496 162691 26318 0 0 2527 301 5651 320 20 0 1 0 384409864 3095715840 585662 33554432000 4194304 6004724 140736510010656 140736510005792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15175/statm: 755790 585662 163 442 0 755344 0
[pid=15193] ppid=15175 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15193/stat : 15193 (satsolver.sh) S 15175 15174 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384418805 9367552 267 33554432000 4194304 5064252 140735263869488 140735263868400 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15193/statm: 2287 267 226 213 0 72 0
[pid=15194] ppid=15193 vsize=3474052 CPUtime=1572.62 cores=1,3,5,7
/proc/15194/stat : 15194 (glucose) R 15193 15174 14220 0 -1 4202496 642604 0 0 0 157053 209 0 0 20 0 1 0 384418807 3557429248 744133 33554432000 4194304 5208918 140733243549184 140733243547320 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15194/statm: 868513 744133 103 248 0 868262 0
Current children cumulated CPU time (s) 1660.61
Current children cumulated vsize (KiB) 6515508
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 15212
/proc/meminfo: memFree=9686412/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023160 CPUtime=87.99 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) S 15174 15174 14220 0 -1 4202496 162691 26318 0 0 2527 301 5651 320 20 0 1 0 384409864 3095715840 585662 33554432000 4194304 6004724 140736510010656 140736510005792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15175/statm: 755790 585662 163 442 0 755344 0
[pid=15193] ppid=15175 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15193/stat : 15193 (satsolver.sh) S 15175 15174 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384418805 9367552 267 33554432000 4194304 5064252 140735263869488 140735263868400 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15193/statm: 2287 267 226 213 0 72 0
[pid=15194] ppid=15193 vsize=3474220 CPUtime=1632.61 cores=1,3,5,7
/proc/15194/stat : 15194 (glucose) R 15193 15174 14220 0 -1 4202496 654269 0 0 0 163049 212 0 0 20 0 1 0 384418807 3557601280 744176 33554432000 4194304 5208918 140733243549184 140733243547320 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15194/statm: 868555 744176 103 248 0 868304 0
Current children cumulated CPU time (s) 1720.6
Current children cumulated vsize (KiB) 6515676
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 15213
/proc/meminfo: memFree=9683660/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023160 CPUtime=87.99 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) S 15174 15174 14220 0 -1 4202496 162691 26318 0 0 2527 301 5651 320 20 0 1 0 384409864 3095715840 585662 33554432000 4194304 6004724 140736510010656 140736510005792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15175/statm: 755790 585662 163 442 0 755344 0
[pid=15193] ppid=15175 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15193/stat : 15193 (satsolver.sh) S 15175 15174 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384418805 9367552 267 33554432000 4194304 5064252 140735263869488 140735263868400 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15193/statm: 2287 267 226 213 0 72 0
[pid=15194] ppid=15193 vsize=3474580 CPUtime=1692.61 cores=1,3,5,7
/proc/15194/stat : 15194 (glucose) R 15193 15174 14220 0 -1 4202496 665987 0 0 0 169045 216 0 0 20 0 1 0 384418807 3557969920 744316 33554432000 4194304 5208918 140733243549184 140733243547320 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15194/statm: 868645 744316 103 248 0 868394 0
Current children cumulated CPU time (s) 1780.6
Current children cumulated vsize (KiB) 6516036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15213
/proc/meminfo: memFree=9684500/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023160 CPUtime=87.99 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) S 15174 15174 14220 0 -1 4202496 162691 26318 0 0 2527 301 5651 320 20 0 1 0 384409864 3095715840 585662 33554432000 4194304 6004724 140736510010656 140736510005792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15175/statm: 755790 585662 163 442 0 755344 0
[pid=15193] ppid=15175 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15193/stat : 15193 (satsolver.sh) S 15175 15174 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384418805 9367552 267 33554432000 4194304 5064252 140735263869488 140735263868400 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15193/statm: 2287 267 226 213 0 72 0
[pid=15194] ppid=15193 vsize=3474832 CPUtime=1712.02 cores=1,3,5,7
/proc/15194/stat : 15194 (glucose) R 15193 15174 14220 0 -1 4202496 669913 0 0 0 170985 217 0 0 20 0 1 0 384418807 3558227968 744381 33554432000 4194304 5208918 140733243549184 140733243547032 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15194/statm: 868708 744381 103 248 0 868457 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 6516288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15213
/proc/meminfo: memFree=9684500/32873648 swapFree=7112/7112
[pid=15174] ppid=15172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15174/stat : 15174 (npSolver-pbo.sh) S 15172 15174 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384409864 9367552 275 33554432000 4194304 5064252 140736556652864 140736556651776 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15174/statm: 2287 275 233 213 0 72 0
[pid=15175] ppid=15174 vsize=3023160 CPUtime=87.99 cores=1,3,5,7
/proc/15175/stat : 15175 (npSolver-pbo) S 15174 15174 14220 0 -1 4202496 162691 26318 0 0 2527 301 5651 320 20 0 1 0 384409864 3095715840 585662 33554432000 4194304 6004724 140736510010656 140736510005792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15175/statm: 755790 585662 163 442 0 755344 0
[pid=15193] ppid=15175 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15193/stat : 15193 (satsolver.sh) S 15175 15174 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384418805 9367552 267 33554432000 4194304 5064252 140735263869488 140735263868400 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15193/statm: 2287 267 226 213 0 72 0
[pid=15194] ppid=15193 vsize=3474832 CPUtime=1712.02 cores=1,3,5,7
/proc/15194/stat : 15194 (glucose) R 15193 15174 14220 0 -1 4202496 669913 0 0 0 170985 217 0 0 20 0 1 0 384418807 3558227968 744381 33554432000 4194304 5208918 140733243549184 140733243547032 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15194/statm: 868708 744381 103 248 0 868457 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 6516288
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15174 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=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.73
CPU time (s): 1800.01
CPU user time (s): 1791.63
CPU system time (s): 8.38
CPU usage (%): 99.9047
Max. virtual memory (cumulated for all children) (KiB): 6557680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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= 2
runsolver used 4.33934 second user time and 11.4053 second system time
The end