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-3251174-1303571937/watcher-3251174-1303571937 -o /tmp/evaluation-result-3251174-1303571937/solver-3251174-1303571937 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3251174-1303571937.cnf
running on 2 cores: 4,6
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: 3.39 3.88 3.79 4/188 16419
/proc/meminfo: memFree=15610980/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 468792484 8912896 252 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 252 211 178 0 69 0
[startup+0.0393389 s]
/proc/loadavg: 3.39 3.88 3.79 4/188 16419
/proc/meminfo: memFree=15610980/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 468792484 8912896 252 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.100282 s]
/proc/loadavg: 3.39 3.88 3.79 4/188 16419
/proc/meminfo: memFree=15610980/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 468792484 8912896 252 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300247 s]
/proc/loadavg: 3.39 3.88 3.79 4/188 16419
/proc/meminfo: memFree=15610980/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 468792484 8912896 252 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.700174 s]
/proc/loadavg: 3.39 3.88 3.79 4/188 16419
/proc/meminfo: memFree=15610980/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 8704
[startup+1.50103 s]
/proc/loadavg: 3.39 3.88 3.79 6/194 16430
/proc/meminfo: memFree=15545964/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=26980 CPUtime=1.11 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 7050 0 0 0 111 0 0 0 22 0 1 0 468792522 27627520 3229 33554432000 4194304 4260849 140733681058384 18446744073709551615 4225424 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 6745 3229 250 17 0 3386 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 35684
[startup+3.10081 s]
/proc/loadavg: 3.39 3.88 3.79 5/194 16431
/proc/meminfo: memFree=15522788/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=45700 CPUtime=2.71 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 11954 0 0 0 270 1 0 0 25 0 1 0 468792522 46796800 7977 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 11425 7977 250 17 0 8066 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 54404
[startup+6.30024 s]
/proc/loadavg: 3.44 3.88 3.79 5/194 16431
/proc/meminfo: memFree=15468068/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=57304 CPUtime=5.91 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 15295 0 0 0 590 1 0 0 25 0 1 0 468792522 58679296 11120 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 14326 11120 250 17 0 10967 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 66008
[startup+12.7011 s]
/proc/loadavg: 3.48 3.88 3.79 6/194 16432
/proc/meminfo: memFree=15428184/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=76160 CPUtime=12.31 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 28910 0 0 0 1228 3 0 0 25 0 1 0 468792522 77987840 12085 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 19040 12085 251 17 0 15681 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84864
[startup+25.5008 s]
/proc/loadavg: 3.60 3.89 3.79 5/194 16463
/proc/meminfo: memFree=15384500/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=76160 CPUtime=25.11 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 31793 0 0 0 2508 3 0 0 25 0 1 0 468792522 77987840 14947 33554432000 4194304 4260849 140733681058384 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 19040 14947 251 17 0 15681 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84864
[startup+51.1003 s]
/proc/loadavg: 3.73 3.89 3.80 5/194 16463
/proc/meminfo: memFree=15286204/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=88184 CPUtime=50.71 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 76838 0 0 0 5061 10 0 0 25 0 1 0 468792522 90300416 18855 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 22046 18855 251 17 0 18687 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 96888
[startup+102.307 s]
/proc/loadavg: 3.88 3.91 3.81 5/194 16465
/proc/meminfo: memFree=15209804/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=137504 CPUtime=101.92 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 144400 0 0 0 10171 21 0 0 25 0 1 0 468792522 140804096 29420 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 34376 29420 251 17 0 31017 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 146208
[startup+162.3 s]
/proc/loadavg: 3.95 3.92 3.82 5/194 16467
/proc/meminfo: memFree=15187828/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=137504 CPUtime=161.92 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 207428 0 0 0 16159 33 0 0 25 0 1 0 468792522 140804096 28078 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 34376 28078 251 17 0 31017 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 146208
[startup+222.301 s]
/proc/loadavg: 3.98 3.93 3.82 5/194 16499
/proc/meminfo: memFree=15231208/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=88184 CPUtime=221.91 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 245075 0 0 0 22152 39 0 0 25 0 1 0 468792522 90300416 18862 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 22046 18862 251 17 0 18687 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 96888
[startup+282.301 s]
/proc/loadavg: 4.10 3.97 3.84 6/194 16501
/proc/meminfo: memFree=15118604/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=168324 CPUtime=281.91 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 292936 0 0 0 28143 48 0 0 25 0 1 0 468792522 172363776 36532 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 42081 36532 251 17 0 38722 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 177028
[startup+342.3 s]
/proc/loadavg: 4.03 3.97 3.85 5/194 16502
/proc/meminfo: memFree=15065020/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=175920 CPUtime=341.92 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 333716 0 0 0 34135 57 0 0 25 0 1 0 468792522 180142080 39590 33554432000 4194304 4260849 140733681058384 18446744073709551615 4225091 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 43980 39590 251 17 0 40621 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 184624
[startup+402.301 s]
/proc/loadavg: 4.12 4.01 3.86 5/194 16504
/proc/meminfo: memFree=15094008/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
################
# More data... #
################
/proc/16430/statm: 43980 34728 252 17 0 40621 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 184624
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.89 5/194 16510
/proc/meminfo: memFree=15007584/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=175920 CPUtime=641.93 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 517619 0 0 0 64093 100 0 0 25 0 1 0 468792522 180142080 33729 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 43980 33729 252 17 0 40621 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 184624
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/194 16512
/proc/meminfo: memFree=14996392/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=175920 CPUtime=701.93 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 537886 0 0 0 70088 105 0 0 25 0 1 0 468792522 180142080 36325 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 43980 36325 252 17 0 40621 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 184624
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.90 5/194 16514
/proc/meminfo: memFree=15089976/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=145100 CPUtime=761.94 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 566527 0 0 0 76084 110 0 0 25 0 1 0 468792522 148582400 32824 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 36275 32824 252 17 0 32916 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 153804
[startup+822.301 s]
/proc/loadavg: 4.15 4.03 3.91 5/194 16515
/proc/meminfo: memFree=15029792/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=177816 CPUtime=821.93 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 601068 0 0 0 82075 118 0 0 25 0 1 0 468792522 182083584 33704 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 44454 33704 252 17 0 41095 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 186520
[startup+882.301 s]
/proc/loadavg: 4.05 4.02 3.91 6/194 16517
/proc/meminfo: memFree=14997276/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=149556 CPUtime=881.94 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 634375 0 0 0 88070 124 0 0 25 0 1 0 468792522 153145344 31067 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 37389 31067 252 17 0 34030 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 158260
[startup+942.3 s]
/proc/loadavg: 4.17 4.05 3.93 5/194 16518
/proc/meminfo: memFree=14967228/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=183528 CPUtime=941.94 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 660442 0 0 0 94064 130 0 0 25 0 1 0 468792522 187932672 38390 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 45882 38390 252 17 0 42523 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 192232
[startup+1002.3 s]
/proc/loadavg: 4.06 4.04 3.93 5/194 16520
/proc/meminfo: memFree=14951712/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=185592 CPUtime=1001.94 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 683791 0 0 0 100058 136 0 0 25 0 1 0 468792522 190046208 41322 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 46398 41322 252 17 0 43039 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 194296
[startup+1062.3 s]
/proc/loadavg: 4.02 4.03 3.93 6/194 16522
/proc/meminfo: memFree=15004260/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=155768 CPUtime=1061.94 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 719799 0 0 0 106051 143 0 0 25 0 1 0 468792522 159506432 35007 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 38942 35007 252 17 0 35583 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 164472
[startup+1122.3 s]
/proc/loadavg: 4.01 4.02 3.93 5/194 16523
/proc/meminfo: memFree=14937644/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=191240 CPUtime=1121.94 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 746328 0 0 0 112045 149 0 0 25 0 1 0 468792522 195829760 41292 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 47810 41292 252 17 0 44451 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 199944
[startup+1182.3 s]
/proc/loadavg: 4.00 4.02 3.93 5/194 16525
/proc/meminfo: memFree=14936872/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=192980 CPUtime=1181.94 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 785525 0 0 0 118037 157 0 0 25 0 1 0 468792522 197611520 39446 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 48245 39446 252 17 0 44886 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 201684
[startup+1242.3 s]
/proc/loadavg: 4.00 4.01 3.93 5/194 16526
/proc/meminfo: memFree=14876348/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=245784 CPUtime=1241.95 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 812584 0 0 0 124032 163 0 0 25 0 1 0 468792522 251682816 45162 33554432000 4194304 4260849 140733681058384 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 61446 45162 252 17 0 58087 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 254488
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 4.01 3.93 5/194 16528
/proc/meminfo: memFree=14888608/32950928 swapFree=67111528/67111528
[pid=16419] ppid=16417 vsize=8704 CPUtime=0.37 cores=4,6
/proc/16419/stat : 16419 (glucose.sh) S 16417 16419 15849 0 -1 4202496 359 2997 0 0 0 0 37 0 18 0 1 0 468792484 8912896 254 33554432000 4194304 4922060 140736363569648 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16419/statm: 2176 254 211 178 0 69 0
[pid=16430] ppid=16419 vsize=250108 CPUtime=1299.65 cores=4,6
/proc/16430/stat : 16430 (glucose_static) R 16419 16419 15849 0 -1 4202496 835121 0 0 0 129796 169 0 0 25 0 1 0 468792522 256110592 46409 33554432000 4194304 4260849 140733681058384 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16430/statm: 62527 46409 252 17 0 59168 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 258812
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 16419 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=373943
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=6998
# CPU time returned by wait4() is 0.380941
# while last known CPU time is 1300.02
#
# 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): 1300.02
CPU user time (s): 1298.33
CPU system time (s): 1.69
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 303524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.373943
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3356
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= 8
involuntary context switches= 16
runsolver used 2.08568 second user time and 5.01924 second system time
The end
Begin job on node122 at 2011-04-23 17:18:57
IDJOB=3251174
IDBENCH=88212
IDSOLVER=1651
FILE ID=node122/3251174-1303571937
RUNJOBID= node122-1303571936-16381
PBS_JOBID= 13150292
Free space on /tmp= 70868 MiB
SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf
COMMAND LINE= glucose.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251174-1303571937/watcher-3251174-1303571937 -o /tmp/evaluation-result-3251174-1303571937/solver-3251174-1303571937 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3251174-1303571937.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 1bac7b96ea6eb843b1de7405a721cd87
RANDOM SEED=864485895
node122.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.820
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.64
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.820
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.75
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.820
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.75
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.820
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.83
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.820
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 : 5332.75
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.820
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.75
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.820
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.820
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.97
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 15611268 kB
Buffers: 1775364 kB
Cached: 14934024 kB
SwapCached: 0 kB
Active: 5395208 kB
Inactive: 11392196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 15611268 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 8716 kB
Writeback: 0 kB
AnonPages: 77840 kB
Mapped: 15844 kB
Slab: 487740 kB
PageTables: 5568 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 244568 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= 70848 MiB
End job on node122 at 2011-04-23 17:40:39