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-3714984-1338185568/watcher-3714984-1338185568 -o /tmp/evaluation-result-3714984-1338185568/solver-3714984-1338185568 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714984-1338185568.wbo 2038367938 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 13651
/proc/meminfo: memFree=27903572/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[startup+0.0739119 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 13651
/proc/meminfo: memFree=27903572/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100241 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 13651
/proc/meminfo: memFree=27903572/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300264 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 13651
/proc/meminfo: memFree=27903572/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700298 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 13651
/proc/meminfo: memFree=27903572/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 13655
/proc/meminfo: memFree=27780304/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=18796 CPUtime=0.59 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 5208 0 0 0 58 1 0 0 20 0 1 0 284682786 19247104 3797 33554432000 4194304 5990268 140736739970848 140736739964000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13652/statm: 4699 3797 156 439 0 4256 0
[pid=13654] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13654/stat : 13654 (cp2_pre.sh) S 13652 13651 8283 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284682846 9367552 277 33554432000 4194304 5064252 140734351436352 140734351435056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13654/statm: 2287 277 234 213 0 72 0
[pid=13655] ppid=13654 vsize=142964 CPUtime=0.88 cores=0,2,4,6
/proc/13655/stat : 13655 (coprocessor) R 13654 13651 8283 0 -1 4202496 25791 0 0 0 84 4 0 0 20 0 1 0 284682846 146395136 34682 33554432000 4194304 6586260 140735965118784 140735965115048 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/13655/statm: 35741 34682 191 584 0 35153 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 180056
[startup+3.1003 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 13655
/proc/meminfo: memFree=27741848/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=18796 CPUtime=0.59 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 5208 0 0 0 58 1 0 0 20 0 1 0 284682786 19247104 3797 33554432000 4194304 5990268 140736739970848 140736739964000 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13652/statm: 4699 3797 156 439 0 4256 0
[pid=13654] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13654/stat : 13654 (cp2_pre.sh) S 13652 13651 8283 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284682846 9367552 277 33554432000 4194304 5064252 140734351436352 140734351435056 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13654/statm: 2287 277 234 213 0 72 0
[pid=13655] ppid=13654 vsize=147788 CPUtime=2.48 cores=0,2,4,6
/proc/13655/stat : 13655 (coprocessor) R 13654 13651 8283 0 -1 4202496 26611 0 0 0 244 4 0 0 20 0 1 0 284682846 151334912 35564 33554432000 4194304 6586260 140735965118784 140735965114376 4667394 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/13655/statm: 36947 35564 196 584 0 36359 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 184880
[startup+6.30023 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 13658
/proc/meminfo: memFree=27840964/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=18796 CPUtime=6.01 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 5223 40875 0 0 58 1 474 68 20 0 1 0 284682786 19247104 3799 33554432000 4194304 5990268 140736739970848 140736739964576 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13652/statm: 4699 3799 158 439 0 4256 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 27944
[startup+12.7003 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 13721
/proc/meminfo: memFree=27834992/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=28688 CPUtime=12.57 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) R 13651 13651 8283 0 -1 4202496 21057 213111 0 0 85 21 1026 125 20 0 1 0 284682786 29376512 6180 33554432000 4194304 5990268 140736739970848 140736739961760 4273859 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13652/statm: 7172 6180 169 439 0 6729 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 37836
[startup+25.5003 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13808
/proc/meminfo: memFree=27869716/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=46608 CPUtime=16 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 32455 305177 0 0 112 25 1308 155 20 0 1 0 284682786 47726592 9724 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13652/statm: 11652 9724 170 439 0 11209 0
[pid=13762] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13762/stat : 13762 (satsolver.sh) S 13652 13651 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284684397 9367552 267 33554432000 4194304 5064252 140737368241632 140737368240544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13762/statm: 2287 267 226 213 0 72 0
[pid=13763] ppid=13762 vsize=134572 CPUtime=9.37 cores=0,2,4,6
/proc/13763/stat : 13763 (glucose) R 13762 13651 8283 0 -1 4202496 25936 0 0 0 930 7 0 0 20 0 1 0 284684397 137801728 28076 33554432000 4194304 5208918 140733705549728 140733705547672 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13763/statm: 33643 28076 104 248 0 33392 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 199476
[startup+51.1002 s]
/proc/loadavg: 1.96 2.01 1.99 3/183 13909
/proc/meminfo: memFree=27935660/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=50.49 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 38618 370955 0 0 129 27 4689 204 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 47564
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14095
/proc/meminfo: memFree=27886908/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=80.44 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 48256 451116 0 0 154 29 7604 257 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
[pid=14031] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14031/stat : 14031 (satsolver.sh) S 13652 13651 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284690842 9367552 267 33554432000 4194304 5064252 140733318469824 140733318468736 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14031/statm: 2287 267 226 213 0 72 0
[pid=14032] ppid=14031 vsize=113668 CPUtime=21.72 cores=0,2,4,6
/proc/14032/stat : 14032 (glucose) R 14031 13651 8283 0 -1 4202496 18846 0 0 0 2168 4 0 0 20 0 1 0 284690842 116396032 25699 33554432000 4194304 5208918 140737078996080 140737078994024 4228924 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14032/statm: 28417 25699 102 248 0 28166 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 170380
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14166
/proc/meminfo: memFree=27853180/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=130.14 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 61087 559385 0 0 185 33 12473 323 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
[pid=14164] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14164/stat : 14164 (satsolver.sh) S 13652 13651 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284695813 9367552 267 33554432000 4194304 5064252 140735250596864 140735250595776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14164/statm: 2287 267 226 213 0 72 0
[pid=14165] ppid=14164 vsize=112280 CPUtime=32 cores=0,2,4,6
/proc/14165/stat : 14165 (glucose) R 14164 13651 8283 0 -1 4202496 18383 0 0 0 3197 3 0 0 20 0 1 0 284695813 114974720 25500 33554432000 4194304 5208918 140737168338960 140737168336904 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14165/statm: 28070 25500 103 248 0 27819 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 168992
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14173
/proc/meminfo: memFree=27860724/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=190.6 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 64291 586691 0 0 193 34 18494 339 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
[pid=14172] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14205
/proc/meminfo: memFree=27701152/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=423.65 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 73888 667697 0 0 216 36 41727 386 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
[pid=14193] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14193/stat : 14193 (satsolver.sh) S 13652 13651 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284725172 9367552 266 33554432000 4194304 5064252 140734016580960 140734016579872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14193/statm: 2287 266 226 213 0 72 0
[pid=14194] ppid=14193 vsize=131248 CPUtime=998.26 cores=0,2,4,6
/proc/14194/stat : 14194 (glucose) R 14193 13651 8283 0 -1 4202496 19344 0 0 0 99821 5 0 0 20 0 1 0 284725173 134397952 28335 33554432000 4194304 5208918 140736672171152 140736672169096 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14194/statm: 32812 28335 103 248 0 32561 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 187960
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 14205
/proc/meminfo: memFree=27719960/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=423.65 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 73888 667697 0 0 216 36 41727 386 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
[pid=14193] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14193/stat : 14193 (satsolver.sh) S 13652 13651 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284725172 9367552 266 33554432000 4194304 5064252 140734016580960 140734016579872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14193/statm: 2287 266 226 213 0 72 0
[pid=14194] ppid=14193 vsize=131248 CPUtime=1058.24 cores=0,2,4,6
/proc/14194/stat : 14194 (glucose) R 14193 13651 8283 0 -1 4202496 19344 0 0 0 105819 5 0 0 20 0 1 0 284725173 134397952 28335 33554432000 4194304 5208918 140736672171152 140736672169096 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14194/statm: 32812 28335 103 248 0 32561 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 187960
[startup+1542.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 14205
/proc/meminfo: memFree=27713640/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=423.65 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 73888 667697 0 0 216 36 41727 386 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
[pid=14193] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14193/stat : 14193 (satsolver.sh) S 13652 13651 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284725172 9367552 266 33554432000 4194304 5064252 140734016580960 140734016579872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14193/statm: 2287 266 226 213 0 72 0
[pid=14194] ppid=14193 vsize=131248 CPUtime=1118.24 cores=0,2,4,6
/proc/14194/stat : 14194 (glucose) R 14193 13651 8283 0 -1 4202496 19344 0 0 0 111819 5 0 0 20 0 1 0 284725173 134397952 28335 33554432000 4194304 5208918 140736672171152 140736672169096 4229493 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14194/statm: 32812 28335 103 248 0 32561 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 187960
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 14205
/proc/meminfo: memFree=27688836/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=423.65 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 73888 667697 0 0 216 36 41727 386 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
[pid=14193] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14193/stat : 14193 (satsolver.sh) S 13652 13651 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284725172 9367552 266 33554432000 4194304 5064252 140734016580960 140734016579872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14193/statm: 2287 266 226 213 0 72 0
[pid=14194] ppid=14193 vsize=149924 CPUtime=1178.22 cores=0,2,4,6
/proc/14194/stat : 14194 (glucose) R 14193 13651 8283 0 -1 4202496 19984 0 0 0 117817 5 0 0 20 0 1 0 284725173 153522176 33516 33554432000 4194304 5208918 140736672171152 140736672169016 4229745 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14194/statm: 37481 33516 103 248 0 37230 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 206636
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 14208
/proc/meminfo: memFree=27682392/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=423.65 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 73888 667697 0 0 216 36 41727 386 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
[pid=14193] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14193/stat : 14193 (satsolver.sh) S 13652 13651 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284725172 9367552 266 33554432000 4194304 5064252 140734016580960 140734016579872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14193/statm: 2287 266 226 213 0 72 0
[pid=14194] ppid=14193 vsize=149924 CPUtime=1238.21 cores=0,2,4,6
/proc/14194/stat : 14194 (glucose) R 14193 13651 8283 0 -1 4202496 19984 0 0 0 123816 5 0 0 20 0 1 0 284725173 153522176 33516 33554432000 4194304 5208918 140736672171152 140736672169016 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14194/statm: 37481 33516 103 248 0 37230 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 206636
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14209
/proc/meminfo: memFree=27674048/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=423.65 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 73888 667697 0 0 216 36 41727 386 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
[pid=14193] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14193/stat : 14193 (satsolver.sh) S 13652 13651 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284725172 9367552 266 33554432000 4194304 5064252 140734016580960 140734016579872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14193/statm: 2287 266 226 213 0 72 0
[pid=14194] ppid=14193 vsize=149924 CPUtime=1298.2 cores=0,2,4,6
/proc/14194/stat : 14194 (glucose) R 14193 13651 8283 0 -1 4202496 19984 0 0 0 129815 5 0 0 20 0 1 0 284725173 153522176 33516 33554432000 4194304 5208918 140736672171152 140736672169016 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14194/statm: 37481 33516 103 248 0 37230 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 206636
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14209
/proc/meminfo: memFree=27671676/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=423.65 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 73888 667697 0 0 216 36 41727 386 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
[pid=14193] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14193/stat : 14193 (satsolver.sh) S 13652 13651 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284725172 9367552 266 33554432000 4194304 5064252 140734016580960 140734016579872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14193/statm: 2287 266 226 213 0 72 0
[pid=14194] ppid=14193 vsize=149924 CPUtime=1358.19 cores=0,2,4,6
/proc/14194/stat : 14194 (glucose) R 14193 13651 8283 0 -1 4202496 19985 0 0 0 135814 5 0 0 20 0 1 0 284725173 153522176 34143 33554432000 4194304 5208918 140736672171152 140736672169016 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14194/statm: 37481 34143 103 248 0 37230 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 206636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 14209
/proc/meminfo: memFree=27661444/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=423.65 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 73888 667697 0 0 216 36 41727 386 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
[pid=14193] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14193/stat : 14193 (satsolver.sh) S 13652 13651 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284725172 9367552 266 33554432000 4194304 5064252 140734016580960 140734016579872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14193/statm: 2287 266 226 213 0 72 0
[pid=14194] ppid=14193 vsize=149924 CPUtime=1376.4 cores=0,2,4,6
/proc/14194/stat : 14194 (glucose) R 14193 13651 8283 0 -1 4202496 19985 0 0 0 137635 5 0 0 20 0 1 0 284725173 153522176 34143 33554432000 4194304 5208918 140736672171152 140736672169016 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14194/statm: 37481 34143 103 248 0 37230 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 206636
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.00 2.00 2.00 4/183 14209
/proc/meminfo: memFree=27661444/32873648 swapFree=6864/6864
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13651/stat : 13651 (npSolver-wbo-It) S 13649 13651 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284682785 9367552 275 33554432000 4194304 5064252 140734269290128 140734269289040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13651/statm: 2287 275 233 213 0 72 0
[pid=13652] ppid=13651 vsize=38416 CPUtime=423.65 cores=0,2,4,6
/proc/13652/stat : 13652 (npSolver-wbo) S 13651 13651 8283 0 -1 4202496 73888 667697 0 0 216 36 41727 386 20 0 1 0 284682786 39337984 8229 33554432000 4194304 5990268 140736739970848 140736739962272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13652/statm: 9604 8229 170 439 0 9161 0
[pid=14193] ppid=13652 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14193/stat : 14193 (satsolver.sh) S 13652 13651 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284725172 9367552 266 33554432000 4194304 5064252 140734016580960 140734016579872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14193/statm: 2287 266 226 213 0 72 0
[pid=14194] ppid=14193 vsize=149924 CPUtime=1376.4 cores=0,2,4,6
/proc/14194/stat : 14194 (glucose) R 14193 13651 8283 0 -1 4202496 19985 0 0 0 137635 5 0 0 20 0 1 0 284725173 153522176 34143 33554432000 4194304 5208918 140736672171152 140736672169016 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14194/statm: 37481 34143 103 248 0 37230 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 206636
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1795.8
CPU system time (s): 4.28635
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 214544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.8
system time used= 4.28635
maximum resident set size= 169852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 762559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 581832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15032
involuntary context switches= 2327
runsolver used 3.02054 second user time and 7.36188 second system time
The end