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-3714193-1338177582/watcher-3714193-1338177582 -o /tmp/evaluation-result-3714193-1338177582/solver-3714193-1338177582 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714193-1338177582.wbo 2023626058 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 8965
/proc/meminfo: memFree=31308212/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[startup+0.0756871 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8965
/proc/meminfo: memFree=31308212/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100158 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8965
/proc/meminfo: memFree=31308212/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300159 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8965
/proc/meminfo: memFree=31308212/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700144 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8965
/proc/meminfo: memFree=31308212/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8979
/proc/meminfo: memFree=31274068/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=9860 CPUtime=0.76 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 3419 12265 0 0 10 3 56 7 20 0 1 0 283883711 10096640 1548 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 2465 1548 164 439 0 2022 0
[pid=8978] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8978/stat : 8978 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283883790 9367552 267 33554432000 4194304 5064252 140734478376736 140734478375648 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8978/statm: 2287 267 226 213 0 72 0
[pid=8979] ppid=8978 vsize=30168 CPUtime=0.69 cores=1,3,5,7
/proc/8979/stat : 8979 (glucose) R 8978 8965 6342 0 -1 4202496 6697 0 0 0 69 0 0 0 20 0 1 0 283883790 30892032 6125 33554432000 4194304 5208918 140733214675872 140734478375672 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8979/statm: 7542 6125 104 248 0 7291 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 58324
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8979
/proc/meminfo: memFree=31272376/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=9860 CPUtime=0.76 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 3419 12265 0 0 10 3 56 7 20 0 1 0 283883711 10096640 1548 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 2465 1548 164 439 0 2022 0
[pid=8978] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8978/stat : 8978 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283883790 9367552 267 33554432000 4194304 5064252 140734478376736 140734478375648 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8978/statm: 2287 267 226 213 0 72 0
[pid=8979] ppid=8978 vsize=42192 CPUtime=2.3 cores=1,3,5,7
/proc/8979/stat : 8979 (glucose) R 8978 8965 6342 0 -1 4202496 8559 0 0 0 229 1 0 0 20 0 1 0 283883790 43204608 8815 33554432000 4194304 5208918 140733214675872 140733214673736 4212508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8979/statm: 10548 8815 104 248 0 10297 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 70348
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8993
/proc/meminfo: memFree=31291976/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=6.26 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5345 59144 0 0 13 4 586 23 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15808
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9021
/proc/meminfo: memFree=31279636/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=6.26 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5345 59144 0 0 13 4 586 23 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9020] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9020/stat : 9020 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283884338 9367552 266 33554432000 4194304 5064252 140737378397120 140737378396032 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9020/statm: 2287 266 226 213 0 72 0
[pid=9021] ppid=9020 vsize=24656 CPUtime=6.41 cores=1,3,5,7
/proc/9021/stat : 9021 (glucose) R 9020 8965 6342 0 -1 4202496 4475 0 0 0 641 0 0 0 20 0 1 0 283884338 25247744 5620 33554432000 4194304 5208918 140735020030304 140735020028296 4211572 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 6164 5620 105 248 0 5913 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 49612
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 9031
/proc/meminfo: memFree=31281904/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=26984 CPUtime=12.64 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 5621 0 0 0 1263 1 0 0 20 0 1 0 283884996 27631616 6250 33554432000 4194304 5208918 140735842199344 140735842195656 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 6746 6250 105 248 0 6495 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 51940
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 9032
/proc/meminfo: memFree=31255672/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=38428 CPUtime=38.23 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 7238 0 0 0 3822 1 0 0 20 0 1 0 283884996 39350272 9180 33554432000 4194304 5208918 140735842199344 140735842197432 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 9607 9180 105 248 0 9356 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 63384
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 9055
/proc/meminfo: memFree=31231828/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=81624 CPUtime=89.43 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 8246 0 0 0 8940 3 0 0 20 0 1 0 283884996 83582976 17734 33554432000 4194304 5208918 140735842199344 140735842197288 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 20406 17734 105 248 0 20155 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 106580
[startup+162.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 9055
/proc/meminfo: memFree=31201064/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=94916 CPUtime=149.41 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 8772 0 0 0 14938 3 0 0 20 0 1 0 283884996 97193984 22493 33554432000 4194304 5208918 140735842199344 140735842195720 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 23729 22493 105 248 0 23478 0
Current children cumulated CPU time (s) 162.24
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.05 2.04 2.02 3/183 9152
/proc/meminfo: memFree=31166244/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=216344 CPUtime=1409.21 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 48315 0 0 0 140843 78 0 0 20 0 1 0 283884996 221536256 51790 33554432000 4194304 5208918 140735842199344 140735842195720 4229745 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 54086 51790 105 248 0 53835 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 241300
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/183 9152
/proc/meminfo: memFree=31156360/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=266432 CPUtime=1469.19 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 50538 0 0 0 146837 82 0 0 20 0 1 0 283884996 272826368 53854 33554432000 4194304 5208918 140735842199344 140735842197496 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 66608 53854 105 248 0 66357 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 291388
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 9152
/proc/meminfo: memFree=31149740/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=268524 CPUtime=1529.19 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 52507 0 0 0 152833 86 0 0 20 0 1 0 283884996 274968576 55164 33554432000 4194304 5208918 140735842199344 140735842197496 4229824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 67131 55164 105 248 0 66880 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 293480
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 9153
/proc/meminfo: memFree=31131884/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=268524 CPUtime=1589.18 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 54175 0 0 0 158829 89 0 0 20 0 1 0 283884996 274968576 57347 33554432000 4194304 5208918 140735842199344 140735842197496 4229299 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 67131 57347 105 248 0 66880 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 293480
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 9154
/proc/meminfo: memFree=31088960/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=268524 CPUtime=1649.14 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 55877 0 0 0 164822 92 0 0 20 0 1 0 283884996 274968576 58883 33554432000 4194304 5208918 140735842199344 140735842197496 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 67131 58883 105 248 0 66880 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 293480
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 9154
/proc/meminfo: memFree=31083628/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=269988 CPUtime=1709.13 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 57837 0 0 0 170818 95 0 0 20 0 1 0 283884996 276467712 60710 33554432000 4194304 5208918 140735842199344 140735842197192 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 67497 60710 105 248 0 67246 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 294944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9154
/proc/meminfo: memFree=31080264/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=271712 CPUtime=1769.12 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 59853 0 0 0 176813 99 0 0 20 0 1 0 283884996 278233088 61043 33554432000 4194304 5208918 140735842199344 140735842197192 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 67928 61043 105 248 0 67677 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 296668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9154
/proc/meminfo: memFree=31112408/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=221624 CPUtime=1787.23 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 60723 0 0 0 178622 101 0 0 20 0 1 0 283884996 226942976 50502 33554432000 4194304 5208918 140735842199344 140735842195656 4213878 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 55406 50502 105 248 0 55155 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 246580
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9154
/proc/meminfo: memFree=31112408/32873648 swapFree=7116/7116
[pid=8965] ppid=8963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8965/stat : 8965 (npSolver-wbo-I.) S 8963 8965 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283883711 9367552 275 33554432000 4194304 5064252 140734074165936 140734074164848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8965/statm: 2287 275 233 213 0 72 0
[pid=8966] ppid=8965 vsize=6660 CPUtime=12.83 cores=1,3,5,7
/proc/8966/stat : 8966 (npSolver-wbo) S 8965 8965 6342 0 -1 4202496 5535 67807 0 0 13 4 1241 25 20 0 1 0 283883711 6819840 1066 33554432000 4194304 5990268 140734191393872 140734191385312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8966/statm: 1665 1066 164 439 0 1222 0
[pid=9027] ppid=8966 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (satsolver.sh) S 8966 8965 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283884995 9367552 266 33554432000 4194304 5064252 140735768063376 140735768062288 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9027/statm: 2287 266 226 213 0 72 0
[pid=9028] ppid=9027 vsize=221624 CPUtime=1787.23 cores=1,3,5,7
/proc/9028/stat : 9028 (glucose) R 9027 8965 6342 0 -1 4202496 60723 0 0 0 178622 101 0 0 20 0 1 0 283884996 226942976 50502 33554432000 4194304 5208918 140735842199344 140735842195656 4213878 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9028/statm: 55406 50502 105 248 0 55155 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 246580
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1798.78
CPU system time (s): 1.3178
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 345988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.3178
maximum resident set size= 295468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135055
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 559
involuntary context switches= 1966
runsolver used 3.51247 second user time and 9.37157 second system time
The end