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-3701040-1338134081/watcher-3701040-1338134081 -o /tmp/evaluation-result-3701040-1338134081/solver-3701040-1338134081 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701040-1338134081.opb 302037881 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22893
/proc/meminfo: memFree=29327208/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[startup+0.0689431 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22893
/proc/meminfo: memFree=29327208/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22893
/proc/meminfo: memFree=29327208/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300235 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22893
/proc/meminfo: memFree=29327208/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700287 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22893
/proc/meminfo: memFree=29327208/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22897
/proc/meminfo: memFree=29141808/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=52636 CPUtime=0.62 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 7831 0 0 0 56 6 0 0 20 0 1 0 279535446 53899264 9547 33554432000 4194304 5992684 140733878802592 140733878796624 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22894/statm: 13159 9547 171 440 0 12715 0
[pid=22896] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22896/stat : 22896 (cp2_pre.sh) S 22894 22893 21157 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279535509 9367552 276 33554432000 4194304 5064252 140733586672352 140733586671056 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22896/statm: 2287 276 234 213 0 72 0
[pid=22897] ppid=22896 vsize=171968 CPUtime=0.85 cores=0,2,4,6
/proc/22897/stat : 22897 (coprocessor) R 22896 22893 21157 0 -1 4202496 27925 0 0 0 81 4 0 0 20 0 1 0 279535510 176095232 38681 33554432000 4194304 6586260 140735420140992 140735420137256 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/22897/statm: 42992 38681 166 584 0 42404 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 242900
[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22897
/proc/meminfo: memFree=29092436/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=52636 CPUtime=0.62 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 7831 0 0 0 56 6 0 0 20 0 1 0 279535446 53899264 9547 33554432000 4194304 5992684 140733878802592 140733878796624 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22894/statm: 13159 9547 171 440 0 12715 0
[pid=22896] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22896/stat : 22896 (cp2_pre.sh) S 22894 22893 21157 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279535509 9367552 276 33554432000 4194304 5064252 140733586672352 140733586671056 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22896/statm: 2287 276 234 213 0 72 0
[pid=22897] ppid=22896 vsize=210616 CPUtime=2.45 cores=0,2,4,6
/proc/22897/stat : 22897 (coprocessor) R 22896 22893 21157 0 -1 4202496 35413 0 0 0 235 10 0 0 20 0 1 0 279535510 215670784 51526 33554432000 4194304 6586260 140735420140992 140735420136808 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/22897/statm: 52654 51526 200 584 0 52066 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 281548
[startup+6.30044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22900
/proc/meminfo: memFree=29178352/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=52636 CPUtime=3.18 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 7841 36315 0 0 56 6 244 12 20 0 1 0 279535446 53899264 9547 33554432000 4194304 5992684 140733878802592 140733878797712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22894/statm: 13159 9547 171 440 0 12715 0
[pid=22899] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22899/stat : 22899 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279535767 9367552 267 33554432000 4194304 5064252 140737479529392 140737479528304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22899/statm: 2287 267 226 213 0 72 0
[pid=22900] ppid=22899 vsize=98132 CPUtime=3.08 cores=0,2,4,6
/proc/22900/stat : 22900 (glucose) R 22899 22893 21157 0 -1 4202496 20439 0 0 0 305 3 0 0 20 0 1 0 279535767 100487168 22490 33554432000 4194304 5208918 140733480427984 140733480425832 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22900/statm: 24533 22490 103 248 0 24282 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 169064
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 2/181 22905
/proc/meminfo: memFree=28888564/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 335536
[startup+25.5005 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 22914
/proc/meminfo: memFree=28444344/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=545512 CPUtime=13.18 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 84172 0 0 0 1291 27 0 0 20 0 1 0 279536676 558604288 121621 33554432000 4194304 5208918 140736564702432 140736564700280 4229365 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 136378 121621 104 248 0 136127 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 890196
[startup+51.1005 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 22914
/proc/meminfo: memFree=28435372/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=546752 CPUtime=38.77 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 84468 0 0 0 3850 27 0 0 20 0 1 0 279536676 559874048 122428 33554432000 4194304 5208918 140736564702432 140736564700280 4205148 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 136688 122428 105 248 0 136437 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 891436
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 22914
/proc/meminfo: memFree=28426944/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=548252 CPUtime=89.97 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 84849 0 0 0 8970 27 0 0 20 0 1 0 279536676 561410048 123831 33554432000 4194304 5208918 140736564702432 140736564700280 4229344 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 137063 123831 105 248 0 136812 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 892936
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22914
/proc/meminfo: memFree=28418444/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=550100 CPUtime=149.96 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 85303 0 0 0 14968 28 0 0 20 0 1 0 279536676 563302400 124796 33554432000 4194304 5208918 140736564702432 140736564700280 4229365 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 137525 124796 105 248 0 137274 0
Current children cumulated CPU time (s) 162.08
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22948
/proc/meminfo: memFree=28279640/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=654104 CPUtime=1349.67 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 92104 0 0 0 134929 38 0 0 20 0 1 0 279536676 669802496 136107 33554432000 4194304 5208918 140736564702432 140736564698808 4229365 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 163526 136107 105 248 0 163275 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 998788
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22948
/proc/meminfo: memFree=28302724/32873648 swapFree=7120/7120
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=572716 CPUtime=1409.67 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 92721 0 0 0 140926 41 0 0 20 0 1 0 279536676 586461184 130307 33554432000 4194304 5208918 140736564702432 140736564698744 4205139 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 143179 130307 105 248 0 142928 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 917400
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22949
/proc/meminfo: memFree=28298752/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=572716 CPUtime=1469.65 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 92723 0 0 0 146924 41 0 0 20 0 1 0 279536676 586461184 131331 33554432000 4194304 5208918 140736564702432 140736564698808 4228997 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 143179 131331 105 248 0 142928 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 917400
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 22952
/proc/meminfo: memFree=28294796/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=572716 CPUtime=1529.64 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 92725 0 0 0 152923 41 0 0 20 0 1 0 279536676 586461184 132355 33554432000 4194304 5208918 140736564702432 140736564698808 4228997 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 143179 132355 105 248 0 142928 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 917400
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 22966
/proc/meminfo: memFree=28369316/32873648 swapFree=7120/7120
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=572716 CPUtime=1589.63 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 92727 0 0 0 158922 41 0 0 20 0 1 0 279536676 586461184 133379 33554432000 4194304 5208918 140736564702432 140736564698808 4229251 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 143179 133379 105 248 0 142928 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 917400
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22966
/proc/meminfo: memFree=28327468/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=654104 CPUtime=1649.62 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 93363 0 0 0 164920 42 0 0 20 0 1 0 279536676 669802496 134524 33554432000 4194304 5208918 140736564702432 140736564698808 4229021 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 163526 134524 105 248 0 163275 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 998788
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22966
/proc/meminfo: memFree=28320496/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=654104 CPUtime=1709.6 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 93420 0 0 0 170918 42 0 0 20 0 1 0 279536676 669802496 135595 33554432000 4194304 5208918 140736564702432 140736564698808 4228997 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 163526 135595 105 248 0 163275 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 998788
[startup+1782.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/182 23018
/proc/meminfo: memFree=27654884/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=654104 CPUtime=1769.58 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 93454 0 0 0 176915 43 0 0 20 0 1 0 279536676 669802496 136619 33554432000 4194304 5208918 140736564702432 140736564698808 4229365 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 163526 136619 105 248 0 163275 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 998788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 23019
/proc/meminfo: memFree=27650736/32873648 swapFree=7116/7116
[pid=22893] ppid=22891 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22893/stat : 22893 (npSolver-pbo.sh) S 22891 22893 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279535446 9367552 275 33554432000 4194304 5064252 140735313901360 140735313900272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22893/statm: 2287 275 233 213 0 72 0
[pid=22894] ppid=22893 vsize=326388 CPUtime=12.12 cores=0,2,4,6
/proc/22894/stat : 22894 (npSolver-pbo) S 22893 22893 21157 0 -1 4202496 16906 63747 0 0 331 147 711 23 20 0 1 0 279535446 334221312 56761 33554432000 4194304 5992684 140733878802592 140733878794912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/22894/statm: 81597 56761 188 440 0 81153 0
[pid=22906] ppid=22894 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (satsolver.sh) S 22894 22893 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279536675 9367552 266 33554432000 4194304 5064252 140735120015824 140735120014736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22906/statm: 2287 266 226 213 0 72 0
[pid=22907] ppid=22906 vsize=654104 CPUtime=1787.89 cores=0,2,4,6
/proc/22907/stat : 22907 (glucose) R 22906 22893 21157 0 -1 4202496 93455 0 0 0 178746 43 0 0 20 0 1 0 279536676 669802496 137131 33554432000 4194304 5208918 140736564702432 140736564698808 4228997 0 0 4096 0 0 0 0 17 4 0 0 1 0 0
/proc/22907/statm: 163526 137131 105 248 0 163275 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 998788
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.62
CPU time (s): 1800.03
CPU user time (s): 1797.89
CPU system time (s): 2.14367
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 1129016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.89
system time used= 2.14367
maximum resident set size= 662932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175098
page faults= 0
swaps= 0
block input operations= 0
block output operations= 501600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 770
involuntary context switches= 2033
runsolver used 11.3893 second user time and 14.1359 second system time
The end