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-3696149-1338169514/watcher-3696149-1338169514 -o /tmp/evaluation-result-3696149-1338169514/solver-3696149-1338169514 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696149-1338169514.opb 964782958 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20193
/proc/meminfo: memFree=27435944/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[startup+0.0272079 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20193
/proc/meminfo: memFree=27435944/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100222 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20193
/proc/meminfo: memFree=27435944/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20193
/proc/meminfo: memFree=27435944/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/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/181 20193
/proc/meminfo: memFree=27435944/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20197
/proc/meminfo: memFree=27472300/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=30476 CPUtime=0.33 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 6121 0 0 0 31 2 0 0 20 0 1 0 283076836 31207424 6647 33554432000 4194304 5873084 140736222564816 140736222561240 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 7619 6647 169 410 0 7201 0
[pid=20196] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20196/stat : 20196 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283076871 9367552 267 33554432000 4194304 5064252 140734693726880 140734693725792 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20196/statm: 2287 267 226 213 0 72 0
[pid=20197] ppid=20196 vsize=85692 CPUtime=1.14 cores=1,3,5,7
/proc/20197/stat : 20197 (glucose_static) R 20196 20193 17634 0 -1 4202496 17600 0 0 0 110 4 0 0 20 0 1 0 283076871 87748608 18446 33554432000 4194304 4896791 140733640201344 140733640198648 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20197/statm: 21423 18446 78 172 0 21249 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 134464
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20197
/proc/meminfo: memFree=27455480/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=35800 CPUtime=3.07 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) R 20193 20193 17634 0 -1 4202496 7550 18487 0 0 46 86 170 5 20 0 1 0 283076836 36659200 7984 33554432000 4194304 5873084 140736222564816 140736222560248 5127520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 8950 7984 177 410 0 8532 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 44948
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20199
/proc/meminfo: memFree=27101900/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=189736 CPUtime=5.48 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 14781 18999 0 0 206 164 170 8 20 0 1 0 283076836 194289664 39653 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 47434 39653 184 410 0 47016 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 198884
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 2/185 20206
/proc/meminfo: memFree=26210020/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=214612 CPUtime=9.92 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 26654 79885 0 0 327 182 447 36 20 0 1 0 283076836 219762688 39216 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 53653 39216 184 410 0 53235 0
[pid=20205] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20205/stat : 20205 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283077976 9367552 266 33554432000 4194304 5064252 140736540357120 140736540356032 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20205/statm: 2287 266 226 213 0 72 0
[pid=20206] ppid=20205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (satsolver.sh) D 20205 20193 17634 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 1 0 283077976 9367552 97 33554432000 4194304 5064252 140736540357120 140736540356152 273905697680 0 0 4096 0 18446744071580543392 0 0 17 3 0 0 0 0 0
/proc/20206/statm: 2287 97 56 213 0 72 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (KiB) 242056
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 2.20 2.05 2.01 3/185 20206
/proc/meminfo: memFree=25993400/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=214612 CPUtime=9.92 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 26654 79885 0 0 327 182 447 36 20 0 1 0 283076836 219762688 39216 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 53653 39216 184 410 0 53235 0
[pid=20205] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20205/stat : 20205 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283077976 9367552 266 33554432000 4194304 5064252 140736540357120 140736540356032 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20205/statm: 2287 266 226 213 0 72 0
[pid=20206] ppid=20205 vsize=298988 CPUtime=12.63 cores=1,3,5,7
/proc/20206/stat : 20206 (glucose_static) R 20205 20193 17634 0 -1 4202496 47652 0 0 0 1249 14 0 0 20 0 1 0 283077976 306163712 63333 33554432000 4194304 4896791 140735216689248 140735216686456 4225029 0 0 4096 0 0 0 0 17 5 0 0 145 0 0
/proc/20206/statm: 74747 63333 78 172 0 74573 0
Current children cumulated CPU time (s) 22.55
Current children cumulated vsize (KiB) 531896
[startup+51.1004 s]
/proc/loadavg: 2.13 2.04 2.01 3/185 20206
/proc/meminfo: memFree=25984156/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=214612 CPUtime=48.16 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) R 20193 20193 17634 0 -1 4202496 30579 129867 0 0 329 183 4251 53 20 0 1 0 283076836 219762688 39216 33554432000 4194304 5873084 140736222564816 140736222558632 4212245 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 53653 39216 184 410 0 53235 0
Current children cumulated CPU time (s) 48.16
Current children cumulated vsize (KiB) 223760
[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/185 20209
/proc/meminfo: memFree=25972088/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=149076 CPUtime=49.24 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 37727 130380 0 0 422 195 4251 56 20 0 1 0 283076836 152653824 35120 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 37269 35120 184 410 0 36851 0
[pid=20208] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20208/stat : 20208 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283082055 9367552 266 33554432000 4194304 5064252 140734618492624 140734618491536 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20208/statm: 2287 266 226 213 0 72 0
[pid=20209] ppid=20208 vsize=318792 CPUtime=50.08 cores=1,3,5,7
/proc/20209/stat : 20209 (glucose_static) R 20208 20193 17634 0 -1 4202496 46911 0 0 0 4982 26 0 0 20 0 1 0 283082055 326443008 69966 33554432000 4194304 4896791 140735191129488 140735191126696 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20209/statm: 79698 69966 78 172 0 79524 0
Current children cumulated CPU time (s) 99.32
Current children cumulated vsize (KiB) 486164
[startup+162.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/185 20212
/proc/meminfo: memFree=26274552/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=149076 CPUtime=49.24 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 37727 130380 0 0 422 195 4251 56 20 0 1 0 283076836 152653824 35120 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 37269 35120 184 410 0 36851 0
[pid=20208] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20208/stat : 20208 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283082055 9367552 266 33554432000 4194304 5064252 140734618492624 140734618491536 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20208/statm: 2287 266 226 213 0 72 0
[pid=20209] ppid=20208 vsize=270724 CPUtime=110.08 cores=1,3,5,7
/proc/20209/stat : 20209 (glucose_static) R 20208 20193 17634 0 -1 4202496 48656 0 0 0 10980 28 0 0 20 0 1 0 283082055 277221376 60986 33554432000 4194304 4896791 140735191129488 140735191127128 4224921 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20209/statm: 67681 60986 78 172 0 67507 0
Current children cumulated CPU time (s) 159.32
Current children cumulated vsize (KiB) 438096
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/185 20212
/proc/meminfo: memFree=26245000/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=149076 CPUtime=49.24 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 37727 130380 0 0 422 195 4251 56 20 0 1 0 283076836 152653824 35120 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 37269 35120 184 410 0 36851 0
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 20246
/proc/meminfo: memFree=26173308/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=149076 CPUtime=49.24 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 37727 130380 0 0 422 195 4251 56 20 0 1 0 283076836 152653824 35120 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 37269 35120 184 410 0 36851 0
[pid=20208] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20208/stat : 20208 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283082055 9367552 266 33554432000 4194304 5064252 140734618492624 140734618491536 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20208/statm: 2287 266 226 213 0 72 0
[pid=20209] ppid=20208 vsize=348108 CPUtime=1369.84 cores=1,3,5,7
/proc/20209/stat : 20209 (glucose_static) R 20208 20193 17634 0 -1 4202496 90879 0 0 0 136908 76 0 0 20 0 1 0 283082055 356462592 73180 33554432000 4194304 4896791 140735191129488 140735191127128 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20209/statm: 87027 73180 78 172 0 86853 0
Current children cumulated CPU time (s) 1419.08
Current children cumulated vsize (KiB) 515480
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 20247
/proc/meminfo: memFree=26153576/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=149076 CPUtime=49.24 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 37727 130380 0 0 422 195 4251 56 20 0 1 0 283076836 152653824 35120 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 37269 35120 184 410 0 36851 0
[pid=20208] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20208/stat : 20208 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283082055 9367552 266 33554432000 4194304 5064252 140734618492624 140734618491536 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20208/statm: 2287 266 226 213 0 72 0
[pid=20209] ppid=20208 vsize=348376 CPUtime=1429.84 cores=1,3,5,7
/proc/20209/stat : 20209 (glucose_static) R 20208 20193 17634 0 -1 4202496 90987 0 0 0 142908 76 0 0 20 0 1 0 283082055 356737024 75291 33554432000 4194304 4896791 140735191129488 140735191126696 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20209/statm: 87094 75291 78 172 0 86920 0
Current children cumulated CPU time (s) 1479.08
Current children cumulated vsize (KiB) 515748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/186 20250
/proc/meminfo: memFree=26154360/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=149076 CPUtime=49.24 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 37727 130380 0 0 422 195 4251 56 20 0 1 0 283076836 152653824 35120 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 37269 35120 184 410 0 36851 0
[pid=20208] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20208/stat : 20208 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283082055 9367552 266 33554432000 4194304 5064252 140734618492624 140734618491536 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20208/statm: 2287 266 226 213 0 72 0
[pid=20209] ppid=20208 vsize=299060 CPUtime=1489.83 cores=1,3,5,7
/proc/20209/stat : 20209 (glucose_static) R 20208 20193 17634 0 -1 4202496 92531 0 0 0 148904 79 0 0 20 0 1 0 283082055 306237440 64946 33554432000 4194304 4896791 140735191129488 140735191127000 4224963 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20209/statm: 74765 64946 78 172 0 74591 0
Current children cumulated CPU time (s) 1539.07
Current children cumulated vsize (KiB) 466432
[startup+1602.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/185 20250
/proc/meminfo: memFree=26122656/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=149076 CPUtime=49.24 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 37727 130380 0 0 422 195 4251 56 20 0 1 0 283076836 152653824 35120 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 37269 35120 184 410 0 36851 0
[pid=20208] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20208/stat : 20208 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283082055 9367552 266 33554432000 4194304 5064252 140734618492624 140734618491536 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20208/statm: 2287 266 226 213 0 72 0
[pid=20209] ppid=20208 vsize=299552 CPUtime=1549.83 cores=1,3,5,7
/proc/20209/stat : 20209 (glucose_static) R 20208 20193 17634 0 -1 4202496 94806 0 0 0 154903 80 0 0 20 0 1 0 283082055 306741248 70708 33554432000 4194304 4896791 140735191129488 140735191127016 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20209/statm: 74888 70708 78 172 0 74714 0
Current children cumulated CPU time (s) 1599.07
Current children cumulated vsize (KiB) 466924
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/185 20250
/proc/meminfo: memFree=26141836/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=149076 CPUtime=49.24 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 37727 130380 0 0 422 195 4251 56 20 0 1 0 283076836 152653824 35120 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 37269 35120 184 410 0 36851 0
[pid=20208] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20208/stat : 20208 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283082055 9367552 266 33554432000 4194304 5064252 140734618492624 140734618491536 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20208/statm: 2287 266 226 213 0 72 0
[pid=20209] ppid=20208 vsize=350536 CPUtime=1609.81 cores=1,3,5,7
/proc/20209/stat : 20209 (glucose_static) R 20208 20193 17634 0 -1 4202496 96408 0 0 0 160900 81 0 0 20 0 1 0 283082055 358948864 76853 33554432000 4194304 4896791 140735191129488 140735191125224 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20209/statm: 87634 76853 78 172 0 87460 0
Current children cumulated CPU time (s) 1659.05
Current children cumulated vsize (KiB) 517908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 20250
/proc/meminfo: memFree=26131348/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=149076 CPUtime=49.24 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 37727 130380 0 0 422 195 4251 56 20 0 1 0 283076836 152653824 35120 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 37269 35120 184 410 0 36851 0
[pid=20208] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20208/stat : 20208 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283082055 9367552 266 33554432000 4194304 5064252 140734618492624 140734618491536 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20208/statm: 2287 266 226 213 0 72 0
[pid=20209] ppid=20208 vsize=350872 CPUtime=1669.8 cores=1,3,5,7
/proc/20209/stat : 20209 (glucose_static) R 20208 20193 17634 0 -1 4202496 97182 0 0 0 166899 81 0 0 20 0 1 0 283082055 359292928 78485 33554432000 4194304 4896791 140735191129488 140735191127128 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20209/statm: 87718 78485 78 172 0 87544 0
Current children cumulated CPU time (s) 1719.04
Current children cumulated vsize (KiB) 518244
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 20251
/proc/meminfo: memFree=26166024/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=149076 CPUtime=49.24 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 37727 130380 0 0 422 195 4251 56 20 0 1 0 283076836 152653824 35120 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 37269 35120 184 410 0 36851 0
[pid=20208] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20208/stat : 20208 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283082055 9367552 266 33554432000 4194304 5064252 140734618492624 140734618491536 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20208/statm: 2287 266 226 213 0 72 0
[pid=20209] ppid=20208 vsize=301872 CPUtime=1729.79 cores=1,3,5,7
/proc/20209/stat : 20209 (glucose_static) R 20208 20193 17634 0 -1 4202496 98164 0 0 0 172895 84 0 0 20 0 1 0 283082055 309116928 68753 33554432000 4194304 4896791 140735191129488 140735191126712 4224802 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20209/statm: 75468 68753 78 172 0 75294 0
Current children cumulated CPU time (s) 1779.03
Current children cumulated vsize (KiB) 469244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 20293
/proc/meminfo: memFree=26928080/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=149076 CPUtime=49.24 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 37727 130380 0 0 422 195 4251 56 20 0 1 0 283076836 152653824 35120 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 37269 35120 184 410 0 36851 0
[pid=20208] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20208/stat : 20208 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283082055 9367552 266 33554432000 4194304 5064252 140734618492624 140734618491536 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20208/statm: 2287 266 226 213 0 72 0
[pid=20209] ppid=20208 vsize=302188 CPUtime=1750.79 cores=1,3,5,7
/proc/20209/stat : 20209 (glucose_static) R 20208 20193 17634 0 -1 4202496 98869 0 0 0 174995 84 0 0 20 0 1 0 283082055 309440512 69846 33554432000 4194304 4896791 140735191129488 140735191127128 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20209/statm: 75547 69846 78 172 0 75373 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 469560
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1803.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 20293
/proc/meminfo: memFree=26928080/32873844 swapFree=7124/7124
[pid=20193] ppid=20191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20193/stat : 20193 (runPb2sat.sh) S 20191 20193 17634 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283076836 9367552 275 33554432000 4194304 5064252 140736422840608 140736422839520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20193/statm: 2287 275 233 213 0 72 0
[pid=20194] ppid=20193 vsize=149076 CPUtime=49.24 cores=1,3,5,7
/proc/20194/stat : 20194 (pb2sat) S 20193 20193 17634 0 -1 4202496 37727 130380 0 0 422 195 4251 56 20 0 1 0 283076836 152653824 35120 33554432000 4194304 5873084 140736222564816 140736222558632 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20194/statm: 37269 35120 184 410 0 36851 0
[pid=20208] ppid=20194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20208/stat : 20208 (satsolver.sh) S 20194 20193 17634 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283082055 9367552 266 33554432000 4194304 5064252 140734618492624 140734618491536 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20208/statm: 2287 266 226 213 0 72 0
[pid=20209] ppid=20208 vsize=302188 CPUtime=1750.79 cores=1,3,5,7
/proc/20209/stat : 20209 (glucose_static) R 20208 20193 17634 0 -1 4202496 98869 0 0 0 174995 84 0 0 20 0 1 0 283082055 309440512 69846 33554432000 4194304 4896791 140735191129488 140735191127128 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20209/statm: 75547 69846 78 172 0 75373 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 469560
Child status: 0
Real time (s): 1803.32
CPU time (s): 1800.08
CPU user time (s): 1796.7
CPU system time (s): 3.38449
CPU usage (%): 99.8207
Max. virtual memory (cumulated for all children) (KiB): 676156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.7
system time used= 3.38448
maximum resident set size= 403320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267965
page faults= 0
swaps= 0
block input operations= 0
block output operations= 627104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105
involuntary context switches= 1930
runsolver used 3.2895 second user time and 9.8555 second system time
The end