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-3700151-1338077117/watcher-3700151-1338077117 -o /tmp/evaluation-result-3700151-1338077117/solver-3700151-1338077117 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700151-1338077117.opb 634042576 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22053
/proc/meminfo: memFree=28592196/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[startup+0.0646329 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22053
/proc/meminfo: memFree=28592196/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22053
/proc/meminfo: memFree=28592196/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300265 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22053
/proc/meminfo: memFree=28592196/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700278 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22053
/proc/meminfo: memFree=28592196/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 22057
/proc/meminfo: memFree=28474588/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=28616 CPUtime=0.23 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 5539 0 0 0 21 2 0 0 20 0 1 0 273837112 29302784 4987 33554432000 4194304 5992684 140736129562976 140736129557424 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 7154 4987 164 440 0 6710 0
[pid=22056] ppid=22054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22056/stat : 22056 (cp2_pre.sh) S 22054 22053 18146 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273837137 9367552 277 33554432000 4194304 5064252 140733701138224 140733701136928 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22056/statm: 2287 277 234 213 0 72 0
[pid=22057] ppid=22056 vsize=110196 CPUtime=1.23 cores=1,3,5,7
/proc/22057/stat : 22057 (coprocessor) R 22056 22053 18146 0 -1 4202496 22480 0 0 0 113 10 0 0 20 0 1 0 273837137 112840704 26517 33554432000 4194304 6586260 140734907997344 140734907993608 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/22057/statm: 27549 26517 199 584 0 26961 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 157108
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 22059
/proc/meminfo: memFree=28525440/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=32460 CPUtime=2.44 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 7723 32980 0 0 36 44 147 17 20 0 1 0 273837112 33239040 5923 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8115 5923 180 440 0 7671 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 41608
heavy processes:
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 22064
/proc/meminfo: memFree=28513048/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=46112 CPUtime=2.79 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 9758 0 0 0 278 1 0 0 20 0 1 0 273837461 47218688 10378 33554432000 4194304 5654031 140734601696480 140734601694360 4232651 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22064/statm: 11528 10378 131 357 0 11168 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 91016
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 22064
/proc/meminfo: memFree=28479692/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=46508 CPUtime=9.19 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 9851 0 0 0 918 1 0 0 20 0 1 0 273837461 47624192 10471 33554432000 4194304 5654031 140734601696480 140734601694264 4216337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22064/statm: 11627 10471 131 357 0 11267 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 91412
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 22064
/proc/meminfo: memFree=28511220/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=51456 CPUtime=21.99 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 10331 0 0 0 2197 2 0 0 20 0 1 0 273837461 52690944 10946 33554432000 4194304 5654031 140734601696480 140734601694264 4232659 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22064/statm: 12864 10946 131 357 0 12504 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 96360
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 22064
/proc/meminfo: memFree=28508488/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=52512 CPUtime=47.58 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 11320 0 0 0 4755 3 0 0 20 0 1 0 273837461 53772288 11692 33554432000 4194304 5654031 140734601696480 140734601694264 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22064/statm: 13128 11692 141 357 0 12768 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 97416
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 22064
/proc/meminfo: memFree=28492344/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=66848 CPUtime=98.77 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 12852 0 0 0 9874 3 0 0 20 0 1 0 273837461 68452352 15611 33554432000 4194304 5654031 140734601696480 140734601694280 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 16712 15611 141 357 0 16352 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 111752
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22114
/proc/meminfo: memFree=28582640/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=78452 CPUtime=158.75 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 14367 0 0 0 15871 4 0 0 20 0 1 0 273837461 80334848 18692 33554432000 4194304 5654031 140734601696480 140734601684296 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 19613 18692 141 357 0 19253 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 123356
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22114
/proc/meminfo: memFree=28568852/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=78452 CPUtime=218.74 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 14367 0 0 0 21870 4 0 0 20 0 1 0 273837461 80334848 18692 33554432000 4194304 5654031 140734601696480 140734601684296 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 19613 18692 141 357 0 19253 0
Current children cumulated CPU time (s) 222.04
Current children cumulated vsize (KiB) 123356
################
# More data... #
################
/proc/meminfo: memFree=28487436/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=102800 CPUtime=1238.58 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 16665 0 0 0 123852 6 0 0 20 0 1 0 273837461 105267200 24779 33554432000 4194304 5654031 140734601696480 140734601684296 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 25700 24779 141 357 0 25340 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 147704
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22123
/proc/meminfo: memFree=28438844/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=102800 CPUtime=1298.58 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 17171 0 0 0 129851 7 0 0 20 0 1 0 273837461 105267200 24779 33554432000 4194304 5654031 140734601696480 140734601684296 4232563 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 25700 24779 141 357 0 25340 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 147704
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22124
/proc/meminfo: memFree=28423284/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=122364 CPUtime=1358.57 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 17410 0 0 0 135849 8 0 0 20 0 1 0 273837461 125300736 29106 33554432000 4194304 5654031 140734601696480 140734601684296 4233166 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 30591 29106 141 357 0 30231 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 167268
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22124
/proc/meminfo: memFree=28455136/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=122364 CPUtime=1418.57 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 17411 0 0 0 141849 8 0 0 20 0 1 0 273837461 125300736 29618 33554432000 4194304 5654031 140734601696480 140734601684296 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 30591 29618 141 357 0 30231 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 167268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22124
/proc/meminfo: memFree=28414672/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=122364 CPUtime=1478.55 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 17970 0 0 0 147846 9 0 0 20 0 1 0 273837461 125300736 29670 33554432000 4194304 5654031 140734601696480 140734601684296 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 30591 29670 141 357 0 30231 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 167268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22127
/proc/meminfo: memFree=28400032/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=122364 CPUtime=1538.54 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 17971 0 0 0 153845 9 0 0 20 0 1 0 273837461 125300736 29670 33554432000 4194304 5654031 140734601696480 140734601684296 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 30591 29670 141 357 0 30231 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 167268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22127
/proc/meminfo: memFree=28404276/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=122364 CPUtime=1598.53 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 18477 0 0 0 159843 10 0 0 20 0 1 0 273837461 125300736 29670 33554432000 4194304 5654031 140734601696480 140734601694504 4232880 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 30591 29670 141 357 0 30231 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 167268
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22128
/proc/meminfo: memFree=28389524/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=122364 CPUtime=1658.52 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 18477 0 0 0 165842 10 0 0 20 0 1 0 273837461 125300736 29670 33554432000 4194304 5654031 140734601696480 140734601684296 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 30591 29670 141 357 0 30231 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 167268
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22128
/proc/meminfo: memFree=28398288/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=122364 CPUtime=1718.51 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 18984 0 0 0 171841 10 0 0 20 0 1 0 273837461 125300736 29670 33554432000 4194304 5654031 140734601696480 140734601684296 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 30591 29670 141 357 0 30231 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 167268
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 22129
/proc/meminfo: memFree=28414308/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=122364 CPUtime=1778.5 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 18984 0 0 0 177840 10 0 0 20 0 1 0 273837461 125300736 29670 33554432000 4194304 5654031 140734601696480 140734601684296 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 30591 29670 141 357 0 30231 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 167268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22129
/proc/meminfo: memFree=28406248/32873852 swapFree=6848/6848
[pid=22053] ppid=22051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22053/stat : 22053 (npSolver-pbo-I.) S 22051 22053 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273837112 9367552 275 33554432000 4194304 5064252 140734694381200 140734694380112 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22053/statm: 2287 275 233 213 0 72 0
[pid=22054] ppid=22053 vsize=35756 CPUtime=3.3 cores=1,3,5,7
/proc/22054/stat : 22054 (npSolver-pbo) S 22053 22053 18146 0 -1 4202496 10213 43985 0 0 42 45 222 21 20 0 1 0 273837112 36614144 6789 33554432000 4194304 5992684 140736129562976 140736129547880 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22054/statm: 8939 6789 181 440 0 8495 0
[pid=22064] ppid=22054 vsize=122364 CPUtime=1796.81 cores=1,3,5,7
/proc/22064/stat : 22064 (glucosInc) R 22054 22053 18146 0 -1 4202496 18984 0 0 0 179671 10 0 0 20 0 1 0 273837461 125300736 29670 33554432000 4194304 5654031 140734601696480 140734601684296 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22064/statm: 30591 29670 141 357 0 30231 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 167268
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.62
CPU time (s): 1800.14
CPU user time (s): 1799.36
CPU system time (s): 0.778881
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 216588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.778881
maximum resident set size= 153412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 65552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 627
involuntary context switches= 1954
runsolver used 2.84257 second user time and 6.99794 second system time
The end