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-3748508-1339179207/watcher-3748508-1339179207 -o /tmp/evaluation-result-3748508-1339179207/solver-3748508-1339179207 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748508-1339179207.opb 77989589 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.07 2.04 2.00 3/178 25294
/proc/meminfo: memFree=29440072/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[startup+0.0618899 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 25294
/proc/meminfo: memFree=29440072/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100328 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 25294
/proc/meminfo: memFree=29440072/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300278 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 25294
/proc/meminfo: memFree=29440072/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700304 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 25294
/proc/meminfo: memFree=29440072/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 25303
/proc/meminfo: memFree=29389844/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22528 CPUtime=0.55 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 6269 6816 0 0 15 7 31 2 20 0 1 0 384045550 23068672 5068 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25295/statm: 5632 5068 184 442 0 5186 0
[pid=25303] ppid=25295 vsize=26236 CPUtime=0.91 cores=1,3,5,7
/proc/25303/stat : 25303 (glucosInc) R 25295 25294 24017 0 -1 4202496 5707 0 0 0 90 1 0 0 20 0 1 0 384045607 26865664 5483 33554432000 4194304 5654031 140734517722288 140734517720376 4232803 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25303/statm: 6559 5483 132 357 0 6199 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 57912
[startup+3.10038 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 25303
/proc/meminfo: memFree=29384136/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22528 CPUtime=0.55 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 6269 6816 0 0 15 7 31 2 20 0 1 0 384045550 23068672 5068 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25295/statm: 5632 5068 184 442 0 5186 0
[pid=25303] ppid=25295 vsize=26368 CPUtime=2.51 cores=1,3,5,7
/proc/25303/stat : 25303 (glucosInc) R 25295 25294 24017 0 -1 4202496 6073 0 0 0 250 1 0 0 20 0 1 0 384045607 27000832 5846 33554432000 4194304 5654031 140734517722288 140734517720072 4234964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25303/statm: 6592 5846 132 357 0 6232 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 58044
[startup+6.30032 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 25350
/proc/meminfo: memFree=30740048/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22528 CPUtime=0.55 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 6269 6816 0 0 15 7 31 2 20 0 1 0 384045550 23068672 5068 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25295/statm: 5632 5068 184 442 0 5186 0
[pid=25303] ppid=25295 vsize=26688 CPUtime=5.72 cores=1,3,5,7
/proc/25303/stat : 25303 (glucosInc) R 25295 25294 24017 0 -1 4202496 6938 0 0 0 569 3 0 0 20 0 1 0 384045607 27328512 6202 33554432000 4194304 5654031 140734517722288 140734517720312 4216337 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25303/statm: 6672 6202 132 357 0 6312 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 58364
[startup+12.7004 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 25362
/proc/meminfo: memFree=30745820/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=11.26 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 15374 25952 0 0 41 9 1066 10 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25362] ppid=25295 vsize=21828 CPUtime=1.39 cores=1,3,5,7
/proc/25362/stat : 25362 (glucosInc) R 25295 25294 24017 0 -1 4202496 4880 0 0 0 139 0 0 0 20 0 1 0 384046680 22351872 4573 33554432000 4194304 5654031 140734546508512 140734546496328 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25362/statm: 5457 4573 140 357 0 5097 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 53760
[startup+25.5004 s]
/proc/loadavg: 2.04 2.04 2.00 3/181 25362
/proc/meminfo: memFree=30728728/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=11.26 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 15374 25952 0 0 41 9 1066 10 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25362] ppid=25295 vsize=33600 CPUtime=14.19 cores=1,3,5,7
/proc/25362/stat : 25362 (glucosInc) R 25295 25294 24017 0 -1 4202496 6620 0 0 0 1418 1 0 0 20 0 1 0 384046680 34406400 7548 33554432000 4194304 5654031 140734546508512 140734546496328 4232927 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25362/statm: 8400 7548 141 357 0 8040 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 65532
[startup+51.1004 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 25362
/proc/meminfo: memFree=30721080/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=11.26 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 15374 25952 0 0 41 9 1066 10 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25362] ppid=25295 vsize=40740 CPUtime=39.78 cores=1,3,5,7
/proc/25362/stat : 25362 (glucosInc) R 25295 25294 24017 0 -1 4202496 7449 0 0 0 3976 2 0 0 20 0 1 0 384046680 41717760 9397 33554432000 4194304 5654031 140734546508512 140734546506312 4232994 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25362/statm: 10185 9397 141 357 0 9825 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 72672
[startup+102.307 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 25366
/proc/meminfo: memFree=30730016/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=93.02 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 19556 39176 0 0 54 11 9222 15 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25366] ppid=25295 vsize=24512 CPUtime=9.2 cores=1,3,5,7
/proc/25366/stat : 25366 (glucosInc) R 25295 25294 24017 0 -1 4202496 4908 0 0 0 919 1 0 0 20 0 1 0 384054859 25100288 5161 33554432000 4194304 5654031 140735981870464 140735981868344 4232763 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25366/statm: 6128 5161 140 357 0 5768 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 56444
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 25372
/proc/meminfo: memFree=30742548/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=93.02 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 19556 39176 0 0 54 11 9222 15 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25366] ppid=25295 vsize=31584 CPUtime=69.19 cores=1,3,5,7
/proc/25366/stat : 25366 (glucosInc) R 25295 25294 24017 0 -1 4202496 5717 0 0 0 6917 2 0 0 20 0 1 0 384054859 32342016 7115 33554432000 4194304 5654031 140735981870464 140735981858280 4216684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25366/statm: 7896 7115 141 357 0 7536 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 63516
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 25375
/proc/meminfo: memFree=30737580/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=216.47 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 21620 45703 0 0 60 12 21556 19 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25375] ppid=25295 vsize=29148 CPUtime=5.72 cores=1,3,5,7
/proc/25375/stat : 25375 (glucosInc) R 25295 25294 24017 0 -1 4202496 5182 0 0 0 571 1 0 0 20 0 1 0 384067206 29847552 5915 33554432000 4194304 5654031 140736590666832 140736590654648 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25375/statm: 7287 5915 141 357 0 6927 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 61080
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30696660/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=1094.17 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 28108 75367 0 0 81 14 109290 32 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25391] ppid=25295 vsize=59976 CPUtime=207.81 cores=1,3,5,7
/proc/25391/stat : 25391 (glucosInc) R 25295 25294 24017 0 -1 4202496 9579 0 0 0 20777 4 0 0 20 0 1 0 384154996 61415424 12873 33554432000 4194304 5654031 140734325632752 140734325620568 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25391/statm: 14994 12873 141 357 0 14634 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 91908
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 25392
/proc/meminfo: memFree=30676244/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=1094.17 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 28108 75367 0 0 81 14 109290 32 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25391] ppid=25295 vsize=71468 CPUtime=267.79 cores=1,3,5,7
/proc/25391/stat : 25391 (glucosInc) R 25295 25294 24017 0 -1 4202496 10058 0 0 0 26775 4 0 0 20 0 1 0 384154996 73183232 16918 33554432000 4194304 5654031 140734325632752 140734325620568 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25391/statm: 17867 16918 141 357 0 17507 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 103400
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 25392
/proc/meminfo: memFree=30672964/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=1094.17 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 28108 75367 0 0 81 14 109290 32 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25391] ppid=25295 vsize=90324 CPUtime=327.79 cores=1,3,5,7
/proc/25391/stat : 25391 (glucosInc) R 25295 25294 24017 0 -1 4202496 10716 0 0 0 32774 5 0 0 20 0 1 0 384154996 92491776 17092 33554432000 4194304 5654031 140734325632752 140734325620568 4232912 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25391/statm: 22581 17092 141 357 0 22221 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 122256
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25395
/proc/meminfo: memFree=30709384/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=1438.71 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 30172 87034 0 0 88 15 143730 38 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25395] ppid=25295 vsize=33744 CPUtime=43.23 cores=1,3,5,7
/proc/25395/stat : 25395 (glucosInc) R 25295 25294 24017 0 -1 4202496 6622 0 0 0 4322 1 0 0 20 0 1 0 384189454 34553856 7566 33554432000 4194304 5654031 140735066619888 140735066607704 4214653 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25395/statm: 8436 7566 141 357 0 8076 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 65676
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25399
/proc/meminfo: memFree=30721228/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=1438.71 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 30172 87034 0 0 88 15 143730 38 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25395] ppid=25295 vsize=40884 CPUtime=103.22 cores=1,3,5,7
/proc/25395/stat : 25395 (glucosInc) R 25295 25294 24017 0 -1 4202496 8059 0 0 0 10320 2 0 0 20 0 1 0 384189454 41865216 9444 33554432000 4194304 5654031 140735066619888 140735066607704 4232803 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25395/statm: 10221 9444 141 357 0 9861 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 72816
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25406
/proc/meminfo: memFree=30730408/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=1438.71 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 30172 87034 0 0 88 15 143730 38 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25395] ppid=25295 vsize=45656 CPUtime=163.2 cores=1,3,5,7
/proc/25395/stat : 25395 (glucosInc) R 25295 25294 24017 0 -1 4202496 8743 0 0 0 16318 2 0 0 20 0 1 0 384189454 46751744 10067 33554432000 4194304 5654031 140735066619888 140735066617768 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25395/statm: 11414 10067 141 357 0 11054 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 77588
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25408
/proc/meminfo: memFree=30724140/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=1616.14 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 32236 96817 0 0 94 16 161462 42 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25408] ppid=25295 vsize=37996 CPUtime=45.75 cores=1,3,5,7
/proc/25408/stat : 25408 (glucosInc) R 25295 25294 24017 0 -1 4202496 7286 0 0 0 4573 2 0 0 20 0 1 0 384207203 38907904 8722 33554432000 4194304 5654031 140734095991328 140734095979144 4216392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25408/statm: 9499 8722 141 357 0 9139 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 69928
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 25408
/proc/meminfo: memFree=30716952/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=1616.14 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 32236 96817 0 0 94 16 161462 42 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25408] ppid=25295 vsize=40716 CPUtime=105.73 cores=1,3,5,7
/proc/25408/stat : 25408 (glucosInc) R 25295 25294 24017 0 -1 4202496 8506 0 0 0 10570 3 0 0 20 0 1 0 384207203 41693184 9427 33554432000 4194304 5654031 140734095991328 140734095989208 4215248 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25408/statm: 10179 9427 141 357 0 9819 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 72648
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 25410
/proc/meminfo: memFree=30714152/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=1616.14 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 32236 96817 0 0 94 16 161462 42 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25408] ppid=25295 vsize=40716 CPUtime=165.71 cores=1,3,5,7
/proc/25408/stat : 25408 (glucosInc) R 25295 25294 24017 0 -1 4202496 8506 0 0 0 16568 3 0 0 20 0 1 0 384207203 41693184 9427 33554432000 4194304 5654031 140734095991328 140734095989208 4232960 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25408/statm: 10179 9427 141 357 0 9819 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 72648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 25410
/proc/meminfo: memFree=30713532/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=1616.14 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 32236 96817 0 0 94 16 161462 42 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25408] ppid=25295 vsize=40716 CPUtime=183.92 cores=1,3,5,7
/proc/25408/stat : 25408 (glucosInc) R 25295 25294 24017 0 -1 4202496 8506 0 0 0 18389 3 0 0 20 0 1 0 384207203 41693184 9427 33554432000 4194304 5654031 140734095991328 140734095979144 4232794 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25408/statm: 10179 9427 141 357 0 9819 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 72648
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 25410
/proc/meminfo: memFree=30713532/32873844 swapFree=7632/7632
[pid=25294] ppid=25292 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25294/stat : 25294 (npSolver-pbo-I.) S 25292 25294 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384045550 9367552 275 33554432000 4194304 5064252 140735570168464 140735570167376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25294/statm: 2287 275 233 213 0 72 0
[pid=25295] ppid=25294 vsize=22784 CPUtime=1616.14 cores=1,3,5,7
/proc/25295/stat : 25295 (npSolver-pbo) S 25294 25294 24017 0 -1 4202496 32236 96817 0 0 94 16 161462 42 20 0 1 0 384045550 23330816 5070 33554432000 4194304 6004724 140737004824288 140737004809208 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25295/statm: 5696 5070 185 442 0 5250 0
[pid=25408] ppid=25295 vsize=40716 CPUtime=183.92 cores=1,3,5,7
/proc/25408/stat : 25408 (glucosInc) R 25295 25294 24017 0 -1 4202496 8506 0 0 0 18389 3 0 0 20 0 1 0 384207203 41693184 9427 33554432000 4194304 5654031 140734095991328 140734095979144 4232794 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25408/statm: 10179 9427 141 357 0 9819 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 72648
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.46
CPU system time (s): 0.623905
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 133752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.623905
maximum resident set size= 88684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137935
page faults= 0
swaps= 0
block input operations= 0
block output operations= 119432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 684
involuntary context switches= 2507
runsolver used 3.02154 second user time and 8.44572 second system time
The end