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-3748498-1339177457/watcher-3748498-1339177457 -o /tmp/evaluation-result-3748498-1339177457/solver-3748498-1339177457 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748498-1339177457.opb 373533995 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.00 2.00 2.00 3/178 28152
/proc/meminfo: memFree=23550276/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[startup+0.065067 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28152
/proc/meminfo: memFree=23550276/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100309 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28152
/proc/meminfo: memFree=23550276/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300204 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28152
/proc/meminfo: memFree=23550276/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28152
/proc/meminfo: memFree=23550276/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28156
/proc/meminfo: memFree=23376656/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=37588 CPUtime=0.49 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 7288 0 0 0 45 4 0 0 20 0 1 0 383871206 38490112 8082 33554432000 4194304 6004724 140733797580672 140733797575136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9397 8082 164 442 0 8951 0
[pid=28155] ppid=28153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28155/stat : 28155 (cp2_pre.sh) S 28153 28152 27509 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383871257 9367552 276 33554432000 4194304 5064252 140734514146848 140734514145552 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28155/statm: 2287 276 234 213 0 72 0
[pid=28156] ppid=28155 vsize=163544 CPUtime=0.98 cores=0,2,4,6
/proc/28156/stat : 28156 (coprocessor) R 28155 28152 27509 0 -1 4202496 29067 0 0 0 94 4 0 0 20 0 1 0 383871257 167469056 39312 33554432000 4194304 6586260 140735809260448 140735809257208 4768359 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/28156/statm: 40886 39312 182 584 0 40298 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 219428
[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28156
/proc/meminfo: memFree=23324804/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=37588 CPUtime=0.49 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 7288 0 0 0 45 4 0 0 20 0 1 0 383871206 38490112 8082 33554432000 4194304 6004724 140733797580672 140733797575136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9397 8082 164 442 0 8951 0
[pid=28155] ppid=28153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28155/stat : 28155 (cp2_pre.sh) S 28153 28152 27509 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383871257 9367552 276 33554432000 4194304 5064252 140734514146848 140734514145552 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28155/statm: 2287 276 234 213 0 72 0
[pid=28156] ppid=28155 vsize=188960 CPUtime=2.58 cores=0,2,4,6
/proc/28156/stat : 28156 (coprocessor) R 28155 28152 27509 0 -1 4202496 33095 0 0 0 253 5 0 0 20 0 1 0 383871257 193495040 45895 33554432000 4194304 6586260 140735809260448 140735809255768 4676681 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/28156/statm: 47240 45895 192 584 0 46652 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 244844
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28158
/proc/meminfo: memFree=23391952/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=85852 CPUtime=6.28 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) R 28152 28152 27509 0 -1 4202496 12136 52855 0 0 95 77 435 21 20 0 1 0 383871206 87912448 17152 33554432000 4194304 6004724 140733797580672 140733797575232 4582511 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 21463 17152 182 442 0 21017 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 95000
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28161
/proc/meminfo: memFree=23073956/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=53084 CPUtime=7.57 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 13992 53370 0 0 205 94 435 23 20 0 1 0 383871206 54358016 11978 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 13271 11978 183 442 0 12825 0
[pid=28161] ppid=28153 vsize=349348 CPUtime=5.1 cores=0,2,4,6
/proc/28161/stat : 28161 (glucosInc) R 28153 28152 27509 0 -1 4202496 57161 0 0 0 496 14 0 0 20 0 1 0 383871965 357732352 75667 33554432000 4194304 5654031 140733898378544 140733898366360 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28161/statm: 87337 75667 141 357 0 86977 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 411580
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28165
/proc/meminfo: memFree=23184968/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=41404 CPUtime=22.56 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 27536 166220 0 0 442 127 1624 63 20 0 1 0 383871206 42397696 9089 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 10351 9089 185 442 0 9905 0
[pid=28165] ppid=28153 vsize=253592 CPUtime=2.92 cores=0,2,4,6
/proc/28165/stat : 28165 (glucosInc) R 28153 28152 27509 0 -1 4202496 45599 0 0 0 281 11 0 0 20 0 1 0 383873462 259678208 58180 33554432000 4194304 5654031 140734272355648 140734272353336 4232720 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28165/statm: 63398 58180 141 357 0 63038 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 304144
[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 28167
/proc/meminfo: memFree=23218252/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=230248 CPUtime=5.98 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 44290 0 0 0 588 10 0 0 20 0 1 0 383875717 235773952 53080 33554432000 4194304 5654031 140735144097040 140735144084856 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28167/statm: 57562 53080 141 357 0 57202 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 278932
[startup+102.307 s]
/proc/loadavg: 2.14 2.04 2.01 3/181 28211
/proc/meminfo: memFree=28783428/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=265660 CPUtime=57.17 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 46046 0 0 0 5706 11 0 0 20 0 1 0 383875717 272035840 58410 33554432000 4194304 5654031 140735144097040 140735144084856 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 66415 58410 142 357 0 66055 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 314344
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 28212
/proc/meminfo: memFree=28732060/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=319600 CPUtime=117.15 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 49238 0 0 0 11699 16 0 0 20 0 1 0 383875717 327270400 65572 33554432000 4194304 5654031 140735144097040 140735144095128 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 79900 65572 142 357 0 79540 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 368284
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 28212
/proc/meminfo: memFree=28691592/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=319600 CPUtime=177.13 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 51058 0 0 0 17691 22 0 0 20 0 1 0 383875717 327270400 69512 33554432000 4194304 5654031 140735144097040 140735144095128 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 79900 69512 142 357 0 79540 0
Current children cumulated CPU time (s) 222.23
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/180 28244
/proc/meminfo: memFree=28480804/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=561580 CPUtime=1256.94 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 72378 0 0 0 125624 70 0 0 20 0 1 0 383875717 575057920 107950 33554432000 4194304 5654031 140735144097040 140735144095128 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 140395 107950 142 357 0 140035 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 610264
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28246
/proc/meminfo: memFree=28348268/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=779104 CPUtime=1316.92 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 74920 0 0 0 131613 79 0 0 20 0 1 0 383875717 797802496 142800 33554432000 4194304 5654031 140735144097040 140735144095128 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 194776 142800 142 357 0 194416 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 827788
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28246
/proc/meminfo: memFree=28435444/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=566004 CPUtime=1376.91 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 78087 0 0 0 137596 95 0 0 20 0 1 0 383875717 579588096 120645 33554432000 4194304 5654031 140735144097040 140735144094824 4215076 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 141501 120645 142 357 0 141141 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 614688
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28246
/proc/meminfo: memFree=28338684/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=782264 CPUtime=1436.9 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 80400 0 0 0 143587 103 0 0 20 0 1 0 383875717 801038336 139518 33554432000 4194304 5654031 140735144097040 140735144095128 4232763 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 195566 139518 142 357 0 195206 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 830948
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28246
/proc/meminfo: memFree=28328916/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=784028 CPUtime=1496.89 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 82558 0 0 0 149576 113 0 0 20 0 1 0 383875717 802844672 142173 33554432000 4194304 5654031 140735144097040 140735144095128 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 196007 142173 142 357 0 195647 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 832712
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/182 28249
/proc/meminfo: memFree=28345976/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=570160 CPUtime=1556.88 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 83531 0 0 0 155564 124 0 0 20 0 1 0 383875717 583843840 138873 33554432000 4194304 5654031 140735144097040 140735144094824 4215357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 142540 138873 142 357 0 142180 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 618844
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 28250
/proc/meminfo: memFree=28216892/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=793120 CPUtime=1616.86 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 86373 0 0 0 161559 127 0 0 20 0 1 0 383875717 812154880 169559 33554432000 4194304 5654031 140735144097040 140735144084856 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 198280 169559 142 357 0 197920 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 841804
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28250
/proc/meminfo: memFree=28524476/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=447176 CPUtime=1676.85 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 87102 0 0 0 167553 132 0 0 20 0 1 0 383875717 457908224 92981 33554432000 4194304 5654031 140735144097040 140735144084856 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 111794 92981 142 357 0 111434 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 495860
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28250
/proc/meminfo: memFree=28490176/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=449224 CPUtime=1736.85 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 87337 0 0 0 173552 133 0 0 20 0 1 0 383875717 460005376 103436 33554432000 4194304 5654031 140735144097040 140735144084856 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 112306 103436 142 357 0 111946 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 497908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28250
/proc/meminfo: memFree=28471560/32873648 swapFree=7376/7376
[pid=28152] ppid=28150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28152/stat : 28152 (npSolver-pbo-I.) S 28150 28152 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383871206 9367552 275 33554432000 4194304 5064252 140737427410672 140737427409584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28152/statm: 2287 275 233 213 0 72 0
[pid=28153] ppid=28152 vsize=39536 CPUtime=45.1 cores=0,2,4,6
/proc/28153/stat : 28153 (npSolver-pbo) S 28152 28152 27509 0 -1 4202496 33633 214063 0 0 531 139 3759 81 20 0 1 0 383871206 40484864 8622 33554432000 4194304 6004724 140733797580672 140733797565592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28153/statm: 9884 8622 185 442 0 9438 0
[pid=28167] ppid=28153 vsize=449224 CPUtime=1754.95 cores=0,2,4,6
/proc/28167/stat : 28167 (glucosInc) R 28153 28152 27509 0 -1 4202496 87455 0 0 0 175362 133 0 0 20 0 1 0 383875717 460005376 106620 33554432000 4194304 5654031 140735144097040 140735144084856 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28167/statm: 112306 106620 142 357 0 111946 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 497908
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28152 and gives
# childrusage.ru_utime.tv_sec=42
# childrusage.ru_utime.tv_usec=906477
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=207664
# CPU time returned by wait4() is 45.1141
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1796.52
CPU system time (s): 3.53
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 1044948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.9065
system time used= 2.20766
maximum resident set size= 379612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248070
page faults= 0
swaps= 0
block input operations= 0
block output operations= 799880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4479
involuntary context switches= 2742
runsolver used 2.80957 second user time and 7.02193 second system time
The end