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-3753597-1339190510/watcher-3753597-1339190510 -o /tmp/evaluation-result-3753597-1339190510/solver-3753597-1339190510 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753597-1339190510.wbo 2009898704 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.08 2.03 2.00 3/179 1025
/proc/meminfo: memFree=31384440/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[startup+0.0261881 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 1025
/proc/meminfo: memFree=31384440/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100231 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 1025
/proc/meminfo: memFree=31384440/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300295 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 1025
/proc/meminfo: memFree=31384440/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700239 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 1025
/proc/meminfo: memFree=31384440/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 1039
/proc/meminfo: memFree=31343152/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20788 CPUtime=0.21 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 4696 5848 0 0 11 3 6 1 20 0 1 0 385177893 21286912 4317 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5197 4317 179 443 0 4750 0
[pid=1038] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1038/stat : 1038 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385177916 9367552 267 33554432000 4194304 5064252 140737448087456 140737448086368 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1038/statm: 2287 267 226 213 0 72 0
[pid=1039] ppid=1038 vsize=21032 CPUtime=1.25 cores=1,3,5,7
/proc/1039/stat : 1039 (glucose) R 1038 1025 5861 0 -1 4202496 5258 0 0 0 124 1 0 0 20 0 1 0 385177916 21536768 4707 33554432000 4194304 5208918 140734050648544 140734050646216 4211904 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1039/statm: 5258 4707 105 248 0 5007 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 60116
[startup+3.10032 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 1039
/proc/meminfo: memFree=31342284/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20788 CPUtime=2.94 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 7049 14987 0 0 20 4 264 6 20 0 1 0 385177893 21286912 4317 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5197 4317 179 443 0 4750 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 29936
[startup+6.30033 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 1046
/proc/meminfo: memFree=31341636/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20788 CPUtime=2.94 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 7049 14987 0 0 20 4 264 6 20 0 1 0 385177893 21286912 4317 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5197 4317 179 443 0 4750 0
[pid=1045] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1045/stat : 1045 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385178189 9367552 266 33554432000 4194304 5064252 140737127247152 140737127246064 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1045/statm: 2287 266 226 213 0 72 0
[pid=1046] ppid=1045 vsize=20752 CPUtime=3.33 cores=1,3,5,7
/proc/1046/stat : 1046 (glucose) R 1045 1025 5861 0 -1 4202496 5145 0 0 0 332 1 0 0 20 0 1 0 385178189 21250048 4600 33554432000 4194304 5208918 140733853574512 140733853572264 4210976 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1046/statm: 5188 4600 104 248 0 4937 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 59836
[startup+12.7004 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 1055
/proc/meminfo: memFree=31339092/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20788 CPUtime=11.67 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 9402 23775 0 0 30 5 1120 12 20 0 1 0 385177893 21286912 4317 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5197 4317 179 443 0 4750 0
[pid=1054] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1054/stat : 1054 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385179060 9367552 267 33554432000 4194304 5064252 140736740605776 140736740604688 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1054/statm: 2287 267 226 213 0 72 0
[pid=1055] ppid=1054 vsize=20844 CPUtime=1.01 cores=1,3,5,7
/proc/1055/stat : 1055 (glucose) R 1054 1025 5861 0 -1 4202496 5079 0 0 0 100 1 0 0 20 0 1 0 385179061 21344256 4657 33554432000 4194304 5208918 140733232288304 140733232286472 4229460 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1055/statm: 5211 4657 104 248 0 4960 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 59928
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 1107
/proc/meminfo: memFree=31350772/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20788 CPUtime=25.3 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 28226 91107 0 0 99 12 2371 48 20 0 1 0 385177893 21286912 4829 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5197 4829 179 443 0 4750 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 29936
[startup+51.1003 s]
/proc/loadavg: 1.95 2.01 1.99 3/183 1181
/proc/meminfo: memFree=31341836/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20788 CPUtime=50.91 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 54109 185389 0 0 189 20 4785 97 20 0 1 0 385177893 21286912 4829 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5197 4829 179 443 0 4750 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 29936
[startup+102.307 s]
/proc/loadavg: 1.98 2.00 1.99 3/183 1405
/proc/meminfo: memFree=31344540/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20788 CPUtime=102.13 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 124707 420109 0 0 409 44 9546 214 20 0 1 0 385177893 21286912 4829 33554432000 4194304 6006132 140735891697872 140735891688752 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5197 4829 179 443 0 4750 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 29936
[startup+162.3 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 1499
/proc/meminfo: memFree=31253104/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=37448 CPUtime=155.35 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 156138 593414 0 0 537 62 14566 370 20 0 1 0 385177893 38346752 7391 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 9362 7391 181 443 0 8915 0
[pid=1498] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385193439 9367552 267 33554432000 4194304 5064252 140737091635216 140737091634128 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1498/statm: 2287 267 226 213 0 72 0
[pid=1499] ppid=1498 vsize=79460 CPUtime=6.82 cores=1,3,5,7
/proc/1499/stat : 1499 (glucose) R 1498 1025 5861 0 -1 4202496 16285 0 0 0 679 3 0 0 20 0 1 0 385193439 81367040 17812 33554432000 4194304 5208918 140736974394192 140736974392040 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1499/statm: 19865 17812 95 248 0 19614 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 135204
############
# WARNING:
# current cumulated CPU time (171.91 s) is less than in the last sample (179.18 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (7.26999 s) to the 'lost time'.
[startup+179.307 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 1513
/proc/meminfo: memFree=31248912/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=37416 CPUtime=171.91 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 161882 638688 0 0 562 66 16147 416 20 0 1 0 385177893 38313984 7391 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 9354 7391 181 443 0 8907 0
################
# More data... #
################
/proc/meminfo: memFree=31235072/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20884 CPUtime=294.04 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 201336 946470 0 0 724 90 27867 723 20 0 1 0 385177893 21385216 4833 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5221 4833 181 443 0 4774 0
[pid=1630] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1630/stat : 1630 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385207310 9367552 267 33554432000 4194304 5064252 140737105381600 140737105380512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1630/statm: 2287 267 226 213 0 72 0
[pid=1631] ppid=1630 vsize=96112 CPUtime=468.04 cores=1,3,5,7
/proc/1631/stat : 1631 (glucose) R 1630 1025 5861 0 -1 4202496 15504 0 0 0 46800 4 0 0 20 0 1 0 385207311 98418688 21219 33554432000 4194304 5208918 140733858731232 140733858729176 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1631/statm: 24028 21219 96 248 0 23777 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 135292
Solver just ended. Dumping a history of the last processes samples
[startup+767.9 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 1635
/proc/meminfo: memFree=31234948/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20884 CPUtime=294.04 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 201336 946470 0 0 724 90 27867 723 20 0 1 0 385177893 21385216 4833 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5221 4833 181 443 0 4774 0
[pid=1630] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1630/stat : 1630 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385207310 9367552 267 33554432000 4194304 5064252 140737105381600 140737105380512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1630/statm: 2287 267 226 213 0 72 0
[pid=1631] ppid=1630 vsize=96112 CPUtime=473.63 cores=1,3,5,7
/proc/1631/stat : 1631 (glucose) R 1630 1025 5861 0 -1 4202496 15504 0 0 0 47359 4 0 0 20 0 1 0 385207311 98418688 21219 33554432000 4194304 5208918 140733858731232 140733858729176 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1631/statm: 24028 21219 96 248 0 23777 0
Current children cumulated CPU time (s) 767.67
Current children cumulated vsize (KiB) 135292
[startup+774.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 1635
/proc/meminfo: memFree=31234952/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20884 CPUtime=294.04 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 201336 946470 0 0 724 90 27867 723 20 0 1 0 385177893 21385216 4833 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5221 4833 181 443 0 4774 0
[pid=1630] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1630/stat : 1630 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385207310 9367552 267 33554432000 4194304 5064252 140737105381600 140737105380512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1630/statm: 2287 267 226 213 0 72 0
[pid=1631] ppid=1630 vsize=96112 CPUtime=480.03 cores=1,3,5,7
/proc/1631/stat : 1631 (glucose) R 1630 1025 5861 0 -1 4202496 15504 0 0 0 47999 4 0 0 20 0 1 0 385207311 98418688 21219 33554432000 4194304 5208918 140733858731232 140733858729176 4211726 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1631/statm: 24028 21219 96 248 0 23777 0
Current children cumulated CPU time (s) 774.07
Current children cumulated vsize (KiB) 135292
[startup+780.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 1643
/proc/meminfo: memFree=31315556/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20884 CPUtime=775.31 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 201499 966943 0 0 724 90 75979 738 20 0 1 0 385177893 21385216 4833 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5221 4833 181 443 0 4774 0
[pid=1642] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1642/stat : 1642 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385255446 9367552 267 33554432000 4194304 5064252 140736456966384 140736456965296 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1642/statm: 2287 267 226 213 0 72 0
[pid=1643] ppid=1642 vsize=12648 CPUtime=5.15 cores=1,3,5,7
/proc/1643/stat : 1643 (glucose) R 1642 1025 5861 0 -1 4202496 2348 0 0 0 515 0 0 0 20 0 1 0 385255446 12951552 2534 33554432000 4194304 5208918 140735493499312 140735493497256 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1643/statm: 3162 2534 96 248 0 2911 0
Current children cumulated CPU time (s) 780.46
Current children cumulated vsize (KiB) 51828
[startup+782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 1643
/proc/meminfo: memFree=31313572/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20884 CPUtime=775.31 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 201499 966943 0 0 724 90 75979 738 20 0 1 0 385177893 21385216 4833 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5221 4833 181 443 0 4774 0
[pid=1642] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1642/stat : 1642 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385255446 9367552 267 33554432000 4194304 5064252 140736456966384 140736456965296 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1642/statm: 2287 267 226 213 0 72 0
[pid=1643] ppid=1642 vsize=15324 CPUtime=6.75 cores=1,3,5,7
/proc/1643/stat : 1643 (glucose) R 1642 1025 5861 0 -1 4202496 3025 0 0 0 675 0 0 0 20 0 1 0 385255446 15691776 3167 33554432000 4194304 5208918 140735493499312 140735493497256 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1643/statm: 3831 3167 96 248 0 3580 0
Current children cumulated CPU time (s) 782.06
Current children cumulated vsize (KiB) 54504
[startup+783.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 1643
/proc/meminfo: memFree=31312580/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20884 CPUtime=775.31 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 201499 966943 0 0 724 90 75979 738 20 0 1 0 385177893 21385216 4833 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5221 4833 181 443 0 4774 0
[pid=1642] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1642/stat : 1642 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385255446 9367552 267 33554432000 4194304 5064252 140736456966384 140736456965296 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1642/statm: 2287 267 226 213 0 72 0
[pid=1643] ppid=1642 vsize=15324 CPUtime=7.56 cores=1,3,5,7
/proc/1643/stat : 1643 (glucose) R 1642 1025 5861 0 -1 4202496 3112 0 0 0 756 0 0 0 20 0 1 0 385255446 15691776 3253 33554432000 4194304 5208918 140735493499312 140735493497176 4229460 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1643/statm: 3831 3253 96 248 0 3580 0
Current children cumulated CPU time (s) 782.87
Current children cumulated vsize (KiB) 54504
[startup+783.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 1643
/proc/meminfo: memFree=31312580/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20884 CPUtime=775.31 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 201499 966943 0 0 724 90 75979 738 20 0 1 0 385177893 21385216 4833 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5221 4833 181 443 0 4774 0
[pid=1642] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1642/stat : 1642 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385255446 9367552 267 33554432000 4194304 5064252 140736456966384 140736456965296 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1642/statm: 2287 267 226 213 0 72 0
[pid=1643] ppid=1642 vsize=15324 CPUtime=7.95 cores=1,3,5,7
/proc/1643/stat : 1643 (glucose) R 1642 1025 5861 0 -1 4202496 3116 0 0 0 795 0 0 0 20 0 1 0 385255446 15691776 3257 33554432000 4194304 5208918 140735493499312 140735493497176 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1643/statm: 3831 3257 96 248 0 3580 0
Current children cumulated CPU time (s) 783.26
Current children cumulated vsize (KiB) 54504
[startup+783.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 1643
/proc/meminfo: memFree=31312580/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20884 CPUtime=775.31 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 201499 966943 0 0 724 90 75979 738 20 0 1 0 385177893 21385216 4833 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5221 4833 181 443 0 4774 0
[pid=1642] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1642/stat : 1642 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385255446 9367552 267 33554432000 4194304 5064252 140736456966384 140736456965296 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1642/statm: 2287 267 226 213 0 72 0
[pid=1643] ppid=1642 vsize=15324 CPUtime=8.15 cores=1,3,5,7
/proc/1643/stat : 1643 (glucose) R 1642 1025 5861 0 -1 4202496 3170 0 0 0 815 0 0 0 20 0 1 0 385255446 15691776 3308 33554432000 4194304 5208918 140735493499312 140735493497176 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1643/statm: 3831 3308 96 248 0 3580 0
Current children cumulated CPU time (s) 783.46
Current children cumulated vsize (KiB) 54504
[startup+783.8 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 1643
/proc/meminfo: memFree=31312580/32873648 swapFree=7376/7376
[pid=1025] ppid=1023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1025/stat : 1025 (npSolver-wbo-It) S 1023 1025 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385177892 9367552 274 33554432000 4194304 5064252 140734692597696 140734692596608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1025/statm: 2287 274 233 213 0 72 0
[pid=1026] ppid=1025 vsize=20884 CPUtime=775.31 cores=1,3,5,7
/proc/1026/stat : 1026 (npSolver-wbo) S 1025 1025 5861 0 -1 4202496 201499 966943 0 0 724 90 75979 738 20 0 1 0 385177893 21385216 4833 33554432000 4194304 6006132 140735891697872 140735891689264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1026/statm: 5221 4833 181 443 0 4774 0
[pid=1642] ppid=1026 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1642/stat : 1642 (satsolver.sh) S 1026 1025 5861 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385255446 9367552 267 33554432000 4194304 5064252 140736456966384 140736456965296 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1642/statm: 2287 267 226 213 0 72 0
[pid=1643] ppid=1642 vsize=15324 CPUtime=8.25 cores=1,3,5,7
/proc/1643/stat : 1643 (glucose) R 1642 1025 5861 0 -1 4202496 3183 0 0 0 825 0 0 0 20 0 1 0 385255446 15691776 3319 33554432000 4194304 5208918 140735493499312 140735493497176 4211162 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1643/statm: 3831 3319 96 248 0 3580 0
Current children cumulated CPU time (s) 783.56
Current children cumulated vsize (KiB) 54504
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 7.26999
# lost CPU user time (s): 7.23
# lost CPU system time (s): 0.04
Real time (s): 783.871
CPU time (s): 790.942
CPU user time (s): 782.591
CPU system time (s): 8.35074
CPU usage (%): 100.902
Max. virtual memory (cumulated for all children) (KiB): 163080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 775.361
system time used= 8.31074
maximum resident set size= 91204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1176030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1095936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13127
involuntary context switches= 1887
runsolver used 1.21182 second user time and 3.09753 second system time
The end