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-3754875-1339200593/watcher-3754875-1339200593 -o /tmp/evaluation-result-3754875-1339200593/solver-3754875-1339200593 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754875-1339200593.wbo 811588047 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.22 2.11 2.04 3/177 17066
/proc/meminfo: memFree=16453920/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[startup+0.062575 s]
/proc/loadavg: 2.22 2.11 2.04 3/177 17066
/proc/meminfo: memFree=16453920/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100357 s]
/proc/loadavg: 2.22 2.11 2.04 3/177 17066
/proc/meminfo: memFree=16453920/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300306 s]
/proc/loadavg: 2.22 2.11 2.04 3/177 17066
/proc/meminfo: memFree=16453920/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700276 s]
/proc/loadavg: 2.22 2.11 2.04 3/177 17066
/proc/meminfo: memFree=16453920/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 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.22 2.11 2.04 3/181 17070
/proc/meminfo: memFree=16340204/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=55968 CPUtime=0.75 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 8809 0 0 0 58 17 0 0 20 0 1 0 386187745 57311232 13636 33554432000 4194304 6006132 140736522542032 140736522535136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17067/statm: 13992 13636 155 443 0 13545 0
[pid=17069] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17069/stat : 17069 (cp2_pre.sh) S 17067 17066 12876 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 386187821 9367552 277 33554432000 4194304 5064252 140735398545008 140735398543712 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17069/statm: 2287 277 234 213 0 72 0
[pid=17070] ppid=17069 vsize=71320 CPUtime=0.71 cores=1,3,5,7
/proc/17070/stat : 17070 (coprocessor) R 17069 17066 12876 0 -1 4202496 12428 0 0 0 69 2 0 0 20 0 1 0 386187822 73031680 16912 33554432000 4194304 6586260 140733707502048 140733707497416 5511711 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/17070/statm: 17830 16912 189 584 0 17242 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 145584
[startup+3.10033 s]
/proc/loadavg: 2.22 2.11 2.04 3/181 17070
/proc/meminfo: memFree=16330156/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=55968 CPUtime=0.75 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 8809 0 0 0 58 17 0 0 20 0 1 0 386187745 57311232 13636 33554432000 4194304 6006132 140736522542032 140736522535136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17067/statm: 13992 13636 155 443 0 13545 0
[pid=17069] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17069/stat : 17069 (cp2_pre.sh) S 17067 17066 12876 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 386187821 9367552 277 33554432000 4194304 5064252 140735398545008 140735398543712 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17069/statm: 2287 277 234 213 0 72 0
[pid=17070] ppid=17069 vsize=72376 CPUtime=2.31 cores=1,3,5,7
/proc/17070/stat : 17070 (coprocessor) R 17069 17066 12876 0 -1 4202496 12676 0 0 0 229 2 0 0 20 0 1 0 386187822 74113024 17160 33554432000 4194304 6586260 140733707502048 140733707497640 5599312 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/17070/statm: 18094 17160 189 584 0 17506 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 146640
[startup+6.30036 s]
/proc/loadavg: 2.20 2.11 2.03 3/179 17078
/proc/meminfo: memFree=16247716/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=525632 CPUtime=6.27 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) R 17066 17066 12876 0 -1 4202496 34216 23991 0 0 267 36 317 7 20 0 1 0 386187745 538247168 88541 33554432000 4194304 6006132 140736522542032 140736522534744 5057718 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17067/statm: 131408 88541 177 443 0 130961 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 534780
[startup+12.7003 s]
/proc/loadavg: 2.18 2.11 2.03 3/180 17081
/proc/meminfo: memFree=15305840/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1180992 CPUtime=12.67 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) R 17066 17066 12876 0 -1 4202496 35859 23991 0 0 884 59 317 7 20 0 1 0 386187745 1209335808 177117 33554432000 4194304 6006132 140736522542032 140736522534392 4537521 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17067/statm: 295248 177117 177 443 0 294801 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1190140
[startup+25.5004 s]
/proc/loadavg: 2.30 2.13 2.04 3/182 17083
/proc/meminfo: memFree=13135048/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1102972 CPUtime=17.98 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 36732 23991 0 0 1285 189 317 7 20 0 1 0 386187745 1129443328 228781 33554432000 4194304 6006132 140736522542032 140736522533440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/17067/statm: 275743 228781 178 443 0 275296 0
[pid=17082] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (satsolver.sh) S 17067 17066 12876 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386189549 9367552 267 33554432000 4194304 5064252 140736020406144 140736020405056 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17082/statm: 2287 267 226 213 0 72 0
[pid=17083] ppid=17082 vsize=1786532 CPUtime=7.43 cores=1,3,5,7
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 160057 0 0 0 682 61 0 0 20 0 1 0 386189550 1829408768 384412 33554432000 4194304 5208918 140737203672112 140737202621512 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 446633 384413 70 248 0 446382 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 2907800
[startup+51.1004 s]
/proc/loadavg: 2.25 2.14 2.05 3/182 17083
/proc/meminfo: memFree=12834504/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1102972 CPUtime=17.98 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 36732 23991 0 0 1285 189 317 7 20 0 1 0 386187745 1129443328 228781 33554432000 4194304 6006132 140736522542032 140736522533440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/17067/statm: 275743 228781 178 443 0 275296 0
[pid=17082] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (satsolver.sh) S 17067 17066 12876 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386189549 9367552 267 33554432000 4194304 5064252 140736020406144 140736020405056 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17082/statm: 2287 267 226 213 0 72 0
[pid=17083] ppid=17082 vsize=2118980 CPUtime=33.03 cores=1,3,5,7
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 234108 0 0 0 3214 89 0 0 20 0 1 0 386189550 2169835520 452592 33554432000 4194304 5208918 140737203672112 140737203669864 4205556 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 529745 452592 104 248 0 529494 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 3240248
[startup+102.3 s]
/proc/loadavg: 2.11 2.11 2.04 3/181 17083
/proc/meminfo: memFree=12830640/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1102972 CPUtime=17.98 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 36732 23991 0 0 1285 189 317 7 20 0 1 0 386187745 1129443328 228781 33554432000 4194304 6006132 140736522542032 140736522533440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/17067/statm: 275743 228781 178 443 0 275296 0
[pid=17082] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (satsolver.sh) S 17067 17066 12876 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386189549 9367552 267 33554432000 4194304 5064252 140736020406144 140736020405056 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17082/statm: 2287 267 226 213 0 72 0
[pid=17083] ppid=17082 vsize=2121288 CPUtime=84.22 cores=1,3,5,7
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 234691 0 0 0 8332 90 0 0 20 0 1 0 386189550 2172198912 453686 33554432000 4194304 5208918 140737203672112 140737203670072 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 530322 453686 104 248 0 530071 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 3242556
[startup+162.307 s]
/proc/loadavg: 2.04 2.09 2.04 3/181 17083
/proc/meminfo: memFree=12814448/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1102972 CPUtime=17.98 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 36732 23991 0 0 1285 189 317 7 20 0 1 0 386187745 1129443328 228781 33554432000 4194304 6006132 140736522542032 140736522533440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/17067/statm: 275743 228781 178 443 0 275296 0
[pid=17082] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (satsolver.sh) S 17067 17066 12876 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386189549 9367552 267 33554432000 4194304 5064252 140736020406144 140736020405056 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17082/statm: 2287 267 226 213 0 72 0
[pid=17083] ppid=17082 vsize=2127204 CPUtime=144.21 cores=1,3,5,7
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 236153 0 0 0 14331 90 0 0 20 0 1 0 386189550 2178256896 457703 33554432000 4194304 5208918 140737203672112 140737203669864 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 531801 457703 104 248 0 531550 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 3248472
[startup+222.3 s]
/proc/loadavg: 2.01 2.07 2.03 3/181 17084
/proc/meminfo: memFree=12801916/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 243065 0 0 0 134309 95 0 0 20 0 1 0 386189550 2206859264 483011 33554432000 4194304 5208918 140737203672112 140737203669960 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 538784 483011 104 248 0 538533 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 3276404
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 17094
/proc/meminfo: memFree=12711080/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1102972 CPUtime=17.98 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 36732 23991 0 0 1285 189 317 7 20 0 1 0 386187745 1129443328 228781 33554432000 4194304 6006132 140736522542032 140736522533440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/17067/statm: 275743 228781 178 443 0 275296 0
[pid=17082] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (satsolver.sh) S 17067 17066 12876 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386189549 9367552 267 33554432000 4194304 5064252 140736020406144 140736020405056 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17082/statm: 2287 267 226 213 0 72 0
[pid=17083] ppid=17082 vsize=2155268 CPUtime=1404.02 cores=1,3,5,7
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 243095 0 0 0 140307 95 0 0 20 0 1 0 386189550 2206994432 483041 33554432000 4194304 5208918 140737203672112 140737203669960 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 538817 483041 104 248 0 538566 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 3276536
[startup+1482.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17094
/proc/meminfo: memFree=12701000/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1102972 CPUtime=17.98 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 36732 23991 0 0 1285 189 317 7 20 0 1 0 386187745 1129443328 228781 33554432000 4194304 6006132 140736522542032 140736522533440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/17067/statm: 275743 228781 178 443 0 275296 0
[pid=17082] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (satsolver.sh) S 17067 17066 12876 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386189549 9367552 267 33554432000 4194304 5064252 140736020406144 140736020405056 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17082/statm: 2287 267 226 213 0 72 0
[pid=17083] ppid=17082 vsize=2159120 CPUtime=1464.01 cores=1,3,5,7
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 244072 0 0 0 146306 95 0 0 20 0 1 0 386189550 2210938880 485551 33554432000 4194304 5208918 140737203672112 140737203669784 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 539780 485551 104 248 0 539529 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 3280388
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17094
/proc/meminfo: memFree=12700956/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1102972 CPUtime=17.98 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 36732 23991 0 0 1285 189 317 7 20 0 1 0 386187745 1129443328 228781 33554432000 4194304 6006132 140736522542032 140736522533440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/17067/statm: 275743 228781 178 443 0 275296 0
[pid=17082] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (satsolver.sh) S 17067 17066 12876 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386189549 9367552 267 33554432000 4194304 5064252 140736020406144 140736020405056 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17082/statm: 2287 267 226 213 0 72 0
[pid=17083] ppid=17082 vsize=2159120 CPUtime=1524 cores=1,3,5,7
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 244074 0 0 0 152305 95 0 0 20 0 1 0 386189550 2210938880 485553 33554432000 4194304 5208918 140737203672112 140737203669784 4211156 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 539780 485553 104 248 0 539529 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 3280388
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17094
/proc/meminfo: memFree=12701060/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1102972 CPUtime=17.98 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 36732 23991 0 0 1285 189 317 7 20 0 1 0 386187745 1129443328 228781 33554432000 4194304 6006132 140736522542032 140736522533440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/17067/statm: 275743 228781 178 443 0 275296 0
[pid=17082] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (satsolver.sh) S 17067 17066 12876 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386189549 9367552 267 33554432000 4194304 5064252 140736020406144 140736020405056 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17082/statm: 2287 267 226 213 0 72 0
[pid=17083] ppid=17082 vsize=2159120 CPUtime=1583.99 cores=1,3,5,7
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 244075 0 0 0 158304 95 0 0 20 0 1 0 386189550 2210938880 485554 33554432000 4194304 5208918 140737203672112 140737203669784 4211160 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 539780 485554 104 248 0 539529 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 3280388
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17146
/proc/meminfo: memFree=24196356/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1102972 CPUtime=17.98 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 36732 23991 0 0 1285 189 317 7 20 0 1 0 386187745 1129443328 228781 33554432000 4194304 6006132 140736522542032 140736522533440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/17067/statm: 275743 228781 178 443 0 275296 0
[pid=17082] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (satsolver.sh) S 17067 17066 12876 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386189549 9367552 267 33554432000 4194304 5064252 140736020406144 140736020405056 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17082/statm: 2287 267 226 213 0 72 0
[pid=17083] ppid=17082 vsize=2159120 CPUtime=1643.98 cores=1,3,5,7
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 244077 0 0 0 164303 95 0 0 20 0 1 0 386189550 2210938880 485556 33554432000 4194304 5208918 140737203672112 140737203669784 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 539780 485556 104 248 0 539529 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 3280388
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 17147
/proc/meminfo: memFree=23348264/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1102972 CPUtime=17.98 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 36732 23991 0 0 1285 189 317 7 20 0 1 0 386187745 1129443328 228781 33554432000 4194304 6006132 140736522542032 140736522533440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/17067/statm: 275743 228781 178 443 0 275296 0
[pid=17082] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (satsolver.sh) S 17067 17066 12876 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386189549 9367552 267 33554432000 4194304 5064252 140736020406144 140736020405056 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17082/statm: 2287 267 226 213 0 72 0
[pid=17083] ppid=17082 vsize=2159120 CPUtime=1703.97 cores=1,3,5,7
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 244078 0 0 0 170302 95 0 0 20 0 1 0 386189550 2210938880 485557 33554432000 4194304 5208918 140737203672112 140737203669784 4211111 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 539780 485557 104 248 0 539529 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 3280388
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 17147
/proc/meminfo: memFree=23335368/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1102972 CPUtime=17.98 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 36732 23991 0 0 1285 189 317 7 20 0 1 0 386187745 1129443328 228781 33554432000 4194304 6006132 140736522542032 140736522533440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/17067/statm: 275743 228781 178 443 0 275296 0
[pid=17082] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (satsolver.sh) S 17067 17066 12876 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386189549 9367552 267 33554432000 4194304 5064252 140736020406144 140736020405056 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17082/statm: 2287 267 226 213 0 72 0
[pid=17083] ppid=17082 vsize=2159120 CPUtime=1763.96 cores=1,3,5,7
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 244081 0 0 0 176301 95 0 0 20 0 1 0 386189550 2210938880 485560 33554432000 4194304 5208918 140737203672112 140737203669784 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 539780 485560 104 248 0 539529 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 3280388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 17147
/proc/meminfo: memFree=23332328/32873844 swapFree=7124/7124
[pid=17066] ppid=17064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (npSolver-wbo.sh) S 17064 17066 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386187744 9367552 275 33554432000 4194304 5064252 140736001660704 140736001659616 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17066/statm: 2287 275 233 213 0 72 0
[pid=17067] ppid=17066 vsize=1102972 CPUtime=17.98 cores=1,3,5,7
/proc/17067/stat : 17067 (npSolver-wbo) S 17066 17066 12876 0 -1 4202496 36732 23991 0 0 1285 189 317 7 20 0 1 0 386187745 1129443328 228781 33554432000 4194304 6006132 140736522542032 140736522533440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/17067/statm: 275743 228781 178 443 0 275296 0
[pid=17082] ppid=17067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17082/stat : 17082 (satsolver.sh) S 17067 17066 12876 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386189549 9367552 267 33554432000 4194304 5064252 140736020406144 140736020405056 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17082/statm: 2287 267 226 213 0 72 0
[pid=17083] ppid=17082 vsize=2159120 CPUtime=1782.07 cores=1,3,5,7
/proc/17083/stat : 17083 (glucose) R 17082 17066 12876 0 -1 4202496 244083 0 0 0 178112 95 0 0 20 0 1 0 386189550 2210938880 485562 33554432000 4194304 5208918 140737203672112 140737203669784 4211570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 539780 485562 104 248 0 539529 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3280388
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17066 and gives
# childrusage.ru_utime.tv_sec=16
# childrusage.ru_utime.tv_usec=32562
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=978699
# CPU time returned by wait4() is 18.0113
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.05
CPU user time (s): 1797.14
CPU system time (s): 2.91
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 4117920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0326
system time used= 1.9787
maximum resident set size= 1776528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61702
page faults= 0
swaps= 0
block input operations= 32
block output operations= 1739272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270
involuntary context switches= 45
runsolver used 3.65744 second user time and 9.29759 second system time
The end