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-3751636-1339172165/watcher-3751636-1339172165 -o /tmp/evaluation-result-3751636-1339172165/solver-3751636-1339172165 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751636-1339172165.opb 515479020 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/179 31906
/proc/meminfo: memFree=24969404/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[startup+0.0314229 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31906
/proc/meminfo: memFree=24969404/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100287 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31906
/proc/meminfo: memFree=24969404/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300328 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31906
/proc/meminfo: memFree=24969404/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700326 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31906
/proc/meminfo: memFree=24969404/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31908
/proc/meminfo: memFree=24828124/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=240076 CPUtime=1.49 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) R 31906 31906 31464 0 -1 4202496 22014 0 0 0 142 7 0 0 20 0 1 0 383345010 245837824 43529 33554432000 4194304 6004724 140735038451136 140735038445368 4534766 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 60019 43529 153 442 0 59573 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 249224
[startup+3.10045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31910
/proc/meminfo: memFree=24745448/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=1.99 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22330 0 0 0 174 25 0 0 20 0 1 0 383345010 171769856 30491 33554432000 4194304 6004724 140735038451136 140735038445600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30491 162 442 0 41490 0
[pid=31909] ppid=31907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31909/stat : 31909 (cp2_pre.sh) S 31907 31906 31464 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383345209 9367552 277 33554432000 4194304 5064252 140736594999088 140736594997792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 2287 277 234 213 0 72 0
[pid=31910] ppid=31909 vsize=133108 CPUtime=1.09 cores=1,3,5,7
/proc/31910/stat : 31910 (coprocessor) R 31909 31906 31464 0 -1 4202496 10441 0 0 0 104 5 0 0 20 0 1 0 383345209 136302592 31737 33554432000 4194304 6586260 140734762912688 140734762909448 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/31910/statm: 33277 31737 138 584 0 32689 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 319148
[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31910
/proc/meminfo: memFree=24399364/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=1.99 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22330 0 0 0 174 25 0 0 20 0 1 0 383345010 171769856 30491 33554432000 4194304 6004724 140735038451136 140735038445600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30491 162 442 0 41490 0
[pid=31909] ppid=31907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31909/stat : 31909 (cp2_pre.sh) S 31907 31906 31464 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383345209 9367552 277 33554432000 4194304 5064252 140736594999088 140736594997792 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 2287 277 234 213 0 72 0
[pid=31910] ppid=31909 vsize=405480 CPUtime=4.29 cores=1,3,5,7
/proc/31910/stat : 31910 (coprocessor) R 31909 31906 31464 0 -1 4202496 49182 0 0 0 415 14 0 0 20 0 1 0 383345209 415211520 99094 33554432000 4194304 6586260 140734762912688 140734762908504 4753802 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/31910/statm: 101370 99094 182 584 0 100782 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 591520
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 31912
/proc/meminfo: memFree=24659680/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=172396 CPUtime=3.16 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 31147 0 0 0 308 8 0 0 20 0 1 0 383345962 176533504 38189 33554432000 4194304 5654031 140735192903664 140735192901272 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31912/statm: 43099 38189 131 357 0 42739 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 349288
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 31912
/proc/meminfo: memFree=24661424/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=172396 CPUtime=15.96 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 31147 0 0 0 1588 8 0 0 20 0 1 0 383345962 176533504 38189 33554432000 4194304 5654031 140735192903664 140735192901272 4215026 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31912/statm: 43099 38189 131 357 0 42739 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 349288
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 31956
/proc/meminfo: memFree=30470440/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=172396 CPUtime=41.55 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 31149 0 0 0 4147 8 0 0 20 0 1 0 383345962 176533504 38191 33554432000 4194304 5654031 140735192903664 140735192901272 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31912/statm: 43099 38191 131 357 0 42739 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 349288
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31956
/proc/meminfo: memFree=30470904/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=172396 CPUtime=92.75 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 31159 0 0 0 9267 8 0 0 20 0 1 0 383345962 176533504 38201 33554432000 4194304 5654031 140735192903664 140735192901272 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31912/statm: 43099 38201 131 357 0 42739 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 349288
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 32001
/proc/meminfo: memFree=30471200/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=173500 CPUtime=152.74 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 31421 0 0 0 15265 9 0 0 20 0 1 0 383345962 177664000 38467 33554432000 4194304 5654031 140735192903664 140735192901272 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 43375 38467 140 357 0 43015 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 350392
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32001
/proc/meminfo: memFree=30461420/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=177548 CPUtime=212.73 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 31879 0 0 0 21264 9 0 0 20 0 1 0 383345962 181809152 39352 33554432000 4194304 5654031 140735192903664 140735192891480 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 44387 39352 140 357 0 44027 0
Current children cumulated CPU time (s) 222.23
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 32012
/proc/meminfo: memFree=30429892/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=202888 CPUtime=1292.56 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 36399 0 0 0 129243 13 0 0 20 0 1 0 383345962 207757312 42486 33554432000 4194304 5654031 140735192903664 140735192901688 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 50722 42486 142 357 0 50362 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 379780
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32012
/proc/meminfo: memFree=30425112/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=203244 CPUtime=1352.55 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 36470 0 0 0 135242 13 0 0 20 0 1 0 383345962 208121856 43070 33554432000 4194304 5654031 140735192903664 140735192901352 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 50811 43070 142 357 0 50451 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 380136
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32012
/proc/meminfo: memFree=30421264/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=203244 CPUtime=1412.54 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 36487 0 0 0 141241 13 0 0 20 0 1 0 383345962 208121856 43598 33554432000 4194304 5654031 140735192903664 140735192891480 4214957 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 50811 43598 142 357 0 50451 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 380136
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 32016
/proc/meminfo: memFree=30414680/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=203244 CPUtime=1472.53 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 36504 0 0 0 147240 13 0 0 20 0 1 0 383345962 208121856 44126 33554432000 4194304 5654031 140735192903664 140735192891480 4215344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 50811 44126 142 357 0 50451 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 380136
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32016
/proc/meminfo: memFree=30408544/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=203508 CPUtime=1532.52 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 36581 0 0 0 153239 13 0 0 20 0 1 0 383345962 208392192 45225 33554432000 4194304 5654031 140735192903664 140735192891480 4215017 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 50877 45225 142 357 0 50517 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 380400
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 32017
/proc/meminfo: memFree=30399780/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=203708 CPUtime=1592.51 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 36639 0 0 0 159238 13 0 0 20 0 1 0 383345962 208596992 46305 33554432000 4194304 5654031 140735192903664 140735192891480 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 50927 46305 142 357 0 50567 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 380600
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32017
/proc/meminfo: memFree=30396252/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=204040 CPUtime=1652.5 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 36964 0 0 0 165237 13 0 0 20 0 1 0 383345962 208936960 46629 33554432000 4194304 5654031 140735192903664 140735192901352 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 51010 46629 142 357 0 50650 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 380932
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32017
/proc/meminfo: memFree=30388744/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=234860 CPUtime=1712.49 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 37261 0 0 0 171235 14 0 0 20 0 1 0 383345962 240496640 47437 33554432000 4194304 5654031 140735192903664 140735192891480 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 58715 47437 142 357 0 58355 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 411752
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32018
/proc/meminfo: memFree=30386424/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=234860 CPUtime=1772.48 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 37288 0 0 0 177234 14 0 0 20 0 1 0 383345962 240496640 47462 33554432000 4194304 5654031 140735192903664 140735192891480 4215017 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 58715 47462 142 357 0 58355 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 411752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 32018
/proc/meminfo: memFree=30382180/32873844 swapFree=8656/8656
[pid=31906] ppid=31904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31906/stat : 31906 (npSolver-pbo-It) S 31904 31906 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383345009 9367552 275 33554432000 4194304 5064252 140735067213520 140735067212432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31906/statm: 2287 275 233 213 0 72 0
[pid=31907] ppid=31906 vsize=167744 CPUtime=9.5 cores=1,3,5,7
/proc/31907/stat : 31907 (npSolver-pbo) S 31906 31906 31464 0 -1 4202496 22348 56959 0 0 174 25 717 34 20 0 1 0 383345010 171769856 30495 33554432000 4194304 6004724 140735038451136 140735038437416 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31907/statm: 41936 30495 166 442 0 41490 0
[pid=31912] ppid=31907 vsize=235124 CPUtime=1790.58 cores=1,3,5,7
/proc/31912/stat : 31912 (glucosInc) R 31907 31906 31464 0 -1 4202496 37350 0 0 0 179044 14 0 0 20 0 1 0 383345962 240766976 48032 33554432000 4194304 5654031 140735192903664 140735192901352 4215097 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 58781 48032 142 357 0 58421 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 412016
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 31906 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=921643
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=604908
# CPU time returned by wait4() is 9.52655
# while last known CPU time is 1800.08
#
# 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.08
CPU user time (s): 1799.35
CPU system time (s): 0.73
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 635908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.92164
system time used= 0.604908
maximum resident set size= 454524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79684
page faults= 0
swaps= 0
block input operations= 0
block output operations= 235176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 16
runsolver used 3.10853 second user time and 8.47971 second system time
The end