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-3753606-1339190457/watcher-3753606-1339190457 -o /tmp/evaluation-result-3753606-1339190457/solver-3753606-1339190457 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753606-1339190457.wbo 314897846 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.03 2.02 2.00 3/180 10426
/proc/meminfo: memFree=29212980/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[startup+0.0218881 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 10426
/proc/meminfo: memFree=29212980/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100375 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 10426
/proc/meminfo: memFree=29212980/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300304 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 10426
/proc/meminfo: memFree=29212980/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700304 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 10426
/proc/meminfo: memFree=29212980/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/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.03 2.02 2.00 3/184 10440
/proc/meminfo: memFree=29147840/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=38216 CPUtime=0.34 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 4986 6171 0 0 22 4 7 1 20 0 1 0 385174252 39133184 8216 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10427/statm: 9554 8216 179 443 0 9107 0
[pid=10439] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10439/stat : 10439 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385174287 9367552 265 33554432000 4194304 5064252 140735040099152 140735040098064 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10439/statm: 2287 265 226 213 0 72 0
[pid=10440] ppid=10439 vsize=41892 CPUtime=1.13 cores=1,3,5,7
/proc/10440/stat : 10440 (glucose) R 10439 10426 6657 0 -1 4202496 9142 0 0 0 111 2 0 0 20 0 1 0 385174288 42897408 8607 33554432000 4194304 5208918 140736825308864 140736825306824 4229347 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10440/statm: 10473 8607 104 248 0 10222 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 98404
[startup+3.10037 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 10440
/proc/meminfo: memFree=29147088/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=38216 CPUtime=0.34 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 4986 6171 0 0 22 4 7 1 20 0 1 0 385174252 39133184 8216 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10427/statm: 9554 8216 179 443 0 9107 0
[pid=10439] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10439/stat : 10439 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385174287 9367552 265 33554432000 4194304 5064252 140735040099152 140735040098064 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10439/statm: 2287 265 226 213 0 72 0
[pid=10440] ppid=10439 vsize=42156 CPUtime=2.73 cores=1,3,5,7
/proc/10440/stat : 10440 (glucose) R 10439 10426 6657 0 -1 4202496 9313 0 0 0 271 2 0 0 20 0 1 0 385174288 43167744 8772 33554432000 4194304 5208918 140736825308864 140736825306712 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10440/statm: 10539 8772 105 248 0 10288 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 98668
[startup+6.30043 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 10454
/proc/meminfo: memFree=29149584/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=38216 CPUtime=4.92 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 7707 19334 0 0 40 6 437 9 20 0 1 0 385174252 39133184 8264 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10427/statm: 9554 8264 179 443 0 9107 0
[pid=10453] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10453/stat : 10453 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385174747 9367552 267 33554432000 4194304 5064252 140735885592208 140735885591120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10453/statm: 2287 267 226 213 0 72 0
[pid=10454] ppid=10453 vsize=41736 CPUtime=1.34 cores=1,3,5,7
/proc/10454/stat : 10454 (glucose) R 10453 10426 6657 0 -1 4202496 9101 0 0 0 132 2 0 0 20 0 1 0 385174747 42737664 8573 33554432000 4194304 5208918 140737050617728 140737050615688 4211122 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 10434 8573 104 248 0 10183 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 98248
[startup+12.7005 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 10454
/proc/meminfo: memFree=29140196/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=38216 CPUtime=4.92 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 7707 19334 0 0 40 6 437 9 20 0 1 0 385174252 39133184 8264 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10427/statm: 9554 8264 179 443 0 9107 0
[pid=10453] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10453/stat : 10453 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385174747 9367552 267 33554432000 4194304 5064252 140735885592208 140735885591120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10453/statm: 2287 267 226 213 0 72 0
[pid=10454] ppid=10453 vsize=42680 CPUtime=7.74 cores=1,3,5,7
/proc/10454/stat : 10454 (glucose) R 10453 10426 6657 0 -1 4202496 9531 0 0 0 772 2 0 0 20 0 1 0 385174747 43704320 9502 33554432000 4194304 5208918 140737050617728 140737050615576 4211126 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 10670 9502 105 248 0 10419 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 99192
[startup+25.5005 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 10468
/proc/meminfo: memFree=29146084/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=37980 CPUtime=22.07 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 13150 45332 0 0 75 12 2093 27 20 0 1 0 385174252 38891520 7753 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10427/statm: 9495 7753 180 443 0 9048 0
[pid=10467] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10467/stat : 10467 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385176460 9367552 267 33554432000 4194304 5064252 140733609186944 140733609185856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10467/statm: 2287 267 226 213 0 72 0
[pid=10468] ppid=10467 vsize=40504 CPUtime=3.41 cores=1,3,5,7
/proc/10468/stat : 10468 (glucose) R 10467 10426 6657 0 -1 4202496 8230 0 0 0 340 1 0 0 20 0 1 0 385176460 41476096 8228 33554432000 4194304 5208918 140733371704432 140733371702280 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10468/statm: 10126 8228 104 248 0 9875 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 96780
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 10524
/proc/meminfo: memFree=29150876/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=37980 CPUtime=48.55 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 32191 129298 0 0 186 27 4559 83 20 0 1 0 385174252 38891520 7753 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10427/statm: 9495 7753 180 443 0 9048 0
[pid=10523] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10523/stat : 10523 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385179109 9367552 267 33554432000 4194304 5064252 140736105731680 140736105730592 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10523/statm: 2287 267 226 213 0 72 0
[pid=10524] ppid=10523 vsize=31720 CPUtime=2.52 cores=1,3,5,7
/proc/10524/stat : 10524 (glucose) R 10523 10426 6657 0 -1 4202496 8203 0 0 0 250 2 0 0 20 0 1 0 385179109 32481280 7351 33554432000 4194304 5208918 140737077282576 140737077280536 4211674 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10524/statm: 7930 7351 104 248 0 7679 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 87996
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10587
/proc/meminfo: memFree=29152276/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=37980 CPUtime=100.67 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 51231 208195 0 0 288 43 9601 135 20 0 1 0 385174252 38891520 7753 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10427/statm: 9495 7753 180 443 0 9048 0
[pid=10586] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10586/stat : 10586 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385184338 9367552 267 33554432000 4194304 5064252 140737190803024 140737190801936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10586/statm: 2287 267 226 213 0 72 0
[pid=10587] ppid=10586 vsize=31324 CPUtime=1.43 cores=1,3,5,7
/proc/10587/stat : 10587 (glucose) R 10586 10426 6657 0 -1 4202496 7935 0 0 0 142 1 0 0 20 0 1 0 385184339 32075776 7086 33554432000 4194304 5208918 140734467146256 140734467144216 4211176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10587/statm: 7831 7086 104 248 0 7580 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 87600
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 10678
/proc/meminfo: memFree=29150624/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=37980 CPUtime=158 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 81151 332936 0 0 451 66 15068 215 20 0 1 0 385174252 38891520 7753 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10427/statm: 9495 7753 180 443 0 9048 0
[pid=10677] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/10775/statm: 2287 266 226 213 0 72 0
[pid=10776] ppid=10775 vsize=50368 CPUtime=114.69 cores=1,3,5,7
/proc/10776/stat : 10776 (glucose) R 10775 10426 6657 0 -1 4202496 8765 0 0 0 11467 2 0 0 20 0 1 0 385197010 51576832 10601 33554432000 4194304 5208918 140735468915728 140735468913672 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10776/statm: 12592 10601 96 248 0 12341 0
Current children cumulated CPU time (s) 341.85
Current children cumulated vsize (KiB) 89672
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10819
/proc/meminfo: memFree=29160208/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=21008 CPUtime=227.16 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 104728 476507 0 0 561 82 21741 332 20 0 1 0 385174252 21512192 4683 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10427/statm: 5252 4683 181 443 0 4805 0
[pid=10775] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10775/stat : 10775 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385197009 9367552 266 33554432000 4194304 5064252 140736997726960 140736997725872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10775/statm: 2287 266 226 213 0 72 0
[pid=10776] ppid=10775 vsize=50368 CPUtime=174.68 cores=1,3,5,7
/proc/10776/stat : 10776 (glucose) R 10775 10426 6657 0 -1 4202496 8769 0 0 0 17466 2 0 0 20 0 1 0 385197010 51576832 12137 33554432000 4194304 5208918 140735468915728 140735468913672 4229377 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10776/statm: 12592 12137 96 248 0 12341 0
Current children cumulated CPU time (s) 401.84
Current children cumulated vsize (KiB) 89672
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10833
/proc/meminfo: memFree=29157720/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=21008 CPUtime=227.16 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 104728 476507 0 0 561 82 21741 332 20 0 1 0 385174252 21512192 4683 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10427/statm: 5252 4683 181 443 0 4805 0
[pid=10775] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10775/stat : 10775 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385197009 9367552 266 33554432000 4194304 5064252 140736997726960 140736997725872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10775/statm: 2287 266 226 213 0 72 0
[pid=10776] ppid=10775 vsize=50368 CPUtime=234.67 cores=1,3,5,7
/proc/10776/stat : 10776 (glucose) R 10775 10426 6657 0 -1 4202496 8770 0 0 0 23465 2 0 0 20 0 1 0 385197010 51576832 12137 33554432000 4194304 5208918 140735468915728 140735468913672 4211670 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10776/statm: 12592 12137 96 248 0 12341 0
Current children cumulated CPU time (s) 461.83
Current children cumulated vsize (KiB) 89672
Solver just ended. Dumping a history of the last processes samples
[startup+473.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10833
/proc/meminfo: memFree=29154556/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=21008 CPUtime=227.16 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 104728 476507 0 0 561 82 21741 332 20 0 1 0 385174252 21512192 4683 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10427/statm: 5252 4683 181 443 0 4805 0
[pid=10775] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10775/stat : 10775 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385197009 9367552 266 33554432000 4194304 5064252 140736997726960 140736997725872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10775/statm: 2287 266 226 213 0 72 0
[pid=10776] ppid=10775 vsize=50368 CPUtime=245.87 cores=1,3,5,7
/proc/10776/stat : 10776 (glucose) R 10775 10426 6657 0 -1 4202496 9157 0 0 0 24584 3 0 0 20 0 1 0 385197010 51576832 12137 33554432000 4194304 5208918 140735468915728 140735468913816 4211871 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10776/statm: 12592 12137 96 248 0 12341 0
Current children cumulated CPU time (s) 473.03
Current children cumulated vsize (KiB) 89672
[startup+479.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10840
/proc/meminfo: memFree=29175232/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=21008 CPUtime=227.16 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 104728 476507 0 0 561 82 21741 332 20 0 1 0 385174252 21512192 4683 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10427/statm: 5252 4683 181 443 0 4805 0
[pid=10775] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10775/stat : 10775 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385197009 9367552 266 33554432000 4194304 5064252 140736997726960 140736997725872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10775/statm: 2287 266 226 213 0 72 0
[pid=10776] ppid=10775 vsize=50368 CPUtime=252.27 cores=1,3,5,7
/proc/10776/stat : 10776 (glucose) R 10775 10426 6657 0 -1 4202496 9157 0 0 0 25224 3 0 0 20 0 1 0 385197010 51576832 12137 33554432000 4194304 5208918 140735468915728 140735468913816 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10776/statm: 12592 12137 96 248 0 12341 0
Current children cumulated CPU time (s) 479.43
Current children cumulated vsize (KiB) 89672
[startup+483.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10840
/proc/meminfo: memFree=29169696/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=21008 CPUtime=227.16 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 104728 476507 0 0 561 82 21741 332 20 0 1 0 385174252 21512192 4683 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10427/statm: 5252 4683 181 443 0 4805 0
[pid=10775] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10775/stat : 10775 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385197009 9367552 266 33554432000 4194304 5064252 140736997726960 140736997725872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10775/statm: 2287 266 226 213 0 72 0
[pid=10776] ppid=10775 vsize=50368 CPUtime=255.47 cores=1,3,5,7
/proc/10776/stat : 10776 (glucose) R 10775 10426 6657 0 -1 4202496 9157 0 0 0 25544 3 0 0 20 0 1 0 385197010 51576832 12137 33554432000 4194304 5208918 140735468915728 140735468913816 4211570 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10776/statm: 12592 12137 96 248 0 12341 0
Current children cumulated CPU time (s) 482.63
Current children cumulated vsize (KiB) 89672
[startup+486.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10847
/proc/meminfo: memFree=29206744/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=21008 CPUtime=484.54 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 104876 489521 0 0 561 82 47471 340 20 0 1 0 385174252 21512192 4684 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10427/statm: 5252 4684 182 443 0 4805 0
[pid=10846] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10846/stat : 10846 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222751 9367552 266 33554432000 4194304 5064252 140733447521120 140733447520032 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10846/statm: 2287 266 226 213 0 72 0
[pid=10847] ppid=10846 vsize=7720 CPUtime=1.29 cores=1,3,5,7
/proc/10847/stat : 10847 (glucose) R 10846 10426 6657 0 -1 4202496 1859 0 0 0 129 0 0 0 20 0 1 0 385222752 7905280 1453 33554432000 4194304 5208918 140733318315664 140733318313528 4229299 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10847/statm: 1930 1453 101 248 0 1679 0
Current children cumulated CPU time (s) 485.83
Current children cumulated vsize (KiB) 47024
[startup+487.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10847
/proc/meminfo: memFree=29200960/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=21008 CPUtime=484.54 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 104876 489521 0 0 561 82 47471 340 20 0 1 0 385174252 21512192 4684 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10427/statm: 5252 4684 182 443 0 4805 0
[pid=10846] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10846/stat : 10846 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222751 9367552 266 33554432000 4194304 5064252 140733447521120 140733447520032 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10846/statm: 2287 266 226 213 0 72 0
[pid=10847] ppid=10846 vsize=9384 CPUtime=2.89 cores=1,3,5,7
/proc/10847/stat : 10847 (glucose) R 10846 10426 6657 0 -1 4202496 2290 0 0 0 289 0 0 0 20 0 1 0 385222752 9609216 1858 33554432000 4194304 5208918 140733318315664 140733318313528 4229338 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10847/statm: 2346 1858 101 248 0 2095 0
Current children cumulated CPU time (s) 487.43
Current children cumulated vsize (KiB) 48688
[startup+488.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10847
/proc/meminfo: memFree=29200464/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=21008 CPUtime=484.54 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 104876 489521 0 0 561 82 47471 340 20 0 1 0 385174252 21512192 4684 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10427/statm: 5252 4684 182 443 0 4805 0
[pid=10846] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10846/stat : 10846 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222751 9367552 266 33554432000 4194304 5064252 140733447521120 140733447520032 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10846/statm: 2287 266 226 213 0 72 0
[pid=10847] ppid=10846 vsize=9384 CPUtime=3.29 cores=1,3,5,7
/proc/10847/stat : 10847 (glucose) R 10846 10426 6657 0 -1 4202496 2290 0 0 0 329 0 0 0 20 0 1 0 385222752 9609216 1858 33554432000 4194304 5208918 140733318315664 140733318313528 4229728 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10847/statm: 2346 1858 101 248 0 2095 0
Current children cumulated CPU time (s) 487.83
Current children cumulated vsize (KiB) 48688
[startup+488.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10847
/proc/meminfo: memFree=29200464/32873844 swapFree=8660/8660
[pid=10426] ppid=10424 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10426/stat : 10426 (npSolver-wbo-It) S 10424 10426 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385174252 9367552 274 33554432000 4194304 5064252 140736904830496 140736904829408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10426/statm: 2287 274 233 213 0 72 0
[pid=10427] ppid=10426 vsize=21008 CPUtime=484.54 cores=1,3,5,7
/proc/10427/stat : 10427 (npSolver-wbo) S 10426 10426 6657 0 -1 4202496 104876 489521 0 0 561 82 47471 340 20 0 1 0 385174252 21512192 4684 33554432000 4194304 6006132 140733841318544 140733841309936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10427/statm: 5252 4684 182 443 0 4805 0
[pid=10846] ppid=10427 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10846/stat : 10846 (satsolver.sh) S 10427 10426 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222751 9367552 266 33554432000 4194304 5064252 140733447521120 140733447520032 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10846/statm: 2287 266 226 213 0 72 0
[pid=10847] ppid=10846 vsize=9384 CPUtime=3.49 cores=1,3,5,7
/proc/10847/stat : 10847 (glucose) R 10846 10426 6657 0 -1 4202496 2290 0 0 0 349 0 0 0 20 0 1 0 385222752 9609216 1858 33554432000 4194304 5208918 140733318315664 140733318313528 4212457 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10847/statm: 2346 1858 101 248 0 2095 0
Current children cumulated CPU time (s) 488.03
Current children cumulated vsize (KiB) 48688
Child status: 0
Real time (s): 488.567
CPU time (s): 488.124
CPU user time (s): 483.878
CPU system time (s): 4.24535
CPU usage (%): 99.9092
Max. virtual memory (cumulated for all children) (KiB): 138936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 483.878
system time used= 4.24535
maximum resident set size= 75804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601097
page faults= 0
swaps= 0
block input operations= 8
block output operations= 754912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5126
involuntary context switches= 961
runsolver used 1.09283 second user time and 2.91456 second system time
The end