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-3292347-1303782875/watcher-3292347-1303782875 -o /tmp/evaluation-result-3292347-1303782875/solver-3292347-1303782875 -C 2400 -W 1300 -M 7680 HOME/ebglucose.sh HOME/instance-3292347-1303782875.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: 4.08 4.04 3.94 5/192 32384
/proc/meminfo: memFree=11358260/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 355 234 0 0 0 0 0 0 25 0 1 0 568518160 8912896 253 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 253 211 178 0 69 0
[startup+0.0367461 s]
/proc/loadavg: 4.08 4.04 3.94 5/192 32384
/proc/meminfo: memFree=11358260/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 355 234 0 0 0 0 0 0 25 0 1 0 568518160 8912896 253 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.100735 s]
/proc/loadavg: 4.08 4.04 3.94 5/192 32384
/proc/meminfo: memFree=11358260/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 355 234 0 0 0 0 0 0 25 0 1 0 568518160 8912896 253 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300635 s]
/proc/loadavg: 4.08 4.04 3.94 5/192 32384
/proc/meminfo: memFree=11358260/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 8704
[startup+0.700558 s]
/proc/loadavg: 4.08 4.04 3.94 5/192 32384
/proc/meminfo: memFree=11358260/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 8704
[startup+1.50047 s]
/proc/loadavg: 4.08 4.04 3.94 5/194 32388
/proc/meminfo: memFree=11342628/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=15964 CPUtime=1.36 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 3548 0 0 0 136 0 0 0 25 0 1 0 568518172 16347136 3489 33554432000 134512640 134556542 4288049312 18446744073709551615 134537184 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 3991 3489 212 11 0 3325 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 24668
[startup+3.10117 s]
/proc/loadavg: 4.08 4.04 3.94 5/194 32388
/proc/meminfo: memFree=11341744/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=17320 CPUtime=2.96 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 3879 0 0 0 296 0 0 0 25 0 1 0 568518172 17735680 3820 33554432000 134512640 134556542 4288049312 18446744073709551615 134537184 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 4330 3820 212 11 0 3664 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 26024
[startup+6.30056 s]
/proc/loadavg: 4.07 4.04 3.94 5/194 32388
/proc/meminfo: memFree=11339072/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=18880 CPUtime=6.17 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 4241 0 0 0 616 1 0 0 25 0 1 0 568518172 19333120 4182 33554432000 134512640 134556542 4288049312 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 4720 4182 212 11 0 4054 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27584
[startup+12.7003 s]
/proc/loadavg: 4.06 4.04 3.94 5/194 32388
/proc/meminfo: memFree=11335052/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=20888 CPUtime=12.57 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 4776 0 0 0 1256 1 0 0 25 0 1 0 568518172 21389312 4717 33554432000 134512640 134556542 4288049312 18446744073709551615 134529960 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 5222 4717 212 11 0 4556 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29592
[startup+25.5009 s]
/proc/loadavg: 4.05 4.04 3.94 5/194 32388
/proc/meminfo: memFree=11329448/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=25460 CPUtime=25.37 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 5883 0 0 0 2536 1 0 0 25 0 1 0 568518172 26071040 5824 33554432000 134512640 134556542 4288049312 18446744073709551615 134537297 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 6365 5824 214 11 0 5699 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34164
[startup+51.1011 s]
/proc/loadavg: 4.03 4.03 3.94 5/194 32389
/proc/meminfo: memFree=11319940/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=31668 CPUtime=50.97 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 7398 0 0 0 5096 1 0 0 25 0 1 0 568518172 32428032 7339 33554432000 134512640 134556542 4288049312 18446744073709551615 134537265 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 7917 7339 214 11 0 7251 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40372
[startup+102.307 s]
/proc/loadavg: 4.01 4.02 3.94 5/194 32390
/proc/meminfo: memFree=11284152/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=41144 CPUtime=102.18 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 9681 0 0 0 10216 2 0 0 25 0 1 0 568518172 42131456 9622 33554432000 134512640 134556542 4288049312 18446744073709551615 134531640 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 10286 9622 214 11 0 9620 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 49848
[startup+162.301 s]
/proc/loadavg: 4.00 4.02 3.94 5/194 32392
/proc/meminfo: memFree=11268472/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=49532 CPUtime=162.17 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 11660 0 0 0 16215 2 0 0 25 0 1 0 568518172 50720768 11601 33554432000 134512640 134556542 4288049312 18446744073709551615 134537359 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 12383 11601 214 11 0 11717 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 58236
[startup+222.301 s]
/proc/loadavg: 4.00 4.01 3.94 5/194 32394
/proc/meminfo: memFree=11254200/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=55564 CPUtime=222.17 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 13196 0 0 0 22214 3 0 0 25 0 1 0 568518172 56897536 13137 33554432000 134512640 134556542 4288049312 18446744073709551615 134537162 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 13891 13137 214 11 0 13225 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 64268
[startup+282.301 s]
/proc/loadavg: 4.00 4.01 3.94 5/194 32395
/proc/meminfo: memFree=11248484/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=60620 CPUtime=282.18 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 14474 0 0 0 28214 4 0 0 25 0 1 0 568518172 62074880 14415 33554432000 134512640 134556542 4288049312 18446744073709551615 134537515 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 15155 14415 214 11 0 14489 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 69324
[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/194 32397
/proc/meminfo: memFree=11238068/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=66184 CPUtime=342.17 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 15639 0 0 0 34213 4 0 0 25 0 1 0 568518172 67772416 15580 33554432000 134512640 134556542 4288049312 18446744073709551615 134537412 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 16546 15580 214 11 0 15880 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 74888
Solver just ended. Dumping a history of the last processes samples
[startup+358.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/194 32397
/proc/meminfo: memFree=11234652/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=67368 CPUtime=358.18 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 15933 0 0 0 35814 4 0 0 25 0 1 0 568518172 68984832 15874 33554432000 134512640 134556542 4288049312 18446744073709551615 134537492 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 16842 15874 214 11 0 16176 0
Current children cumulated CPU time (s) 358.29
Current children cumulated vsize (KiB) 76072
[startup+371.1 s]
/proc/loadavg: 4.00 4.00 3.94 5/194 32398
/proc/meminfo: memFree=11233288/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=68700 CPUtime=370.97 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 16243 0 0 0 37093 4 0 0 25 0 1 0 568518172 70348800 16184 33554432000 134512640 134556542 4288049312 18446744073709551615 134537174 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 17175 16184 214 11 0 16509 0
Current children cumulated CPU time (s) 371.08
Current children cumulated vsize (KiB) 77404
[startup+377.501 s]
/proc/loadavg: 4.00 4.00 3.94 5/194 32398
/proc/meminfo: memFree=11232904/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=69024 CPUtime=377.38 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 16328 0 0 0 37734 4 0 0 25 0 1 0 568518172 70680576 16269 33554432000 134512640 134556542 4288049312 18446744073709551615 134543431 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 17256 16269 214 11 0 16590 0
Current children cumulated CPU time (s) 377.49
Current children cumulated vsize (KiB) 77728
[startup+380.701 s]
/proc/loadavg: 4.00 4.00 3.94 5/194 32398
/proc/meminfo: memFree=11225464/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=69172 CPUtime=380.58 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 16355 0 0 0 38054 4 0 0 25 0 1 0 568518172 70832128 16296 33554432000 134512640 134556542 4288049312 18446744073709551615 134537176 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 17293 16296 214 11 0 16627 0
Current children cumulated CPU time (s) 380.69
Current children cumulated vsize (KiB) 77876
[startup+383.907 s]
/proc/loadavg: 4.00 4.00 3.94 5/194 32398
/proc/meminfo: memFree=11225364/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=69172 CPUtime=383.78 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 16380 0 0 0 38374 4 0 0 25 0 1 0 568518172 70832128 16321 33554432000 134512640 134556542 4288049312 18446744073709551615 134537174 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 17293 16321 214 11 0 16627 0
Current children cumulated CPU time (s) 383.89
Current children cumulated vsize (KiB) 77876
[startup+384.701 s]
/proc/loadavg: 4.00 4.00 3.94 5/194 32398
/proc/meminfo: memFree=11225364/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=69172 CPUtime=384.58 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 16389 0 0 0 38454 4 0 0 25 0 1 0 568518172 70832128 16330 33554432000 134512640 134556542 4288049312 18446744073709551615 134537174 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 17293 16330 214 11 0 16627 0
Current children cumulated CPU time (s) 384.69
Current children cumulated vsize (KiB) 77876
[startup+385.501 s]
/proc/loadavg: 4.00 4.00 3.94 5/194 32398
/proc/meminfo: memFree=11225364/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=69172 CPUtime=385.38 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 16389 0 0 0 38534 4 0 0 25 0 1 0 568518172 70832128 16330 33554432000 134512640 134556542 4288049312 18446744073709551615 134537174 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 17293 16330 214 11 0 16627 0
Current children cumulated CPU time (s) 385.49
Current children cumulated vsize (KiB) 77876
[startup+385.701 s]
/proc/loadavg: 4.00 4.00 3.94 5/194 32398
/proc/meminfo: memFree=11225364/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=69172 CPUtime=385.58 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 16390 0 0 0 38554 4 0 0 25 0 1 0 568518172 70832128 16331 33554432000 134512640 134556542 4288049312 18446744073709551615 134537504 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 17293 16331 214 11 0 16627 0
Current children cumulated CPU time (s) 385.69
Current children cumulated vsize (KiB) 77876
[startup+385.801 s]
/proc/loadavg: 4.00 4.00 3.94 5/194 32398
/proc/meminfo: memFree=11225364/32950928 swapFree=67111524/67111528
[pid=32384] ppid=32382 vsize=8704 CPUtime=0.11 cores=4,6
/proc/32384/stat : 32384 (ebglucose.sh) S 32382 32384 32153 0 -1 4202496 380 2549 0 0 0 0 10 1 24 0 1 0 568518160 8912896 256 33554432000 4194304 4922060 140737228801952 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32384/statm: 2176 256 211 178 0 69 0
[pid=32388] ppid=32384 vsize=69172 CPUtime=385.68 cores=4,6
/proc/32388/stat : 32388 (ebglucose_stati) R 32384 32384 32153 0 -1 4202496 16391 0 0 0 38564 4 0 0 25 0 1 0 568518172 70832128 16332 33554432000 134512640 134556542 4288049312 18446744073709551615 134537312 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/32388/statm: 17293 16332 214 11 0 16627 0
Current children cumulated CPU time (s) 385.79
Current children cumulated vsize (KiB) 77876
Child status: 10
Real time (s): 385.893
CPU time (s): 385.896
CPU user time (s): 385.831
CPU system time (s): 0.06499
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 77876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 385.831
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19749
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= 52
involuntary context switches= 310
runsolver used 0.627904 second user time and 1.48077 second system time
The end
Begin job on node115 at 2011-04-26 03:54:35
IDJOB=3292347
IDBENCH=85975
IDSOLVER=1652
FILE ID=node115/3292347-1303782875
RUNJOBID= node115-1303782716-32172
PBS_JOBID= 13157231
Free space on /tmp= 72104 MiB
SOLVER NAME= EBGlucose 1.0
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf
COMMAND LINE= DIR/ebglucose.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292347-1303782875/watcher-3292347-1303782875 -o /tmp/evaluation-result-3292347-1303782875/solver-3292347-1303782875 -C 2400 -W 1300 -M 7680 HOME/ebglucose.sh HOME/instance-3292347-1303782875.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 833432e05c2a1599e13dca28680b5df9
RANDOM SEED=860279087
node115.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.811
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.62
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.811
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 : 5226.15
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.811
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.811
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.75
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.811
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.77
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.811
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.74
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.811
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.811
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 11358416 kB
Buffers: 2294488 kB
Cached: 17458092 kB
SwapCached: 4 kB
Active: 9101924 kB
Inactive: 11932220 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 11358416 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 438728 kB
Writeback: 0 kB
AnonPages: 1280988 kB
Mapped: 16096 kB
Slab: 491280 kB
PageTables: 7984 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1513148 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= 72104 MiB
End job on node115 at 2011-04-26 04:01:01