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-3699326-1338134826/watcher-3699326-1338134826 -o /tmp/evaluation-result-3699326-1338134826/solver-3699326-1338134826 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699326-1338134826.opb 1816801597 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.02 2.03 3/178 20078
/proc/meminfo: memFree=30424964/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[startup+0.0468509 s]
/proc/loadavg: 2.01 2.02 2.03 3/178 20078
/proc/meminfo: memFree=30424964/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100209 s]
/proc/loadavg: 2.01 2.02 2.03 3/178 20078
/proc/meminfo: memFree=30424964/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300184 s]
/proc/loadavg: 2.01 2.02 2.03 3/178 20078
/proc/meminfo: memFree=30424964/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700231 s]
/proc/loadavg: 2.01 2.02 2.03 3/178 20078
/proc/meminfo: memFree=30424964/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.01 2.02 2.03 3/182 20082
/proc/meminfo: memFree=30314540/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=65016 CPUtime=0.88 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 11113 0 0 0 79 9 0 0 20 0 1 0 279607168 66576384 15482 33554432000 4194304 5992684 140734359441120 140734359435568 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20079/statm: 16254 15482 172 440 0 15810 0
[pid=20081] ppid=20079 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20081/stat : 20081 (cp2_pre.sh) S 20079 20078 18146 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 279607257 9367552 276 33554432000 4194304 5064252 140733201079152 140733201077856 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20081/statm: 2287 276 234 213 0 72 0
[pid=20082] ppid=20081 vsize=278668 CPUtime=0.59 cores=0,2,4,6
/proc/20082/stat : 20082 (coprocessor) R 20081 20078 18146 0 -1 4202496 26611 0 0 0 52 7 0 0 20 0 1 0 279607258 285356032 61403 33554432000 4194304 6586260 140736162629040 140736162625800 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/20082/statm: 69667 61403 166 584 0 69079 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 361980
[startup+3.1004 s]
/proc/loadavg: 2.01 2.02 2.03 3/182 20082
/proc/meminfo: memFree=30035448/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=65016 CPUtime=0.88 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 11113 0 0 0 79 9 0 0 20 0 1 0 279607168 66576384 15482 33554432000 4194304 5992684 140734359441120 140734359435568 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20079/statm: 16254 15482 172 440 0 15810 0
[pid=20081] ppid=20079 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20081/stat : 20081 (cp2_pre.sh) S 20079 20078 18146 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 279607257 9367552 276 33554432000 4194304 5064252 140733201079152 140733201077856 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20081/statm: 2287 276 234 213 0 72 0
[pid=20082] ppid=20081 vsize=366764 CPUtime=2.19 cores=0,2,4,6
/proc/20082/stat : 20082 (coprocessor) R 20081 20078 18146 0 -1 4202496 47364 0 0 0 208 11 0 0 20 0 1 0 279607258 375566336 88796 33554432000 4194304 6586260 140736162629040 140736162624968 4753818 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/20082/statm: 91691 88796 182 584 0 91103 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 450076
[startup+6.30032 s]
/proc/loadavg: 2.01 2.02 2.02 3/182 20082
/proc/meminfo: memFree=29869772/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=65016 CPUtime=5.82 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 11130 56438 0 0 79 9 434 60 20 0 1 0 279607168 66576384 15484 33554432000 4194304 5992684 140734359441120 140734359427384 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20079/statm: 16254 15484 174 440 0 15810 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 74164
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.02 3/180 20085
/proc/meminfo: memFree=30234964/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=255372 CPUtime=12.44 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) R 20078 20078 18146 0 -1 4202496 20713 89977 0 0 259 188 725 72 20 0 1 0 279607168 261500928 55988 33554432000 4194304 5992684 140734359441120 140734359432904 4523474 0 0 4096 0 0 0 0 17 2 0 0 12 0 0
/proc/20079/statm: 63843 55988 191 440 0 63399 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 264520
[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.03 3/181 20088
/proc/meminfo: memFree=29471060/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=124300 CPUtime=14.14 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 22003 90491 0 0 393 220 725 76 20 0 1 0 279607168 127283200 30320 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 31075 30320 191 440 0 30631 0
[pid=20088] ppid=20079 vsize=684152 CPUtime=11.08 cores=0,2,4,6
/proc/20088/stat : 20088 (glucosInc) R 20079 20078 18146 0 -1 4202496 99634 0 0 0 1080 28 0 0 20 0 1 0 279608608 700571648 147949 33554432000 4194304 5654031 140736789991872 140736789989480 4216213 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20088/statm: 171038 147949 141 357 0 170678 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 817600
[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.03 3/180 20088
/proc/meminfo: memFree=29978956/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=268092 CPUtime=50.85 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) R 20078 20078 18146 0 -1 4202496 31658 191334 0 0 581 226 4169 109 20 0 1 0 279607168 274526208 64801 33554432000 4194304 5992684 140734359441120 140734359432904 4523474 0 0 4096 0 0 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 67023 64801 192 440 0 66579 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 277240
[startup+102.307 s]
/proc/loadavg: 2.06 2.04 2.03 3/181 20092
/proc/meminfo: memFree=29669492/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=520200 CPUtime=31.52 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 77246 0 0 0 3129 23 0 0 20 0 1 0 279614245 532684800 111996 33554432000 4194304 5654031 140734499020512 140734499008328 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 130050 111996 142 357 0 129690 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 666368
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/181 20092
/proc/meminfo: memFree=29638404/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=522836 CPUtime=91.5 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 78201 0 0 0 9127 23 0 0 20 0 1 0 279614245 535384064 114960 33554432000 4194304 5654031 140734499020512 140734499008328 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 130709 114960 142 357 0 130349 0
Current children cumulated CPU time (s) 162.04
Current children cumulated vsize (KiB) 669004
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/182 20095
/proc/meminfo: memFree=29603856/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=531984 CPUtime=151.48 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 79530 0 0 0 15124 24 0 0 20 0 1 0 279614245 544751616 121896 33554432000 4194304 5654031 140734499020512 140734499008328 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 132996 121896 142 357 0 132636 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 678152
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/181 20095
/proc/meminfo: memFree=29605940/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=29337152/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=633728 CPUtime=1231.26 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 86660 0 0 0 123070 56 0 0 20 0 1 0 279614245 648937472 140166 33554432000 4194304 5654031 140734499020512 140734499008328 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 158432 140166 142 357 0 158072 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 779896
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20155
/proc/meminfo: memFree=29295948/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=638416 CPUtime=1291.26 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 87091 0 0 0 129069 57 0 0 20 0 1 0 279614245 653737984 141619 33554432000 4194304 5654031 140734499020512 140734499018280 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 159604 141619 142 357 0 159244 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 784584
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 20158
/proc/meminfo: memFree=29384744/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=557028 CPUtime=1351.25 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 87454 0 0 0 135066 59 0 0 20 0 1 0 279614245 570396672 125067 33554432000 4194304 5654031 140734499020512 140734499008328 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 139257 125067 142 357 0 138897 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 703196
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 20158
/proc/meminfo: memFree=29371464/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=557028 CPUtime=1411.23 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 87460 0 0 0 141064 59 0 0 20 0 1 0 279614245 570396672 126662 33554432000 4194304 5654031 140734499020512 140734499008328 4233036 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 139257 126662 142 357 0 138897 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 703196
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20159
/proc/meminfo: memFree=29370720/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=557028 CPUtime=1471.22 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 87465 0 0 0 147063 59 0 0 20 0 1 0 279614245 570396672 129222 33554432000 4194304 5654031 140734499020512 140734499008328 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 139257 129222 142 357 0 138897 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 703196
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20159
/proc/meminfo: memFree=29339196/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=638416 CPUtime=1531.21 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 87641 0 0 0 153061 60 0 0 20 0 1 0 279614245 653737984 133486 33554432000 4194304 5654031 140734499020512 140734499008328 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 159604 133486 142 357 0 159244 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 784584
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20159
/proc/meminfo: memFree=29345156/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=638416 CPUtime=1591.21 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 87647 0 0 0 159060 61 0 0 20 0 1 0 279614245 653737984 136558 33554432000 4194304 5654031 140734499020512 140734499008328 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 159604 136558 142 357 0 159244 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 784584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20159
/proc/meminfo: memFree=29334916/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=638416 CPUtime=1651.2 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 87651 0 0 0 165059 61 0 0 20 0 1 0 279614245 653737984 138606 33554432000 4194304 5654031 140734499020512 140734499008328 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 159604 138606 142 357 0 159244 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 784584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20160
/proc/meminfo: memFree=29347208/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=638416 CPUtime=1711.18 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 88185 0 0 0 171053 65 0 0 20 0 1 0 279614245 653737984 136046 33554432000 4194304 5654031 140734499020512 140734499008328 4217732 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 159604 136046 142 357 0 159244 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 784584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20160
/proc/meminfo: memFree=29338744/32873844 swapFree=7900/7900
[pid=20078] ppid=20076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20078/stat : 20078 (npSolver-pbo-I.) S 20076 20078 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279607168 9367552 275 33554432000 4194304 5064252 140735143135600 140735143134512 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20078/statm: 2287 275 233 213 0 72 0
[pid=20079] ppid=20078 vsize=137020 CPUtime=70.54 cores=0,2,4,6
/proc/20079/stat : 20079 (npSolver-pbo) S 20078 20078 18146 0 -1 4202496 43444 285510 0 0 852 278 5770 154 20 0 1 0 279607168 140308480 33501 33554432000 4194304 5992684 140734359441120 140734359426024 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 12 0 0
/proc/20079/statm: 34255 33501 192 440 0 33811 0
[pid=20092] ppid=20079 vsize=638416 CPUtime=1729.49 cores=0,2,4,6
/proc/20092/stat : 20092 (glucosInc) R 20079 20078 18146 0 -1 4202496 88187 0 0 0 172884 65 0 0 20 0 1 0 279614245 653737984 137070 33554432000 4194304 5654031 140734499020512 140734499008328 4214638 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20092/statm: 159604 137070 142 357 0 159244 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 784584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20078 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.62
CPU time (s): 1800.03
CPU user time (s): 1795.06
CPU system time (s): 4.97
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 1042384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 3.82142 second user time and 10.5344 second system time
The end