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-3698454-1338101017/watcher-3698454-1338101017 -o /tmp/evaluation-result-3698454-1338101017/solver-3698454-1338101017 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698454-1338101017.opb 1021153752 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.00 2.00 2.15 3/180 13039
/proc/meminfo: memFree=27709252/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[startup+0.0317891 s]
/proc/loadavg: 2.00 2.00 2.15 3/180 13039
/proc/meminfo: memFree=27709252/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100244 s]
/proc/loadavg: 2.00 2.00 2.15 3/180 13039
/proc/meminfo: memFree=27709252/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.839618 s]
/proc/loadavg: 2.00 2.00 2.15 3/180 13039
/proc/meminfo: memFree=27709252/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.900318 s]
/proc/loadavg: 2.00 2.00 2.15 3/180 13039
/proc/meminfo: memFree=27709252/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.15 3/180 13039
/proc/meminfo: memFree=27709252/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+3.10041 s]
/proc/loadavg: 2.08 2.02 2.16 3/184 13043
/proc/meminfo: memFree=27037508/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=60100 CPUtime=0.61 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 10040 0 0 0 54 7 0 0 20 0 1 0 276227137 61542400 13673 33554432000 4194304 5992684 140736967059856 140736967054304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 15025 13673 163 440 0 14581 0
[pid=13042] ppid=13040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (cp2_pre.sh) S 13040 13039 10899 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 276227199 9367552 276 33554432000 4194304 5064252 140736300727744 140736300726448 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13042/statm: 2287 276 234 213 0 72 0
[pid=13043] ppid=13042 vsize=391072 CPUtime=2.46 cores=1,3,5,7
/proc/13043/stat : 13043 (coprocessor) R 13042 13039 10899 0 -1 4202496 49500 0 0 0 233 13 0 0 20 0 1 0 276227199 400457728 95020 33554432000 4194304 6586260 140735113354624 140735113350888 4768675 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13043/statm: 97768 95020 179 584 0 97180 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 469468
[startup+6.30042 s]
/proc/loadavg: 2.07 2.02 2.16 3/184 13043
/proc/meminfo: memFree=26709844/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=60100 CPUtime=0.61 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 10040 0 0 0 54 7 0 0 20 0 1 0 276227137 61542400 13673 33554432000 4194304 5992684 140736967059856 140736967054304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 15025 13673 163 440 0 14581 0
[pid=13042] ppid=13040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (cp2_pre.sh) S 13040 13039 10899 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 276227199 9367552 276 33554432000 4194304 5064252 140736300727744 140736300726448 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13042/statm: 2287 276 234 213 0 72 0
[pid=13043] ppid=13042 vsize=450340 CPUtime=5.66 cores=1,3,5,7
/proc/13043/stat : 13043 (coprocessor) R 13042 13039 10899 0 -1 4202496 56848 0 0 0 551 15 0 0 20 0 1 0 276227199 461148160 110544 33554432000 4194304 6586260 140735113354624 140735113349944 4676681 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13043/statm: 112585 110544 188 584 0 111997 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 528736
[startup+12.7071 s]
/proc/loadavg: 2.07 2.02 2.16 3/184 13043
/proc/meminfo: memFree=26177148/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=60100 CPUtime=0.61 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 10040 0 0 0 54 7 0 0 20 0 1 0 276227137 61542400 13673 33554432000 4194304 5992684 140736967059856 140736967054304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 15025 13673 163 440 0 14581 0
[pid=13042] ppid=13040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (cp2_pre.sh) S 13040 13039 10899 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 276227199 9367552 276 33554432000 4194304 5064252 140736300727744 140736300726448 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13042/statm: 2287 276 234 213 0 72 0
[pid=13043] ppid=13042 vsize=454796 CPUtime=12.07 cores=1,3,5,7
/proc/13043/stat : 13043 (coprocessor) R 13042 13039 10899 0 -1 4202496 57978 0 0 0 1191 16 0 0 20 0 1 0 276227199 465711104 111674 33554432000 4194304 6586260 140735113354624 140735113349992 4676681 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13043/statm: 113699 111674 188 584 0 113111 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 533192
[startup+25.5004 s]
/proc/loadavg: 2.06 2.01 2.16 3/184 13043
/proc/meminfo: memFree=25191372/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=60100 CPUtime=0.61 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 10040 0 0 0 54 7 0 0 20 0 1 0 276227137 61542400 13673 33554432000 4194304 5992684 140736967059856 140736967054304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 15025 13673 163 440 0 14581 0
[pid=13042] ppid=13040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (cp2_pre.sh) S 13040 13039 10899 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 276227199 9367552 276 33554432000 4194304 5064252 140736300727744 140736300726448 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13042/statm: 2287 276 234 213 0 72 0
[pid=13043] ppid=13042 vsize=458624 CPUtime=24.86 cores=1,3,5,7
/proc/13043/stat : 13043 (coprocessor) R 13042 13039 10899 0 -1 4202496 58931 0 0 0 2470 16 0 0 20 0 1 0 276227199 469630976 112627 33554432000 4194304 6586260 140735113354624 140735113349992 4676681 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13043/statm: 114656 112627 188 584 0 114068 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 537020
[startup+51.1003 s]
/proc/loadavg: 2.40 2.09 2.18 3/185 13052
/proc/meminfo: memFree=20474724/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87060 CPUtime=50.19 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 14719 145232 0 0 116 195 4635 73 20 0 1 0 276227137 89149440 19972 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21765 19972 181 440 0 21321 0
[pid=13052] ppid=13040 vsize=230956 CPUtime=0.9 cores=1,3,5,7
/proc/13052/stat : 13052 (glucosInc) R 13040 13039 10899 0 -1 4202496 40608 0 0 0 82 8 0 0 20 0 1 0 276232155 236498944 50162 33554432000 4194304 5654031 140734227604032 140734227601912 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13052/statm: 57739 50162 131 357 0 57379 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 327164
[startup+102.3 s]
/proc/loadavg: 2.82 2.26 2.23 3/184 13056
/proc/meminfo: memFree=17648652/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=70.24 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 19361 232091 0 0 140 197 6581 106 20 0 1 0 276227137 89354240 19974 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19974 181 440 0 21371 0
[pid=13056] ppid=13040 vsize=245456 CPUtime=32.06 cores=1,3,5,7
/proc/13056/stat : 13056 (glucosInc) R 13040 13039 10899 0 -1 4202496 44730 0 0 0 3197 9 0 0 20 0 1 0 276234158 251346944 54291 33554432000 4194304 5654031 140736460570736 140736460558552 4232466 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13056/statm: 61364 54291 140 357 0 61004 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 341864
[startup+162.307 s]
/proc/loadavg: 2.53 2.30 2.24 3/183 13060
/proc/meminfo: memFree=16131732/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=231356 CPUtime=5.35 cores=1,3,5,7
/proc/13060/stat : 13060 (glucosInc) R 13040 13039 10899 0 -1 4202496 42129 0 0 0 527 8 0 0 20 0 1 0 276242831 236908544 50097 33554432000 4194304 5654031 140735556715200 140735556713080 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13060/statm: 57839 50097 131 357 0 57479 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 327764
[startup+222.3 s]
/proc/loadavg: 2.19 2.24 2.22 3/183 13061
/proc/meminfo: memFree=15989048/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=263304 CPUtime=65.33 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=26518224/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=268652 CPUtime=1085.16 cores=1,3,5,7
/proc/13060/stat : 13060 (glucosInc) R 13040 13039 10899 0 -1 4202496 53181 0 0 0 108497 19 0 0 20 0 1 0 276242831 275099648 56014 33554432000 4194304 5654031 140735556715200 140735556703016 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13060/statm: 67163 56014 142 357 0 66803 0
Current children cumulated CPU time (s) 1242.12
Current children cumulated vsize (KiB) 365060
[startup+1302.3 s]
/proc/loadavg: 2.43 2.90 2.50 3/183 13138
/proc/meminfo: memFree=26465596/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=268652 CPUtime=1145.12 cores=1,3,5,7
/proc/13060/stat : 13060 (glucosInc) R 13040 13039 10899 0 -1 4202496 53292 0 0 0 114493 19 0 0 20 0 1 0 276242831 275099648 57624 33554432000 4194304 5654031 140735556715200 140735556703016 4232495 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13060/statm: 67163 57624 142 357 0 66803 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 365060
[startup+1362.3 s]
/proc/loadavg: 2.16 2.74 2.46 3/183 13138
/proc/meminfo: memFree=26434748/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=271216 CPUtime=1205.1 cores=1,3,5,7
/proc/13060/stat : 13060 (glucosInc) R 13040 13039 10899 0 -1 4202496 54472 0 0 0 120490 20 0 0 20 0 1 0 276242831 277725184 57346 33554432000 4194304 5654031 140735556715200 140735556703016 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13060/statm: 67804 57346 142 357 0 67444 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 367624
[startup+1422.3 s]
/proc/loadavg: 2.06 2.60 2.43 3/183 13139
/proc/meminfo: memFree=26444200/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=271216 CPUtime=1265.08 cores=1,3,5,7
/proc/13060/stat : 13060 (glucosInc) R 13040 13039 10899 0 -1 4202496 54568 0 0 0 126488 20 0 0 20 0 1 0 276242831 277725184 59164 33554432000 4194304 5654031 140735556715200 140735556703016 4233201 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13060/statm: 67804 59164 142 357 0 67444 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 367624
[startup+1482.3 s]
/proc/loadavg: 2.02 2.49 2.40 3/183 13139
/proc/meminfo: memFree=26463108/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=271216 CPUtime=1325.08 cores=1,3,5,7
/proc/13060/stat : 13060 (glucosInc) R 13040 13039 10899 0 -1 4202496 55753 0 0 0 132487 21 0 0 20 0 1 0 276242831 277725184 57683 33554432000 4194304 5654031 140735556715200 140735556703016 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13060/statm: 67804 57683 142 357 0 67444 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 367624
[startup+1542.3 s]
/proc/loadavg: 2.00 2.40 2.37 3/183 13139
/proc/meminfo: memFree=26403100/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=271216 CPUtime=1385.07 cores=1,3,5,7
/proc/13060/stat : 13060 (glucosInc) R 13040 13039 10899 0 -1 4202496 55812 0 0 0 138485 22 0 0 20 0 1 0 276242831 277725184 59786 33554432000 4194304 5654031 140735556715200 140735556703016 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13060/statm: 67804 59786 142 357 0 67444 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 367624
[startup+1602.31 s]
/proc/loadavg: 2.06 2.34 2.35 3/184 13142
/proc/meminfo: memFree=26423024/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=271216 CPUtime=1445.07 cores=1,3,5,7
/proc/13060/stat : 13060 (glucosInc) R 13040 13039 10899 0 -1 4202496 57008 0 0 0 144484 23 0 0 20 0 1 0 276242831 277725184 57803 33554432000 4194304 5654031 140735556715200 140735556703016 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13060/statm: 67804 57803 142 357 0 67444 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 367624
[startup+1662.3 s]
/proc/loadavg: 2.02 2.27 2.33 3/183 13142
/proc/meminfo: memFree=26437248/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=271216 CPUtime=1505.05 cores=1,3,5,7
/proc/13060/stat : 13060 (glucosInc) R 13040 13039 10899 0 -1 4202496 57016 0 0 0 150482 23 0 0 20 0 1 0 276242831 277725184 59344 33554432000 4194304 5654031 140735556715200 140735556703016 4232431 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13060/statm: 67804 59344 142 357 0 67444 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 367624
[startup+1722.3 s]
/proc/loadavg: 2.00 2.22 2.31 3/183 13143
/proc/meminfo: memFree=26391996/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=271216 CPUtime=1565.04 cores=1,3,5,7
/proc/13060/stat : 13060 (glucosInc) R 13040 13039 10899 0 -1 4202496 58169 0 0 0 156480 24 0 0 20 0 1 0 276242831 277725184 57298 33554432000 4194304 5654031 140735556715200 140735556703016 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13060/statm: 67804 57298 142 357 0 67444 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 367624
[startup+1782.3 s]
/proc/loadavg: 2.00 2.18 2.28 3/183 13143
/proc/meminfo: memFree=26395752/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=271216 CPUtime=1625.03 cores=1,3,5,7
/proc/13060/stat : 13060 (glucosInc) R 13040 13039 10899 0 -1 4202496 58173 0 0 0 162479 24 0 0 20 0 1 0 276242831 277725184 59346 33554432000 4194304 5654031 140735556715200 140735556703016 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13060/statm: 67804 59346 142 357 0 67444 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 367624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.18 2.28 3/183 13143
/proc/meminfo: memFree=26371456/32873844 swapFree=7124/7124
[pid=13039] ppid=13037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13039/stat : 13039 (npSolver-pbo-It) S 13037 13039 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276227136 9367552 275 33554432000 4194304 5064252 140737240539520 140737240538432 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13039/statm: 2287 275 233 213 0 72 0
[pid=13040] ppid=13039 vsize=87260 CPUtime=156.96 cores=1,3,5,7
/proc/13040/stat : 13040 (npSolver-pbo) S 13039 13039 10899 0 -1 4202496 21679 278331 0 0 152 198 15222 124 20 0 1 0 276227137 89354240 19975 33554432000 4194304 5992684 140736967059856 140736967045688 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13040/statm: 21815 19975 181 440 0 21371 0
[pid=13060] ppid=13040 vsize=271216 CPUtime=1643.13 cores=1,3,5,7
/proc/13060/stat : 13060 (glucosInc) R 13040 13039 10899 0 -1 4202496 58174 0 0 0 164289 24 0 0 20 0 1 0 276242831 277725184 59858 33554432000 4194304 5654031 140735556715200 140735556703016 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13060/statm: 67804 59858 142 357 0 67444 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 367624
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.14
CPU user time (s): 1796.66
CPU system time (s): 3.48447
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 552508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.66
system time used= 3.48447
maximum resident set size= 481216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358566
page faults= 0
swaps= 0
block input operations= 0
block output operations= 490920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6957
involuntary context switches= 2437
runsolver used 2.94655 second user time and 9.25259 second system time
The end