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-3701692-1338124027/watcher-3701692-1338124027 -o /tmp/evaluation-result-3701692-1338124027/solver-3701692-1338124027 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701692-1338124027.opb 30640243 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.41 2.09 1.91 3/180 27649
/proc/meminfo: memFree=30066548/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[startup+0.033179 s]
/proc/loadavg: 2.41 2.09 1.91 3/180 27649
/proc/meminfo: memFree=30066548/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 2.41 2.09 1.91 3/180 27649
/proc/meminfo: memFree=30066548/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300237 s]
/proc/loadavg: 2.41 2.09 1.91 3/180 27649
/proc/meminfo: memFree=30066548/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700243 s]
/proc/loadavg: 2.41 2.09 1.91 3/180 27649
/proc/meminfo: memFree=30066548/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 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.41 2.09 1.91 3/182 27651
/proc/meminfo: memFree=30056484/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=13548 CPUtime=1.49 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) R 27649 27649 27402 0 -1 4202496 2797 0 0 0 148 1 0 0 20 0 1 0 278528381 13873152 2810 33554432000 4194304 5992684 140735692940768 140735692936504 5179600 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 3387 2810 146 440 0 2943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22696
[startup+3.1003 s]
/proc/loadavg: 2.41 2.09 1.91 3/182 27651
/proc/meminfo: memFree=30050340/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=49776 CPUtime=3.09 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) R 27649 27649 27402 0 -1 4202496 10237 0 0 0 307 2 0 0 20 0 1 0 278528381 50970624 11779 33554432000 4194304 5992684 140735692940768 140735692936888 4951645 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 12444 11779 159 440 0 12000 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58924
[startup+6.30027 s]
/proc/loadavg: 2.38 2.09 1.91 3/182 27651
/proc/meminfo: memFree=29805356/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=6.29 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30132 0 0 0 589 40 0 0 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692934800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 371984
[startup+12.7005 s]
/proc/loadavg: 2.43 2.11 1.91 3/184 27653
/proc/meminfo: memFree=28598860/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=6.29 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30132 0 0 0 589 40 0 0 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692934800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27652] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27652/stat : 27652 (cp2_pre.sh) S 27650 27649 27402 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278529010 9367552 277 33554432000 4194304 5064252 140735144781856 140735144780560 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27652/statm: 2287 277 234 213 0 72 0
[pid=27653] ppid=27652 vsize=1060624 CPUtime=6.39 cores=0,2,4,6
/proc/27653/stat : 27653 (coprocessor) R 27652 27649 27402 0 -1 4202496 89164 0 0 0 608 31 0 0 20 0 1 0 278529011 1086078976 259937 33554432000 4194304 6586260 140736929970560 140736929966712 4247007 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/27653/statm: 265156 259937 170 584 0 264568 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1441756
[startup+25.5005 s]
/proc/loadavg: 2.41 2.12 1.92 3/184 27656
/proc/meminfo: memFree=29191468/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=521292 CPUtime=4.9 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 77801 0 0 0 475 15 0 0 20 0 1 0 278530439 533803008 116873 33554432000 4194304 5208918 140733351475648 140733351473320 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 130323 116873 103 248 0 130072 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 902424
[startup+51.1004 s]
/proc/loadavg: 2.27 2.11 1.92 3/182 27696
/proc/meminfo: memFree=30231392/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=530536 CPUtime=30.5 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 78810 0 0 0 3034 16 0 0 20 0 1 0 278530439 543268864 118904 33554432000 4194304 5208918 140733351475648 140733351473480 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 132634 118904 103 248 0 132383 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 911668
[startup+102.307 s]
/proc/loadavg: 2.16 2.10 1.92 3/183 27701
/proc/meminfo: memFree=29406528/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=530536 CPUtime=81.7 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 78810 0 0 0 8154 16 0 0 20 0 1 0 278530439 543268864 118904 33554432000 4194304 5208918 140733351475648 140733351473480 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 132634 118904 103 248 0 132383 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 911668
[startup+162.3 s]
/proc/loadavg: 2.06 2.08 1.92 3/183 27701
/proc/meminfo: memFree=29400696/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=530536 CPUtime=141.69 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 78810 0 0 0 14153 16 0 0 20 0 1 0 278530439 543268864 118904 33554432000 4194304 5208918 140733351475648 140733351473480 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 132634 118904 103 248 0 132383 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 911668
[startup+222.3 s]
/proc/loadavg: 2.13 2.11 1.94 3/184 27704
/proc/meminfo: memFree=29400564/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/183 27718
/proc/meminfo: memFree=29086584/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=530536 CPUtime=1341.46 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 78854 0 0 0 134130 16 0 0 20 0 1 0 278530439 543268864 119629 33554432000 4194304 5208918 140733351475648 140733351473480 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 132634 119629 104 248 0 132383 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 911668
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.96 3/184 27721
/proc/meminfo: memFree=29094396/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=530536 CPUtime=1401.46 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 78854 0 0 0 140130 16 0 0 20 0 1 0 278530439 543268864 119629 33554432000 4194304 5208918 140733351475648 140733351473480 4205766 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 132634 119629 104 248 0 132383 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 911668
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 27722
/proc/meminfo: memFree=29078020/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=530536 CPUtime=1461.44 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 78854 0 0 0 146128 16 0 0 20 0 1 0 278530439 543268864 119629 33554432000 4194304 5208918 140733351475648 140733351473480 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 132634 119629 104 248 0 132383 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 911668
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 27722
/proc/meminfo: memFree=29093408/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=530536 CPUtime=1521.44 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 78854 0 0 0 152128 16 0 0 20 0 1 0 278530439 543268864 119629 33554432000 4194304 5208918 140733351475648 140733351473480 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 132634 119629 104 248 0 132383 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 911668
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 27722
/proc/meminfo: memFree=29074544/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=530536 CPUtime=1581.43 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 78854 0 0 0 158127 16 0 0 20 0 1 0 278530439 543268864 119629 33554432000 4194304 5208918 140733351475648 140733351473480 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 132634 119629 104 248 0 132383 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 911668
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 27722
/proc/meminfo: memFree=29097880/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=530536 CPUtime=1641.42 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 78854 0 0 0 164126 16 0 0 20 0 1 0 278530439 543268864 119629 33554432000 4194304 5208918 140733351475648 140733351473480 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 132634 119629 104 248 0 132383 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 911668
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 27722
/proc/meminfo: memFree=29079076/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=530536 CPUtime=1701.41 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 79146 0 0 0 170125 16 0 0 20 0 1 0 278530439 543268864 119921 33554432000 4194304 5208918 140733351475648 140733351473480 4228924 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 132634 119921 104 248 0 132383 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 911668
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 1.97 3/183 27723
/proc/meminfo: memFree=29070888/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=530536 CPUtime=1761.4 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 79151 0 0 0 176124 16 0 0 20 0 1 0 278530439 543268864 119926 33554432000 4194304 5208918 140733351475648 140733351473480 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 132634 119926 104 248 0 132383 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 911668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.11 2.03 1.97 4/183 27723
/proc/meminfo: memFree=29060648/32873844 swapFree=7624/7624
[pid=27649] ppid=27647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27649/stat : 27649 (npSolver-pbo.sh) S 27647 27649 27402 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278528381 9367552 275 33554432000 4194304 5064252 140735964487520 140735964486432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2287 275 233 213 0 72 0
[pid=27650] ppid=27649 vsize=362836 CPUtime=20.55 cores=0,2,4,6
/proc/27650/stat : 27650 (npSolver-pbo) S 27649 27649 27402 0 -1 4202496 30142 109227 0 0 589 40 1364 62 20 0 1 0 278528381 371544064 75918 33554432000 4194304 5992684 140735692940768 140735692935888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27650/statm: 90709 75918 174 440 0 90265 0
[pid=27655] ppid=27650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27655/stat : 27655 (satsolver.sh) S 27650 27649 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278530438 9367552 266 33554432000 4194304 5064252 140736916472624 140736916471536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27655/statm: 2287 266 226 213 0 72 0
[pid=27656] ppid=27655 vsize=530536 CPUtime=1779.5 cores=0,2,4,6
/proc/27656/stat : 27656 (glucose) R 27655 27649 27402 0 -1 4202496 79175 0 0 0 177934 16 0 0 20 0 1 0 278530439 543268864 119950 33554432000 4194304 5208918 140733351475648 140733351473480 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27656/statm: 132634 119950 104 248 0 132383 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 911668
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.09
CPU user time (s): 1798.88
CPU system time (s): 1.20782
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 1603192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.20782
maximum resident set size= 1249236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219536
page faults= 0
swaps= 0
block input operations= 8
block output operations= 596320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72
involuntary context switches= 1950
runsolver used 4.29335 second user time and 10.5084 second system time
The end