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-3753916-1339199156/watcher-3753916-1339199156 -o /tmp/evaluation-result-3753916-1339199156/solver-3753916-1339199156 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753916-1339199156.wbo 888550365 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.01 2.04 2.00 3/179 29455
/proc/meminfo: memFree=27396328/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[startup+0.0842769 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 29455
/proc/meminfo: memFree=27396328/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100189 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 29455
/proc/meminfo: memFree=27396328/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300152 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 29455
/proc/meminfo: memFree=27396328/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700176 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 29455
/proc/meminfo: memFree=27396328/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 29469
/proc/meminfo: memFree=27300268/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38980 CPUtime=0.41 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 4829 6601 0 0 27 4 10 0 20 0 1 0 386041392 39915520 9062 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29456/statm: 9745 9062 179 443 0 9298 0
[pid=29468] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29468/stat : 29468 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386041436 9367552 266 33554432000 4194304 5064252 140736499785328 140736499784240 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29468/statm: 2287 266 226 213 0 72 0
[pid=29469] ppid=29468 vsize=51968 CPUtime=1.04 cores=1,3,5,7
/proc/29469/stat : 29469 (glucose) R 29468 29455 19799 0 -1 4202496 11195 0 0 0 102 2 0 0 20 0 1 0 386041436 53215232 11224 33554432000 4194304 5208918 140735727190416 140735727188376 4205203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29469/statm: 12992 11224 104 248 0 12741 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 109244
[startup+3.10027 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 29469
/proc/meminfo: memFree=27299524/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38980 CPUtime=0.41 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 4829 6601 0 0 27 4 10 0 20 0 1 0 386041392 39915520 9062 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29456/statm: 9745 9062 179 443 0 9298 0
[pid=29468] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29468/stat : 29468 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386041436 9367552 266 33554432000 4194304 5064252 140736499785328 140736499784240 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29468/statm: 2287 266 226 213 0 72 0
[pid=29469] ppid=29468 vsize=52416 CPUtime=2.65 cores=1,3,5,7
/proc/29469/stat : 29469 (glucose) R 29468 29455 19799 0 -1 4202496 11292 0 0 0 262 3 0 0 20 0 1 0 386041436 53673984 11321 33554432000 4194304 5208918 140735727190416 140735727188376 4211156 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29469/statm: 13104 11321 104 248 0 12853 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 109692
[startup+6.30029 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 29476
/proc/meminfo: memFree=27303352/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38980 CPUtime=0.41 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 4829 6601 0 0 27 4 10 0 20 0 1 0 386041392 39915520 9062 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29456/statm: 9745 9062 179 443 0 9298 0
[pid=29468] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29468/stat : 29468 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386041436 9367552 266 33554432000 4194304 5064252 140736499785328 140736499784240 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29468/statm: 2287 266 226 213 0 72 0
[pid=29469] ppid=29468 vsize=52904 CPUtime=5.85 cores=1,3,5,7
/proc/29469/stat : 29469 (glucose) R 29468 29455 19799 0 -1 4202496 11443 0 0 0 582 3 0 0 20 0 1 0 386041436 54173696 11472 33554432000 4194304 5208918 140735727190416 140735727188376 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29469/statm: 13226 11472 105 248 0 12975 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 110180
[startup+12.7004 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 29476
/proc/meminfo: memFree=27300312/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38980 CPUtime=0.41 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 4829 6601 0 0 27 4 10 0 20 0 1 0 386041392 39915520 9062 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29456/statm: 9745 9062 179 443 0 9298 0
[pid=29468] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29468/stat : 29468 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386041436 9367552 266 33554432000 4194304 5064252 140736499785328 140736499784240 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29468/statm: 2287 266 226 213 0 72 0
[pid=29469] ppid=29468 vsize=53168 CPUtime=12.25 cores=1,3,5,7
/proc/29469/stat : 29469 (glucose) R 29468 29455 19799 0 -1 4202496 11847 0 0 0 1222 3 0 0 20 0 1 0 386041436 54444032 11873 33554432000 4194304 5208918 140735727190416 140735727188264 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29469/statm: 13292 11873 105 248 0 13041 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 110444
[startup+25.5004 s]
/proc/loadavg: 2.15 2.07 2.01 3/183 29490
/proc/meminfo: memFree=27298996/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38980 CPUtime=17.82 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 7893 22959 0 0 50 7 1713 12 20 0 1 0 386041392 39915520 9154 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9745 9154 179 443 0 9298 0
[pid=29489] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29489/stat : 29489 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386043208 9367552 267 33554432000 4194304 5064252 140735107587664 140735107586576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29489/statm: 2287 267 226 213 0 72 0
[pid=29490] ppid=29489 vsize=52748 CPUtime=7.33 cores=1,3,5,7
/proc/29490/stat : 29490 (glucose) R 29489 29455 19799 0 -1 4202496 11482 0 0 0 730 3 0 0 20 0 1 0 386043208 54013952 11732 33554432000 4194304 5208918 140733732849440 140733732847400 4211537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29490/statm: 13187 11732 105 248 0 12936 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 110024
[startup+51.1004 s]
/proc/loadavg: 2.10 2.06 2.01 3/183 29504
/proc/meminfo: memFree=27296740/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38980 CPUtime=36.45 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 10959 39299 0 0 74 9 3539 23 20 0 1 0 386041392 39915520 9155 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9745 9155 180 443 0 9298 0
[pid=29496] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29496/stat : 29496 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386045072 9367552 266 33554432000 4194304 5064252 140736809386720 140736809385632 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29496/statm: 2287 266 226 213 0 72 0
[pid=29497] ppid=29496 vsize=60460 CPUtime=14.28 cores=1,3,5,7
/proc/29497/stat : 29497 (glucose) R 29496 29455 19799 0 -1 4202496 12463 0 0 0 1425 3 0 0 20 0 1 0 386045072 61911040 12518 33554432000 4194304 5208918 140734468641216 140734468638968 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29497/statm: 15115 12518 105 248 0 14864 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 117736
[startup+102.306 s]
/proc/loadavg: 2.16 2.08 2.01 3/183 29540
/proc/meminfo: memFree=27290716/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38980 CPUtime=66.19 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 17089 69838 0 0 121 15 6439 44 20 0 1 0 386041392 39915520 9155 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9745 9155 180 443 0 9298 0
[pid=29524] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29524/stat : 29524 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386048051 9367552 267 33554432000 4194304 5064252 140736667283168 140736667282080 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29524/statm: 2287 267 226 213 0 72 0
[pid=29525] ppid=29524 vsize=60924 CPUtime=35.7 cores=1,3,5,7
/proc/29525/stat : 29525 (glucose) R 29524 29455 19799 0 -1 4202496 12231 0 0 0 3567 3 0 0 20 0 1 0 386048051 62386176 13764 33554432000 4194304 5208918 140734133346400 140734133344248 4211628 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29525/statm: 15231 13764 105 248 0 14980 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 118200
[startup+162.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 29596
/proc/meminfo: memFree=27310156/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38980 CPUtime=155.72 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 26284 118425 0 0 190 25 15281 76 20 0 1 0 386041392 39915520 9155 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9745 9155 180 443 0 9298 0
[pid=29581] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.06 2.00 2.00 3/183 31778
/proc/meminfo: memFree=27332340/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38644 CPUtime=1170.89 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 145795 712270 0 0 1038 132 115460 459 20 0 1 0 386041392 39571456 8131 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9661 8131 180 443 0 9214 0
[pid=30103] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30103/stat : 30103 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386158560 9367552 267 33554432000 4194304 5064252 140736965617824 140736965616736 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30103/statm: 2287 267 226 213 0 72 0
[pid=30104] ppid=30103 vsize=72560 CPUtime=250.58 cores=1,3,5,7
/proc/30104/stat : 30104 (glucose) R 30103 29455 19799 0 -1 4202496 11770 0 0 0 25056 2 0 0 20 0 1 0 386158560 74301440 14879 33554432000 4194304 5208918 140734829536640 140734829534728 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30104/statm: 18140 14879 104 248 0 17889 0
Current children cumulated CPU time (s) 1421.47
Current children cumulated vsize (KiB) 129500
[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/184 31809
/proc/meminfo: memFree=27305916/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38644 CPUtime=1170.89 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 145795 712270 0 0 1038 132 115460 459 20 0 1 0 386041392 39571456 8131 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9661 8131 180 443 0 9214 0
[pid=30103] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30103/stat : 30103 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386158560 9367552 267 33554432000 4194304 5064252 140736965617824 140736965616736 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30103/statm: 2287 267 226 213 0 72 0
[pid=30104] ppid=30103 vsize=91460 CPUtime=310.56 cores=1,3,5,7
/proc/30104/stat : 30104 (glucose) R 30103 29455 19799 0 -1 4202496 11775 0 0 0 31054 2 0 0 20 0 1 0 386158560 93655040 16417 33554432000 4194304 5208918 140734829536640 140734829534584 4211558 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30104/statm: 22865 16417 104 248 0 22614 0
Current children cumulated CPU time (s) 1481.45
Current children cumulated vsize (KiB) 148400
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 31844
/proc/meminfo: memFree=27308740/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38644 CPUtime=1170.89 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 145795 712270 0 0 1038 132 115460 459 20 0 1 0 386041392 39571456 8131 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9661 8131 180 443 0 9214 0
[pid=30103] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30103/stat : 30103 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386158560 9367552 267 33554432000 4194304 5064252 140736965617824 140736965616736 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30103/statm: 2287 267 226 213 0 72 0
[pid=30104] ppid=30103 vsize=91460 CPUtime=370.55 cores=1,3,5,7
/proc/30104/stat : 30104 (glucose) R 30103 29455 19799 0 -1 4202496 12173 0 0 0 37053 2 0 0 20 0 1 0 386158560 93655040 20903 33554432000 4194304 5208918 140734829536640 140734829534584 4211670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30104/statm: 22865 20903 104 248 0 22614 0
Current children cumulated CPU time (s) 1541.44
Current children cumulated vsize (KiB) 148400
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31879
/proc/meminfo: memFree=27286792/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38644 CPUtime=1170.89 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 145795 712270 0 0 1038 132 115460 459 20 0 1 0 386041392 39571456 8131 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9661 8131 180 443 0 9214 0
[pid=30103] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30103/stat : 30103 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386158560 9367552 267 33554432000 4194304 5064252 140736965617824 140736965616736 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30103/statm: 2287 267 226 213 0 72 0
[pid=30104] ppid=30103 vsize=91460 CPUtime=430.54 cores=1,3,5,7
/proc/30104/stat : 30104 (glucose) R 30103 29455 19799 0 -1 4202496 12357 0 0 0 43052 2 0 0 20 0 1 0 386158560 93655040 21084 33554432000 4194304 5208918 140734829536640 140734829534584 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30104/statm: 22865 21084 104 248 0 22614 0
Current children cumulated CPU time (s) 1601.43
Current children cumulated vsize (KiB) 148400
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31922
/proc/meminfo: memFree=27308052/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38644 CPUtime=1170.89 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 145795 712270 0 0 1038 132 115460 459 20 0 1 0 386041392 39571456 8131 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9661 8131 180 443 0 9214 0
[pid=30103] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30103/stat : 30103 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386158560 9367552 267 33554432000 4194304 5064252 140736965617824 140736965616736 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30103/statm: 2287 267 226 213 0 72 0
[pid=30104] ppid=30103 vsize=91460 CPUtime=490.53 cores=1,3,5,7
/proc/30104/stat : 30104 (glucose) R 30103 29455 19799 0 -1 4202496 12358 0 0 0 49051 2 0 0 20 0 1 0 386158560 93655040 21204 33554432000 4194304 5208918 140734829536640 140734829534584 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30104/statm: 22865 21204 104 248 0 22614 0
Current children cumulated CPU time (s) 1661.42
Current children cumulated vsize (KiB) 148400
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31950
/proc/meminfo: memFree=27306196/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38644 CPUtime=1170.89 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 145795 712270 0 0 1038 132 115460 459 20 0 1 0 386041392 39571456 8131 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9661 8131 180 443 0 9214 0
[pid=30103] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30103/stat : 30103 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386158560 9367552 267 33554432000 4194304 5064252 140736965617824 140736965616736 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30103/statm: 2287 267 226 213 0 72 0
[pid=30104] ppid=30103 vsize=91460 CPUtime=550.52 cores=1,3,5,7
/proc/30104/stat : 30104 (glucose) R 30103 29455 19799 0 -1 4202496 12359 0 0 0 55050 2 0 0 20 0 1 0 386158560 93655040 21205 33554432000 4194304 5208918 140734829536640 140734829534584 4211641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30104/statm: 22865 21205 104 248 0 22614 0
Current children cumulated CPU time (s) 1721.41
Current children cumulated vsize (KiB) 148400
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31985
/proc/meminfo: memFree=27287608/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38644 CPUtime=1170.89 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 145795 712270 0 0 1038 132 115460 459 20 0 1 0 386041392 39571456 8131 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9661 8131 180 443 0 9214 0
[pid=30103] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30103/stat : 30103 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386158560 9367552 267 33554432000 4194304 5064252 140736965617824 140736965616736 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30103/statm: 2287 267 226 213 0 72 0
[pid=30104] ppid=30103 vsize=91460 CPUtime=610.51 cores=1,3,5,7
/proc/30104/stat : 30104 (glucose) R 30103 29455 19799 0 -1 4202496 12359 0 0 0 61049 2 0 0 20 0 1 0 386158560 93655040 21205 33554432000 4194304 5208918 140734829536640 140734829534584 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30104/statm: 22865 21205 104 248 0 22614 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (KiB) 148400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31992
/proc/meminfo: memFree=27287904/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38644 CPUtime=1170.89 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 145795 712270 0 0 1038 132 115460 459 20 0 1 0 386041392 39571456 8131 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9661 8131 180 443 0 9214 0
[pid=30103] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30103/stat : 30103 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386158560 9367552 267 33554432000 4194304 5064252 140736965617824 140736965616736 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30103/statm: 2287 267 226 213 0 72 0
[pid=30104] ppid=30103 vsize=91460 CPUtime=629.11 cores=1,3,5,7
/proc/30104/stat : 30104 (glucose) R 30103 29455 19799 0 -1 4202496 12359 0 0 0 62909 2 0 0 20 0 1 0 386158560 93655040 21205 33554432000 4194304 5208918 140734829536640 140734829534584 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30104/statm: 22865 21205 104 248 0 22614 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 148400
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31992
/proc/meminfo: memFree=27287904/32873660 swapFree=7120/7120
[pid=29455] ppid=29453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29455/stat : 29455 (npSolver-wbo-It) S 29453 29455 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386041392 9367552 275 33554432000 4194304 5064252 140737076737072 140737076735984 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29455/statm: 2287 275 233 213 0 72 0
[pid=29456] ppid=29455 vsize=38644 CPUtime=1170.89 cores=1,3,5,7
/proc/29456/stat : 29456 (npSolver-wbo) S 29455 29455 19799 0 -1 4202496 145795 712270 0 0 1038 132 115460 459 20 0 1 0 386041392 39571456 8131 33554432000 4194304 6006132 140733637254704 140733637246096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/29456/statm: 9661 8131 180 443 0 9214 0
[pid=30103] ppid=29456 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30103/stat : 30103 (satsolver.sh) S 29456 29455 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386158560 9367552 267 33554432000 4194304 5064252 140736965617824 140736965616736 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30103/statm: 2287 267 226 213 0 72 0
[pid=30104] ppid=30103 vsize=91460 CPUtime=629.11 cores=1,3,5,7
/proc/30104/stat : 30104 (glucose) R 30103 29455 19799 0 -1 4202496 12359 0 0 0 62909 2 0 0 20 0 1 0 386158560 93655040 21205 33554432000 4194304 5208918 140734829536640 140734829534584 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30104/statm: 22865 21205 104 248 0 22614 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 148400
Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.04
CPU user time (s): 1794.09
CPU system time (s): 5.95909
CPU usage (%): 99.9519
Max. virtual memory (cumulated for all children) (KiB): 159852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.09
system time used= 5.95909
maximum resident set size= 84820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 871414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1411752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7448
involuntary context switches= 2550
runsolver used 5.2502 second user time and 12.924 second system time
The end