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-3698464-1338107289/watcher-3698464-1338107289 -o /tmp/evaluation-result-3698464-1338107289/solver-3698464-1338107289 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698464-1338107289.opb 694769661 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.14 2.03 2.01 3/179 22892
/proc/meminfo: memFree=28119464/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[startup+0.07193 s]
/proc/loadavg: 2.14 2.03 2.01 3/179 22892
/proc/meminfo: memFree=28119464/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100154 s]
/proc/loadavg: 2.14 2.03 2.01 3/179 22892
/proc/meminfo: memFree=28119464/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.309502 s]
/proc/loadavg: 2.14 2.03 2.01 3/179 22892
/proc/meminfo: memFree=28119464/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700159 s]
/proc/loadavg: 2.14 2.03 2.01 3/179 22892
/proc/meminfo: memFree=28119464/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.13 2.03 2.01 3/183 22896
/proc/meminfo: memFree=28002240/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=63944 CPUtime=0.86 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 10702 0 0 0 80 6 0 0 20 0 1 0 276854357 65478656 14972 33554432000 4194304 5992684 140733770248448 140733770242896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 15986 14972 174 440 0 15542 0
[pid=22895] ppid=22893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22895/stat : 22895 (cp2_pre.sh) S 22893 22892 20135 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 276854443 9367552 276 33554432000 4194304 5064252 140736397086336 140736397085040 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22895/statm: 2287 276 234 213 0 72 0
[pid=22896] ppid=22895 vsize=137392 CPUtime=0.62 cores=1,3,5,7
/proc/22896/stat : 22896 (coprocessor) R 22895 22892 20135 0 -1 4202496 21273 0 0 0 57 5 0 0 20 0 1 0 276854444 140689408 30263 33554432000 4194304 6586260 140734140001552 140734139997880 5511711 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/22896/statm: 34348 30263 166 584 0 33760 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 219632
[startup+3.10037 s]
/proc/loadavg: 2.13 2.03 2.01 3/183 22896
/proc/meminfo: memFree=27881724/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=63944 CPUtime=0.86 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 10702 0 0 0 80 6 0 0 20 0 1 0 276854357 65478656 14972 33554432000 4194304 5992684 140733770248448 140733770242896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 15986 14972 174 440 0 15542 0
[pid=22895] ppid=22893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22895/stat : 22895 (cp2_pre.sh) S 22893 22892 20135 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 276854443 9367552 276 33554432000 4194304 5064252 140736397086336 140736397085040 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22895/statm: 2287 276 234 213 0 72 0
[pid=22896] ppid=22895 vsize=191164 CPUtime=2.21 cores=1,3,5,7
/proc/22896/stat : 22896 (coprocessor) R 22895 22892 20135 0 -1 4202496 33065 0 0 0 212 9 0 0 20 0 1 0 276854444 195751936 45829 33554432000 4194304 6586260 140734140001552 140734139997368 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/22896/statm: 47791 45829 200 584 0 47203 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 273404
[startup+6.30026 s]
/proc/loadavg: 2.12 2.03 2.01 3/182 22898
/proc/meminfo: memFree=27978216/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=66264 CPUtime=4.31 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) R 22892 22892 20135 0 -1 4202496 12243 33966 0 0 101 64 253 13 20 0 1 0 276854357 67854336 15560 33554432000 4194304 5992684 140733770248448 140733770242632 5179696 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 16566 15560 182 440 0 16122 0
[pid=22898] ppid=22893 vsize=82332 CPUtime=1.96 cores=1,3,5,7
/proc/22898/stat : 22898 (glucosInc) S 22893 22892 20135 0 -1 4202496 15925 0 0 0 193 3 0 0 20 0 1 0 276854711 84307968 17394 33554432000 4194304 5654031 140736097206560 140736097204872 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22898/statm: 20583 17394 146 357 0 20223 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 157744
[startup+12.7004 s]
/proc/loadavg: 2.11 2.03 2.01 3/182 22903
/proc/meminfo: memFree=27952824/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=71700 CPUtime=11.12 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 17514 68531 0 0 124 88 872 28 20 0 1 0 276854357 73420800 16794 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 17925 16794 185 440 0 17481 0
[pid=22903] ppid=22893 vsize=84248 CPUtime=1.29 cores=1,3,5,7
/proc/22903/stat : 22903 (glucosInc) R 22893 22892 20135 0 -1 4202496 16171 0 0 0 126 3 0 0 20 0 1 0 276855496 86269952 18534 33554432000 4194304 5654031 140733283482720 140733283470536 4214432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22903/statm: 21062 18534 141 357 0 20702 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 165096
[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.01 3/182 22905
/proc/meminfo: memFree=27946876/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=16.77 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 20677 86206 0 0 138 89 1416 34 20 0 1 0 276854357 74842112 16948 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16948 185 440 0 17828 0
[pid=22905] ppid=22893 vsize=88680 CPUtime=8.44 cores=1,3,5,7
/proc/22905/stat : 22905 (glucosInc) R 22893 22892 20135 0 -1 4202496 17519 0 0 0 841 3 0 0 20 0 1 0 276856061 90808320 19880 33554432000 4194304 5654031 140736035106080 140736035093896 4214638 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22905/statm: 22170 19880 141 357 0 21810 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 170916
[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 22908
/proc/meminfo: memFree=27948472/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=32.81 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 23681 104692 0 0 152 90 2998 41 20 0 1 0 276854357 74842112 16949 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16949 185 440 0 17828 0
[pid=22907] ppid=22893 vsize=89452 CPUtime=17.99 cores=1,3,5,7
/proc/22907/stat : 22907 (glucosInc) R 22893 22892 20135 0 -1 4202496 18393 0 0 0 1797 2 0 0 20 0 1 0 276857666 91598848 19779 33554432000 4194304 5654031 140734577720800 140734577708616 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22907/statm: 22363 19779 142 357 0 22003 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 171688
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 22912
/proc/meminfo: memFree=27945244/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=82.49 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 26682 126117 0 0 167 91 7943 48 20 0 1 0 276854357 74842112 16949 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16949 185 440 0 17828 0
[pid=22910] ppid=22893 vsize=101732 CPUtime=19.52 cores=1,3,5,7
/proc/22910/stat : 22910 (glucosInc) R 22893 22892 20135 0 -1 4202496 18845 0 0 0 1948 4 0 0 20 0 1 0 276862634 104173568 20629 33554432000 4194304 5654031 140734762412064 140734762399880 4215307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22910/statm: 25433 20629 142 357 0 25073 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 183968
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 22917
/proc/meminfo: memFree=27903176/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=82.49 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 26682 126117 0 0 167 91 7943 48 20 0 1 0 276854357 74842112 16949 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16949 185 440 0 17828 0
[pid=22910] ppid=22893 vsize=140904 CPUtime=79.49 cores=1,3,5,7
/proc/22910/stat : 22910 (glucosInc) R 22893 22892 20135 0 -1 4202496 21490 0 0 0 7944 5 0 0 20 0 1 0 276862634 144285696 30858 33554432000 4194304 5654031 140734762412064 140734762399880 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22910/statm: 35226 30858 142 357 0 34866 0
Current children cumulated CPU time (s) 161.98
Current children cumulated vsize (KiB) 223140
[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 22921
/proc/meminfo: memFree=27893248/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=201.66 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 32687 165895 0 0 196 93 19816 61 20 0 1 0 276854357 74842112 16949 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16949 185 440 0 17828 0
[pid=22921] ppid=22893 vsize=89516 CPUtime=20.33 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=27799796/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=589.53 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 38736 209056 0 0 225 94 58555 79 20 0 1 0 276854357 74842112 16951 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16951 185 440 0 17828 0
[pid=22930] ppid=22893 vsize=188596 CPUtime=652.25 cores=1,3,5,7
/proc/22930/stat : 22930 (glucosInc) R 22893 22892 20135 0 -1 4202496 21612 0 0 0 65217 8 0 0 20 0 1 0 276913350 193122304 42808 33554432000 4194304 5654031 140737196375120 140737196362936 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22930/statm: 47149 42808 142 357 0 46789 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 270832
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22944
/proc/meminfo: memFree=27815720/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=589.53 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 38736 209056 0 0 225 94 58555 79 20 0 1 0 276854357 74842112 16951 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16951 185 440 0 17828 0
[pid=22930] ppid=22893 vsize=219416 CPUtime=712.23 cores=1,3,5,7
/proc/22930/stat : 22930 (glucosInc) R 22893 22892 20135 0 -1 4202496 22146 0 0 0 71215 8 0 0 20 0 1 0 276913350 224681984 45890 33554432000 4194304 5654031 140737196375120 140737196373208 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22930/statm: 54854 45890 142 357 0 54494 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 301652
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 22947
/proc/meminfo: memFree=27837768/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=589.53 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 38736 209056 0 0 225 94 58555 79 20 0 1 0 276854357 74842112 16951 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16951 185 440 0 17828 0
[pid=22930] ppid=22893 vsize=139276 CPUtime=772.22 cores=1,3,5,7
/proc/22930/stat : 22930 (glucosInc) R 22893 22892 20135 0 -1 4202496 22204 0 0 0 77214 8 0 0 20 0 1 0 276913350 142618624 33529 33554432000 4194304 5654031 140737196375120 140737196362936 4215028 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22930/statm: 34819 33529 142 357 0 34459 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 221512
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 22947
/proc/meminfo: memFree=27778660/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=589.53 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 38736 209056 0 0 225 94 58555 79 20 0 1 0 276854357 74842112 16951 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16951 185 440 0 17828 0
[pid=22930] ppid=22893 vsize=188596 CPUtime=832.22 cores=1,3,5,7
/proc/22930/stat : 22930 (glucosInc) R 22893 22892 20135 0 -1 4202496 22285 0 0 0 83213 9 0 0 20 0 1 0 276913350 193122304 42808 33554432000 4194304 5654031 140737196375120 140737196362936 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22930/statm: 47149 42808 142 357 0 46789 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 270832
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 22947
/proc/meminfo: memFree=27837248/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=589.53 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 38736 209056 0 0 225 94 58555 79 20 0 1 0 276854357 74842112 16951 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16951 185 440 0 17828 0
[pid=22930] ppid=22893 vsize=139276 CPUtime=892.21 cores=1,3,5,7
/proc/22930/stat : 22930 (glucosInc) R 22893 22892 20135 0 -1 4202496 22878 0 0 0 89211 10 0 0 20 0 1 0 276913350 142618624 33529 33554432000 4194304 5654031 140737196375120 140737196362936 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22930/statm: 34819 33529 142 357 0 34459 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 221512
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22949
/proc/meminfo: memFree=27844372/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=1535.86 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 41702 232550 0 0 239 95 153159 93 20 0 1 0 276854357 74842112 16952 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16952 185 440 0 17828 0
[pid=22949] ppid=22893 vsize=85940 CPUtime=5.88 cores=1,3,5,7
/proc/22949/stat : 22949 (glucosInc) R 22893 22892 20135 0 -1 4202496 17013 0 0 0 585 3 0 0 20 0 1 0 277007997 88002560 19414 33554432000 4194304 5654031 140736246120816 140736246108632 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22949/statm: 21485 19414 141 357 0 21125 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 168176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22950
/proc/meminfo: memFree=27812004/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=1535.86 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 41702 232550 0 0 239 95 153159 93 20 0 1 0 276854357 74842112 16952 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16952 185 440 0 17828 0
[pid=22949] ppid=22893 vsize=139304 CPUtime=65.87 cores=1,3,5,7
/proc/22949/stat : 22949 (glucosInc) R 22893 22892 20135 0 -1 4202496 21001 0 0 0 6582 5 0 0 20 0 1 0 277007997 142647296 31877 33554432000 4194304 5654031 140736246120816 140736246108632 4232710 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22949/statm: 34826 31877 142 357 0 34466 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 221540
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22951
/proc/meminfo: memFree=27987784/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=1535.86 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 41702 232550 0 0 239 95 153159 93 20 0 1 0 276854357 74842112 16952 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16952 185 440 0 17828 0
[pid=22949] ppid=22893 vsize=139304 CPUtime=125.85 cores=1,3,5,7
/proc/22949/stat : 22949 (glucosInc) R 22893 22892 20135 0 -1 4202496 21016 0 0 0 12580 5 0 0 20 0 1 0 277007997 142647296 31881 33554432000 4194304 5654031 140736246120816 140736246108632 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22949/statm: 34826 31881 142 357 0 34466 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 221540
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22952
/proc/meminfo: memFree=27845012/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=1535.86 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 41702 232550 0 0 239 95 153159 93 20 0 1 0 276854357 74842112 16952 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16952 185 440 0 17828 0
[pid=22949] ppid=22893 vsize=139304 CPUtime=185.84 cores=1,3,5,7
/proc/22949/stat : 22949 (glucosInc) R 22893 22892 20135 0 -1 4202496 21026 0 0 0 18579 5 0 0 20 0 1 0 277007997 142647296 33296 33554432000 4194304 5654031 140736246120816 140736246108632 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22949/statm: 34826 33296 142 357 0 34466 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 221540
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22952
/proc/meminfo: memFree=27837884/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=1535.86 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 41702 232550 0 0 239 95 153159 93 20 0 1 0 276854357 74842112 16952 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16952 185 440 0 17828 0
[pid=22949] ppid=22893 vsize=139304 CPUtime=245.83 cores=1,3,5,7
/proc/22949/stat : 22949 (glucosInc) R 22893 22892 20135 0 -1 4202496 21673 0 0 0 24576 7 0 0 20 0 1 0 277007997 142647296 33296 33554432000 4194304 5654031 140736246120816 140736246108632 4215026 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22949/statm: 34826 33296 142 357 0 34466 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 221540
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.08 2.02 2.01 3/182 22994
/proc/meminfo: memFree=26552300/32873648 swapFree=7104/7104
[pid=22892] ppid=22890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22892/stat : 22892 (npSolver-pbo-It) S 22890 22892 20135 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276854357 9367552 275 33554432000 4194304 5064252 140734093131536 140734093130448 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22892/statm: 2287 275 233 213 0 72 0
[pid=22893] ppid=22892 vsize=73088 CPUtime=1535.86 cores=1,3,5,7
/proc/22893/stat : 22893 (npSolver-pbo) S 22892 22892 20135 0 -1 4202496 41702 232550 0 0 239 95 153159 93 20 0 1 0 276854357 74842112 16952 33554432000 4194304 5992684 140733770248448 140733770234280 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22893/statm: 18272 16952 185 440 0 17828 0
[pid=22949] ppid=22893 vsize=188624 CPUtime=264.24 cores=1,3,5,7
/proc/22949/stat : 22949 (glucosInc) R 22893 22892 20135 0 -1 4202496 21995 0 0 0 26417 7 0 0 20 0 1 0 277007997 193150976 41283 33554432000 4194304 5654031 140736246120816 140736246108632 4215112 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22949/statm: 47156 41283 142 357 0 46796 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 270860
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.72
CPU time (s): 1800.13
CPU user time (s): 1798.16
CPU system time (s): 1.9737
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 301652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 1.9737
maximum resident set size= 191980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 433760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4444
involuntary context switches= 2249
runsolver used 4.5683 second user time and 14.1359 second system time
The end