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-3698619-1338074790/watcher-3698619-1338074790 -o /tmp/evaluation-result-3698619-1338074790/solver-3698619-1338074790 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698619-1338074790.opb 1248521134 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.06 2.01 2.15 3/179 13394
/proc/meminfo: memFree=28231076/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[startup+0.071329 s]
/proc/loadavg: 2.06 2.01 2.15 3/179 13394
/proc/meminfo: memFree=28231076/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100229 s]
/proc/loadavg: 2.06 2.01 2.15 3/179 13394
/proc/meminfo: memFree=28231076/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30028 s]
/proc/loadavg: 2.06 2.01 2.15 3/179 13394
/proc/meminfo: memFree=28231076/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700268 s]
/proc/loadavg: 2.06 2.01 2.15 3/179 13394
/proc/meminfo: memFree=28231076/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.06 2.01 2.15 3/181 13396
/proc/meminfo: memFree=28199412/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=102684 CPUtime=1.49 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) R 13394 13394 9054 0 -1 4202496 8105 0 0 0 147 2 0 0 20 0 1 0 273603826 105148416 17772 33554432000 4194304 5992684 140736897214144 140736897209048 4229135 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13395/statm: 25671 17772 157 440 0 25227 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111832
[startup+3.10043 s]
/proc/loadavg: 2.06 2.01 2.15 3/184 13399
/proc/meminfo: memFree=28064500/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117008 CPUtime=1.92 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 10425 0 0 0 181 11 0 0 20 0 1 0 273603826 119816192 24947 33554432000 4194304 5992684 140736897214144 140736897208592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13395/statm: 29252 24947 164 440 0 28808 0
[pid=13397] ppid=13395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13397/stat : 13397 (cp2_pre.sh) S 13395 13394 9054 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273604019 9367552 276 33554432000 4194304 5064252 140737097055088 140737097053792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13397/statm: 2287 276 234 213 0 72 0
[pid=13398] ppid=13397 vsize=270740 CPUtime=1.15 cores=1,3,5,7
/proc/13398/stat : 13398 (coprocessor) R 13397 13394 9054 0 -1 4202496 33031 0 0 0 106 9 0 0 20 0 1 0 273604019 277237760 60133 33554432000 4194304 6586260 140733895741568 140733895738328 4546597 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13398/statm: 67685 60133 166 584 0 67097 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 406044
[startup+6.3004 s]
/proc/loadavg: 2.05 2.01 2.15 3/184 13399
/proc/meminfo: memFree=27764388/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117008 CPUtime=1.92 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 10425 0 0 0 181 11 0 0 20 0 1 0 273603826 119816192 24947 33554432000 4194304 5992684 140736897214144 140736897208592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13395/statm: 29252 24947 164 440 0 28808 0
[pid=13397] ppid=13395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13397/stat : 13397 (cp2_pre.sh) S 13395 13394 9054 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273604019 9367552 276 33554432000 4194304 5064252 140737097055088 140737097053792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13397/statm: 2287 276 234 213 0 72 0
[pid=13398] ppid=13397 vsize=324896 CPUtime=4.35 cores=1,3,5,7
/proc/13398/stat : 13398 (coprocessor) R 13397 13394 9054 0 -1 4202496 45950 0 0 0 423 12 0 0 20 0 1 0 273604019 332693504 78673 33554432000 4194304 6586260 140733895741568 140733895737592 4752622 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13398/statm: 81224 78673 182 584 0 80636 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 460200
[startup+12.7004 s]
/proc/loadavg: 2.05 2.01 2.15 3/183 13401
/proc/meminfo: memFree=27929916/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117008 CPUtime=9.24 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 10440 55295 0 0 181 11 705 27 20 0 1 0 273603826 119816192 24949 33554432000 4194304 5992684 140736897214144 140736897200408 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13395/statm: 29252 24949 166 440 0 28808 0
[pid=13401] ppid=13395 vsize=177688 CPUtime=3.43 cores=1,3,5,7
/proc/13401/stat : 13401 (glucosInc) R 13395 13394 9054 0 -1 4202496 27636 0 0 0 336 7 0 0 20 0 1 0 273604752 181952512 37911 33554432000 4194304 5654031 140735817084928 140735817082712 4232752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13401/statm: 44422 37911 131 357 0 44062 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 303844
[startup+25.5004 s]
/proc/loadavg: 2.04 2.01 2.14 3/183 13401
/proc/meminfo: memFree=27918700/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117008 CPUtime=9.24 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 10440 55295 0 0 181 11 705 27 20 0 1 0 273603826 119816192 24949 33554432000 4194304 5992684 140736897214144 140736897200408 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13395/statm: 29252 24949 166 440 0 28808 0
[pid=13401] ppid=13395 vsize=188420 CPUtime=16.22 cores=1,3,5,7
/proc/13401/stat : 13401 (glucosInc) R 13395 13394 9054 0 -1 4202496 30468 0 0 0 1615 7 0 0 20 0 1 0 273604752 192942080 41254 33554432000 4194304 5654031 140735817084928 140735817072744 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13401/statm: 47105 41254 141 357 0 46745 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 314576
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.14 3/183 13401
/proc/meminfo: memFree=27869592/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117012 CPUtime=11.04 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) R 13394 13394 9054 0 -1 4202496 11842 55295 0 0 216 156 705 27 20 0 1 0 273603826 119820288 25469 33554432000 4194304 5992684 140736897214144 140736897208328 5179696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 29253 25469 173 440 0 28809 0
[pid=13401] ppid=13395 vsize=235896 CPUtime=40.03 cores=1,3,5,7
/proc/13401/stat : 13401 (glucosInc) S 13395 13394 9054 0 -1 4202496 34853 0 0 0 3995 8 0 0 20 0 1 0 273604752 241557504 45630 33554432000 4194304 5654031 140735817084928 140735817083240 4976656 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13401/statm: 58974 45630 147 357 0 58614 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 362056
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.13 3/183 13404
/proc/meminfo: memFree=27852844/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117012 CPUtime=52.01 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 11896 91187 0 0 231 216 4700 54 20 0 1 0 273603826 119820288 25473 33554432000 4194304 5992684 140736897214144 140736897199976 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 29253 25473 177 440 0 28809 0
[pid=13404] ppid=13395 vsize=236304 CPUtime=50.24 cores=1,3,5,7
/proc/13404/stat : 13404 (glucosInc) R 13395 13394 9054 0 -1 4202496 34584 0 0 0 5016 8 0 0 20 0 1 0 273609029 241975296 45377 33554432000 4194304 5654031 140735773886288 140735773874104 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13404/statm: 59076 45377 141 357 0 58716 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 362464
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/183 13404
/proc/meminfo: memFree=27844776/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117012 CPUtime=52.01 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 11896 91187 0 0 231 216 4700 54 20 0 1 0 273603826 119820288 25473 33554432000 4194304 5992684 140736897214144 140736897199976 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 29253 25473 177 440 0 28809 0
[pid=13404] ppid=13395 vsize=236304 CPUtime=110.23 cores=1,3,5,7
/proc/13404/stat : 13404 (glucosInc) R 13395 13394 9054 0 -1 4202496 34590 0 0 0 11015 8 0 0 20 0 1 0 273609029 241975296 46916 33554432000 4194304 5654031 140735773886288 140735773874104 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13404/statm: 59076 46916 141 357 0 58716 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 362464
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/184 13407
/proc/meminfo: memFree=27844868/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117012 CPUtime=52.01 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 11896 91187 0 0 231 216 4700 54 20 0 1 0 273603826 119820288 25473 33554432000 4194304 5992684 140736897214144 140736897199976 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 29253 25473 177 440 0 28809 0
[pid=13404] ppid=13395 vsize=238656 CPUtime=170.22 cores=1,3,5,7
/proc/13404/stat : 13404 (glucosInc) R 13395 13394 9054 0 -1 4202496 35716 0 0 0 17011 11 0 0 20 0 1 0 273609029 244383744 45074 33554432000 4194304 5654031 140735773886288 140735773884376 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13404/statm: 59664 45074 142 357 0 59304 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 364816
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/183 13407
/proc/meminfo: memFree=27831492/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117012 CPUtime=52.01 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 11896 91187 0 0 231 216 4700 54 20 0 1 0 273603826 119820288 25473 33554432000 4194304 5992684 140736897214144 140736897199976 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 29253 25473 177 440 0 28809 0
[pid=13404] ppid=13395 vsize=244536 CPUtime=230.21 cores=1,3,5,7
/proc/13404/stat : 13404 (glucosInc) R 13395 13394 9054 0 -1 4202496 37058 0 0 0 23010 11 0 0 20 0 1 0 273609029 250404864 48458 33554432000 4194304 5654031 140735773886288 140735773874104 4214990 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13404/statm: 61134 48458 142 357 0 60774 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 370696
Solver just ended. Dumping a history of the last processes samples
[startup+307.1 s]
/proc/loadavg: 2.06 2.02 2.09 3/182 13407
/proc/meminfo: memFree=27901316/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117012 CPUtime=52.01 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 11896 91187 0 0 231 216 4700 54 20 0 1 0 273603826 119820288 25473 33554432000 4194304 5992684 140736897214144 140736897199976 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 29253 25473 177 440 0 28809 0
[pid=13404] ppid=13395 vsize=244536 CPUtime=255.01 cores=1,3,5,7
/proc/13404/stat : 13404 (glucosInc) R 13395 13394 9054 0 -1 4202496 37059 0 0 0 25490 11 0 0 20 0 1 0 273609029 250404864 48970 33554432000 4194304 5654031 140735773886288 140735773874104 4216213 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13404/statm: 61134 48970 142 357 0 60774 0
Current children cumulated CPU time (s) 307.02
Current children cumulated vsize (KiB) 370696
[startup+313.507 s]
/proc/loadavg: 2.06 2.01 2.09 3/183 13408
/proc/meminfo: memFree=27901308/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117012 CPUtime=52.01 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 11896 91187 0 0 231 216 4700 54 20 0 1 0 273603826 119820288 25473 33554432000 4194304 5992684 140736897214144 140736897199976 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 29253 25473 177 440 0 28809 0
[pid=13404] ppid=13395 vsize=244536 CPUtime=261.42 cores=1,3,5,7
/proc/13404/stat : 13404 (glucosInc) R 13395 13394 9054 0 -1 4202496 37059 0 0 0 26131 11 0 0 20 0 1 0 273609029 250404864 48970 33554432000 4194304 5654031 140735773886288 140735773874104 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13404/statm: 61134 48970 142 357 0 60774 0
Current children cumulated CPU time (s) 313.43
Current children cumulated vsize (KiB) 370696
[startup+319.9 s]
/proc/loadavg: 2.05 2.01 2.09 3/183 13408
/proc/meminfo: memFree=27901308/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117012 CPUtime=52.01 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 11896 91187 0 0 231 216 4700 54 20 0 1 0 273603826 119820288 25473 33554432000 4194304 5992684 140736897214144 140736897199976 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 29253 25473 177 440 0 28809 0
[pid=13404] ppid=13395 vsize=244536 CPUtime=267.81 cores=1,3,5,7
/proc/13404/stat : 13404 (glucosInc) R 13395 13394 9054 0 -1 4202496 37059 0 0 0 26770 11 0 0 20 0 1 0 273609029 250404864 48970 33554432000 4194304 5654031 140735773886288 140735773874104 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13404/statm: 61134 48970 142 357 0 60774 0
Current children cumulated CPU time (s) 319.82
Current children cumulated vsize (KiB) 370696
[startup+323.1 s]
/proc/loadavg: 2.05 2.01 2.09 3/183 13408
/proc/meminfo: memFree=27901308/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117012 CPUtime=52.01 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 11896 91187 0 0 231 216 4700 54 20 0 1 0 273603826 119820288 25473 33554432000 4194304 5992684 140736897214144 140736897199976 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 29253 25473 177 440 0 28809 0
[pid=13404] ppid=13395 vsize=244536 CPUtime=271.01 cores=1,3,5,7
/proc/13404/stat : 13404 (glucosInc) R 13395 13394 9054 0 -1 4202496 37059 0 0 0 27090 11 0 0 20 0 1 0 273609029 250404864 48970 33554432000 4194304 5654031 140735773886288 140735773874104 4216386 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13404/statm: 61134 48970 142 357 0 60774 0
Current children cumulated CPU time (s) 323.02
Current children cumulated vsize (KiB) 370696
[startup+323.9 s]
/proc/loadavg: 2.05 2.01 2.09 3/183 13408
/proc/meminfo: memFree=27901308/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117012 CPUtime=52.01 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 11896 91187 0 0 231 216 4700 54 20 0 1 0 273603826 119820288 25473 33554432000 4194304 5992684 140736897214144 140736897199976 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 29253 25473 177 440 0 28809 0
[pid=13404] ppid=13395 vsize=244536 CPUtime=271.81 cores=1,3,5,7
/proc/13404/stat : 13404 (glucosInc) R 13395 13394 9054 0 -1 4202496 37059 0 0 0 27170 11 0 0 20 0 1 0 273609029 250404864 48970 33554432000 4194304 5654031 140735773886288 140735773874104 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13404/statm: 61134 48970 142 357 0 60774 0
Current children cumulated CPU time (s) 323.82
Current children cumulated vsize (KiB) 370696
[startup+324.3 s]
/proc/loadavg: 2.05 2.01 2.09 3/183 13408
/proc/meminfo: memFree=27901308/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117012 CPUtime=52.01 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 11896 91187 0 0 231 216 4700 54 20 0 1 0 273603826 119820288 25473 33554432000 4194304 5992684 140736897214144 140736897199976 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 29253 25473 177 440 0 28809 0
[pid=13404] ppid=13395 vsize=244536 CPUtime=272.21 cores=1,3,5,7
/proc/13404/stat : 13404 (glucosInc) R 13395 13394 9054 0 -1 4202496 37059 0 0 0 27210 11 0 0 20 0 1 0 273609029 250404864 48970 33554432000 4194304 5654031 140735773886288 140735773874104 4233328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13404/statm: 61134 48970 142 357 0 60774 0
Current children cumulated CPU time (s) 324.22
Current children cumulated vsize (KiB) 370696
[startup+324.7 s]
/proc/loadavg: 2.04 2.01 2.09 3/183 13408
/proc/meminfo: memFree=27901308/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=117492 CPUtime=52.02 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) R 13394 13394 9054 0 -1 4202496 12435 91187 0 0 231 217 4700 54 20 0 1 0 273603826 120311808 25474 33554432000 4194304 5992684 140736897214144 140736897199976 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 29373 25474 177 440 0 28929 0
[pid=13404] ppid=13395 vsize=244540 CPUtime=272.61 cores=1,3,5,7
/proc/13404/stat : 13404 (glucosInc) R 13395 13394 9054 0 -1 4202496 37063 0 0 0 27250 11 0 0 20 0 1 0 273609029 250408960 48974 33554432000 4194304 5654031 140735773886288 140735773874104 4976752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13404/statm: 61135 48974 143 357 0 60775 0
Current children cumulated CPU time (s) 324.63
Current children cumulated vsize (KiB) 371180
[startup+324.8 s]
/proc/loadavg: 2.04 2.01 2.09 3/183 13408
/proc/meminfo: memFree=27901308/32873844 swapFree=7372/7372
[pid=13394] ppid=13392 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13394/stat : 13394 (npSolver-pbo-It) S 13392 13394 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273603825 9367552 275 33554432000 4194304 5064252 140734548849792 140734548848704 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13394/statm: 2287 275 233 213 0 72 0
[pid=13395] ppid=13394 vsize=121124 CPUtime=324.72 cores=1,3,5,7
/proc/13395/stat : 13395 (npSolver-pbo) S 13394 13394 9054 0 -1 4202496 13774 128263 0 0 234 217 31954 67 20 0 1 0 273603826 124030976 26459 33554432000 4194304 5992684 140736897214144 140736897210480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13395/statm: 30281 26459 178 440 0 29837 0
Current children cumulated CPU time (s) 324.72
Current children cumulated vsize (KiB) 130272
Child status: 0
Real time (s): 324.809
CPU time (s): 324.753
CPU user time (s): 321.891
CPU system time (s): 2.86156
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 510116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 321.891
system time used= 2.86156
maximum resident set size= 377064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 466528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1835
involuntary context switches= 586
runsolver used 0.771882 second user time and 2.16467 second system time
The end