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-3754931-1339199541/watcher-3754931-1339199541 -o /tmp/evaluation-result-3754931-1339199541/solver-3754931-1339199541 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754931-1339199541.wbo 5688150 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.01 2.02 2.00 2/179 2836
/proc/meminfo: memFree=24148180/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[startup+0.0793671 s]
/proc/loadavg: 2.01 2.02 2.00 2/179 2836
/proc/meminfo: memFree=24148180/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 2.01 2.02 2.00 2/179 2836
/proc/meminfo: memFree=24148180/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 2.01 2.02 2.00 2/179 2836
/proc/meminfo: memFree=24148180/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700187 s]
/proc/loadavg: 2.01 2.02 2.00 2/179 2836
/proc/meminfo: memFree=24148180/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/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.01 2.02 2.00 3/181 2838
/proc/meminfo: memFree=24075320/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=68464 CPUtime=1.07 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 9175 0 0 0 84 23 0 0 20 0 1 0 386080076 70107136 16640 33554432000 4194304 6006132 140733979092544 140733979085648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 17116 16640 155 443 0 16669 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 77612
[startup+3.10028 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 2840
/proc/meminfo: memFree=23960280/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=68464 CPUtime=1.07 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 9175 0 0 0 84 23 0 0 20 0 1 0 386080076 70107136 16640 33554432000 4194304 6006132 140733979092544 140733979085648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 17116 16640 155 443 0 16669 0
[pid=2839] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2839/stat : 2839 (cp2_pre.sh) S 2837 2836 28786 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 386080184 9367552 277 33554432000 4194304 5064252 140737424781264 140737424779968 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2839/statm: 2287 277 234 213 0 72 0
[pid=2840] ppid=2839 vsize=118656 CPUtime=2 cores=0,2,4,6
/proc/2840/stat : 2840 (coprocessor) R 2839 2836 28786 0 -1 4202496 19867 0 0 0 197 3 0 0 20 0 1 0 386080184 121503744 28697 33554432000 4194304 6586260 140734582576192 140734582571736 5599216 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/2840/statm: 29664 28697 190 584 0 29076 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 205416
[startup+6.30029 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 2840
/proc/meminfo: memFree=23952748/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=68464 CPUtime=1.07 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 9175 0 0 0 84 23 0 0 20 0 1 0 386080076 70107136 16640 33554432000 4194304 6006132 140733979092544 140733979085648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 17116 16640 155 443 0 16669 0
[pid=2839] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2839/stat : 2839 (cp2_pre.sh) S 2837 2836 28786 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 386080184 9367552 277 33554432000 4194304 5064252 140737424781264 140737424779968 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2839/statm: 2287 277 234 213 0 72 0
[pid=2840] ppid=2839 vsize=119052 CPUtime=5.2 cores=0,2,4,6
/proc/2840/stat : 2840 (coprocessor) R 2839 2836 28786 0 -1 4202496 19942 0 0 0 517 3 0 0 20 0 1 0 386080184 121909248 28772 33554432000 4194304 6586260 140734582576192 140734582571736 5599291 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/2840/statm: 29763 28772 190 584 0 29175 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 205812
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 2849
/proc/meminfo: memFree=23752392/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=646528 CPUtime=12.68 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) R 2836 2836 28786 0 -1 4202496 30439 37005 0 0 496 63 696 13 20 0 1 0 386080076 662044672 104014 33554432000 4194304 6006132 140733979092544 140733979084904 4619114 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 161632 104014 177 443 0 161185 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 655676
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 2851
/proc/meminfo: memFree=21347980/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=1125592 CPUtime=19.08 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 32348 37005 0 0 1023 176 696 13 20 0 1 0 386080076 1152606208 192037 33554432000 4194304 6006132 140733979092544 140733979083952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/2837/statm: 281398 192037 178 443 0 280951 0
[pid=2850] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (satsolver.sh) S 2837 2836 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386081988 9367552 267 33554432000 4194304 5064252 140733811455904 140733811454816 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2850/statm: 2287 267 226 213 0 72 0
[pid=2851] ppid=2850 vsize=1573236 CPUtime=6.36 cores=0,2,4,6
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 148419 0 0 0 586 50 0 0 20 0 1 0 386081988 1610993664 332766 33554432000 4194304 5208918 140733776167744 140733775117144 4607392 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2851/statm: 393309 332766 69 248 0 393058 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 2717124
[startup+51.1002 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 2851
/proc/meminfo: memFree=21146804/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=1125592 CPUtime=19.08 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 32348 37005 0 0 1023 176 696 13 20 0 1 0 386080076 1152606208 192037 33554432000 4194304 6006132 140733979092544 140733979083952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/2837/statm: 281398 192037 178 443 0 280951 0
[pid=2850] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (satsolver.sh) S 2837 2836 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386081988 9367552 267 33554432000 4194304 5064252 140733811455904 140733811454816 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2850/statm: 2287 267 226 213 0 72 0
[pid=2851] ppid=2850 vsize=1746052 CPUtime=31.96 cores=0,2,4,6
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 195697 0 0 0 3129 67 0 0 20 0 1 0 386081988 1787957248 367554 33554432000 4194304 5208918 140733776167744 140733776165704 4229847 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2851/statm: 436513 367554 105 248 0 436262 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 2889940
[startup+102.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 2851
/proc/meminfo: memFree=21279332/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=1125592 CPUtime=19.08 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 32348 37005 0 0 1023 176 696 13 20 0 1 0 386080076 1152606208 192037 33554432000 4194304 6006132 140733979092544 140733979083952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/2837/statm: 281398 192037 178 443 0 280951 0
[pid=2850] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (satsolver.sh) S 2837 2836 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386081988 9367552 267 33554432000 4194304 5064252 140733811455904 140733811454816 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2850/statm: 2287 267 226 213 0 72 0
[pid=2851] ppid=2850 vsize=1758200 CPUtime=83.16 cores=0,2,4,6
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 198779 0 0 0 8247 69 0 0 20 0 1 0 386081988 1800396800 376768 33554432000 4194304 5208918 140733776167744 140733776165592 4229440 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2851/statm: 439550 376768 105 248 0 439299 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 2902088
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 2851
/proc/meminfo: memFree=21134912/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=1125592 CPUtime=19.08 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 32348 37005 0 0 1023 176 696 13 20 0 1 0 386080076 1152606208 192037 33554432000 4194304 6006132 140733979092544 140733979083952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/2837/statm: 281398 192037 178 443 0 280951 0
[pid=2850] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (satsolver.sh) S 2837 2836 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386081988 9367552 267 33554432000 4194304 5064252 140733811455904 140733811454816 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2850/statm: 2287 267 226 213 0 72 0
[pid=2851] ppid=2850 vsize=1769832 CPUtime=143.14 cores=0,2,4,6
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 201729 0 0 0 14244 70 0 0 20 0 1 0 386081988 1812307968 397603 33554432000 4194304 5208918 140733776167744 140733776165592 4211897 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2851/statm: 442458 397603 105 248 0 442207 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 2913720
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 2851
/proc/meminfo: memFree=21137976/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 225362 0 0 0 134125 127 0 0 20 0 1 0 386081988 1904783360 427381 33554432000 4194304 5208918 140733776167744 140733776165496 4211553 0 0 4096 0 0 0 0 17 2 0 0 43 0 0
/proc/2851/statm: 465035 427381 105 248 0 464784 0
Current children cumulated CPU time (s) 1361.6
Current children cumulated vsize (KiB) 3004028
[startup+1422.31 s]
/proc/loadavg: 2.06 2.08 2.03 3/183 2936
/proc/meminfo: memFree=21018100/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=1125592 CPUtime=19.08 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 32348 37005 0 0 1023 176 696 13 20 0 1 0 386080076 1152606208 192037 33554432000 4194304 6006132 140733979092544 140733979083952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/2837/statm: 281398 192037 178 443 0 280951 0
[pid=2850] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (satsolver.sh) S 2837 2836 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386081988 9367552 267 33554432000 4194304 5064252 140733811455904 140733811454816 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2850/statm: 2287 267 226 213 0 72 0
[pid=2851] ppid=2850 vsize=1863152 CPUtime=1402.52 cores=0,2,4,6
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 226422 0 0 0 140118 134 0 0 20 0 1 0 386081988 1907867648 411171 33554432000 4194304 5208918 140733776167744 140733776165496 4211792 0 0 4096 0 0 0 0 17 2 0 0 43 0 0
/proc/2851/statm: 465788 411171 105 248 0 465537 0
Current children cumulated CPU time (s) 1421.6
Current children cumulated vsize (KiB) 3007040
[startup+1482.3 s]
/proc/loadavg: 2.02 2.07 2.03 3/183 2936
/proc/meminfo: memFree=20985524/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=1125592 CPUtime=19.08 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 32348 37005 0 0 1023 176 696 13 20 0 1 0 386080076 1152606208 192037 33554432000 4194304 6006132 140733979092544 140733979083952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/2837/statm: 281398 192037 178 443 0 280951 0
[pid=2850] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (satsolver.sh) S 2837 2836 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386081988 9367552 267 33554432000 4194304 5064252 140733811455904 140733811454816 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2850/statm: 2287 267 226 213 0 72 0
[pid=2851] ppid=2850 vsize=1865184 CPUtime=1462.5 cores=0,2,4,6
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 226941 0 0 0 146116 134 0 0 20 0 1 0 386081988 1909948416 419355 33554432000 4194304 5208918 140733776167744 140733776165592 4211553 0 0 4096 0 0 0 0 17 2 0 0 43 0 0
/proc/2851/statm: 466296 419355 105 248 0 466045 0
Current children cumulated CPU time (s) 1481.58
Current children cumulated vsize (KiB) 3009072
[startup+1542.3 s]
/proc/loadavg: 2.07 2.07 2.03 3/183 2937
/proc/meminfo: memFree=20958964/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=1125592 CPUtime=19.08 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 32348 37005 0 0 1023 176 696 13 20 0 1 0 386080076 1152606208 192037 33554432000 4194304 6006132 140733979092544 140733979083952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/2837/statm: 281398 192037 178 443 0 280951 0
[pid=2850] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (satsolver.sh) S 2837 2836 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386081988 9367552 267 33554432000 4194304 5064252 140733811455904 140733811454816 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2850/statm: 2287 267 226 213 0 72 0
[pid=2851] ppid=2850 vsize=1866924 CPUtime=1522.49 cores=0,2,4,6
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 227385 0 0 0 152115 134 0 0 20 0 1 0 386081988 1911730176 425931 33554432000 4194304 5208918 140733776167744 140733776165592 4211584 0 0 4096 0 0 0 0 17 2 0 0 43 0 0
/proc/2851/statm: 466731 425931 105 248 0 466480 0
Current children cumulated CPU time (s) 1541.57
Current children cumulated vsize (KiB) 3010812
[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.02 3/183 2937
/proc/meminfo: memFree=20926884/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=1125592 CPUtime=19.08 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 32348 37005 0 0 1023 176 696 13 20 0 1 0 386080076 1152606208 192037 33554432000 4194304 6006132 140733979092544 140733979083952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/2837/statm: 281398 192037 178 443 0 280951 0
[pid=2850] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (satsolver.sh) S 2837 2836 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386081988 9367552 267 33554432000 4194304 5064252 140733811455904 140733811454816 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2850/statm: 2287 267 226 213 0 72 0
[pid=2851] ppid=2850 vsize=1868416 CPUtime=1582.49 cores=0,2,4,6
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 227779 0 0 0 158114 135 0 0 20 0 1 0 386081988 1913257984 433990 33554432000 4194304 5208918 140733776167744 140733776165496 4210737 0 0 4096 0 0 0 0 17 2 0 0 43 0 0
/proc/2851/statm: 467104 433990 105 248 0 466853 0
Current children cumulated CPU time (s) 1601.57
Current children cumulated vsize (KiB) 3012304
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/184 2940
/proc/meminfo: memFree=20984884/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=1125592 CPUtime=19.08 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 32348 37005 0 0 1023 176 696 13 20 0 1 0 386080076 1152606208 192037 33554432000 4194304 6006132 140733979092544 140733979083952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/2837/statm: 281398 192037 178 443 0 280951 0
[pid=2850] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (satsolver.sh) S 2837 2836 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386081988 9367552 267 33554432000 4194304 5064252 140733811455904 140733811454816 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2850/statm: 2287 267 226 213 0 72 0
[pid=2851] ppid=2850 vsize=1872480 CPUtime=1642.48 cores=0,2,4,6
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 229165 0 0 0 164105 143 0 0 20 0 1 0 386081988 1917419520 419711 33554432000 4194304 5208918 140733776167744 140733776165592 4240035 0 0 4096 0 0 0 0 17 2 0 0 43 0 0
/proc/2851/statm: 468120 419711 105 248 0 467869 0
Current children cumulated CPU time (s) 1661.56
Current children cumulated vsize (KiB) 3016368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/183 2940
/proc/meminfo: memFree=20942020/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=1125592 CPUtime=19.08 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 32348 37005 0 0 1023 176 696 13 20 0 1 0 386080076 1152606208 192037 33554432000 4194304 6006132 140733979092544 140733979083952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/2837/statm: 281398 192037 178 443 0 280951 0
[pid=2850] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (satsolver.sh) S 2837 2836 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386081988 9367552 267 33554432000 4194304 5064252 140733811455904 140733811454816 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2850/statm: 2287 267 226 213 0 72 0
[pid=2851] ppid=2850 vsize=1875156 CPUtime=1702.47 cores=0,2,4,6
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 229891 0 0 0 170103 144 0 0 20 0 1 0 386081988 1920159744 431168 33554432000 4194304 5208918 140733776167744 140733776165592 4229296 0 0 4096 0 0 0 0 17 2 0 0 43 0 0
/proc/2851/statm: 468789 431168 105 248 0 468538 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 3019044
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/183 2940
/proc/meminfo: memFree=20901124/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=1125592 CPUtime=19.08 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 32348 37005 0 0 1023 176 696 13 20 0 1 0 386080076 1152606208 192037 33554432000 4194304 6006132 140733979092544 140733979083952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/2837/statm: 281398 192037 178 443 0 280951 0
[pid=2850] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (satsolver.sh) S 2837 2836 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386081988 9367552 267 33554432000 4194304 5064252 140733811455904 140733811454816 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2850/statm: 2287 267 226 213 0 72 0
[pid=2851] ppid=2850 vsize=1877292 CPUtime=1762.46 cores=0,2,4,6
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 230423 0 0 0 176102 144 0 0 20 0 1 0 386081988 1922347008 440898 33554432000 4194304 5208918 140733776167744 140733776165496 4211656 0 0 4096 0 0 0 0 17 2 0 0 43 0 0
/proc/2851/statm: 469323 440898 105 248 0 469072 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 3021180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.04 2.03 2.01 3/183 2940
/proc/meminfo: memFree=20899076/32873648 swapFree=7376/7376
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-wbo.sh) S 2834 2836 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386080076 9367552 275 33554432000 4194304 5064252 140736384137008 140736384135920 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=1125592 CPUtime=19.08 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-wbo) S 2836 2836 28786 0 -1 4202496 32348 37005 0 0 1023 176 696 13 20 0 1 0 386080076 1152606208 192037 33554432000 4194304 6006132 140733979092544 140733979083952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/2837/statm: 281398 192037 178 443 0 280951 0
[pid=2850] ppid=2837 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (satsolver.sh) S 2837 2836 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386081988 9367552 267 33554432000 4194304 5064252 140733811455904 140733811454816 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2850/statm: 2287 267 226 213 0 72 0
[pid=2851] ppid=2850 vsize=1877292 CPUtime=1780.96 cores=0,2,4,6
/proc/2851/stat : 2851 (glucose) R 2850 2836 28786 0 -1 4202496 230438 0 0 0 177952 144 0 0 20 0 1 0 386081988 1922347008 441424 33554432000 4194304 5208918 140733776167744 140733776165496 4229365 0 0 4096 0 0 0 0 17 2 0 0 43 0 0
/proc/2851/statm: 469323 441424 105 248 0 469072 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3021180
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 2836 and gives
# childrusage.ru_utime.tv_sec=17
# childrusage.ru_utime.tv_usec=204384
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=906710
# CPU time returned by wait4() is 19.1111
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.82
CPU time (s): 1800.04
CPU user time (s): 1796.71
CPU system time (s): 3.33
CPU usage (%): 99.9568
Max. virtual memory (cumulated for all children) (KiB): 3572708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2044
system time used= 1.90671
maximum resident set size= 1460756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70331
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1420552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 423
involuntary context switches= 69
runsolver used 3.24051 second user time and 8.71667 second system time
The end