runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3286090-1303763229/watcher-3286090-1303763229 -o /tmp/evaluation-result-3286090-1303763229/solver-3286090-1303763229 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3286090-1303763229.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.06 4.02 3.75 5/192 4929
/proc/meminfo: memFree=10180376/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[startup+0.0229711 s]
/proc/loadavg: 4.06 4.02 3.75 5/192 4929
/proc/meminfo: memFree=10180376/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.100957 s]
/proc/loadavg: 4.06 4.02 3.75 5/192 4929
/proc/meminfo: memFree=10180376/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300917 s]
/proc/loadavg: 4.06 4.02 3.75 5/192 4929
/proc/meminfo: memFree=10180376/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.700851 s]
/proc/loadavg: 4.06 4.02 3.75 5/192 4929
/proc/meminfo: memFree=10180376/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+1.50071 s]
/proc/loadavg: 4.06 4.02 3.75 5/194 4932
/proc/meminfo: memFree=9916288/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=467848 CPUtime=1.48 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 109224 0 0 0 131 17 0 0 25 0 1 0 566553970 479076352 90141 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209456 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 116962 90141 239 17 0 113603 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 476552
[startup+3.10043 s]
/proc/loadavg: 4.06 4.02 3.75 5/194 4932
/proc/meminfo: memFree=9811504/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=468564 CPUtime=3.08 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 109955 0 0 0 291 17 0 0 25 0 1 0 566553970 479809536 90872 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209356 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 117141 90872 250 17 0 113782 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 477268
[startup+6.30086 s]
/proc/loadavg: 4.06 4.02 3.75 5/194 4932
/proc/meminfo: memFree=9795124/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=469376 CPUtime=6.28 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 111041 0 0 0 611 17 0 0 25 0 1 0 566553970 480641024 91958 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 117344 91958 250 17 0 113985 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 478080
[startup+12.7007 s]
/proc/loadavg: 4.05 4.02 3.75 5/194 4932
/proc/meminfo: memFree=9768596/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=469836 CPUtime=12.69 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 113035 0 0 0 1251 18 0 0 25 0 1 0 566553970 481112064 93952 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209536 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 117459 93952 250 17 0 114100 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 478540
[startup+25.5005 s]
/proc/loadavg: 4.04 4.02 3.75 5/194 4932
/proc/meminfo: memFree=9710324/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=471924 CPUtime=25.48 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 117173 0 0 0 2530 18 0 0 25 0 1 0 566553970 483250176 98090 33554432000 4194304 4260849 140735729582832 18446744073709551615 4225537 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 117981 98090 250 17 0 114622 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 480628
[startup+51.101 s]
/proc/loadavg: 4.02 4.02 3.75 5/194 4933
/proc/meminfo: memFree=9631376/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=482156 CPUtime=51.09 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 156196 0 0 0 5085 24 0 0 25 0 1 0 566553970 493727744 98819 33554432000 4194304 4260849 140735729582832 18446744073709551615 4224509 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 120539 98819 252 17 0 117180 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 490860
[startup+102.307 s]
/proc/loadavg: 4.01 4.01 3.76 5/194 4934
/proc/meminfo: memFree=9560984/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=482156 CPUtime=102.29 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 205958 0 0 0 10198 31 0 0 25 0 1 0 566553970 493727744 102122 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209582 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 120539 102122 252 17 0 117180 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 490860
[startup+162.3 s]
/proc/loadavg: 4.00 4.01 3.78 5/194 4936
/proc/meminfo: memFree=9628444/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=571512 CPUtime=162.29 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 269222 0 0 0 16189 40 0 0 25 0 1 0 566553970 585228288 109157 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 142878 109157 252 17 0 139519 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 580216
[startup+222.301 s]
/proc/loadavg: 4.11 4.03 3.80 5/194 4968
/proc/meminfo: memFree=9729512/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=571512 CPUtime=222.29 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 336132 0 0 0 22179 50 0 0 25 0 1 0 566553970 585228288 111389 33554432000 4194304 4260849 140735729582832 18446744073709551615 4225537 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 142878 111389 252 17 0 139519 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 580216
[startup+282.3 s]
/proc/loadavg: 4.04 4.02 3.81 5/194 5030
/proc/meminfo: memFree=9514856/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=703772 CPUtime=282.29 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 353948 0 0 0 28176 53 0 0 25 0 1 0 566553970 720662528 129201 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209619 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 175943 129201 252 17 0 172584 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 712476
[startup+342.301 s]
/proc/loadavg: 4.01 4.02 3.82 5/194 5093
/proc/meminfo: memFree=9704100/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=708220 CPUtime=342.29 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 380475 0 0 0 34173 56 0 0 25 0 1 0 566553970 725217280 155721 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 177055 155721 252 17 0 173696 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 716924
[startup+402.301 s]
/proc/loadavg: 4.00 4.01 3.83 5/194 5094
/proc/meminfo: memFree=9721432/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/4931/statm: 146177 122557 252 17 0 142818 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 593412
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/194 5130
/proc/meminfo: memFree=9332100/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=716968 CPUtime=642.29 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 682824 0 0 0 64127 102 0 0 25 0 1 0 566553970 734175232 156782 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 179242 156782 252 17 0 175883 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 725672
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.86 5/194 5165
/proc/meminfo: memFree=9697288/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=584708 CPUtime=702.29 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 751596 0 0 0 70114 115 0 0 25 0 1 0 566553970 598740992 129703 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209415 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 146177 129703 252 17 0 142818 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 593412
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.86 5/194 5167
/proc/meminfo: memFree=9438108/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=716968 CPUtime=762.29 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 783236 0 0 0 76107 122 0 0 25 0 1 0 566553970 734175232 161330 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 179242 161330 252 17 0 175883 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 725672
[startup+822.301 s]
/proc/loadavg: 4.07 4.03 3.88 5/194 5169
/proc/meminfo: memFree=9481396/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=590112 CPUtime=822.29 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 845285 0 0 0 82095 134 0 0 25 0 1 0 566553970 604274688 111359 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209356 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 147528 111359 252 17 0 144169 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 598816
[startup+882.301 s]
/proc/loadavg: 4.03 4.02 3.88 5/194 5170
/proc/meminfo: memFree=9549192/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=722372 CPUtime=882.28 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 874159 0 0 0 88090 138 0 0 25 0 1 0 566553970 739708928 140228 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 180593 140228 252 17 0 177234 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 731076
[startup+942.301 s]
/proc/loadavg: 4.01 4.02 3.89 5/194 5172
/proc/meminfo: memFree=9290228/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=937296 CPUtime=942.28 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 910344 0 0 0 94083 145 0 0 25 0 1 0 566553970 959791104 176405 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209332 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 234324 176409 252 17 0 230965 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 946000
[startup+1002.3 s]
/proc/loadavg: 4.00 4.01 3.90 5/194 5173
/proc/meminfo: memFree=9352072/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=508724 CPUtime=1002.28 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 979295 0 0 0 100071 157 0 0 25 0 1 0 566553970 520933376 109328 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 127181 109328 252 17 0 123822 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 517428
[startup+1062.3 s]
/proc/loadavg: 4.08 4.02 3.91 5/194 5175
/proc/meminfo: memFree=9526252/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=722372 CPUtime=1062.28 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 1007513 0 0 0 106065 163 0 0 25 0 1 0 566553970 739708928 137538 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209582 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 180593 137538 252 17 0 177234 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 731076
[startup+1122.3 s]
/proc/loadavg: 4.03 4.01 3.91 5/194 5177
/proc/meminfo: memFree=9226156/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=727792 CPUtime=1122.27 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 1029482 0 0 0 112061 166 0 0 25 0 1 0 566553970 745259008 159502 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209221 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 181948 159502 252 17 0 178589 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 736496
[startup+1182.3 s]
/proc/loadavg: 3.57 3.90 3.87 4/187 5196
/proc/meminfo: memFree=10088492/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=942716 CPUtime=1182.27 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 1062197 0 0 0 118054 173 0 0 25 0 1 0 566553970 965341184 192205 33554432000 4194304 4260849 140735729582832 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 235679 192205 252 17 0 232320 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 951420
[startup+1242.3 s]
/proc/loadavg: 3.21 3.73 3.82 4/187 5198
/proc/meminfo: memFree=10404028/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=595532 CPUtime=1242.26 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 1114360 0 0 0 124045 181 0 0 25 0 1 0 566553970 609824768 113496 33554432000 4194304 4260849 140735729582832 18446744073709551615 4227007 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 148883 113496 252 17 0 145524 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 604236
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.11 3.61 3.77 4/187 5199
/proc/meminfo: memFree=10270832/32950928 swapFree=67111528/67111528
[pid=4929] ppid=4927 vsize=8704 CPUtime=0 cores=5,7
/proc/4929/stat : 4929 (glucose.sh) S 4927 4929 3965 0 -1 4202496 359 112 0 0 0 0 0 0 22 0 1 0 566553970 8912896 254 33554432000 4194304 4922060 140734330501872 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4929/statm: 2176 254 211 178 0 69 0
[pid=4931] ppid=4929 vsize=727792 CPUtime=1299.96 cores=5,7
/proc/4931/stat : 4931 (glucose_static) R 4929 4929 3965 0 -1 4202496 1151871 0 0 0 129808 188 0 0 25 0 1 0 566553970 745259008 151002 33554432000 4194304 4260849 140735729582832 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4931/statm: 181948 151002 252 17 0 178589 0
Current children cumulated CPU time (s) 1299.96
Current children cumulated vsize (KiB) 736496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4929 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1299.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1300.01
CPU time (s): 1299.96
CPU user time (s): 1298.08
CPU system time (s): 1.88
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 1081648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3
runsolver used 2.11068 second user time and 4.99724 second system time
The end
Begin job on node112 at 2011-04-25 22:27:13
IDJOB=3286090
IDBENCH=82413
IDSOLVER=1651
FILE ID=node112/3286090-1303763229
RUNJOBID= node112-1303761767-4634
PBS_JOBID= 13157140
Free space on /tmp= 72144 MiB
SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
COMMAND LINE= glucose.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286090-1303763229/watcher-3286090-1303763229 -o /tmp/evaluation-result-3286090-1303763229/solver-3286090-1303763229 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3286090-1303763229.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= c6d3480970bb2819448dd0a800a3cf1c
RANDOM SEED=1999277805
node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5261.27
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 10180532 kB
Buffers: 1973704 kB
Cached: 19272632 kB
SwapCached: 0 kB
Active: 11099744 kB
Inactive: 11121188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 10180532 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 282748 kB
Writeback: 0 kB
AnonPages: 974136 kB
Mapped: 15296 kB
Slab: 483340 kB
PageTables: 7284 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1391208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72316 MiB
End job on node112 at 2011-04-25 22:48:55