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-3752961-1339194867/watcher-3752961-1339194867 -o /tmp/evaluation-result-3752961-1339194867/solver-3752961-1339194867 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752961-1339194867.wbo 2054055240 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18252
/proc/meminfo: memFree=30796152/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[startup+0.05903 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18252
/proc/meminfo: memFree=30796152/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100282 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18252
/proc/meminfo: memFree=30796152/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18252
/proc/meminfo: memFree=30796152/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18252
/proc/meminfo: memFree=30796152/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18259
/proc/meminfo: memFree=30889472/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2112 CPUtime=0 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 1766 2105 0 0 0 0 0 0 20 0 1 0 385611247 2162688 203 33554432000 4194304 6006132 140736283463808 140736283458000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18253/statm: 528 203 157 443 0 81 0
[pid=18258] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18258/stat : 18258 (satsolver.sh) S 18253 18252 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385611249 9367552 266 33554432000 4194304 5064252 140735788694464 140735788693376 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18258/statm: 2287 266 226 213 0 72 0
[pid=18259] ppid=18258 vsize=10320 CPUtime=1.46 cores=0,2,4,6
/proc/18259/stat : 18259 (glucose) R 18258 18252 643 0 -1 4202496 3606 0 0 0 146 0 0 0 20 0 1 0 385611250 10567680 2126 33554432000 4194304 5208918 140735624334112 140735624332200 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18259/statm: 2580 2126 96 248 0 2329 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30728
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18259
/proc/meminfo: memFree=30877612/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2112 CPUtime=0 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 1766 2105 0 0 0 0 0 0 20 0 1 0 385611247 2162688 203 33554432000 4194304 6006132 140736283463808 140736283458000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18253/statm: 528 203 157 443 0 81 0
[pid=18258] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18258/stat : 18258 (satsolver.sh) S 18253 18252 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385611249 9367552 266 33554432000 4194304 5064252 140735788694464 140735788693376 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18258/statm: 2287 266 226 213 0 72 0
[pid=18259] ppid=18258 vsize=17388 CPUtime=3.07 cores=0,2,4,6
/proc/18259/stat : 18259 (glucose) R 18258 18252 643 0 -1 4202496 3842 0 0 0 306 1 0 0 20 0 1 0 385611250 17805312 3893 33554432000 4194304 5208918 140735624334112 140735624332056 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18259/statm: 4347 3893 96 248 0 4096 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 37796
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18266
/proc/meminfo: memFree=30872840/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=4.65 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 1869 9591 0 0 0 0 463 2 20 0 1 0 385611247 2322432 249 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18253/statm: 567 249 176 443 0 120 0
[pid=18265] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18265/stat : 18265 (satsolver.sh) S 18253 18252 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385611715 9367552 266 33554432000 4194304 5064252 140735251730848 140735251729760 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18265/statm: 2287 266 226 213 0 72 0
[pid=18266] ppid=18265 vsize=14828 CPUtime=1.61 cores=0,2,4,6
/proc/18266/stat : 18266 (glucose) R 18265 18252 643 0 -1 4202496 3823 0 0 0 161 0 0 0 20 0 1 0 385611715 15183872 2958 33554432000 4194304 5208918 140733770100496 140733770098360 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18266/statm: 3707 2958 96 248 0 3456 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 35392
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18273
/proc/meminfo: memFree=30846804/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=9.74 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 1951 17625 0 0 0 0 970 4 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=18272] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18272/stat : 18272 (satsolver.sh) S 18253 18252 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385612228 9367552 267 33554432000 4194304 5064252 140736772434048 140736772432960 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18272/statm: 2287 267 226 213 0 72 0
[pid=18273] ppid=18272 vsize=19644 CPUtime=2.88 cores=0,2,4,6
/proc/18273/stat : 18273 (glucose) R 18272 18252 643 0 -1 4202496 3839 0 0 0 288 0 0 0 20 0 1 0 385612228 20115456 3260 33554432000 4194304 5208918 140736597618960 140736597616904 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18273/statm: 4911 3260 96 248 0 4660 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 40208
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 18294
/proc/meminfo: memFree=30829848/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=24.82 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 2200 38786 0 0 0 0 2474 8 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=18293] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18293/stat : 18293 (satsolver.sh) S 18253 18252 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385613745 9367552 267 33554432000 4194304 5064252 140733651824976 140733651823888 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18293/statm: 2287 267 226 213 0 72 0
[pid=18294] ppid=18293 vsize=7596 CPUtime=0.52 cores=0,2,4,6
/proc/18294/stat : 18294 (glucose) R 18293 18252 643 0 -1 4202496 1521 0 0 0 52 0 0 0 20 0 1 0 385613745 7778304 1103 33554432000 4194304 5208918 140737232477536 140737232475688 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18294/statm: 1899 1103 96 248 0 1648 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 28160
[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 18381
/proc/meminfo: memFree=30960440/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=50 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 2615 74707 0 0 1 1 4982 16 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=18380] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18380/stat : 18380 (satsolver.sh) S 18253 18252 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385616271 9367552 267 33554432000 4194304 5064252 140733845280080 140733845278992 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18380/statm: 2287 267 226 213 0 72 0
[pid=18381] ppid=18380 vsize=7752 CPUtime=0.85 cores=0,2,4,6
/proc/18381/stat : 18381 (glucose) R 18380 18252 643 0 -1 4202496 2777 0 0 0 85 0 0 0 20 0 1 0 385616271 7938048 1465 33554432000 4194304 5208918 140737480217312 140733845279016 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18381/statm: 1938 1465 95 248 0 1687 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 28316
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 18452
/proc/meminfo: memFree=30922152/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=100.34 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 3445 146481 0 0 1 1 9999 33 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=18450] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18450/stat : 18450 (satsolver.sh) S 18253 18252 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385621311 9367552 267 33554432000 4194304 5064252 140737170745600 140737170744512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18450/statm: 2287 267 226 213 0 72 0
[pid=18451] ppid=18450 vsize=14828 CPUtime=1.65 cores=0,2,4,6
/proc/18451/stat : 18451 (glucose) R 18450 18252 643 0 -1 4202496 3427 0 0 0 165 0 0 0 20 0 1 0 385621312 15183872 2707 33554432000 4194304 5208918 140737386378848 140737386376712 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18451/statm: 3707 2707 96 248 0 3456 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 35392
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 18536
/proc/meminfo: memFree=30893452/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=160.55 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 4441 230640 0 0 2 1 16000 52 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=18535] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=1353.1 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 24112 1903673 0 0 18 12 134798 482 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=20240] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20240/stat : 20240 (satsolver.sh) S 18253 18252 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385747041 9367552 267 33554432000 4194304 5064252 140734727765216 140734727764128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20240/statm: 2287 267 226 213 0 72 0
[pid=20241] ppid=20240 vsize=19640 CPUtime=4.32 cores=0,2,4,6
/proc/20241/stat : 20241 (glucose) R 20240 18252 643 0 -1 4202496 3752 0 0 0 432 0 0 0 20 0 1 0 385747041 20111360 3260 33554432000 4194304 5208918 140735367015584 140735367013528 4229538 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/20241/statm: 4910 3260 96 248 0 4659 0
Current children cumulated CPU time (s) 1357.42
Current children cumulated vsize (KiB) 40204
[startup+1423.14 s]
/proc/loadavg: 2.05 2.04 2.01 3/183 20311
/proc/meminfo: memFree=30879312/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=1413.43 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 25108 1988277 0 0 19 16 140786 522 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
Current children cumulated CPU time (s) 1413.43
Current children cumulated vsize (KiB) 11416
[startup+1483.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/183 20402
/proc/meminfo: memFree=30970584/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=1473.8 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 26104 2071213 0 0 20 19 146779 562 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
Current children cumulated CPU time (s) 1473.8
Current children cumulated vsize (KiB) 11416
[startup+1542.3 s]
/proc/loadavg: 1.87 2.00 1.99 3/186 20503
/proc/meminfo: memFree=30875124/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=1534.26 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 27100 2156173 0 0 21 22 152782 601 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=20500] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20500/stat : 20500 (satsolver.sh) S 18253 18252 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385765113 9367552 267 33554432000 4194304 5064252 140737121564816 140737121563728 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20500/statm: 2287 267 226 213 0 72 0
[pid=20501] ppid=20500 vsize=19644 CPUtime=3.6 cores=0,2,4,6
/proc/20501/stat : 20501 (glucose) R 20500 18252 643 0 -1 4202496 3646 0 0 0 360 0 0 0 20 0 1 0 385765114 20115456 3260 33554432000 4194304 5208918 140734399226224 140734399224168 4229328 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/20501/statm: 4911 3260 96 248 0 4660 0
Current children cumulated CPU time (s) 1537.86
Current children cumulated vsize (KiB) 40208
[startup+1602.3 s]
/proc/loadavg: 3.87 2.63 2.21 3/184 20609
/proc/meminfo: memFree=30863092/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=1594.78 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 28096 2242523 0 0 22 26 158793 637 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=20608] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20608/stat : 20608 (satsolver.sh) S 18253 18252 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385771155 9367552 267 33554432000 4194304 5064252 140733274642352 140733274641264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20608/statm: 2287 267 226 213 0 72 0
[pid=20609] ppid=20608 vsize=19640 CPUtime=3.21 cores=0,2,4,6
/proc/20609/stat : 20609 (glucose) R 20608 18252 643 0 -1 4202496 3741 0 0 0 320 1 0 0 20 0 1 0 385771155 20111360 3260 33554432000 4194304 5208918 140734636726672 140734636724616 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20609/statm: 4910 3260 96 248 0 4659 0
Current children cumulated CPU time (s) 1597.99
Current children cumulated vsize (KiB) 40204
[startup+1662.3 s]
/proc/loadavg: 2.72 2.53 2.20 3/183 20694
/proc/meminfo: memFree=30915428/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=1655.19 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 29092 2329026 0 0 23 26 164812 658 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=20693] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20693/stat : 20693 (satsolver.sh) S 18253 18252 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385777200 9367552 267 33554432000 4194304 5064252 140733828761488 140733828760400 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20693/statm: 2287 267 226 213 0 72 0
[pid=20694] ppid=20693 vsize=19644 CPUtime=2.76 cores=0,2,4,6
/proc/20694/stat : 20694 (glucose) R 20693 18252 643 0 -1 4202496 3707 0 0 0 276 0 0 0 20 0 1 0 385777200 20115456 3259 33554432000 4194304 5208918 140735078085664 140735078083608 4229717 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20694/statm: 4911 3259 95 248 0 4660 0
Current children cumulated CPU time (s) 1657.95
Current children cumulated vsize (KiB) 40208
[startup+1722.3 s]
/proc/loadavg: 2.26 2.43 2.18 3/183 20785
/proc/meminfo: memFree=30937888/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=1715.35 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 30088 2413653 0 0 24 26 170805 680 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=20784] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20784/stat : 20784 (satsolver.sh) S 18253 18252 643 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385783228 9367552 267 33554432000 4194304 5064252 140734601831408 140734601830320 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20784/statm: 2287 267 226 213 0 72 0
[pid=20785] ppid=20784 vsize=19640 CPUtime=2.47 cores=0,2,4,6
/proc/20785/stat : 20785 (glucose) R 20784 18252 643 0 -1 4202496 3860 0 0 0 247 0 0 0 20 0 1 0 385783228 20111360 3260 33554432000 4194304 5208918 140734363765408 140734363763352 4231504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20785/statm: 4910 3260 96 248 0 4659 0
Current children cumulated CPU time (s) 1717.82
Current children cumulated vsize (KiB) 40204
[startup+1782.31 s]
/proc/loadavg: 2.10 2.35 2.17 3/183 20869
/proc/meminfo: memFree=30878808/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=1775.72 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 31084 2500338 0 0 25 27 176820 700 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=20868] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20868/stat : 20868 (satsolver.sh) S 18253 18252 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385789278 9367552 266 33554432000 4194304 5064252 140736174096048 140736174094960 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20868/statm: 2287 266 226 213 0 72 0
[pid=20869] ppid=20868 vsize=14828 CPUtime=1.98 cores=0,2,4,6
/proc/20869/stat : 20869 (glucose) R 20868 18252 643 0 -1 4202496 3570 0 0 0 198 0 0 0 20 0 1 0 385789278 15183872 2872 33554432000 4194304 5208918 140737004658432 140737004656424 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20869/statm: 3707 2872 95 248 0 3456 0
Current children cumulated CPU time (s) 1777.7
Current children cumulated vsize (KiB) 35392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.7 s]
/proc/loadavg: 2.06 2.32 2.16 3/183 20897
/proc/meminfo: memFree=30876588/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=1795.82 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 31416 2528096 0 0 25 27 178823 707 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=20896] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20896/stat : 20896 (satsolver.sh) S 18253 18252 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385791290 9367552 266 33554432000 4194304 5064252 140733227036048 140733227034960 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20896/statm: 2287 266 226 213 0 72 0
[pid=20897] ppid=20896 vsize=19644 CPUtime=4.26 cores=0,2,4,6
/proc/20897/stat : 20897 (glucose) R 20896 18252 643 0 -1 4202496 4125 0 0 0 426 0 0 0 20 0 1 0 385791290 20115456 3259 33554432000 4194304 5208918 140735342137472 140735342135416 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20897/statm: 4911 3259 95 248 0 4660 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 40208
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1804.7 s]
/proc/loadavg: 2.06 2.32 2.16 3/183 20897
/proc/meminfo: memFree=30876588/32873844 swapFree=9160/9160
[pid=18252] ppid=18250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18252/stat : 18252 (npSolver-wbo-It) S 18250 18252 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385611247 9367552 274 33554432000 4194304 5064252 140736949444384 140736949443296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18252/statm: 2287 274 233 213 0 72 0
[pid=18253] ppid=18252 vsize=2268 CPUtime=1795.82 cores=0,2,4,6
/proc/18253/stat : 18253 (npSolver-wbo) S 18252 18252 643 0 -1 4202496 31416 2528096 0 0 25 27 178823 707 20 0 1 0 385611247 2322432 253 33554432000 4194304 6006132 140736283463808 140736283455168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/18253/statm: 567 253 176 443 0 120 0
[pid=20896] ppid=18253 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20896/stat : 20896 (satsolver.sh) S 18253 18252 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385791290 9367552 266 33554432000 4194304 5064252 140733227036048 140733227034960 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20896/statm: 2287 266 226 213 0 72 0
[pid=20897] ppid=20896 vsize=19644 CPUtime=4.26 cores=0,2,4,6
/proc/20897/stat : 20897 (glucose) R 20896 18252 643 0 -1 4202496 4125 0 0 0 426 0 0 0 20 0 1 0 385791290 20115456 3259 33554432000 4194304 5208918 140735342137472 140735342135416 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20897/statm: 4911 3259 95 248 0 4660 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 40208
Child status: 0
Real time (s): 1804.71
CPU time (s): 1800.12
CPU user time (s): 1792.75
CPU system time (s): 7.36588
CPU usage (%): 99.7456
Max. virtual memory (cumulated for all children) (KiB): 44868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.75
system time used= 7.36588
maximum resident set size= 29264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2564627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5787
involuntary context switches= 5695
runsolver used 2.23166 second user time and 6.27505 second system time
The end