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-3697848-1338127849/watcher-3697848-1338127849 -o /tmp/evaluation-result-3697848-1338127849/solver-3697848-1338127849 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697848-1338127849.opb 1629942420 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: 2.08 2.14 2.17 3/179 25960
/proc/meminfo: memFree=28886628/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[startup+0.0988641 s]
/proc/loadavg: 2.08 2.14 2.17 3/179 25960
/proc/meminfo: memFree=28886628/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100277 s]
/proc/loadavg: 2.08 2.14 2.17 3/179 25960
/proc/meminfo: memFree=28886628/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300244 s]
/proc/loadavg: 2.08 2.14 2.17 3/179 25960
/proc/meminfo: memFree=28886628/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700315 s]
/proc/loadavg: 2.08 2.14 2.17 3/179 25960
/proc/meminfo: memFree=28886628/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 2.08 2.14 2.17 3/183 25964
/proc/meminfo: memFree=28705212/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=52636 CPUtime=0.64 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 8124 0 0 0 57 7 0 0 20 0 1 0 278909870 53899264 9842 33554432000 4194304 5992684 140736062417312 140736062411760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 13159 9842 171 440 0 12715 0
[pid=25963] ppid=25961 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25963/stat : 25963 (cp2_pre.sh) S 25961 25960 24682 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278909935 9367552 276 33554432000 4194304 5064252 140736518983808 140736518982512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25963/statm: 2287 276 234 213 0 72 0
[pid=25964] ppid=25963 vsize=168800 CPUtime=0.83 cores=1,3,5,7
/proc/25964/stat : 25964 (coprocessor) R 25963 25960 24682 0 -1 4202496 27233 0 0 0 77 6 0 0 20 0 1 0 278909935 172851200 37478 33554432000 4194304 6586260 140734758640976 140734758637224 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/25964/statm: 42200 37478 166 584 0 41612 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 239732
[startup+3.10036 s]
/proc/loadavg: 2.08 2.14 2.17 3/183 25964
/proc/meminfo: memFree=28650724/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=52636 CPUtime=0.64 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 8124 0 0 0 57 7 0 0 20 0 1 0 278909870 53899264 9842 33554432000 4194304 5992684 140736062417312 140736062411760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 13159 9842 171 440 0 12715 0
[pid=25963] ppid=25961 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25963/stat : 25963 (cp2_pre.sh) S 25961 25960 24682 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278909935 9367552 276 33554432000 4194304 5064252 140736518983808 140736518982512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25963/statm: 2287 276 234 213 0 72 0
[pid=25964] ppid=25963 vsize=210616 CPUtime=2.43 cores=1,3,5,7
/proc/25964/stat : 25964 (coprocessor) R 25963 25960 24682 0 -1 4202496 35820 0 0 0 232 11 0 0 20 0 1 0 278909935 215670784 51422 33554432000 4194304 6586260 140734758640976 140734758636728 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/25964/statm: 52654 51422 200 584 0 52066 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 281548
[startup+6.30041 s]
/proc/loadavg: 2.07 2.14 2.17 3/182 25966
/proc/meminfo: memFree=28740556/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=52636 CPUtime=3.44 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 8143 36722 0 0 57 7 266 14 20 0 1 0 278909870 53899264 9844 33554432000 4194304 5992684 140736062417312 140736062403576 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 13159 9844 173 440 0 12715 0
[pid=25966] ppid=25961 vsize=98172 CPUtime=2.82 cores=1,3,5,7
/proc/25966/stat : 25966 (glucosInc) R 25961 25960 24682 0 -1 4202496 20683 0 0 0 277 5 0 0 20 0 1 0 278910216 100528128 22725 33554432000 4194304 5654031 140734968557632 140734968555416 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25966/statm: 24543 22725 140 357 0 24183 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 159956
[startup+12.7004 s]
/proc/loadavg: 2.07 2.13 2.17 3/180 25967
/proc/meminfo: memFree=28682212/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=238852 CPUtime=12.69 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) R 25960 25960 24682 0 -1 4202496 17406 58220 0 0 264 120 861 24 20 0 1 0 278909870 244584448 54892 33554432000 4194304 5992684 140736062417312 140736062410024 4207962 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 59713 54892 189 440 0 59269 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 248000
[startup+25.5004 s]
/proc/loadavg: 2.12 2.14 2.17 3/181 25969
/proc/meminfo: memFree=28106748/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=564260 CPUtime=11.53 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 85044 0 0 0 1127 26 0 0 20 0 1 0 278911265 577802240 125968 33554432000 4194304 5654031 140733576595600 140733576593288 4232767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 141065 125968 141 357 0 140705 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 640144
[startup+51.1004 s]
/proc/loadavg: 2.08 2.13 2.17 3/181 25969
/proc/meminfo: memFree=28105200/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=565976 CPUtime=37.13 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 85467 0 0 0 3687 26 0 0 20 0 1 0 278911265 579559424 126391 33554432000 4194304 5654031 140733576595600 140733576583416 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 141494 126391 142 357 0 141134 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 641860
[startup+102.307 s]
/proc/loadavg: 2.13 2.14 2.17 3/181 25969
/proc/meminfo: memFree=28071800/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=567972 CPUtime=88.31 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 86192 0 0 0 8804 27 0 0 20 0 1 0 278911265 581603328 127599 33554432000 4194304 5654031 140733576595600 140733576583416 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 141993 127599 142 357 0 141633 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 643856
[startup+162.3 s]
/proc/loadavg: 2.05 2.11 2.16 3/181 25969
/proc/meminfo: memFree=28027772/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=575044 CPUtime=148.26 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 87654 0 0 0 14799 27 0 0 20 0 1 0 278911265 588845056 129533 33554432000 4194304 5654031 140733576595600 140733576583416 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 143761 129533 142 357 0 143401 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 650928
[startup+222.3 s]
/proc/loadavg: 2.02 2.09 2.14 3/181 25969
/proc/meminfo: memFree=28055368/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=575044 CPUtime=208.24 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 87692 0 0 0 20797 27 0 0 20 0 1 0 278911265 588845056 130606 33554432000 4194304 5654031 140733576595600 140733576583416 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 143761 130606 142 357 0 143401 0
Current children cumulated CPU time (s) 222.18
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.01 3/181 25983
/proc/meminfo: memFree=28037688/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=673620 CPUtime=1348 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 90425 0 0 0 134766 34 0 0 20 0 1 0 278911265 689786880 141176 33554432000 4194304 5654031 140733576595600 140733576583416 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 168405 141176 142 357 0 168045 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 749504
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 25983
/proc/meminfo: memFree=28066452/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=592232 CPUtime=1408 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 91086 0 0 0 140764 36 0 0 20 0 1 0 278911265 606445568 133741 33554432000 4194304 5654031 140733576595600 140733576593624 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 148058 133741 142 357 0 147698 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 668116
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.01 3/181 26032
/proc/meminfo: memFree=28067760/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=592232 CPUtime=1467.98 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 91142 0 0 0 146762 36 0 0 20 0 1 0 278911265 606445568 134819 33554432000 4194304 5654031 140733576595600 140733576583416 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 148058 134819 142 357 0 147698 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 668116
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26033
/proc/meminfo: memFree=28059136/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=592232 CPUtime=1527.97 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 91144 0 0 0 152761 36 0 0 20 0 1 0 278911265 606445568 135843 33554432000 4194304 5654031 140733576595600 140733576583416 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 148058 135843 142 357 0 147698 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 668116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26033
/proc/meminfo: memFree=28063356/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=592232 CPUtime=1587.96 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 91145 0 0 0 158760 36 0 0 20 0 1 0 278911265 606445568 136355 33554432000 4194304 5654031 140733576595600 140733576583416 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 148058 136355 142 357 0 147698 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 668116
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26033
/proc/meminfo: memFree=28029536/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=592232 CPUtime=1647.96 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 91148 0 0 0 164759 37 0 0 20 0 1 0 278911265 606445568 137891 33554432000 4194304 5654031 140733576595600 140733576583416 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 148058 137891 142 357 0 147698 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 668116
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26035
/proc/meminfo: memFree=28070296/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=673620 CPUtime=1707.95 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 91319 0 0 0 170757 38 0 0 20 0 1 0 278911265 689786880 138571 33554432000 4194304 5654031 140733576595600 140733576583416 4208659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 168405 138571 142 357 0 168045 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 749504
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26038
/proc/meminfo: memFree=28063900/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=678196 CPUtime=1767.94 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 91525 0 0 0 176756 38 0 0 20 0 1 0 278911265 694472704 140310 33554432000 4194304 5654031 140733576595600 140733576583416 4232710 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 169549 140310 142 357 0 169189 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 754080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26038
/proc/meminfo: memFree=28063776/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=678196 CPUtime=1786.14 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 91528 0 0 0 178576 38 0 0 20 0 1 0 278911265 694472704 140313 33554432000 4194304 5654031 140733576595600 140733576583416 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 169549 140313 142 357 0 169189 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 754080
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26038
/proc/meminfo: memFree=28063776/32873844 swapFree=6856/6856
[pid=25960] ppid=25958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25960/stat : 25960 (npSolver-pbo-It) S 25958 25960 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278909869 9367552 275 33554432000 4194304 5064252 140737182652240 140737182651152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25960/statm: 2287 275 233 213 0 72 0
[pid=25961] ppid=25960 vsize=66736 CPUtime=13.94 cores=1,3,5,7
/proc/25961/stat : 25961 (npSolver-pbo) S 25960 25960 24682 0 -1 4202496 18891 58737 0 0 353 153 861 27 20 0 1 0 278909870 68337664 13387 33554432000 4194304 5992684 140736062417312 140736062403144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25961/statm: 16684 13387 190 440 0 16240 0
[pid=25969] ppid=25961 vsize=678196 CPUtime=1786.14 cores=1,3,5,7
/proc/25969/stat : 25969 (glucosInc) R 25961 25960 24682 0 -1 4202496 91528 0 0 0 178576 38 0 0 20 0 1 0 278911265 694472704 140313 33554432000 4194304 5654031 140733576595600 140733576583416 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25969/statm: 169549 140313 142 357 0 169189 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 754080
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25960 and gives
# childrusage.ru_utime.tv_sec=12
# childrusage.ru_utime.tv_usec=149153
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=815723
# CPU time returned by wait4() is 13.9649
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1797.9
CPU system time (s): 2.18
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 879732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1492
system time used= 1.81572
maximum resident set size= 421356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78003
page faults= 0
swaps= 0
block input operations= 0
block output operations= 540872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 554
involuntary context switches= 63
runsolver used 3.3005 second user time and 8.36573 second system time
The end