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-3755294-1339194179/watcher-3755294-1339194179 -o /tmp/evaluation-result-3755294-1339194179/solver-3755294-1339194179 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755294-1339194179.wbo 1790930172 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 1927
/proc/meminfo: memFree=31230284/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[startup+0.057852 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1927
/proc/meminfo: memFree=31230284/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100291 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1927
/proc/meminfo: memFree=31230284/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1927
/proc/meminfo: memFree=31230284/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/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.00 2.00 2.00 3/179 1927
/proc/meminfo: memFree=31230284/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1941
/proc/meminfo: memFree=31131880/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=38980 CPUtime=0.41 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 5335 6420 0 0 27 5 8 1 20 0 1 0 385546495 39915520 9062 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 9745 9062 179 443 0 9298 0
[pid=1940] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1940/stat : 1940 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385546538 9367552 267 33554432000 4194304 5064252 140737394259184 140737394258096 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1940/statm: 2287 267 226 213 0 72 0
[pid=1941] ppid=1940 vsize=51820 CPUtime=1.06 cores=1,3,5,7
/proc/1941/stat : 1941 (glucose) R 1940 1927 31525 0 -1 4202496 10652 0 0 0 103 3 0 0 20 0 1 0 385546538 53063680 11345 33554432000 4194304 5208918 140734444406912 140734444404872 4229307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1941/statm: 12955 11345 104 248 0 12704 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 109096
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1941
/proc/meminfo: memFree=31128832/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=38980 CPUtime=0.41 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 5335 6420 0 0 27 5 8 1 20 0 1 0 385546495 39915520 9062 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 9745 9062 179 443 0 9298 0
[pid=1940] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1940/stat : 1940 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385546538 9367552 267 33554432000 4194304 5064252 140737394259184 140737394258096 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1940/statm: 2287 267 226 213 0 72 0
[pid=1941] ppid=1940 vsize=52512 CPUtime=2.66 cores=1,3,5,7
/proc/1941/stat : 1941 (glucose) R 1940 1927 31525 0 -1 4202496 10834 0 0 0 263 3 0 0 20 0 1 0 385546538 53772288 11527 33554432000 4194304 5208918 140734444406912 140734444404664 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1941/statm: 13128 11527 104 248 0 12877 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 109788
[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1941
/proc/meminfo: memFree=31123868/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=38980 CPUtime=0.41 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 5335 6420 0 0 27 5 8 1 20 0 1 0 385546495 39915520 9062 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 9745 9062 179 443 0 9298 0
[pid=1940] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1940/stat : 1940 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385546538 9367552 267 33554432000 4194304 5064252 140737394259184 140737394258096 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1940/statm: 2287 267 226 213 0 72 0
[pid=1941] ppid=1940 vsize=52912 CPUtime=5.86 cores=1,3,5,7
/proc/1941/stat : 1941 (glucose) R 1940 1927 31525 0 -1 4202496 10932 0 0 0 583 3 0 0 20 0 1 0 385546538 54181888 11625 33554432000 4194304 5208918 140734444406912 140734444404584 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1941/statm: 13228 11625 104 248 0 12977 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 110188
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 1948
/proc/meminfo: memFree=31121460/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=38980 CPUtime=7.16 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 8423 21137 0 0 48 8 646 14 20 0 1 0 385546495 39915520 8666 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 9745 8666 179 443 0 9298 0
[pid=1947] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1947/stat : 1947 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385547212 9367552 267 33554432000 4194304 5064252 140737466173808 140737466172720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1947/statm: 2287 267 226 213 0 72 0
[pid=1948] ppid=1947 vsize=46724 CPUtime=5.51 cores=1,3,5,7
/proc/1948/stat : 1948 (glucose) R 1947 1927 31525 0 -1 4202496 9502 0 0 0 549 2 0 0 20 0 1 0 385547213 47845376 10806 33554432000 4194304 5208918 140735781226096 140735781223768 4211897 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1948/statm: 11681 10806 102 248 0 11430 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 104000
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 1955
/proc/meminfo: memFree=31127316/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=38132 CPUtime=22.35 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 9467 34937 0 0 62 10 2139 24 20 0 1 0 385546495 39047168 8154 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 9533 8154 180 443 0 9086 0
[pid=1954] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1954/stat : 1954 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385548732 9367552 267 33554432000 4194304 5064252 140736152369216 140736152368128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1954/statm: 2287 267 226 213 0 72 0
[pid=1955] ppid=1954 vsize=30864 CPUtime=3.11 cores=1,3,5,7
/proc/1955/stat : 1955 (glucose) R 1954 1927 31525 0 -1 4202496 6798 0 0 0 310 1 0 0 20 0 1 0 385548732 31604736 7012 33554432000 4194304 5208918 140735692039808 140735692037704 4205695 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1955/statm: 7716 7012 104 248 0 7465 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 87292
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 1962
/proc/meminfo: memFree=31183684/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=12512 CPUtime=36.32 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 11012 46308 0 0 65 11 3524 32 20 0 1 0 385546495 12812288 2524 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 3128 2524 181 443 0 2681 0
[pid=1961] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1961/stat : 1961 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385550128 9367552 267 33554432000 4194304 5064252 140735026802944 140735026801856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1961/statm: 2287 267 226 213 0 72 0
[pid=1962] ppid=1961 vsize=23004 CPUtime=14.75 cores=1,3,5,7
/proc/1962/stat : 1962 (glucose) R 1961 1927 31525 0 -1 4202496 5382 0 0 0 1475 0 0 0 20 0 1 0 385550128 23556096 5114 33554432000 4194304 5208918 140736008865424 140736008863512 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1962/statm: 5751 5114 96 248 0 5500 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53812
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 1962
/proc/meminfo: memFree=31161820/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=12512 CPUtime=36.32 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 11012 46308 0 0 65 11 3524 32 20 0 1 0 385546495 12812288 2524 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 3128 2524 181 443 0 2681 0
[pid=1961] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1961/stat : 1961 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385550128 9367552 267 33554432000 4194304 5064252 140735026802944 140735026801856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1961/statm: 2287 267 226 213 0 72 0
[pid=1962] ppid=1961 vsize=41948 CPUtime=65.95 cores=1,3,5,7
/proc/1962/stat : 1962 (glucose) R 1961 1927 31525 0 -1 4202496 6846 0 0 0 6594 1 0 0 20 0 1 0 385550128 42954752 7663 33554432000 4194304 5208918 140736008865424 140736008863368 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1962/statm: 10487 7663 96 248 0 10236 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 72756
Solver just ended. Dumping a history of the last processes samples
[startup+108.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 1962
/proc/meminfo: memFree=31151332/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=12512 CPUtime=36.32 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 11012 46308 0 0 65 11 3524 32 20 0 1 0 385546495 12812288 2524 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 3128 2524 181 443 0 2681 0
[pid=1961] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1961/stat : 1961 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385550128 9367552 267 33554432000 4194304 5064252 140735026802944 140735026801856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1961/statm: 2287 267 226 213 0 72 0
[pid=1962] ppid=1961 vsize=41948 CPUtime=72.34 cores=1,3,5,7
/proc/1962/stat : 1962 (glucose) R 1961 1927 31525 0 -1 4202496 6955 0 0 0 7233 1 0 0 20 0 1 0 385550128 42954752 8283 33554432000 4194304 5208918 140736008865424 140736008863368 4211901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1962/statm: 10487 8283 96 248 0 10236 0
Current children cumulated CPU time (s) 108.66
Current children cumulated vsize (KiB) 72756
[startup+111.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 1962
/proc/meminfo: memFree=31147236/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=12512 CPUtime=36.32 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 11012 46308 0 0 65 11 3524 32 20 0 1 0 385546495 12812288 2524 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 3128 2524 181 443 0 2681 0
[pid=1961] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1961/stat : 1961 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385550128 9367552 267 33554432000 4194304 5064252 140735026802944 140735026801856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1961/statm: 2287 267 226 213 0 72 0
[pid=1962] ppid=1961 vsize=41948 CPUtime=75.54 cores=1,3,5,7
/proc/1962/stat : 1962 (glucose) R 1961 1927 31525 0 -1 4202496 6957 0 0 0 7553 1 0 0 20 0 1 0 385550128 42954752 9307 33554432000 4194304 5208918 140736008865424 140736008863368 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1962/statm: 10487 9307 96 248 0 10236 0
Current children cumulated CPU time (s) 111.86
Current children cumulated vsize (KiB) 72756
[startup+113.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 1962
/proc/meminfo: memFree=31141092/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=12512 CPUtime=36.32 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 11012 46308 0 0 65 11 3524 32 20 0 1 0 385546495 12812288 2524 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 3128 2524 181 443 0 2681 0
[pid=1961] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1961/stat : 1961 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385550128 9367552 267 33554432000 4194304 5064252 140735026802944 140735026801856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1961/statm: 2287 267 226 213 0 72 0
[pid=1962] ppid=1961 vsize=41948 CPUtime=77.14 cores=1,3,5,7
/proc/1962/stat : 1962 (glucose) R 1961 1927 31525 0 -1 4202496 6957 0 0 0 7713 1 0 0 20 0 1 0 385550128 42954752 9307 33554432000 4194304 5208918 140736008865424 140736008863368 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1962/statm: 10487 9307 96 248 0 10236 0
Current children cumulated CPU time (s) 113.46
Current children cumulated vsize (KiB) 72756
[startup+114.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 1969
/proc/meminfo: memFree=31175572/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=12512 CPUtime=113.92 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 11205 57290 0 0 65 11 11278 38 20 0 1 0 385546495 12812288 2525 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 3128 2525 182 443 0 2681 0
[pid=1968] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1968/stat : 1968 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385557890 9367552 267 33554432000 4194304 5064252 140734064499968 140734064498880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1968/statm: 2287 267 226 213 0 72 0
[pid=1969] ppid=1968 vsize=5072 CPUtime=0.34 cores=1,3,5,7
/proc/1969/stat : 1969 (glucose) R 1968 1927 31525 0 -1 4202496 1025 0 0 0 34 0 0 0 20 0 1 0 385557890 5193728 779 33554432000 4194304 5208918 140737219092448 140734064498904 4544907 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1969/statm: 1268 779 96 248 0 1017 0
Current children cumulated CPU time (s) 114.26
Current children cumulated vsize (KiB) 35880
[startup+114.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 1969
/proc/meminfo: memFree=31175572/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=12512 CPUtime=113.92 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 11205 57290 0 0 65 11 11278 38 20 0 1 0 385546495 12812288 2525 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 3128 2525 182 443 0 2681 0
[pid=1968] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1968/stat : 1968 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385557890 9367552 267 33554432000 4194304 5064252 140734064499968 140734064498880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1968/statm: 2287 267 226 213 0 72 0
[pid=1969] ppid=1968 vsize=6356 CPUtime=0.74 cores=1,3,5,7
/proc/1969/stat : 1969 (glucose) R 1968 1927 31525 0 -1 4202496 1392 0 0 0 74 0 0 0 20 0 1 0 385557890 6508544 925 33554432000 4194304 5208918 140737219092448 140734064498904 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1969/statm: 1589 925 102 248 0 1338 0
Current children cumulated CPU time (s) 114.66
Current children cumulated vsize (KiB) 37164
[startup+115.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 1969
/proc/meminfo: memFree=31175572/32873844 swapFree=7116/7116
[pid=1927] ppid=1925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1927/stat : 1927 (npSolver-wbo.sh) S 1925 1927 31525 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385546495 9367552 275 33554432000 4194304 5064252 140734861117088 140734861116000 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1927/statm: 2287 275 233 213 0 72 0
[pid=1928] ppid=1927 vsize=12512 CPUtime=113.92 cores=1,3,5,7
/proc/1928/stat : 1928 (npSolver-wbo) S 1927 1927 31525 0 -1 4202496 11205 57290 0 0 65 11 11278 38 20 0 1 0 385546495 12812288 2525 33554432000 4194304 6006132 140736580657744 140736580649152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1928/statm: 3128 2525 182 443 0 2681 0
[pid=1968] ppid=1928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1968/stat : 1968 (satsolver.sh) S 1928 1927 31525 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385557890 9367552 267 33554432000 4194304 5064252 140734064499968 140734064498880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1968/statm: 2287 267 226 213 0 72 0
[pid=1969] ppid=1968 vsize=6748 CPUtime=1.14 cores=1,3,5,7
/proc/1969/stat : 1969 (glucose) R 1968 1927 31525 0 -1 4202496 1602 0 0 0 114 0 0 0 20 0 1 0 385557890 6909952 1128 33554432000 4194304 5208918 140737219092448 140737219090392 4229704 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1969/statm: 1687 1128 102 248 0 1436 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 37556
Child status: 0
Real time (s): 115.128
CPU time (s): 115.121
CPU user time (s): 114.6
CPU system time (s): 0.52092
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 110188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.6
system time used= 0.52092
maximum resident set size= 59140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 85664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 588
involuntary context switches= 187
runsolver used 0.242963 second user time and 0.663899 second system time
The end