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-3748944-1339126882/watcher-3748944-1339126882 -o /tmp/evaluation-result-3748944-1339126882/solver-3748944-1339126882 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748944-1339126882.opb 1677640136 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.01 2.01 2.00 3/178 11425
/proc/meminfo: memFree=30916584/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[startup+0.0919441 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 11425
/proc/meminfo: memFree=30916584/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10031 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 11425
/proc/meminfo: memFree=30916584/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300205 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 11425
/proc/meminfo: memFree=30916584/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700242 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 11425
/proc/meminfo: memFree=30916584/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 11429
/proc/meminfo: memFree=30763792/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=0.48 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5170 0 0 0 46 2 0 0 20 0 1 0 378814194 29532160 5682 33554432000 4194304 6004724 140735277828768 140735277823232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5682 163 442 0 6764 0
[pid=11428] ppid=11426 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11428/stat : 11428 (cp2_pre.sh) S 11426 11425 4113 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 378814244 9367552 277 33554432000 4194304 5064252 140733415515904 140733415514608 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11428/statm: 2287 277 234 213 0 72 0
[pid=11429] ppid=11428 vsize=169204 CPUtime=0.99 cores=0,2,4,6
/proc/11429/stat : 11429 (coprocessor) R 11428 11425 4113 0 -1 4202496 30099 0 0 0 94 5 0 0 20 0 1 0 378814244 173264896 41111 33554432000 4194304 6586260 140735173024016 140735173020040 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/11429/statm: 42301 41112 192 584 0 41713 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 216340
[startup+3.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 11429
/proc/meminfo: memFree=30712724/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=0.48 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5170 0 0 0 46 2 0 0 20 0 1 0 378814194 29532160 5682 33554432000 4194304 6004724 140735277828768 140735277823232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5682 163 442 0 6764 0
[pid=11428] ppid=11426 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11428/stat : 11428 (cp2_pre.sh) S 11426 11425 4113 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 378814244 9367552 277 33554432000 4194304 5064252 140733415515904 140733415514608 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11428/statm: 2287 277 234 213 0 72 0
[pid=11429] ppid=11428 vsize=176164 CPUtime=2.59 cores=0,2,4,6
/proc/11429/stat : 11429 (coprocessor) R 11428 11425 4113 0 -1 4202496 32277 0 0 0 252 7 0 0 20 0 1 0 378814244 180391936 42846 33554432000 4194304 6586260 140735173024016 140735173019768 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/11429/statm: 44041 42846 204 584 0 43453 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 223300
[startup+6.30032 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 11431
/proc/meminfo: memFree=30811480/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=79852 CPUtime=3.14 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 16862 0 0 0 312 2 0 0 20 0 1 0 378814508 81768448 18238 33554432000 4194304 5654031 140734326035232 140734326023048 4232772 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11431/statm: 19963 18238 141 357 0 19603 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 117840
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 11431
/proc/meminfo: memFree=30810604/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=80392 CPUtime=9.55 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 17111 0 0 0 952 3 0 0 20 0 1 0 378814508 82321408 18483 33554432000 4194304 5654031 140734326035232 140734326033016 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 20098 18483 141 357 0 19738 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 118380
[startup+25.5004 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 11431
/proc/meminfo: memFree=30806328/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=88256 CPUtime=22.35 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 17673 0 0 0 2232 3 0 0 20 0 1 0 378814508 90374144 19539 33554432000 4194304 5654031 140734326035232 140734326033016 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 22064 19539 141 357 0 21704 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 126244
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11431
/proc/meminfo: memFree=30805380/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=88820 CPUtime=47.94 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 18399 0 0 0 4790 4 0 0 20 0 1 0 378814508 90951680 19380 33554432000 4194304 5654031 140734326035232 140734326033016 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 22205 19380 142 357 0 21845 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 126808
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11432
/proc/meminfo: memFree=30778656/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=112716 CPUtime=99.13 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 21001 0 0 0 9908 5 0 0 20 0 1 0 378814508 115421184 25723 33554432000 4194304 5654031 140734326035232 140734326033032 4232772 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 28179 25723 142 357 0 27819 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 150704
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11432
/proc/meminfo: memFree=30771108/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=112716 CPUtime=159.1 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 21136 0 0 0 15905 5 0 0 20 0 1 0 378814508 115421184 26074 33554432000 4194304 5654031 140734326035232 140734326033032 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 28179 26074 142 357 0 27819 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 150704
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11432
/proc/meminfo: memFree=30757520/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=112716 CPUtime=219.1 cores=0,2,4,6
################
# More data... #
################
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 21269 0 0 0 51900 5 0 0 20 0 1 0 378814508 115929088 27222 33554432000 4194304 5654031 140734326035232 140734326023048 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 28303 27222 142 357 0 27943 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 151200
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11436
/proc/meminfo: memFree=30709856/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=140252 CPUtime=579.04 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 22367 0 0 0 57898 6 0 0 20 0 1 0 378814508 143618048 33336 33554432000 4194304 5654031 140734326035232 140734326023048 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 35063 33336 142 357 0 34703 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 178240
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11436
/proc/meminfo: memFree=30707184/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=140252 CPUtime=639.04 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 22448 0 0 0 63898 6 0 0 20 0 1 0 378814508 143618048 33923 33554432000 4194304 5654031 140734326035232 140734326023048 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 35063 33923 142 357 0 34703 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 178240
Solver just ended. Dumping a history of the last processes samples
[startup+665.507 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11436
/proc/meminfo: memFree=30697012/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=151924 CPUtime=662.23 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 23024 0 0 0 66217 6 0 0 20 0 1 0 378814508 155570176 36436 33554432000 4194304 5654031 140734326035232 140734326023048 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 37981 36436 142 357 0 37621 0
Current children cumulated CPU time (s) 665.34
Current children cumulated vsize (KiB) 189912
[startup+678.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11436
/proc/meminfo: memFree=30696020/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=151924 CPUtime=675.03 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 23304 0 0 0 67496 7 0 0 20 0 1 0 378814508 155570176 36710 33554432000 4194304 5654031 140734326035232 140734326023048 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 37981 36710 142 357 0 37621 0
Current children cumulated CPU time (s) 678.14
Current children cumulated vsize (KiB) 189912
[startup+684.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11436
/proc/meminfo: memFree=30695152/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=151924 CPUtime=681.42 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 23498 0 0 0 68135 7 0 0 20 0 1 0 378814508 155570176 36900 33554432000 4194304 5654031 140734326035232 140734326023048 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 37981 36900 142 357 0 37621 0
Current children cumulated CPU time (s) 684.53
Current children cumulated vsize (KiB) 189912
[startup+687.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11436
/proc/meminfo: memFree=30695152/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=151924 CPUtime=684.62 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 23498 0 0 0 68455 7 0 0 20 0 1 0 378814508 155570176 36900 33554432000 4194304 5654031 140734326035232 140734326023048 4232925 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 37981 36900 142 357 0 37621 0
Current children cumulated CPU time (s) 687.73
Current children cumulated vsize (KiB) 189912
[startup+689.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11436
/proc/meminfo: memFree=30695152/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=151924 CPUtime=686.22 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 23498 0 0 0 68615 7 0 0 20 0 1 0 378814508 155570176 36900 33554432000 4194304 5654031 140734326035232 140734326023048 4232659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 37981 36900 142 357 0 37621 0
Current children cumulated CPU time (s) 689.33
Current children cumulated vsize (KiB) 189912
[startup+691.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11436
/proc/meminfo: memFree=30695160/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28840 CPUtime=3.11 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4202496 5188 33179 0 0 46 2 255 8 20 0 1 0 378814194 29532160 5686 33554432000 4194304 6004724 140735277828768 140735277815048 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11426/statm: 7210 5686 167 442 0 6764 0
[pid=11431] ppid=11426 vsize=151924 CPUtime=687.82 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) R 11426 11425 4113 0 -1 4202496 23498 0 0 0 68775 7 0 0 20 0 1 0 378814508 155570176 36900 33554432000 4194304 5654031 140734326035232 140734326023048 4232462 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 37981 36900 142 357 0 37621 0
Current children cumulated CPU time (s) 690.93
Current children cumulated vsize (KiB) 189912
[startup+691.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11436
/proc/meminfo: memFree=30695160/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28844 CPUtime=3.16 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4204032 6043 33179 0 0 49 4 255 8 20 0 1 0 378814194 29536256 5709 33554432000 4194304 6004724 140735277828768 140735277823320 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11426/statm: 7211 5709 189 442 0 6765 0
[pid=11431] ppid=11426 vsize=151932 CPUtime=687.96 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) S 11426 11425 4113 0 -1 4202496 23516 0 0 0 68789 7 0 0 20 0 1 0 378814508 155578368 36918 33554432000 4194304 5654031 140734326035232 140734326033544 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 37983 36918 148 357 0 37623 0
Current children cumulated CPU time (s) 691.12
Current children cumulated vsize (KiB) 189924
[startup+691.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11436
/proc/meminfo: memFree=30695160/32873648 swapFree=7628/7628
[pid=11425] ppid=11423 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (npSolver-pbo-I.) S 11423 11425 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378814194 9367552 275 33554432000 4194304 5064252 140736543357216 140736543356128 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11425/statm: 2287 275 233 213 0 72 0
[pid=11426] ppid=11425 vsize=28844 CPUtime=3.16 cores=0,2,4,6
/proc/11426/stat : 11426 (npSolver-pbo) S 11425 11425 4113 0 -1 4204032 6043 33179 0 0 49 4 255 8 20 0 1 0 378814194 29536256 5709 33554432000 4194304 6004724 140735277828768 140735277823320 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11426/statm: 7211 5709 189 442 0 6765 0
[pid=11431] ppid=11426 vsize=151932 CPUtime=687.96 cores=0,2,4,6
/proc/11431/stat : 11431 (glucosInc) S 11426 11425 4113 0 -1 4202496 23516 0 0 0 68789 7 0 0 20 0 1 0 378814508 155578368 36918 33554432000 4194304 5654031 140734326035232 140734326033544 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11431/statm: 37983 36918 148 357 0 37623 0
Current children cumulated CPU time (s) 691.12
Current children cumulated vsize (KiB) 189924
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11425 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=42537
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=133979
# CPU time returned by wait4() is 3.17652
# while last known CPU time is 691.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 691.723
CPU time (s): 691.12
CPU user time (s): 690.93
CPU system time (s): 0.19
CPU usage (%): 99.9128
Max. virtual memory (cumulated for all children) (KiB): 223300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.04254
system time used= 0.133979
maximum resident set size= 177232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39596
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6781
involuntary context switches= 11
runsolver used 1.12183 second user time and 2.83857 second system time
The end