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-3698125-1338067286/watcher-3698125-1338067286 -o /tmp/evaluation-result-3698125-1338067286/solver-3698125-1338067286 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698125-1338067286.opb 594594579 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: 3.16 3.84 2.99 3/177 28903
/proc/meminfo: memFree=26471600/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[startup+0.055949 s]
/proc/loadavg: 3.16 3.84 2.99 3/177 28903
/proc/meminfo: memFree=26471600/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 3.16 3.84 2.99 3/177 28903
/proc/meminfo: memFree=26471600/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300228 s]
/proc/loadavg: 3.16 3.84 2.99 3/177 28903
/proc/meminfo: memFree=26471600/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700253 s]
/proc/loadavg: 3.16 3.84 2.99 3/177 28903
/proc/meminfo: memFree=26471600/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 3.16 3.84 2.99 3/179 28905
/proc/meminfo: memFree=26363596/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=35056 CPUtime=1.48 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) R 28903 28903 25976 0 -1 4202496 2996 0 0 0 148 0 0 0 20 0 1 0 272854737 35897344 6034 33554432000 4194304 5992684 140735046011760 140735046006888 4809389 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28904/statm: 8764 6034 146 440 0 8320 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44204
[startup+3.1003 s]
/proc/loadavg: 3.16 3.84 2.99 3/179 28905
/proc/meminfo: memFree=26246224/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=176264 CPUtime=3.08 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) R 28903 28903 25976 0 -1 4202496 14767 0 0 0 304 4 0 0 20 0 1 0 272854737 180494336 28488 33554432000 4194304 5992684 140735046011760 140735046006840 4228303 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28904/statm: 44066 28488 157 440 0 43622 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 185412
[startup+6.30038 s]
/proc/loadavg: 3.07 3.81 2.99 3/181 28907
/proc/meminfo: memFree=25488656/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=211076 CPUtime=3.92 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 24321 0 0 0 370 22 0 0 20 0 1 0 272854737 216141824 45416 33554432000 4194304 5992684 140735046011760 140735046006208 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28904/statm: 52769 45416 164 440 0 52325 0
[pid=28906] ppid=28904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28906/stat : 28906 (cp2_pre.sh) S 28904 28903 25976 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272855130 9367552 277 33554432000 4194304 5064252 140735476979888 140735476978592 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28906/statm: 2287 277 234 213 0 72 0
[pid=28907] ppid=28906 vsize=575712 CPUtime=2.34 cores=0,2,4,6
/proc/28907/stat : 28907 (coprocessor) R 28906 28903 25976 0 -1 4202496 50415 0 0 0 220 14 0 0 20 0 1 0 272855131 589529088 127127 33554432000 4194304 6586260 140734105797712 140734105794472 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/28907/statm: 143928 127127 164 584 0 143340 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 805084
[startup+12.7004 s]
/proc/loadavg: 2.98 3.77 2.98 3/181 28907
/proc/meminfo: memFree=24509224/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=211076 CPUtime=3.92 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 24321 0 0 0 370 22 0 0 20 0 1 0 272854737 216141824 45416 33554432000 4194304 5992684 140735046011760 140735046006208 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28904/statm: 52769 45416 164 440 0 52325 0
[pid=28906] ppid=28904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28906/stat : 28906 (cp2_pre.sh) S 28904 28903 25976 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272855130 9367552 277 33554432000 4194304 5064252 140735476979888 140735476978592 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28906/statm: 2287 277 234 213 0 72 0
[pid=28907] ppid=28906 vsize=644732 CPUtime=8.75 cores=0,2,4,6
/proc/28907/stat : 28907 (coprocessor) R 28906 28903 25976 0 -1 4202496 67369 0 0 0 857 18 0 0 20 0 1 0 272855131 660205568 144081 33554432000 4194304 6586260 140734105797712 140734105793528 4498512 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/28907/statm: 161183 144081 168 584 0 160595 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 874104
[startup+25.5004 s]
/proc/loadavg: 2.76 3.69 2.96 3/181 28907
/proc/meminfo: memFree=23229060/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=211076 CPUtime=3.92 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 24321 0 0 0 370 22 0 0 20 0 1 0 272854737 216141824 45416 33554432000 4194304 5992684 140735046011760 140735046006208 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28904/statm: 52769 45416 164 440 0 52325 0
[pid=28906] ppid=28904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28906/stat : 28906 (cp2_pre.sh) S 28904 28903 25976 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272855130 9367552 277 33554432000 4194304 5064252 140735476979888 140735476978592 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28906/statm: 2287 277 234 213 0 72 0
[pid=28907] ppid=28906 vsize=661632 CPUtime=21.55 cores=0,2,4,6
/proc/28907/stat : 28907 (coprocessor) R 28906 28903 25976 0 -1 4202496 69707 0 0 0 2136 19 0 0 20 0 1 0 272855131 677511168 160216 33554432000 4194304 6586260 140734105797712 140734105793736 4755072 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/28907/statm: 165408 160216 180 584 0 164820 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 891004
[startup+51.1004 s]
/proc/loadavg: 2.50 3.55 2.94 3/180 28909
/proc/meminfo: memFree=22187660/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=211076 CPUtime=39.33 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 24337 86737 0 0 370 22 3497 44 20 0 1 0 272854737 216141824 45419 33554432000 4194304 5992684 140735046011760 140735045998024 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28904/statm: 52769 45419 166 440 0 52325 0
[pid=28909] ppid=28904 vsize=453324 CPUtime=11.69 cores=0,2,4,6
/proc/28909/stat : 28909 (glucosInc) R 28904 28903 25976 0 -1 4202496 60308 0 0 0 1154 15 0 0 20 0 1 0 272858676 464203776 90464 33554432000 4194304 5654031 140735934610272 140735934608056 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28909/statm: 113331 90464 130 357 0 112971 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 673548
[startup+102.306 s]
/proc/loadavg: 2.22 3.31 2.89 3/180 28913
/proc/meminfo: memFree=19850180/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=249332 CPUtime=66.44 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 30373 151251 0 0 564 467 5514 99 20 0 1 0 272854737 255315968 54996 33554432000 4194304 5992684 140735046011760 140735045997592 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 62333 54996 177 440 0 61889 0
[pid=28912] ppid=28904 vsize=470324 CPUtime=35.73 cores=0,2,4,6
/proc/28912/stat : 28912 (glucosInc) R 28904 28903 25976 0 -1 4202496 63153 0 0 0 3558 15 0 0 20 0 1 0 272861313 481611776 94831 33554432000 4194304 5654031 140733423665648 140733423663800 4976752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28912/statm: 117581 94831 150 357 0 117221 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 728804
[startup+162.3 s]
/proc/loadavg: 2.08 3.07 2.83 3/180 28913
/proc/meminfo: memFree=17407088/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=252120 CPUtime=66.93 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 31075 151251 0 0 611 469 5514 99 20 0 1 0 272854737 258170880 55693 33554432000 4194304 5992684 140735046011760 140735045997592 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 63030 55693 177 440 0 62586 0
[pid=28912] ppid=28904 vsize=474916 CPUtime=95.3 cores=0,2,4,6
/proc/28912/stat : 28912 (glucosInc) R 28904 28903 25976 0 -1 4202496 63324 0 0 0 9513 17 0 0 20 0 1 0 272861313 486313984 95513 33554432000 4194304 5654031 140733423665648 140733423653464 4216312 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28912/statm: 118729 95513 150 357 0 118369 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 736184
[startup+222.3 s]
/proc/loadavg: 2.03 2.87 2.77 2/177 28914
/proc/meminfo: memFree=30869576/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=252120 CPUtime=67.14 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 31077 151251 0 0 632 469 5514 99 20 0 1 0 272854737 258170880 55693 33554432000 4194304 5992684 140735046011760 140735045997592 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 63030 55693 177 440 0 62586 0
[pid=28912] ppid=28904 vsize=425356 CPUtime=155.11 cores=0,2,4,6
/proc/28912/stat : 28912 (glucosInc) R 28904 28903 25976 0 -1 4202496 64194 0 0 0 15492 19 0 0 20 0 1 0 272861313 435564544 90687 33554432000 4194304 5654031 140733423665648 140733423653464 4233280 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28912/statm: 106339 90687 151 357 0 105979 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 686624
[startup+282.3 s]
/proc/loadavg: 2.01 2.71 2.72 3/181 28970
/proc/meminfo: memFree=30846652/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=252120 CPUtime=67.25 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 31078 151251 0 0 642 470 5514 99 20 0 1 0 272854737 258170880 55693 33554432000 4194304 5992684 140735046011760 140735045997592 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 63030 55693 177 440 0 62586 0
[pid=28912] ppid=28904 vsize=425356 CPUtime=215.02 cores=0,2,4,6
/proc/28912/stat : 28912 (glucosInc) R 28904 28903 25976 0 -1 4202496 64195 0 0 0 21482 20 0 0 20 0 1 0 272861313 435564544 91199 33554432000 4194304 5654031 140733423665648 140733423653464 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28912/statm: 106339 91199 151 357 0 105979 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 686624
Solver just ended. Dumping a history of the last processes samples
[startup+307.1 s]
/proc/loadavg: 2.00 2.65 2.70 3/181 28970
/proc/meminfo: memFree=30832252/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=252120 CPUtime=67.25 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 31078 151251 0 0 642 470 5514 99 20 0 1 0 272854737 258170880 55693 33554432000 4194304 5992684 140735046011760 140735045997592 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 63030 55693 177 440 0 62586 0
[pid=28912] ppid=28904 vsize=425356 CPUtime=239.82 cores=0,2,4,6
/proc/28912/stat : 28912 (glucosInc) R 28904 28903 25976 0 -1 4202496 64195 0 0 0 23962 20 0 0 20 0 1 0 272861313 435564544 91199 33554432000 4194304 5654031 140733423665648 140733423653464 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28912/statm: 106339 91199 151 357 0 105979 0
Current children cumulated CPU time (s) 307.07
Current children cumulated vsize (KiB) 686624
[startup+319.9 s]
/proc/loadavg: 2.00 2.62 2.69 3/181 28970
/proc/meminfo: memFree=30830888/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=252120 CPUtime=67.25 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 31078 151251 0 0 642 470 5514 99 20 0 1 0 272854737 258170880 55693 33554432000 4194304 5992684 140735046011760 140735045997592 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 63030 55693 177 440 0 62586 0
[pid=28912] ppid=28904 vsize=425356 CPUtime=252.62 cores=0,2,4,6
/proc/28912/stat : 28912 (glucosInc) R 28904 28903 25976 0 -1 4202496 64195 0 0 0 25242 20 0 0 20 0 1 0 272861313 435564544 91199 33554432000 4194304 5654031 140733423665648 140733423653464 4208599 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28912/statm: 106339 91199 151 357 0 105979 0
Current children cumulated CPU time (s) 319.87
Current children cumulated vsize (KiB) 686624
[startup+332.7 s]
/proc/loadavg: 2.00 2.60 2.68 3/181 28970
/proc/meminfo: memFree=30846588/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=252120 CPUtime=67.25 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 31078 151251 0 0 642 470 5514 99 20 0 1 0 272854737 258170880 55693 33554432000 4194304 5992684 140735046011760 140735045997592 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 63030 55693 177 440 0 62586 0
[pid=28912] ppid=28904 vsize=425356 CPUtime=265.42 cores=0,2,4,6
/proc/28912/stat : 28912 (glucosInc) R 28904 28903 25976 0 -1 4202496 64322 0 0 0 26521 21 0 0 20 0 1 0 272861313 435564544 87170 33554432000 4194304 5654031 140733423665648 140733423653464 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28912/statm: 106339 87170 151 357 0 105979 0
Current children cumulated CPU time (s) 332.67
Current children cumulated vsize (KiB) 686624
[startup+339.1 s]
/proc/loadavg: 2.00 2.58 2.67 3/181 28970
/proc/meminfo: memFree=30846712/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=252120 CPUtime=67.25 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 31078 151251 0 0 642 470 5514 99 20 0 1 0 272854737 258170880 55693 33554432000 4194304 5992684 140735046011760 140735045997592 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 63030 55693 177 440 0 62586 0
[pid=28912] ppid=28904 vsize=425356 CPUtime=271.81 cores=0,2,4,6
/proc/28912/stat : 28912 (glucosInc) R 28904 28903 25976 0 -1 4202496 64322 0 0 0 27160 21 0 0 20 0 1 0 272861313 435564544 87170 33554432000 4194304 5654031 140733423665648 140733423653464 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28912/statm: 106339 87170 151 357 0 105979 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 686624
[startup+340.7 s]
/proc/loadavg: 2.00 2.58 2.67 3/181 28970
/proc/meminfo: memFree=30846712/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=252120 CPUtime=67.25 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 31078 151251 0 0 642 470 5514 99 20 0 1 0 272854737 258170880 55693 33554432000 4194304 5992684 140735046011760 140735045997592 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 63030 55693 177 440 0 62586 0
[pid=28912] ppid=28904 vsize=425356 CPUtime=273.41 cores=0,2,4,6
/proc/28912/stat : 28912 (glucosInc) R 28904 28903 25976 0 -1 4202496 64322 0 0 0 27320 21 0 0 20 0 1 0 272861313 435564544 87170 33554432000 4194304 5654031 140733423665648 140733423653464 4233283 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28912/statm: 106339 87170 151 357 0 105979 0
Current children cumulated CPU time (s) 340.66
Current children cumulated vsize (KiB) 686624
[startup+341.5 s]
/proc/loadavg: 2.00 2.58 2.67 3/181 28970
/proc/meminfo: memFree=30846712/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=252120 CPUtime=67.25 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 31078 151251 0 0 642 470 5514 99 20 0 1 0 272854737 258170880 55693 33554432000 4194304 5992684 140735046011760 140735045997592 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 63030 55693 177 440 0 62586 0
[pid=28912] ppid=28904 vsize=425356 CPUtime=274.21 cores=0,2,4,6
/proc/28912/stat : 28912 (glucosInc) R 28904 28903 25976 0 -1 4202496 64322 0 0 0 27400 21 0 0 20 0 1 0 272861313 435564544 87170 33554432000 4194304 5654031 140733423665648 140733423653464 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28912/statm: 106339 87170 151 357 0 105979 0
Current children cumulated CPU time (s) 341.46
Current children cumulated vsize (KiB) 686624
[startup+341.9 s]
/proc/loadavg: 2.00 2.58 2.67 3/181 28970
/proc/meminfo: memFree=30846712/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=252120 CPUtime=67.25 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 31078 151251 0 0 642 470 5514 99 20 0 1 0 272854737 258170880 55693 33554432000 4194304 5992684 140735046011760 140735045997592 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 63030 55693 177 440 0 62586 0
[pid=28912] ppid=28904 vsize=425356 CPUtime=274.61 cores=0,2,4,6
/proc/28912/stat : 28912 (glucosInc) R 28904 28903 25976 0 -1 4202496 64322 0 0 0 27440 21 0 0 20 0 1 0 272861313 435564544 87170 33554432000 4194304 5654031 140733423665648 140733423653464 4233187 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28912/statm: 106339 87170 151 357 0 105979 0
Current children cumulated CPU time (s) 341.86
Current children cumulated vsize (KiB) 686624
[startup+342.106 s]
/proc/loadavg: 2.00 2.58 2.67 3/181 28970
/proc/meminfo: memFree=30846712/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=252120 CPUtime=67.25 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 31078 151251 0 0 642 470 5514 99 20 0 1 0 272854737 258170880 55693 33554432000 4194304 5992684 140735046011760 140735045997592 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 63030 55693 177 440 0 62586 0
[pid=28912] ppid=28904 vsize=425356 CPUtime=274.82 cores=0,2,4,6
/proc/28912/stat : 28912 (glucosInc) R 28904 28903 25976 0 -1 4202496 64322 0 0 0 27461 21 0 0 20 0 1 0 272861313 435564544 87170 33554432000 4194304 5654031 140733423665648 140733423653464 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28912/statm: 106339 87170 151 357 0 105979 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 686624
[startup+342.2 s]
/proc/loadavg: 2.00 2.58 2.67 3/181 28970
/proc/meminfo: memFree=30846712/32873844 swapFree=7372/7372
[pid=28903] ppid=28901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28903/stat : 28903 (npSolver-pbo-It) S 28901 28903 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272854737 9367552 275 33554432000 4194304 5064252 140733746731424 140733746730336 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28903/statm: 2287 275 233 213 0 72 0
[pid=28904] ppid=28903 vsize=215964 CPUtime=342.15 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-pbo) S 28903 28903 25976 0 -1 4202496 31082 215575 0 0 642 470 32981 122 20 0 1 0 272854737 221147136 46687 33554432000 4194304 5992684 140735046011760 140735046008096 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/28904/statm: 53991 46687 178 440 0 53547 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 225112
Child status: 0
Real time (s): 342.214
CPU time (s): 342.197
CPU user time (s): 336.239
CPU system time (s): 5.95809
CPU usage (%): 99.995
Max. virtual memory (cumulated for all children) (KiB): 1008588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 336.239
system time used= 5.95809
maximum resident set size= 778948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247556
page faults= 0
swaps= 0
block input operations= 8
block output operations= 917776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37715
involuntary context switches= 1547
runsolver used 0.563914 second user time and 1.3108 second system time
The end