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-3714915-1338187096/watcher-3714915-1338187096 -o /tmp/evaluation-result-3714915-1338187096/solver-3714915-1338187096 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714915-1338187096.wbo 797685854 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 1.99 1.99 2/179 5481
/proc/meminfo: memFree=31168304/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[startup+0.061655 s]
/proc/loadavg: 2.00 1.99 1.99 2/179 5481
/proc/meminfo: memFree=31168304/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100171 s]
/proc/loadavg: 2.00 1.99 1.99 2/179 5481
/proc/meminfo: memFree=31168304/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300155 s]
/proc/loadavg: 2.00 1.99 1.99 2/179 5481
/proc/meminfo: memFree=31168304/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700272 s]
/proc/loadavg: 2.00 1.99 1.99 2/179 5481
/proc/meminfo: memFree=31168304/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 1.99 1.99 3/183 5530
/proc/meminfo: memFree=31137400/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=12024 CPUtime=0.39 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 3243 6498 0 0 12 3 23 1 20 0 1 0 284838056 12312576 2184 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5482/statm: 3006 2184 166 439 0 2563 0
[pid=5508] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5508/stat : 5508 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284838097 9367552 266 33554432000 4194304 5064252 140735069019696 140735069018608 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5508/statm: 2287 266 226 213 0 72 0
[pid=5509] ppid=5508 vsize=20552 CPUtime=1.08 cores=0,2,4,6
/proc/5509/stat : 5509 (glucose) R 5508 5481 27229 0 -1 4202496 5226 0 0 0 107 1 0 0 20 0 1 0 284838097 21045248 4549 33554432000 4194304 5208918 140734140082528 140734140080200 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5509/statm: 5138 4549 96 248 0 4887 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 50872
[startup+3.10034 s]
/proc/loadavg: 2.00 1.99 1.99 3/183 5558
/proc/meminfo: memFree=31137484/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=12024 CPUtime=0.39 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 3243 6498 0 0 12 3 23 1 20 0 1 0 284838056 12312576 2184 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5482/statm: 3006 2184 166 439 0 2563 0
[pid=5508] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5508/stat : 5508 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284838097 9367552 266 33554432000 4194304 5064252 140735069019696 140735069018608 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5508/statm: 2287 266 226 213 0 72 0
[pid=5509] ppid=5508 vsize=20552 CPUtime=2.68 cores=0,2,4,6
/proc/5509/stat : 5509 (glucose) R 5508 5481 27229 0 -1 4202496 5236 0 0 0 267 1 0 0 20 0 1 0 284838097 21045248 4559 33554432000 4194304 5208918 140734140082528 140734140080200 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5509/statm: 5138 4559 96 248 0 4887 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 50872
[startup+6.30034 s]
/proc/loadavg: 2.00 1.99 1.99 3/183 5600
/proc/meminfo: memFree=31134804/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=12024 CPUtime=0.39 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 3243 6498 0 0 12 3 23 1 20 0 1 0 284838056 12312576 2184 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5482/statm: 3006 2184 166 439 0 2563 0
[pid=5508] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5508/stat : 5508 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284838097 9367552 266 33554432000 4194304 5064252 140735069019696 140735069018608 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5508/statm: 2287 266 226 213 0 72 0
[pid=5509] ppid=5508 vsize=20552 CPUtime=5.88 cores=0,2,4,6
/proc/5509/stat : 5509 (glucose) R 5508 5481 27229 0 -1 4202496 5321 0 0 0 587 1 0 0 20 0 1 0 284838097 21045248 4644 33554432000 4194304 5208918 140734140082528 140734140080200 4211668 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5509/statm: 5138 4644 96 248 0 4887 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 50872
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.99 3/183 5607
/proc/meminfo: memFree=31128316/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20088 CPUtime=12.6 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 4103 15960 0 0 22 4 1228 6 20 0 1 0 284838056 20570112 4646 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5482/statm: 5022 4646 166 439 0 4579 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 29236
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.99 3/183 5720
/proc/meminfo: memFree=31127404/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20088 CPUtime=22.66 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 5825 33248 0 0 41 6 2202 17 20 0 1 0 284838056 20570112 4646 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5482/statm: 5022 4646 166 439 0 4579 0
[pid=5712] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5712/stat : 5712 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284840324 9367552 267 33554432000 4194304 5064252 140733541429696 140733541428608 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5712/statm: 2287 267 226 213 0 72 0
[pid=5713] ppid=5712 vsize=20756 CPUtime=2.8 cores=0,2,4,6
/proc/5713/stat : 5713 (glucose) R 5712 5481 27229 0 -1 4202496 5346 0 0 0 279 1 0 0 20 0 1 0 284840324 21254144 4676 33554432000 4194304 5208918 140736732254672 140736732252520 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5713/statm: 5189 4676 96 248 0 4938 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 59140
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.99 3/183 5783
/proc/meminfo: memFree=31055048/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20088 CPUtime=37.44 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 7547 51115 0 0 60 8 3649 27 20 0 1 0 284838056 20570112 4646 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5482/statm: 5022 4646 166 439 0 4579 0
[pid=5761] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5761/stat : 5761 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284841804 9367552 267 33554432000 4194304 5064252 140733474083392 140733474082304 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5761/statm: 2287 267 226 213 0 72 0
[pid=5762] ppid=5761 vsize=24000 CPUtime=13.59 cores=0,2,4,6
/proc/5762/stat : 5762 (glucose) R 5761 5481 27229 0 -1 4202496 5483 0 0 0 1358 1 0 0 20 0 1 0 284841805 24576000 5514 33554432000 4194304 5208918 140734275768576 140734275766536 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5762/statm: 6000 5514 104 248 0 5749 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 62384
[startup+102.307 s]
/proc/loadavg: 2.05 2.00 2.00 3/183 5944
/proc/meminfo: memFree=31087992/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20000 CPUtime=96.83 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 21589 121106 0 0 129 17 9475 62 20 0 1 0 284838056 20480000 4135 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/5482/statm: 5000 4135 166 439 0 4557 0
[pid=5929] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5929/stat : 5929 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284847770 9367552 267 33554432000 4194304 5064252 140734296615280 140734296614192 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5929/statm: 2287 267 226 213 0 72 0
[pid=5930] ppid=5929 vsize=22580 CPUtime=5.15 cores=0,2,4,6
/proc/5930/stat : 5930 (glucose) R 5929 5481 27229 0 -1 4202496 4389 0 0 0 514 1 0 0 20 0 1 0 284847770 23121920 5078 33554432000 4194304 5208918 140735668597904 140735668596056 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5930/statm: 5645 5078 104 248 0 5394 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 60876
[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/184 6227
/proc/meminfo: memFree=31107340/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20000 CPUtime=161.92 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 34770 182266 0 0 184 26 15887 95 20 0 1 0 284838056 20480000 4135 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/5482/statm: 5000 4135 166 439 0 4557 0
Current children cumulated CPU time (s) 161.92
Current children cumulated vsize (KiB) 29148
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 6375
/proc/meminfo: memFree=31114480/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/8588/statm: 2287 267 226 213 0 72 0
[pid=8589] ppid=8588 vsize=6924 CPUtime=1.07 cores=0,2,4,6
/proc/8589/stat : 8589 (glucose) R 8588 5481 27229 0 -1 4202496 1683 0 0 0 107 0 0 0 20 0 1 0 284944178 7090176 1207 33554432000 4194304 5208918 140735433190560 140735433188504 4213115 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8589/statm: 1731 1207 102 248 0 1480 0
Current children cumulated CPU time (s) 1061.32
Current children cumulated vsize (KiB) 45340
Solver just ended. Dumping a history of the last processes samples
[startup+1075.1 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 8596
/proc/meminfo: memFree=30757548/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20120 CPUtime=1063.43 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 132575 1156152 0 0 709 97 104665 872 20 0 1 0 284838056 20602880 4646 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 16 0 0
/proc/5482/statm: 5030 4646 166 439 0 4587 0
[pid=8595] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284944495 9367552 267 33554432000 4194304 5064252 140733364950224 140733364949136 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 267 226 213 0 72 0
[pid=8596] ppid=8595 vsize=14908 CPUtime=10.69 cores=0,2,4,6
/proc/8596/stat : 8596 (glucose) R 8595 5481 27229 0 -1 4202496 3511 0 0 0 1069 0 0 0 20 0 1 0 284944495 15265792 2945 33554432000 4194304 5208918 140735522251840 140735522248216 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8596/statm: 3727 2945 103 248 0 3476 0
Current children cumulated CPU time (s) 1074.12
Current children cumulated vsize (KiB) 53324
[startup+1087.91 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 8596
/proc/meminfo: memFree=30747996/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20120 CPUtime=1063.43 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 132575 1156152 0 0 709 97 104665 872 20 0 1 0 284838056 20602880 4646 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 16 0 0
/proc/5482/statm: 5030 4646 166 439 0 4587 0
[pid=8595] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284944495 9367552 267 33554432000 4194304 5064252 140733364950224 140733364949136 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 267 226 213 0 72 0
[pid=8596] ppid=8595 vsize=21980 CPUtime=23.5 cores=0,2,4,6
/proc/8596/stat : 8596 (glucose) R 8595 5481 27229 0 -1 4202496 4698 0 0 0 2349 1 0 0 20 0 1 0 284944495 22507520 5064 33554432000 4194304 5208918 140735522251840 140735522248152 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8596/statm: 5495 5064 103 248 0 5244 0
Current children cumulated CPU time (s) 1086.93
Current children cumulated vsize (KiB) 60396
[startup+1100.7 s]
/proc/loadavg: 2.04 2.05 2.01 3/183 8596
/proc/meminfo: memFree=30742412/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20120 CPUtime=1063.43 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 132575 1156152 0 0 709 97 104665 872 20 0 1 0 284838056 20602880 4646 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 16 0 0
/proc/5482/statm: 5030 4646 166 439 0 4587 0
[pid=8595] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284944495 9367552 267 33554432000 4194304 5064252 140733364950224 140733364949136 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 267 226 213 0 72 0
[pid=8596] ppid=8595 vsize=26404 CPUtime=36.29 cores=0,2,4,6
/proc/8596/stat : 8596 (glucose) R 8595 5481 27229 0 -1 4202496 4773 0 0 0 3628 1 0 0 20 0 1 0 284944495 27037696 6154 33554432000 4194304 5208918 140735522251840 140735522248216 4229471 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8596/statm: 6601 6154 103 248 0 6350 0
Current children cumulated CPU time (s) 1099.72
Current children cumulated vsize (KiB) 64820
[startup+1107.1 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 8596
/proc/meminfo: memFree=30742412/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20120 CPUtime=1063.43 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 132575 1156152 0 0 709 97 104665 872 20 0 1 0 284838056 20602880 4646 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 16 0 0
/proc/5482/statm: 5030 4646 166 439 0 4587 0
[pid=8595] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284944495 9367552 267 33554432000 4194304 5064252 140733364950224 140733364949136 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 267 226 213 0 72 0
[pid=8596] ppid=8595 vsize=26404 CPUtime=42.69 cores=0,2,4,6
/proc/8596/stat : 8596 (glucose) R 8595 5481 27229 0 -1 4202496 4773 0 0 0 4268 1 0 0 20 0 1 0 284944495 27037696 6154 33554432000 4194304 5208918 140735522251840 140735522248152 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8596/statm: 6601 6154 103 248 0 6350 0
Current children cumulated CPU time (s) 1106.12
Current children cumulated vsize (KiB) 64820
[startup+1108.7 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 8596
/proc/meminfo: memFree=30742412/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20120 CPUtime=1063.43 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 132575 1156152 0 0 709 97 104665 872 20 0 1 0 284838056 20602880 4646 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 16 0 0
/proc/5482/statm: 5030 4646 166 439 0 4587 0
[pid=8595] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284944495 9367552 267 33554432000 4194304 5064252 140733364950224 140733364949136 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 267 226 213 0 72 0
[pid=8596] ppid=8595 vsize=26404 CPUtime=44.3 cores=0,2,4,6
/proc/8596/stat : 8596 (glucose) R 8595 5481 27229 0 -1 4202496 4773 0 0 0 4429 1 0 0 20 0 1 0 284944495 27037696 6154 33554432000 4194304 5208918 140735522251840 140735522248152 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8596/statm: 6601 6154 103 248 0 6350 0
Current children cumulated CPU time (s) 1107.73
Current children cumulated vsize (KiB) 64820
[startup+1110.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 8596
/proc/meminfo: memFree=30742412/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20120 CPUtime=1063.43 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 132575 1156152 0 0 709 97 104665 872 20 0 1 0 284838056 20602880 4646 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 16 0 0
/proc/5482/statm: 5030 4646 166 439 0 4587 0
[pid=8595] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284944495 9367552 267 33554432000 4194304 5064252 140733364950224 140733364949136 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 267 226 213 0 72 0
[pid=8596] ppid=8595 vsize=26404 CPUtime=45.89 cores=0,2,4,6
/proc/8596/stat : 8596 (glucose) R 8595 5481 27229 0 -1 4202496 4789 0 0 0 4588 1 0 0 20 0 1 0 284944495 27037696 6170 33554432000 4194304 5208918 140735522251840 140735522248152 4229549 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8596/statm: 6601 6170 103 248 0 6350 0
Current children cumulated CPU time (s) 1109.32
Current children cumulated vsize (KiB) 64820
[startup+1111.1 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 8596
/proc/meminfo: memFree=30742412/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20120 CPUtime=1063.43 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 132575 1156152 0 0 709 97 104665 872 20 0 1 0 284838056 20602880 4646 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 16 0 0
/proc/5482/statm: 5030 4646 166 439 0 4587 0
[pid=8595] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284944495 9367552 267 33554432000 4194304 5064252 140733364950224 140733364949136 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 267 226 213 0 72 0
[pid=8596] ppid=8595 vsize=26404 CPUtime=46.69 cores=0,2,4,6
/proc/8596/stat : 8596 (glucose) R 8595 5481 27229 0 -1 4202496 4789 0 0 0 4668 1 0 0 20 0 1 0 284944495 27037696 6170 33554432000 4194304 5208918 140735522251840 140735522248152 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8596/statm: 6601 6170 103 248 0 6350 0
Current children cumulated CPU time (s) 1110.12
Current children cumulated vsize (KiB) 64820
[startup+1111.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 8596
/proc/meminfo: memFree=30742412/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20120 CPUtime=1063.43 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 132575 1156152 0 0 709 97 104665 872 20 0 1 0 284838056 20602880 4646 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 16 0 0
/proc/5482/statm: 5030 4646 166 439 0 4587 0
[pid=8595] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284944495 9367552 267 33554432000 4194304 5064252 140733364950224 140733364949136 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 267 226 213 0 72 0
[pid=8596] ppid=8595 vsize=26404 CPUtime=46.89 cores=0,2,4,6
/proc/8596/stat : 8596 (glucose) R 8595 5481 27229 0 -1 4202496 4789 0 0 0 4688 1 0 0 20 0 1 0 284944495 27037696 6170 33554432000 4194304 5208918 140735522251840 140735522248152 4229824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8596/statm: 6601 6170 103 248 0 6350 0
Current children cumulated CPU time (s) 1110.32
Current children cumulated vsize (KiB) 64820
[startup+1111.4 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 8596
/proc/meminfo: memFree=30742412/32873844 swapFree=6872/6872
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (npSolver-wbo-It) S 5479 5481 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284838055 9367552 274 33554432000 4194304 5064252 140734202907552 140734202906464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5481/statm: 2287 274 233 213 0 72 0
[pid=5482] ppid=5481 vsize=20120 CPUtime=1063.43 cores=0,2,4,6
/proc/5482/stat : 5482 (npSolver-wbo) S 5481 5481 27229 0 -1 4202496 132575 1156152 0 0 709 97 104665 872 20 0 1 0 284838056 20602880 4646 33554432000 4194304 5990268 140733422182016 140733422173440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 16 0 0
/proc/5482/statm: 5030 4646 166 439 0 4587 0
[pid=8595] ppid=5482 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (satsolver.sh) S 5482 5481 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284944495 9367552 267 33554432000 4194304 5064252 140733364950224 140733364949136 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 267 226 213 0 72 0
[pid=8596] ppid=8595 vsize=26404 CPUtime=46.99 cores=0,2,4,6
/proc/8596/stat : 8596 (glucose) R 8595 5481 27229 0 -1 4202496 4789 0 0 0 4698 1 0 0 20 0 1 0 284944495 27037696 6170 33554432000 4194304 5208918 140735522251840 140735522248152 4229374 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8596/statm: 6601 6170 103 248 0 6350 0
Current children cumulated CPU time (s) 1110.42
Current children cumulated vsize (KiB) 64820
Child status: 0
Real time (s): 1111.5
CPU time (s): 1110.54
CPU user time (s): 1100.81
CPU system time (s): 9.72752
CPU usage (%): 99.9142
Max. virtual memory (cumulated for all children) (KiB): 163252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1100.81
system time used= 9.72752
maximum resident set size= 95568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1297853
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1049656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15184
involuntary context switches= 2486
runsolver used 2.22966 second user time and 6.26605 second system time
The end