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-3754830-1339197434/watcher-3754830-1339197434 -o /tmp/evaluation-result-3754830-1339197434/solver-3754830-1339197434 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754830-1339197434.wbo 453367560 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.02 2.03 2.00 3/179 22962
/proc/meminfo: memFree=27049996/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[startup+0.086197 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 22962
/proc/meminfo: memFree=27049996/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10034 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 22962
/proc/meminfo: memFree=27049996/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300246 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 22962
/proc/meminfo: memFree=27049996/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700243 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 22962
/proc/meminfo: memFree=27049996/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 22974
/proc/meminfo: memFree=26998348/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=119000 CPUtime=1.47 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) R 22962 22962 18714 0 -1 4202496 14492 11843 0 0 80 11 54 2 20 0 1 0 385870175 121856000 23263 33554432000 4194304 6006132 140736099438448 140736099430440 4537521 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 29750 23263 176 443 0 29303 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 128148
[startup+3.10033 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 22974
/proc/meminfo: memFree=26913700/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=315608 CPUtime=3.07 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) R 22962 22962 18714 0 -1 4202496 15664 11843 0 0 235 16 54 2 20 0 1 0 385870175 323182592 50911 33554432000 4194304 6006132 140736099438448 140736099430808 4535958 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 78902 50911 176 443 0 78455 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 324756
[startup+6.30031 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 22976
/proc/meminfo: memFree=26348964/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=520224 CPUtime=2.05 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 62269 0 0 0 188 17 0 0 20 0 1 0 385870599 532709376 108344 33554432000 4194304 5208918 140736841068064 140736840017464 4465602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 130056 108344 70 248 0 129805 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 821060
[startup+12.7005 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 22976
/proc/meminfo: memFree=26112532/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=563864 CPUtime=8.44 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 83432 0 0 0 820 24 0 0 20 0 1 0 385870599 577396736 123872 33554432000 4194304 5208918 140736841068064 140736841065912 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 140966 123872 104 248 0 140715 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 864700
[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 22976
/proc/meminfo: memFree=26112780/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=564128 CPUtime=21.25 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 83496 0 0 0 2100 25 0 0 20 0 1 0 385870599 577667072 123936 33554432000 4194304 5208918 140736841068064 140736841065912 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 141032 123936 104 248 0 140781 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 864964
[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 22976
/proc/meminfo: memFree=26105900/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=569288 CPUtime=46.84 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 84770 0 0 0 4659 25 0 0 20 0 1 0 385870599 582950912 125721 33554432000 4194304 5208918 140736841068064 140736841064440 4229466 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 142322 125721 104 248 0 142071 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 870124
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 22976
/proc/meminfo: memFree=26102364/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=570464 CPUtime=98.03 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 85062 0 0 0 9778 25 0 0 20 0 1 0 385870599 584155136 126524 33554432000 4194304 5208918 140736841068064 140736841065736 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 142616 126524 104 248 0 142365 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 871300
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 22976
/proc/meminfo: memFree=26081340/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=580456 CPUtime=158.03 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 87768 0 0 0 15777 26 0 0 20 0 1 0 385870599 594386944 131785 33554432000 4194304 5208918 140736841068064 140736841065912 4211599 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 145114 131785 104 248 0 144863 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 881292
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 22979
/proc/meminfo: memFree=26078172/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 22987
/proc/meminfo: memFree=26066820/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=586856 CPUtime=1357.84 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 90291 0 0 0 135754 30 0 0 20 0 1 0 385870599 600940544 131960 33554432000 4194304 5208918 140736841068064 140736841065816 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 146714 131960 104 248 0 146463 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 887692
[startup+1422.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/184 22990
/proc/meminfo: memFree=26065668/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=586988 CPUtime=1417.83 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 90348 0 0 0 141753 30 0 0 20 0 1 0 385870599 601075712 132016 33554432000 4194304 5208918 140736841068064 140736841065912 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 146747 132016 104 248 0 146496 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 887824
[startup+1482.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/183 22990
/proc/meminfo: memFree=26065552/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=587120 CPUtime=1477.82 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 90359 0 0 0 147752 30 0 0 20 0 1 0 385870599 601210880 132025 33554432000 4194304 5208918 140736841068064 140736841065912 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 146780 132025 104 248 0 146529 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 887956
[startup+1542.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 22991
/proc/meminfo: memFree=26062044/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=587668 CPUtime=1537.81 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 90522 0 0 0 153751 30 0 0 20 0 1 0 385870599 601772032 132850 33554432000 4194304 5208918 140736841068064 140736841065912 4211019 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 146917 132850 104 248 0 146666 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 888504
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 23043
/proc/meminfo: memFree=27812556/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=587800 CPUtime=1597.79 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 90540 0 0 0 159749 30 0 0 20 0 1 0 385870599 601907200 132868 33554432000 4194304 5208918 140736841068064 140736841065912 4205231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 146950 132868 104 248 0 146699 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 888636
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 23043
/proc/meminfo: memFree=27789644/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=588328 CPUtime=1657.78 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 90658 0 0 0 165748 30 0 0 20 0 1 0 385870599 602447872 132986 33554432000 4194304 5208918 140736841068064 140736841065912 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 147082 132986 104 248 0 146831 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 889164
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23044
/proc/meminfo: memFree=27787060/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=589948 CPUtime=1717.77 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 90989 0 0 0 171747 30 0 0 20 0 1 0 385870599 604106752 133317 33554432000 4194304 5208918 140736841068064 140736841065736 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 147487 133317 104 248 0 147236 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 890784
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23044
/proc/meminfo: memFree=27784164/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=590080 CPUtime=1777.77 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 91110 0 0 0 177747 30 0 0 20 0 1 0 385870599 604241920 133949 33554432000 4194304 5208918 140736841068064 140736841065912 4211599 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 147520 133949 104 248 0 147269 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 890916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23044
/proc/meminfo: memFree=27744392/32873648 swapFree=7372/7372
[pid=22962] ppid=22960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22962/stat : 22962 (npSolver-wbo.sh) S 22960 22962 18714 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385870175 9367552 275 33554432000 4194304 5064252 140735588875600 140735588874512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22962/statm: 2287 275 233 213 0 72 0
[pid=22963] ppid=22962 vsize=282540 CPUtime=4.21 cores=0,2,4,6
/proc/22963/stat : 22963 (npSolver-wbo) S 22962 22962 18714 0 -1 4202496 16147 11843 0 0 317 48 54 2 20 0 1 0 385870175 289320960 57014 33554432000 4194304 6006132 140736099438448 140736099429856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22963/statm: 70635 57014 178 443 0 70188 0
[pid=22975] ppid=22963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22975/stat : 22975 (satsolver.sh) S 22963 22962 18714 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385870599 9367552 267 33554432000 4194304 5064252 140736341570064 140736341568976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22975/statm: 2287 267 226 213 0 72 0
[pid=22976] ppid=22975 vsize=590080 CPUtime=1795.87 cores=0,2,4,6
/proc/22976/stat : 22976 (glucose) R 22975 22962 18714 0 -1 4202496 91114 0 0 0 179557 30 0 0 20 0 1 0 385870599 604241920 133953 33554432000 4194304 5208918 140736841068064 140736841065912 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22976/statm: 147520 133953 104 248 0 147269 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 890916
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.29
CPU system time (s): 0.829873
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1096360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.829873
maximum resident set size= 695820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120083
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87
involuntary context switches= 1892
runsolver used 6.06308 second user time and 16.1695 second system time
The end