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-3753261-1339208516/watcher-3753261-1339208516 -o /tmp/evaluation-result-3753261-1339208516/solver-3753261-1339208516 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753261-1339208516.wbo 356760538 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: 4.52 3.45 2.60 4/172 14168
/proc/meminfo: memFree=25220264/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[startup+0.0950921 s]
/proc/loadavg: 4.52 3.45 2.60 4/172 14168
/proc/meminfo: memFree=25220264/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100369 s]
/proc/loadavg: 4.52 3.45 2.60 4/172 14168
/proc/meminfo: memFree=25220264/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300174 s]
/proc/loadavg: 4.52 3.45 2.60 4/172 14168
/proc/meminfo: memFree=25220264/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700195 s]
/proc/loadavg: 4.52 3.45 2.60 4/172 14168
/proc/meminfo: memFree=25220264/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/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: 4.52 3.45 2.60 4/183 14189
/proc/meminfo: memFree=31329764/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=3100 CPUtime=0.18 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 1964 2747 0 1 2 0 16 0 20 0 1 0 386977525 3174400 385 33554432000 4194304 6006132 140733991418880 140733991413072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 775 385 158 443 0 328 0
[pid=14187] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14187/stat : 14187 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386977547 9367552 267 33554432000 4194304 5064252 140735164581264 140735164580176 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14187/statm: 2287 267 226 213 0 72 0
[pid=14189] ppid=14187 vsize=12880 CPUtime=1.26 cores=1,3,5,7
/proc/14189/stat : 14189 (glucose) R 14187 14168 13761 0 -1 4202496 2672 0 0 0 126 0 0 0 20 0 1 0 386977547 13189120 2231 33554432000 4194304 5208918 140735115180176 140735115178120 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14189/statm: 3220 2231 96 248 0 2969 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 34276
[startup+3.10034 s]
/proc/loadavg: 4.52 3.45 2.60 3/182 14189
/proc/meminfo: memFree=31317320/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=3100 CPUtime=0.18 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 1964 2747 0 1 2 0 16 0 20 0 1 0 386977525 3174400 385 33554432000 4194304 6006132 140733991418880 140733991413072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 775 385 158 443 0 328 0
[pid=14187] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14187/stat : 14187 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386977547 9367552 267 33554432000 4194304 5064252 140735164581264 140735164580176 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14187/statm: 2287 267 226 213 0 72 0
[pid=14189] ppid=14187 vsize=12880 CPUtime=2.86 cores=1,3,5,7
/proc/14189/stat : 14189 (glucose) R 14187 14168 13761 0 -1 4202496 3254 0 0 0 286 0 0 0 20 0 1 0 386977547 13189120 2803 33554432000 4194304 5208918 140735115180176 140735115178120 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14189/statm: 3220 2803 96 248 0 2969 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 34276
[startup+6.30034 s]
/proc/loadavg: 4.40 3.44 2.60 3/182 14189
/proc/meminfo: memFree=31310376/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=3100 CPUtime=0.18 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 1964 2747 0 1 2 0 16 0 20 0 1 0 386977525 3174400 385 33554432000 4194304 6006132 140733991418880 140733991413072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 775 385 158 443 0 328 0
[pid=14187] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14187/stat : 14187 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386977547 9367552 267 33554432000 4194304 5064252 140735164581264 140735164580176 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14187/statm: 2287 267 226 213 0 72 0
[pid=14189] ppid=14187 vsize=22676 CPUtime=6.07 cores=1,3,5,7
/proc/14189/stat : 14189 (glucose) R 14187 14168 13761 0 -1 4202496 3853 0 0 0 606 1 0 0 20 0 1 0 386977547 23220224 4932 33554432000 4194304 5208918 140735115180176 140735115178040 4229403 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14189/statm: 5669 4932 96 248 0 5418 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 44072
[startup+12.7003 s]
/proc/loadavg: 4.20 3.42 2.60 3/182 14196
/proc/meminfo: memFree=31295348/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=3100 CPUtime=0.18 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 1964 2747 0 1 2 0 16 0 20 0 1 0 386977525 3174400 385 33554432000 4194304 6006132 140733991418880 140733991413072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 775 385 158 443 0 328 0
[pid=14187] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14187/stat : 14187 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386977547 9367552 267 33554432000 4194304 5064252 140735164581264 140735164580176 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14187/statm: 2287 267 226 213 0 72 0
[pid=14189] ppid=14187 vsize=31588 CPUtime=12.46 cores=1,3,5,7
/proc/14189/stat : 14189 (glucose) R 14187 14168 13761 0 -1 4202496 5309 0 0 0 1245 1 0 0 20 0 1 0 386977547 32346112 5929 33554432000 4194304 5208918 140735115180176 140735115178120 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14189/statm: 7897 5929 96 248 0 7646 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 52984
[startup+25.5003 s]
/proc/loadavg: 3.79 3.36 2.59 3/182 14210
/proc/meminfo: memFree=31303804/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=17.06 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 2535 11453 0 1 3 2 1698 3 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
[pid=14202] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14202/stat : 14202 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386979235 9367552 267 33554432000 4194304 5064252 140734149707568 140734149706480 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14202/statm: 2287 267 226 213 0 72 0
[pid=14203] ppid=14202 vsize=24408 CPUtime=8.38 cores=1,3,5,7
/proc/14203/stat : 14203 (glucose) R 14202 14168 13761 0 -1 4202496 5070 0 0 0 837 1 0 0 20 0 1 0 386979235 24993792 5603 33554432000 4194304 5208918 140736371272224 140736371270168 4211871 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14203/statm: 6102 5603 96 248 0 5851 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 47728
[startup+51.1004 s]
/proc/loadavg: 3.31 3.28 2.59 3/182 14224
/proc/meminfo: memFree=31300660/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=47.25 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 3090 20297 0 1 4 2 4711 8 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
[pid=14223] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14223/stat : 14223 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386982255 9367552 266 33554432000 4194304 5064252 140736954101040 140736954099952 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14223/statm: 2287 266 226 213 0 72 0
[pid=14224] ppid=14223 vsize=17340 CPUtime=3.79 cores=1,3,5,7
/proc/14224/stat : 14224 (glucose) R 14223 14168 13761 0 -1 4202496 5074 0 0 0 378 1 0 0 20 0 1 0 386982255 17756160 3827 33554432000 4194304 5208918 140736108210064 140736108208008 4229745 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14224/statm: 4335 3827 96 248 0 4084 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 40660
[startup+102.307 s]
/proc/loadavg: 2.57 3.08 2.55 3/181 14259
/proc/meminfo: memFree=31289060/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=77.42 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 3645 29917 0 1 5 2 7722 13 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
[pid=14244] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14244/stat : 14244 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386985273 9367552 266 33554432000 4194304 5064252 140733379210784 140733379209696 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14244/statm: 2287 266 226 213 0 72 0
[pid=14245] ppid=14244 vsize=40336 CPUtime=24.8 cores=1,3,5,7
/proc/14245/stat : 14245 (glucose) R 14244 14168 13761 0 -1 4202496 6040 0 0 0 2479 1 0 0 20 0 1 0 386985273 41304064 9509 33554432000 4194304 5208918 140734616257648 140734616255640 4229538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14245/statm: 10084 9509 96 248 0 9833 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 63656
[startup+162.3 s]
/proc/loadavg: 2.21 2.88 2.52 3/181 14294
/proc/meminfo: memFree=31279124/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=138.43 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 4755 50814 0 1 7 3 13812 21 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
[pid=14286] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/15122/statm: 2287 267 226 213 0 72 0
[pid=15123] ppid=15122 vsize=24412 CPUtime=5.15 cores=1,3,5,7
/proc/15123/stat : 15123 (glucose) R 15122 14168 13761 0 -1 4202496 4662 0 0 0 515 0 0 0 20 0 1 0 387113238 24997888 4362 33554432000 4194304 5208918 140737030289904 140737030287992 4211878 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15123/statm: 6103 4362 96 248 0 5852 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 47732
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.11 3/181 15166
/proc/meminfo: memFree=31302508/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=1417.23 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 28065 463931 0 1 55 10 141453 205 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
[pid=15158] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15158/stat : 15158 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387119295 9367552 267 33554432000 4194304 5064252 140736287109264 140736287108176 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15158/statm: 2287 267 226 213 0 72 0
[pid=15159] ppid=15158 vsize=17340 CPUtime=4.59 cores=1,3,5,7
/proc/15159/stat : 15159 (glucose) R 15158 14168 13761 0 -1 4202496 4109 0 0 0 459 0 0 0 20 0 1 0 387119295 17756160 3827 33554432000 4194304 5208918 140733325183264 140733325181352 4229471 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15159/statm: 4335 3827 96 248 0 4084 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 40660
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/181 15201
/proc/meminfo: memFree=31294768/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=1478.33 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 29175 483858 0 1 57 10 147551 215 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
[pid=15200] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15200/stat : 15200 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387125408 9367552 267 33554432000 4194304 5064252 140737048696128 140737048695040 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15200/statm: 2287 267 226 213 0 72 0
[pid=15201] ppid=15200 vsize=24412 CPUtime=3.46 cores=1,3,5,7
/proc/15201/stat : 15201 (glucose) R 15200 14168 13761 0 -1 4202496 4924 0 0 0 345 1 0 0 20 0 1 0 387125408 24997888 4995 33554432000 4194304 5208918 140734492917200 140734492915144 4229731 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15201/statm: 6103 4995 96 248 0 5852 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 47732
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 15243
/proc/meminfo: memFree=31301832/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=1538.58 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 30285 503605 0 1 60 11 153563 224 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
[pid=15242] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15242/stat : 15242 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387131433 9367552 266 33554432000 4194304 5064252 140735933112656 140735933111568 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15242/statm: 2287 266 226 213 0 72 0
[pid=15243] ppid=15242 vsize=17340 CPUtime=3.2 cores=1,3,5,7
/proc/15243/stat : 15243 (glucose) R 15242 14168 13761 0 -1 4202496 4260 0 0 0 319 1 0 0 20 0 1 0 387131433 17756160 3771 33554432000 4194304 5208918 140735341078224 140735341076168 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15243/statm: 4335 3771 96 248 0 4084 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 40660
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 15285
/proc/meminfo: memFree=31303588/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=1599.98 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 31395 522264 0 1 62 11 159691 234 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
[pid=15284] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15284/stat : 15284 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387137575 9367552 267 33554432000 4194304 5064252 140735487001824 140735487000736 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15284/statm: 2287 267 226 213 0 72 0
[pid=15285] ppid=15284 vsize=14496 CPUtime=1.78 cores=1,3,5,7
/proc/15285/stat : 15285 (glucose) R 15284 14168 13761 0 -1 4202496 3585 0 0 0 178 0 0 0 20 0 1 0 387137575 14843904 2923 33554432000 4194304 5208918 140734565083392 140734565081240 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15285/statm: 3624 2923 96 248 0 3373 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 37816
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 15327
/proc/meminfo: memFree=31305060/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=1660.4 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 32505 541727 0 1 64 11 165722 243 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
[pid=15326] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15326/stat : 15326 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387143620 9367552 267 33554432000 4194304 5064252 140733678050624 140733678049536 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15326/statm: 2287 267 226 213 0 72 0
[pid=15327] ppid=15326 vsize=14340 CPUtime=1.33 cores=1,3,5,7
/proc/15327/stat : 15327 (glucose) R 15326 14168 13761 0 -1 4202496 3328 0 0 0 133 0 0 0 20 0 1 0 387143620 14684160 2696 33554432000 4194304 5208918 140737212563968 140737212562120 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15327/statm: 3585 2696 96 248 0 3334 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 37660
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/182 15366
/proc/meminfo: memFree=31283456/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=1721.45 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 33615 560262 0 1 66 12 171814 253 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
Current children cumulated CPU time (s) 1721.45
Current children cumulated vsize (KiB) 14172
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/181 15408
/proc/meminfo: memFree=31287560/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=1751.78 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 34170 570470 0 1 67 12 174841 258 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
[pid=15393] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15393/stat : 15393 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387152761 9367552 267 33554432000 4194304 5064252 140734686615552 140734686614464 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15393/statm: 2287 267 226 213 0 72 0
[pid=15394] ppid=15393 vsize=38800 CPUtime=29.92 cores=1,3,5,7
/proc/15394/stat : 15394 (glucose) R 15393 14168 13761 0 -1 4202496 7014 0 0 0 2990 2 0 0 20 0 1 0 387152761 39731200 7310 33554432000 4194304 5208918 140735631714976 140735631712920 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15394/statm: 9700 7310 96 248 0 9449 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 62120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.06 3/173 15445
/proc/meminfo: memFree=31311372/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=1782.61 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 34725 581340 0 1 69 12 177917 263 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
[pid=15414] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15414/stat : 15414 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387155845 9367552 267 33554432000 4194304 5064252 140735410797104 140735410796016 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15414/statm: 2287 267 226 213 0 72 0
[pid=15415] ppid=15414 vsize=28836 CPUtime=17.49 cores=1,3,5,7
/proc/15415/stat : 15415 (glucose) R 15414 14168 13761 0 -1 4202496 6062 0 0 0 1748 1 0 0 20 0 1 0 387155845 29528064 6685 33554432000 4194304 5208918 140734654218432 140734654216296 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15415/statm: 7209 6685 96 248 0 6958 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 52156
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.06 3/173 15445
/proc/meminfo: memFree=31311372/32873852 swapFree=6860/6860
[pid=14168] ppid=14165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14168/stat : 14168 (npSolver-wbo-It) S 14165 14168 13761 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386977525 9367552 275 33554432000 4194304 5064252 140734381824336 140734381823248 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14168/statm: 2287 275 233 213 0 72 0
[pid=14172] ppid=14168 vsize=5024 CPUtime=1782.61 cores=1,3,5,7
/proc/14172/stat : 14172 (npSolver-wbo) S 14168 14168 13761 0 -1 4202496 34725 581340 0 1 69 12 177917 263 20 0 1 0 386977525 5144576 824 33554432000 4194304 6006132 140733991418880 140733991410240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14172/statm: 1256 824 177 443 0 809 0
[pid=15414] ppid=14172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15414/stat : 15414 (satsolver.sh) S 14172 14168 13761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387155845 9367552 267 33554432000 4194304 5064252 140735410797104 140735410796016 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15414/statm: 2287 267 226 213 0 72 0
[pid=15415] ppid=15414 vsize=28836 CPUtime=17.49 cores=1,3,5,7
/proc/15415/stat : 15415 (glucose) R 15414 14168 13761 0 -1 4202496 6062 0 0 0 1748 1 0 0 20 0 1 0 387155845 29528064 6685 33554432000 4194304 5208918 140734654218432 140734654216296 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15415/statm: 7209 6685 96 248 0 6958 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 52156
Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.14
CPU user time (s): 1797.35
CPU system time (s): 2.78658
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 63656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.35
system time used= 2.78658
maximum resident set size= 38312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 623117
page faults= 1
swaps= 0
block input operations= 16
block output operations= 140096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3072
involuntary context switches= 2492
runsolver used 3.05253 second user time and 8.46471 second system time
The end