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-3714206-1338175080/watcher-3714206-1338175080 -o /tmp/evaluation-result-3714206-1338175080/solver-3714206-1338175080 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714206-1338175080.wbo 1440222661 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: 1.12 1.65 1.87 3/175 24927
/proc/meminfo: memFree=30983112/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[startup+0.040894 s]
/proc/loadavg: 1.12 1.65 1.87 3/175 24927
/proc/meminfo: memFree=30983112/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10036 s]
/proc/loadavg: 1.12 1.65 1.87 3/175 24927
/proc/meminfo: memFree=30983112/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300323 s]
/proc/loadavg: 1.12 1.65 1.87 3/175 24927
/proc/meminfo: memFree=30983112/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700341 s]
/proc/loadavg: 1.12 1.65 1.87 3/175 24927
/proc/meminfo: memFree=30983112/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/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: 1.12 1.65 1.87 4/183 24938
/proc/meminfo: memFree=30875920/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=14744 CPUtime=0.36 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 3603 0 0 0 35 1 0 0 20 0 1 0 283632537 15097856 2411 33554432000 4194304 5990268 140735886036688 140735886029840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24928/statm: 3686 2411 156 439 0 3243 0
[pid=24934] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24934/stat : 24934 (cp2_pre.sh) S 24928 24927 21914 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 283632575 9367552 276 33554432000 4194304 5064252 140736489586176 140736489584880 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24934/statm: 2287 276 234 213 0 72 0
[pid=24935] ppid=24934 vsize=88188 CPUtime=1.1 cores=1,3,5,7
/proc/24935/stat : 24935 (coprocessor) R 24934 24927 21914 0 -1 4202496 16148 0 0 0 108 2 0 0 20 0 1 0 283632575 90304512 21251 33554432000 4194304 6586260 140737337412112 140737337407480 5599216 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/24935/statm: 22047 21251 191 584 0 21459 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 121228
[startup+3.1004 s]
/proc/loadavg: 1.19 1.66 1.87 4/183 24938
/proc/meminfo: memFree=30871740/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=14744 CPUtime=2.88 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 3611 19745 0 0 35 1 220 32 20 0 1 0 283632537 15097856 2412 33554432000 4194304 5990268 140735886036688 140735886030928 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24928/statm: 3686 2412 157 439 0 3243 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 23892
[startup+6.3004 s]
/proc/loadavg: 1.19 1.66 1.87 3/183 24958
/proc/meminfo: memFree=30913616/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=32856 CPUtime=5.3 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 10459 59081 0 0 54 17 411 48 20 0 1 0 283632537 33644544 6581 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 8214 6581 170 439 0 7771 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 42004
[startup+12.7004 s]
/proc/loadavg: 1.32 1.67 1.87 4/183 24969
/proc/meminfo: memFree=30871492/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=9.12 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 13662 84443 0 0 59 18 768 67 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=24968] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24968/stat : 24968 (satsolver.sh) S 24928 24927 21914 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283633497 9367552 267 33554432000 4194304 5064252 140734919610384 140734919609296 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24968/statm: 2287 267 226 213 0 72 0
[pid=24969] ppid=24968 vsize=56600 CPUtime=3.1 cores=1,3,5,7
/proc/24969/stat : 24969 (glucose) R 24968 24927 21914 0 -1 4202496 11970 0 0 0 307 3 0 0 20 0 1 0 283633497 57958400 12325 33554432000 4194304 5208918 140733506316848 140733506314696 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24969/statm: 14150 12325 104 248 0 13899 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 102844
[startup+25.5004 s]
/proc/loadavg: 1.42 1.68 1.87 4/183 24990
/proc/meminfo: memFree=30880228/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=24.88 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 18976 151491 0 0 65 19 2305 99 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 37096
[startup+51.1004 s]
/proc/loadavg: 1.62 1.70 1.87 4/183 25004
/proc/meminfo: memFree=30862472/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=26.41 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 19940 165172 0 0 65 20 2453 103 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=25003] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (satsolver.sh) S 24928 24927 21914 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283635227 9367552 266 33554432000 4194304 5064252 140737068346448 140737068345360 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25003/statm: 2287 266 226 213 0 72 0
[pid=25004] ppid=25003 vsize=51316 CPUtime=24.18 cores=1,3,5,7
/proc/25004/stat : 25004 (glucose) R 25003 24927 21914 0 -1 4202496 11339 0 0 0 2417 1 0 0 20 0 1 0 283635227 52547584 11029 33554432000 4194304 5208918 140733339798768 140733339796632 4229876 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25004/statm: 12829 11029 104 248 0 12578 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 97560
[startup+102.307 s]
/proc/loadavg: 1.97 1.78 1.89 4/183 25004
/proc/meminfo: memFree=30827276/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=26.41 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 19940 165172 0 0 65 20 2453 103 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=25003] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (satsolver.sh) S 24928 24927 21914 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283635227 9367552 266 33554432000 4194304 5064252 140737068346448 140737068345360 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25003/statm: 2287 266 226 213 0 72 0
[pid=25004] ppid=25003 vsize=82236 CPUtime=75.38 cores=1,3,5,7
/proc/25004/stat : 25004 (glucose) R 25003 24927 21914 0 -1 4202496 14225 0 0 0 7535 3 0 0 20 0 1 0 283635227 84209664 18628 33554432000 4194304 5208918 140733339798768 140733339794552 4229010 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25004/statm: 20559 18628 104 248 0 20308 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 128480
[startup+162.3 s]
/proc/loadavg: 1.99 1.82 1.90 4/184 25049
/proc/meminfo: memFree=30841428/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=26.41 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 19940 165172 0 0 65 20 2453 103 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=25003] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (satsolver.sh) S 24928 24927 21914 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283635227 9367552 266 33554432000 4194304 5064252 140737068346448 140737068345360 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25003/statm: 2287 266 226 213 0 72 0
[pid=25004] ppid=25003 vsize=92596 CPUtime=135.36 cores=1,3,5,7
/proc/25004/stat : 25004 (glucose) R 25003 24927 21914 0 -1 4202496 15421 0 0 0 13533 3 0 0 20 0 1 0 283635227 94818304 20835 33554432000 4194304 5208918 140733339798768 140733339796856 4211648 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25004/statm: 23149 20835 104 248 0 22898 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 138840
[startup+222.3 s]
/proc/loadavg: 1.99 1.85 1.90 4/183 25050
/proc/meminfo: memFree=30783396/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=26.41 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 19940 165172 0 0 65 20 2453 103 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=25003] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25004/stat : 25004 (glucose) R 25003 24927 21914 0 -1 4202496 28098 0 0 0 133474 42 0 0 20 0 1 0 283635227 224763904 51050 33554432000 4194304 5208918 140733339798768 140733339795144 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25004/statm: 54874 51050 104 248 0 54623 0
Current children cumulated CPU time (s) 1361.57
Current children cumulated vsize (KiB) 265740
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 4/183 25061
/proc/meminfo: memFree=30614276/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=26.41 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 19940 165172 0 0 65 20 2453 103 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=25003] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (satsolver.sh) S 24928 24927 21914 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283635227 9367552 266 33554432000 4194304 5064252 140737068346448 140737068345360 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25003/statm: 2287 266 226 213 0 72 0
[pid=25004] ppid=25003 vsize=219496 CPUtime=1395.16 cores=1,3,5,7
/proc/25004/stat : 25004 (glucose) R 25003 24927 21914 0 -1 4202496 28276 0 0 0 139473 43 0 0 20 0 1 0 283635227 224763904 51965 33554432000 4194304 5208918 140733339798768 140733339795144 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25004/statm: 54874 51965 104 248 0 54623 0
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 265740
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/183 25061
/proc/meminfo: memFree=30555260/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=26.41 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 19940 165172 0 0 65 20 2453 103 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=25003] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (satsolver.sh) S 24928 24927 21914 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283635227 9367552 266 33554432000 4194304 5064252 140737068346448 140737068345360 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25003/statm: 2287 266 226 213 0 72 0
[pid=25004] ppid=25003 vsize=219496 CPUtime=1455.13 cores=1,3,5,7
/proc/25004/stat : 25004 (glucose) R 25003 24927 21914 0 -1 4202496 28961 0 0 0 145469 44 0 0 20 0 1 0 283635227 224763904 52544 33554432000 4194304 5208918 140733339798768 140733339795144 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25004/statm: 54874 52544 104 248 0 54623 0
Current children cumulated CPU time (s) 1481.54
Current children cumulated vsize (KiB) 265740
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/183 25061
/proc/meminfo: memFree=30571596/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=26.41 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 19940 165172 0 0 65 20 2453 103 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=25003] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (satsolver.sh) S 24928 24927 21914 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283635227 9367552 266 33554432000 4194304 5064252 140737068346448 140737068345360 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25003/statm: 2287 266 226 213 0 72 0
[pid=25004] ppid=25003 vsize=219496 CPUtime=1515.13 cores=1,3,5,7
/proc/25004/stat : 25004 (glucose) R 25003 24927 21914 0 -1 4202496 29832 0 0 0 151466 47 0 0 20 0 1 0 283635227 224763904 52611 33554432000 4194304 5208918 140733339798768 140733339795080 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25004/statm: 54874 52611 104 248 0 54623 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 265740
[startup+1602.3 s]
/proc/loadavg: 2.16 2.03 1.93 4/183 25061
/proc/meminfo: memFree=30609716/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=26.41 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 19940 165172 0 0 65 20 2453 103 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=25003] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (satsolver.sh) S 24928 24927 21914 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283635227 9367552 266 33554432000 4194304 5064252 140737068346448 140737068345360 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25003/statm: 2287 266 226 213 0 72 0
[pid=25004] ppid=25003 vsize=219496 CPUtime=1575.12 cores=1,3,5,7
/proc/25004/stat : 25004 (glucose) R 25003 24927 21914 0 -1 4202496 30544 0 0 0 157463 49 0 0 20 0 1 0 283635227 224763904 52477 33554432000 4194304 5208918 140733339798768 140733339795144 4229254 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25004/statm: 54874 52477 104 248 0 54623 0
Current children cumulated CPU time (s) 1601.53
Current children cumulated vsize (KiB) 265740
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 1.93 4/183 25061
/proc/meminfo: memFree=30551864/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=26.41 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 19940 165172 0 0 65 20 2453 103 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=25003] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (satsolver.sh) S 24928 24927 21914 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283635227 9367552 266 33554432000 4194304 5064252 140737068346448 140737068345360 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25003/statm: 2287 266 226 213 0 72 0
[pid=25004] ppid=25003 vsize=219496 CPUtime=1635.12 cores=1,3,5,7
/proc/25004/stat : 25004 (glucose) R 25003 24927 21914 0 -1 4202496 31557 0 0 0 163459 53 0 0 20 0 1 0 283635227 224763904 52989 33554432000 4194304 5208918 140733339798768 140733339795144 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25004/statm: 54874 52989 104 248 0 54623 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 265740
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.93 4/182 25061
/proc/meminfo: memFree=30568620/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=26.41 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 19940 165172 0 0 65 20 2453 103 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=25003] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (satsolver.sh) S 24928 24927 21914 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283635227 9367552 266 33554432000 4194304 5064252 140737068346448 140737068345360 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25003/statm: 2287 266 226 213 0 72 0
[pid=25004] ppid=25003 vsize=219496 CPUtime=1695.09 cores=1,3,5,7
/proc/25004/stat : 25004 (glucose) R 25003 24927 21914 0 -1 4202496 32590 0 0 0 169454 55 0 0 20 0 1 0 283635227 224763904 52477 33554432000 4194304 5208918 140733339798768 140733339795144 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25004/statm: 54874 52477 104 248 0 54623 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 265740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/183 25062
/proc/meminfo: memFree=30575264/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=26.41 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 19940 165172 0 0 65 20 2453 103 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=25003] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (satsolver.sh) S 24928 24927 21914 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283635227 9367552 266 33554432000 4194304 5064252 140737068346448 140737068345360 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25003/statm: 2287 266 226 213 0 72 0
[pid=25004] ppid=25003 vsize=228272 CPUtime=1755.08 cores=1,3,5,7
/proc/25004/stat : 25004 (glucose) R 25003 24927 21914 0 -1 4202496 33833 0 0 0 175450 58 0 0 20 0 1 0 283635227 233750528 53203 33554432000 4194304 5208918 140733339798768 140733339795144 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25004/statm: 57068 53203 104 248 0 56817 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 274516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.01 1.93 3/183 25107
/proc/meminfo: memFree=30724876/32873844 swapFree=7900/7900
[pid=24927] ppid=24923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24927/stat : 24927 (npSolver-wbo-I.) S 24923 24927 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283632537 9367552 275 33554432000 4194304 5064252 140736275709904 140736275708816 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24927/statm: 2287 275 233 213 0 72 0
[pid=24928] ppid=24927 vsize=27948 CPUtime=26.41 cores=1,3,5,7
/proc/24928/stat : 24928 (npSolver-wbo) S 24927 24927 21914 0 -1 4202496 19940 165172 0 0 65 20 2453 103 20 0 1 0 283632537 28618752 5694 33554432000 4194304 5990268 140735886036688 140735886028128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24928/statm: 6987 5694 170 439 0 6544 0
[pid=25003] ppid=24928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (satsolver.sh) S 24928 24927 21914 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283635227 9367552 266 33554432000 4194304 5064252 140737068346448 140737068345360 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25003/statm: 2287 266 226 213 0 72 0
[pid=25004] ppid=25003 vsize=278360 CPUtime=1773.59 cores=1,3,5,7
/proc/25004/stat : 25004 (glucose) R 25003 24927 21914 0 -1 4202496 34427 0 0 0 177299 60 0 0 20 0 1 0 283635227 285040640 55309 33554432000 4194304 5208918 140733339798768 140733339796920 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25004/statm: 69590 55309 104 248 0 69339 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 324604
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 24927 and gives
# childrusage.ru_utime.tv_sec=25
# childrusage.ru_utime.tv_usec=196169
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=242811
# CPU time returned by wait4() is 26.439
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.81
CPU time (s): 1800
CPU user time (s): 1798.17
CPU system time (s): 1.83
CPU usage (%): 99.9548
Max. virtual memory (cumulated for all children) (KiB): 404744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.1962
system time used= 1.24281
maximum resident set size= 100800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186089
page faults= 0
swaps= 0
block input operations= 0
block output operations= 134952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2720
involuntary context switches= 145
runsolver used 2.81657 second user time and 8.73167 second system time
The end