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-3752887-1339190081/watcher-3752887-1339190081 -o /tmp/evaluation-result-3752887-1339190081/solver-3752887-1339190081 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752887-1339190081.wbo 265676256 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: 1.27 1.30 1.49 3/179 11925
/proc/meminfo: memFree=29781668/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[startup+0.0738849 s]
/proc/loadavg: 1.27 1.30 1.49 3/179 11925
/proc/meminfo: memFree=29781668/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100824 s]
/proc/loadavg: 1.27 1.30 1.49 3/179 11925
/proc/meminfo: memFree=29781668/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300198 s]
/proc/loadavg: 1.27 1.30 1.49 3/179 11925
/proc/meminfo: memFree=29781668/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700251 s]
/proc/loadavg: 1.27 1.30 1.49 3/179 11925
/proc/meminfo: memFree=29781668/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.33 1.31 1.49 3/183 11939
/proc/meminfo: memFree=29771896/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=3388 CPUtime=0.08 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 1496 2741 0 0 2 0 6 0 20 0 1 0 385133970 3469312 443 33554432000 4194304 6006132 140735201649248 140735201643440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11926/statm: 847 443 158 443 0 400 0
[pid=11931] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11931/stat : 11931 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385133980 9367552 267 33554432000 4194304 5064252 140733284294608 140733284293520 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11931/statm: 2287 267 226 213 0 72 0
[pid=11932] ppid=11931 vsize=15440 CPUtime=1.38 cores=1,3,5,7
/proc/11932/stat : 11932 (glucose) R 11931 11925 14220 0 -1 4202496 3998 0 0 0 138 0 0 0 20 0 1 0 385133980 15810560 2642 33554432000 4194304 5208918 140734417884816 140734417882664 4229504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11932/statm: 3860 2642 96 248 0 3609 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 37124
[startup+3.10022 s]
/proc/loadavg: 1.33 1.31 1.49 3/183 11946
/proc/meminfo: memFree=29761836/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=2.43 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 3018 10797 0 0 6 2 233 2 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 20744
heavy processes:
[startup+6.30034 s]
/proc/loadavg: 1.38 1.33 1.49 3/183 11967
/proc/meminfo: memFree=29741552/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=2.43 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 3018 10797 0 0 6 2 233 2 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=11952] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11952/stat : 11952 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385134216 9367552 267 33554432000 4194304 5064252 140735017380048 140735017378960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11952/statm: 2287 267 226 213 0 72 0
[pid=11953] ppid=11952 vsize=39004 CPUtime=3.83 cores=1,3,5,7
/proc/11953/stat : 11953 (glucose) R 11952 11925 14220 0 -1 4202496 7511 0 0 0 382 1 0 0 20 0 1 0 385134216 39940096 8330 33554432000 4194304 5208918 140736285561184 140736285559032 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11953/statm: 9751 8330 95 248 0 9500 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 68896
[startup+12.7003 s]
/proc/loadavg: 1.43 1.34 1.49 3/182 11995
/proc/meminfo: memFree=29737396/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=2.43 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 3018 10797 0 0 6 2 233 2 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=11952] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11952/stat : 11952 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385134216 9367552 267 33554432000 4194304 5064252 140735017380048 140735017378960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11952/statm: 2287 267 226 213 0 72 0
[pid=11953] ppid=11952 vsize=46460 CPUtime=10.23 cores=1,3,5,7
/proc/11953/stat : 11953 (glucose) R 11952 11925 14220 0 -1 4202496 10175 0 0 0 1021 2 0 0 20 0 1 0 385134216 47575040 8640 33554432000 4194304 5208918 140736285561184 140736285559128 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11953/statm: 11615 8640 96 248 0 11364 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 76352
[startup+25.5003 s]
/proc/loadavg: 1.52 1.36 1.50 3/183 12059
/proc/meminfo: memFree=29741628/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=20.18 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 4531 26582 0 0 11 3 1990 14 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=12037] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12037/stat : 12037 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385135990 9367552 267 33554432000 4194304 5064252 140735238649888 140735238648800 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12037/statm: 2287 267 226 213 0 72 0
[pid=12038] ppid=12037 vsize=39008 CPUtime=5.28 cores=1,3,5,7
/proc/12038/stat : 12038 (glucose) R 12037 11925 14220 0 -1 4202496 8664 0 0 0 527 1 0 0 20 0 1 0 385135990 39944192 7679 33554432000 4194304 5208918 140736625733840 140736625731992 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12038/statm: 9752 7679 96 248 0 9501 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 68900
[startup+51.1003 s]
/proc/loadavg: 1.64 1.40 1.51 3/183 12178
/proc/meminfo: memFree=29722620/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=37.58 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 6044 41463 0 0 15 3 3716 24 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=12121] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12121/stat : 12121 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385137732 9367552 267 33554432000 4194304 5064252 140733688825056 140733688823968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12121/statm: 2287 267 226 213 0 72 0
[pid=12122] ppid=12121 vsize=58184 CPUtime=13.46 cores=1,3,5,7
/proc/12122/stat : 12122 (glucose) R 12121 11925 14220 0 -1 4202496 9832 0 0 0 1344 2 0 0 20 0 1 0 385137732 59580416 12489 33554432000 4194304 5208918 140735637653072 140735637651016 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12122/statm: 14546 12489 96 248 0 14295 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 88076
[startup+102.3 s]
/proc/loadavg: 1.84 1.49 1.53 3/183 12423
/proc/meminfo: memFree=29720344/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=89.19 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 10583 81412 0 0 29 5 8831 54 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=12366] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385142895 9367552 266 33554432000 4194304 5064252 140736289268608 140736289267520 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12366/statm: 2287 266 226 213 0 72 0
[pid=12367] ppid=12366 vsize=58180 CPUtime=13.05 cores=1,3,5,7
/proc/12367/stat : 12367 (glucose) R 12366 11925 14220 0 -1 4202496 9466 0 0 0 1303 2 0 0 20 0 1 0 385142895 59576320 12525 33554432000 4194304 5208918 140734603514592 140734603512536 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12367/statm: 14545 12525 96 248 0 14294 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 88072
[startup+162.3 s]
/proc/loadavg: 1.94 1.58 1.56 3/183 12717
/proc/meminfo: memFree=29742484/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=158.7 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 16635 138439 0 0 47 7 15724 92 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=12702] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12702/stat : 12702 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385149847 9367552 267 33554432000 4194304 5064252 140737197410528 140737197409440 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12702/statm: 2287 267 226 213 0 72 0
[pid=12703] ppid=12702 vsize=39008 CPUtime=3.51 cores=1,3,5,7
/proc/12703/stat : 12703 (glucose) R 12702 11925 14220 0 -1 4202496 7466 0 0 0 351 0 0 0 20 0 1 0 385149848 39944192 8305 33554432000 4194304 5208918 140734392258208 140734392256056 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12703/statm: 9752 8305 95 248 0 9501 0
################
# More data... #
################
[pid=19270] ppid=19269 vsize=69676 CPUtime=15.65 cores=1,3,5,7
/proc/19270/stat : 19270 (glucose) R 19269 11925 14220 0 -1 4202496 10274 0 0 0 1562 3 0 0 20 0 1 0 385286634 71348224 15404 33554432000 4194304 5208918 140733952495008 140733952492872 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19270/statm: 17419 15404 96 248 0 17168 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 99568
[startup+1602.3 s]
/proc/loadavg: 1.99 1.96 1.85 3/183 19628
/proc/meminfo: memFree=29761200/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=1595.73 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 140701 1308986 0 0 413 55 158208 897 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=19603] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19603/stat : 19603 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385293608 9367552 267 33554432000 4194304 5064252 140734104340656 140734104339568 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19603/statm: 2287 267 226 213 0 72 0
[pid=19604] ppid=19603 vsize=39004 CPUtime=5.91 cores=1,3,5,7
/proc/19604/stat : 19604 (glucose) R 19603 11925 14220 0 -1 4202496 7631 0 0 0 590 1 0 0 20 0 1 0 385293608 39940096 8078 33554432000 4194304 5208918 140733712530384 140733712528536 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19604/statm: 9751 8078 96 248 0 9500 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 68896
[startup+1662.3 s]
/proc/loadavg: 1.95 1.95 1.85 3/183 19912
/proc/meminfo: memFree=29715920/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=1648.86 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 145240 1351033 0 0 426 57 163479 924 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=19860] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19860/stat : 19860 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385298924 9367552 266 33554432000 4194304 5064252 140735560366976 140735560365888 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19860/statm: 2287 266 226 213 0 72 0
[pid=19861] ppid=19860 vsize=58184 CPUtime=12.74 cores=1,3,5,7
/proc/19861/stat : 19861 (glucose) R 19860 11925 14220 0 -1 4202496 10541 0 0 0 1272 2 0 0 20 0 1 0 385298924 59580416 12570 33554432000 4194304 5208918 140733308853840 140733308851784 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19861/statm: 14546 12570 96 248 0 14295 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 88076
############
# WARNING:
# current cumulated CPU time (1665.82 s) is less than in the last sample (1665.82 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.00012207 s) to the 'lost time'.
[startup+1666.5 s]
/proc/loadavg: 1.96 1.95 1.85 3/183 19933
/proc/meminfo: memFree=29701900/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=1648.86 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 145240 1351033 0 0 426 57 163479 924 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=19860] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19860/stat : 19860 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385298924 9367552 266 33554432000 4194304 5064252 140735560366976 140735560365888 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19860/statm: 2287 266 226 213 0 72 0
[pid=19861] ppid=19860 vsize=0 CPUtime=16.96 cores=1,3,5,7
/proc/19861/stat : 19861 (glucose) R 19860 11925 14220 0 -1 4202500 10879 0 0 0 1693 3 0 0 20 0 1 0 385298924 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19861/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1665.82
Current children cumulated vsize (KiB) 29892
[startup+1666.61 s]
/proc/loadavg: 1.96 1.95 1.85 3/183 19933
/proc/meminfo: memFree=29701900/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=1665.82 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 145249 1362518 0 0 426 57 165172 927 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
Current children cumulated CPU time (s) 1665.82
Current children cumulated vsize (KiB) 20744
#
############
[startup+1722.3 s]
/proc/loadavg: 1.93 1.94 1.85 3/183 20206
/proc/meminfo: memFree=29741452/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=1718.91 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 151292 1409442 0 0 444 59 170424 964 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=20194] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20194/stat : 20194 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385305931 9367552 266 33554432000 4194304 5064252 140735281369280 140735281368192 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20194/statm: 2287 266 226 213 0 72 0
[pid=20195] ppid=20194 vsize=38876 CPUtime=2.68 cores=1,3,5,7
/proc/20195/stat : 20195 (glucose) R 20194 11925 14220 0 -1 4202496 6725 0 0 0 268 0 0 0 20 0 1 0 385305931 39809024 7558 33554432000 4194304 5208918 140735046555616 140735046553768 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20195/statm: 9719 7558 95 248 0 9468 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 68768
[startup+1782.3 s]
/proc/loadavg: 1.97 1.95 1.86 3/181 20491
/proc/meminfo: memFree=29765444/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=1771.19 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 155831 1452295 0 0 457 61 175608 993 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=20443] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20443/stat : 20443 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385311161 9367552 266 33554432000 4194304 5064252 140733620165520 140733620164432 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20443/statm: 2287 266 226 213 0 72 0
[pid=20444] ppid=20443 vsize=46464 CPUtime=10.38 cores=1,3,5,7
/proc/20444/stat : 20444 (glucose) R 20443 11925 14220 0 -1 4202496 8333 0 0 0 1036 2 0 0 20 0 1 0 385311161 47579136 9077 33554432000 4194304 5208918 140737184313280 140737184311224 4211572 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20444/statm: 11616 9077 96 248 0 11365 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 76356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.81 s]
/proc/loadavg: 1.98 1.95 1.86 3/183 20552
/proc/meminfo: memFree=29759004/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=1788.83 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 157344 1466234 0 0 461 61 177359 1002 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=20551] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20551/stat : 20551 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385312927 9367552 266 33554432000 4194304 5064252 140735156371392 140735156370304 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20551/statm: 2287 266 226 213 0 72 0
[pid=20552] ppid=20551 vsize=46460 CPUtime=11.23 cores=1,3,5,7
/proc/20552/stat : 20552 (glucose) R 20551 11925 14220 0 -1 4202496 9839 0 0 0 1121 2 0 0 20 0 1 0 385312928 47575040 9392 33554432000 4194304 5208918 140736073030528 140736073028472 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20552/statm: 11615 9392 96 248 0 11364 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 76352
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.81 s]
/proc/loadavg: 1.98 1.95 1.86 3/183 20552
/proc/meminfo: memFree=29759004/32873648 swapFree=7112/7112
[pid=11925] ppid=11923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-wbo-It) S 11923 11925 14220 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385133970 9367552 275 33554432000 4194304 5064252 140736887469568 140736887468480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11925/statm: 2287 275 233 213 0 72 0
[pid=11926] ppid=11925 vsize=11596 CPUtime=1788.83 cores=1,3,5,7
/proc/11926/stat : 11926 (npSolver-wbo) S 11925 11925 14220 0 -1 4202496 157344 1466234 0 0 461 61 177359 1002 20 0 1 0 385133970 11874304 2285 33554432000 4194304 6006132 140735201649248 140735201640608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11926/statm: 2899 2285 177 443 0 2452 0
[pid=20551] ppid=11926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20551/stat : 20551 (satsolver.sh) S 11926 11925 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385312927 9367552 266 33554432000 4194304 5064252 140735156371392 140735156370304 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20551/statm: 2287 266 226 213 0 72 0
[pid=20552] ppid=20551 vsize=46460 CPUtime=11.23 cores=1,3,5,7
/proc/20552/stat : 20552 (glucose) R 20551 11925 14220 0 -1 4202496 9839 0 0 0 1121 2 0 0 20 0 1 0 385312928 47575040 9392 33554432000 4194304 5208918 140736073030528 140736073028472 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20552/statm: 11615 9392 96 248 0 11364 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 76352
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.00012207
# lost CPU user time (s): 0.00012207
# lost CPU system time (s): 0
Real time (s): 1800.82
CPU time (s): 1800.1
CPU user time (s): 1789.43
CPU system time (s): 10.6714
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 99572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.43
system time used= 10.6714
maximum resident set size= 67224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1634409
page faults= 0
swaps= 0
block input operations= 0
block output operations= 829576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16876
involuntary context switches= 3126
runsolver used 3.05454 second user time and 7.66883 second system time
The end