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-3755030-1339188684/watcher-3755030-1339188684 -o /tmp/evaluation-result-3755030-1339188684/solver-3755030-1339188684 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755030-1339188684.wbo 1878851941 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.00 2.02 1.98 3/179 19949
/proc/meminfo: memFree=31596596/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[startup+0.0407151 s]
/proc/loadavg: 2.00 2.02 1.98 3/179 19949
/proc/meminfo: memFree=31596596/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100247 s]
/proc/loadavg: 2.00 2.02 1.98 3/179 19949
/proc/meminfo: memFree=31596596/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300247 s]
/proc/loadavg: 2.00 2.02 1.98 3/179 19949
/proc/meminfo: memFree=31596596/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700232 s]
/proc/loadavg: 2.00 2.02 1.98 3/179 19949
/proc/meminfo: memFree=31596596/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.02 1.98 3/183 19956
/proc/meminfo: memFree=31596940/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=3092 CPUtime=0.2 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 1447 2188 0 0 2 0 18 0 20 0 1 0 384993972 3166208 377 33554432000 4194304 6006132 140734010717904 140734010712096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 773 377 158 443 0 326 0
[pid=19955] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19955/stat : 19955 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384993993 9367552 267 33554432000 4194304 5064252 140735044739424 140735044738336 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19955/statm: 2287 267 226 213 0 72 0
[pid=19956] ppid=19955 vsize=9396 CPUtime=1.27 cores=0,2,4,6
/proc/19956/stat : 19956 (glucose) R 19955 19949 17372 0 -1 4202496 2260 0 0 0 127 0 0 0 20 0 1 0 384993994 9621504 1394 33554432000 4194304 5208918 140736305812992 140736305811080 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19956/statm: 2349 1394 96 248 0 2098 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30784
[startup+3.10036 s]
/proc/loadavg: 2.00 2.02 1.98 3/183 19956
/proc/meminfo: memFree=31591468/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=3092 CPUtime=0.2 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 1447 2188 0 0 2 0 18 0 20 0 1 0 384993972 3166208 377 33554432000 4194304 6006132 140734010717904 140734010712096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 773 377 158 443 0 326 0
[pid=19955] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19955/stat : 19955 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384993993 9367552 267 33554432000 4194304 5064252 140735044739424 140735044738336 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19955/statm: 2287 267 226 213 0 72 0
[pid=19956] ppid=19955 vsize=11164 CPUtime=2.87 cores=0,2,4,6
/proc/19956/stat : 19956 (glucose) R 19955 19949 17372 0 -1 4202496 3271 0 0 0 287 0 0 0 20 0 1 0 384993994 11431936 2359 33554432000 4194304 5208918 140736305812992 140736305810856 4212892 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19956/statm: 2791 2359 96 248 0 2540 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 32552
[startup+6.30034 s]
/proc/loadavg: 2.16 2.05 1.99 3/183 19963
/proc/meminfo: memFree=31593168/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=3092 CPUtime=0.2 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 1447 2188 0 0 2 0 18 0 20 0 1 0 384993972 3166208 377 33554432000 4194304 6006132 140734010717904 140734010712096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 773 377 158 443 0 326 0
[pid=19955] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19955/stat : 19955 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384993993 9367552 267 33554432000 4194304 5064252 140735044739424 140735044738336 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19955/statm: 2287 267 226 213 0 72 0
[pid=19956] ppid=19955 vsize=20940 CPUtime=6.06 cores=0,2,4,6
/proc/19956/stat : 19956 (glucose) R 19955 19949 17372 0 -1 4202496 4200 0 0 0 606 0 0 0 20 0 1 0 384993994 21442560 3662 33554432000 4194304 5208918 140736305812992 140736305810936 4229520 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19956/statm: 5235 3662 96 248 0 4984 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 42328
[startup+12.7003 s]
/proc/loadavg: 2.15 2.05 1.99 3/183 19970
/proc/meminfo: memFree=31568184/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=7064 CPUtime=7.59 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 2389 9854 0 0 4 2 751 2 20 0 1 0 384993972 7233536 1171 33554432000 4194304 6006132 140734010717904 140734010709312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 1766 1171 167 443 0 1319 0
[pid=19969] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19969/stat : 19969 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384994733 9367552 267 33554432000 4194304 5064252 140736825192976 140736825191888 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19969/statm: 2287 267 226 213 0 72 0
[pid=19970] ppid=19969 vsize=26456 CPUtime=5.08 cores=0,2,4,6
/proc/19970/stat : 19970 (glucose) R 19969 19949 17372 0 -1 4202496 6051 0 0 0 507 1 0 0 20 0 1 0 384994733 27090944 6094 33554432000 4194304 5208918 140733256326848 140733256324712 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19970/statm: 6614 6094 96 248 0 6363 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 51816
[startup+25.5004 s]
/proc/loadavg: 2.12 2.05 1.99 3/183 19991
/proc/meminfo: memFree=31584984/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=7064 CPUtime=21.58 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 3249 27516 0 0 5 2 2142 9 20 0 1 0 384993972 7233536 1171 33554432000 4194304 6006132 140734010717904 140734010709312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 1766 1171 167 443 0 1319 0
[pid=19990] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19990/stat : 19990 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384996132 9367552 267 33554432000 4194304 5064252 140737313749664 140737313748576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19990/statm: 2287 267 226 213 0 72 0
[pid=19991] ppid=19990 vsize=15056 CPUtime=3.88 cores=0,2,4,6
/proc/19991/stat : 19991 (glucose) R 19990 19949 17372 0 -1 4202496 3213 0 0 0 388 0 0 0 20 0 1 0 384996133 15417344 3249 33554432000 4194304 5208918 140733984973808 140733984971752 4229699 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19991/statm: 3764 3249 96 248 0 3513 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 40416
[startup+51.1004 s]
/proc/loadavg: 2.08 2.05 1.99 3/183 20019
/proc/meminfo: memFree=31586980/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=7064 CPUtime=42.48 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 3505 43118 0 0 5 2 4228 13 20 0 1 0 384993972 7233536 1171 33554432000 4194304 6006132 140734010717904 140734010709312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 1766 1171 167 443 0 1319 0
[pid=20011] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20011/stat : 20011 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384998224 9367552 266 33554432000 4194304 5064252 140736473922496 140736473921408 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20011/statm: 2287 266 226 213 0 72 0
[pid=20012] ppid=20011 vsize=19484 CPUtime=8.56 cores=0,2,4,6
/proc/20012/stat : 20012 (glucose) R 20011 19949 17372 0 -1 4202496 3172 0 0 0 856 0 0 0 20 0 1 0 384998225 19951616 3217 33554432000 4194304 5208918 140734004953392 140734004951336 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20012/statm: 4871 3217 96 248 0 4620 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 44844
Solver just ended. Dumping a history of the last processes samples
[startup+76.7003 s]
/proc/loadavg: 2.13 2.06 2.00 3/183 20104
/proc/meminfo: memFree=31571904/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=7064 CPUtime=71.3 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 3724 62425 0 0 5 2 7103 20 20 0 1 0 384993972 7233536 1171 33554432000 4194304 6006132 140734010717904 140734010709312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 1766 1171 167 443 0 1319 0
[pid=20099] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20099/stat : 20099 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385001105 9367552 267 33554432000 4194304 5064252 140737150309600 140737150308512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20099/statm: 2287 267 226 213 0 72 0
[pid=20100] ppid=20099 vsize=12292 CPUtime=5.34 cores=0,2,4,6
/proc/20100/stat : 20100 (glucose) R 20099 19949 17372 0 -1 4202496 2804 0 0 0 534 0 0 0 20 0 1 0 385001106 12587008 2500 33554432000 4194304 5208918 140736244554592 140736244552536 4229460 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20100/statm: 3073 2500 96 248 0 2822 0
Current children cumulated CPU time (s) 76.64
Current children cumulated vsize (KiB) 37652
[startup+89.5004 s]
/proc/loadavg: 2.11 2.06 2.00 3/183 20125
/proc/meminfo: memFree=31588564/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=7064 CPUtime=81.41 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 3805 69018 0 0 5 2 8113 21 20 0 1 0 384993972 7233536 1171 33554432000 4194304 6006132 140734010717904 140734010709312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 1766 1171 167 443 0 1319 0
[pid=20117] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20117/stat : 20117 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385002118 9367552 266 33554432000 4194304 5064252 140734363905296 140734363904208 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20117/statm: 2287 266 226 213 0 72 0
[pid=20118] ppid=20117 vsize=12300 CPUtime=8.01 cores=0,2,4,6
/proc/20118/stat : 20118 (glucose) R 20117 19949 17372 0 -1 4202496 3748 0 0 0 801 0 0 0 20 0 1 0 385002118 12595200 2663 33554432000 4194304 5208918 140737195027152 140737195025240 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20118/statm: 3075 2663 102 248 0 2824 0
Current children cumulated CPU time (s) 89.42
Current children cumulated vsize (KiB) 37660
[startup+95.9004 s]
/proc/loadavg: 2.09 2.05 2.00 3/183 20132
/proc/meminfo: memFree=31572836/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=7064 CPUtime=89.73 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 3887 76157 0 0 5 2 8943 23 20 0 1 0 384993972 7233536 1172 33554432000 4194304 6006132 140734010717904 140734010709312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 1766 1172 168 443 0 1319 0
[pid=20131] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20131/stat : 20131 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385002951 9367552 267 33554432000 4194304 5064252 140737371060112 140737371059024 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20131/statm: 2287 267 226 213 0 72 0
[pid=20132] ppid=20131 vsize=12308 CPUtime=6.1 cores=0,2,4,6
/proc/20132/stat : 20132 (glucose) R 20131 19949 17372 0 -1 4202496 2930 0 0 0 610 0 0 0 20 0 1 0 385002951 12603392 2605 33554432000 4194304 5208918 140737335927360 140737335925304 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20132/statm: 3077 2605 102 248 0 2826 0
Current children cumulated CPU time (s) 95.83
Current children cumulated vsize (KiB) 37668
[startup+99.1004 s]
/proc/loadavg: 2.09 2.05 2.00 3/183 20132
/proc/meminfo: memFree=31572764/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=7064 CPUtime=89.73 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 3887 76157 0 0 5 2 8943 23 20 0 1 0 384993972 7233536 1172 33554432000 4194304 6006132 140734010717904 140734010709312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 1766 1172 168 443 0 1319 0
[pid=20131] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20131/stat : 20131 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385002951 9367552 267 33554432000 4194304 5064252 140737371060112 140737371059024 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20131/statm: 2287 267 226 213 0 72 0
[pid=20132] ppid=20131 vsize=19380 CPUtime=9.29 cores=0,2,4,6
/proc/20132/stat : 20132 (glucose) R 20131 19949 17372 0 -1 4202496 3129 0 0 0 929 0 0 0 20 0 1 0 385002951 19845120 3786 33554432000 4194304 5208918 140737335927360 140737335925304 4229692 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20132/statm: 4845 3786 102 248 0 4594 0
Current children cumulated CPU time (s) 99.02
Current children cumulated vsize (KiB) 44740
[startup+99.9003 s]
/proc/loadavg: 2.09 2.05 2.00 3/183 20132
/proc/meminfo: memFree=31572764/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=7064 CPUtime=89.73 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 3887 76157 0 0 5 2 8943 23 20 0 1 0 384993972 7233536 1172 33554432000 4194304 6006132 140734010717904 140734010709312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 1766 1172 168 443 0 1319 0
[pid=20131] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20131/stat : 20131 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385002951 9367552 267 33554432000 4194304 5064252 140737371060112 140737371059024 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20131/statm: 2287 267 226 213 0 72 0
[pid=20132] ppid=20131 vsize=19380 CPUtime=10.09 cores=0,2,4,6
/proc/20132/stat : 20132 (glucose) R 20131 19949 17372 0 -1 4202496 3129 0 0 0 1009 0 0 0 20 0 1 0 385002951 19845120 3786 33554432000 4194304 5208918 140737335927360 140737335925304 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20132/statm: 4845 3786 102 248 0 4594 0
Current children cumulated CPU time (s) 99.82
Current children cumulated vsize (KiB) 44740
[startup+100.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/183 20132
/proc/meminfo: memFree=31570468/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=7064 CPUtime=89.73 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 3887 76157 0 0 5 2 8943 23 20 0 1 0 384993972 7233536 1172 33554432000 4194304 6006132 140734010717904 140734010709312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 1766 1172 168 443 0 1319 0
[pid=20131] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20131/stat : 20131 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385002951 9367552 267 33554432000 4194304 5064252 140737371060112 140737371059024 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20131/statm: 2287 267 226 213 0 72 0
[pid=20132] ppid=20131 vsize=19380 CPUtime=10.49 cores=0,2,4,6
/proc/20132/stat : 20132 (glucose) R 20131 19949 17372 0 -1 4202496 3188 0 0 0 1049 0 0 0 20 0 1 0 385002951 19845120 3844 33554432000 4194304 5208918 140737335927360 140737335925304 4229328 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20132/statm: 4845 3844 102 248 0 4594 0
Current children cumulated CPU time (s) 100.22
Current children cumulated vsize (KiB) 44740
[startup+100.7 s]
/proc/loadavg: 2.09 2.05 2.00 3/183 20132
/proc/meminfo: memFree=31570468/32873844 swapFree=7632/7632
[pid=19949] ppid=19947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19949/stat : 19949 (npSolver-wbo.sh) S 19947 19949 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384993971 9367552 275 33554432000 4194304 5064252 140736643607072 140736643605984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19949/statm: 2287 275 233 213 0 72 0
[pid=19950] ppid=19949 vsize=7064 CPUtime=89.73 cores=0,2,4,6
/proc/19950/stat : 19950 (npSolver-wbo) S 19949 19949 17372 0 -1 4202496 3887 76157 0 0 5 2 8943 23 20 0 1 0 384993972 7233536 1172 33554432000 4194304 6006132 140734010717904 140734010709312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19950/statm: 1766 1172 168 443 0 1319 0
[pid=20131] ppid=19950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20131/stat : 20131 (satsolver.sh) S 19950 19949 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385002951 9367552 267 33554432000 4194304 5064252 140737371060112 140737371059024 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20131/statm: 2287 267 226 213 0 72 0
[pid=20132] ppid=20131 vsize=19380 CPUtime=10.89 cores=0,2,4,6
/proc/20132/stat : 20132 (glucose) R 20131 19949 17372 0 -1 4202496 3240 0 0 0 1089 0 0 0 20 0 1 0 385002951 19845120 3895 33554432000 4194304 5208918 140737335927360 140737335925304 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20132/statm: 4845 3895 102 248 0 4594 0
Current children cumulated CPU time (s) 100.62
Current children cumulated vsize (KiB) 44740
Child status: 0
Real time (s): 100.748
CPU time (s): 100.707
CPU user time (s): 100.428
CPU system time (s): 0.278957
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (KiB): 52096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.428
system time used= 0.278957
maximum resident set size= 29872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87011
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 279
involuntary context switches= 222
runsolver used 0.219966 second user time and 0.526919 second system time
The end