Trace number 3466769

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
MinisatID 2.4.8-gmp? (TO)65 1800.05 1802.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
MD5SUM1d334f36842eecbe8db395477b7c6bcb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6340
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
0.00/0.03	o 1655
0.00/0.04	o 1653
0.00/0.04	o 1637
0.00/0.05	o 1633
0.00/0.05	o 1573
0.00/0.05	o 1461
0.00/0.05	o 1445
0.00/0.06	o 1443
0.00/0.07	o 1439
0.00/0.07	o 1437
0.00/0.08	o 1425
0.00/0.08	o 1421
0.00/0.09	o 1417
0.00/0.10	o 1415
0.00/0.10	o 1411
0.10/0.13	o 1409
0.10/0.14	o 1407
0.10/0.15	o 1379
0.10/0.18	o 1363
0.29/0.31	o 1361
0.69/0.76	o 1351
0.79/0.81	o 1347
0.79/0.82	o 1343
0.89/0.93	o 1341
0.89/0.94	o 1339
0.89/0.94	o 1337
0.99/1.00	o 1333
0.99/1.01	o 1321
0.99/1.10	o 1177
0.99/1.11	o 1173
1.10/1.11	o 1169
1.10/1.12	o 1167
1.10/1.12	o 1165
1.10/1.12	o 1163
1.10/1.13	o 1155
1.29/1.39	o 1148
1.49/1.58	o 1147
1.59/1.63	o 1145
1.59/1.63	o 1143
1.89/1.97	o 1131
1.89/1.98	o 1123
1.99/2.04	o 1119
3.41/3.42	o 1117
3.41/3.42	o 1115
3.41/3.43	o 1113
3.41/3.46	o 1111
3.41/3.47	o 1103
3.59/3.63	o 1101
3.59/3.63	o 1099
3.59/3.63	o 1097
3.59/3.69	o 1067
4.69/4.70	o 1065
4.69/4.70	o 1063
4.79/4.86	o 1033
4.79/4.87	o 1025
6.70/6.74	o 1007
7.19/7.25	o 983
7.89/7.91	o 977
7.89/7.91	o 973
7.89/7.91	o 971
7.89/7.95	o 959
7.89/7.95	o 957
7.89/7.95	o 955
8.09/8.18	o 951
8.09/8.18	o 949
9.79/9.80	o 947
10.09/10.12	o 945
11.19/11.24	o 941
11.19/11.25	o 939
11.19/11.25	o 937
11.69/11.70	o 936
11.69/11.70	o 934
11.69/11.71	o 926
11.69/11.72	o 922
11.69/11.73	o 920
11.69/11.77	o 898
11.69/11.77	o 896
11.89/11.96	o 894
11.89/11.98	o 892
11.89/11.99	o 890
11.99/12.01	o 888
11.99/12.08	o 886
12.10/12.17	o 884
12.10/12.17	o 882
12.10/12.17	o 880
12.10/12.18	o 878
12.10/12.21	o 868
12.20/12.21	o 866
12.20/12.21	o 864
12.20/12.28	o 863
12.20/12.29	o 859
12.29/12.32	o 851
12.39/12.41	o 850
12.39/12.41	o 846
12.39/12.42	o 844
12.39/12.43	o 840
12.49/12.57	o 784
12.49/12.58	o 782
12.49/12.59	o 780
12.69/12.76	o 779
12.69/12.76	o 777
12.69/12.77	o 775
12.69/12.78	o 773
12.69/12.78	o 771
12.79/12.82	o 769
12.79/12.82	o 767
12.79/12.83	o 765
12.79/12.83	o 763
12.79/12.83	o 761
13.09/13.12	o 759
13.09/13.19	o 757
13.09/13.20	o 755
13.20/13.22	o 753
13.20/13.26	o 751
13.20/13.29	o 737
13.39/13.44	o 735
13.59/13.68	o 723
13.59/13.69	o 719
13.59/13.69	o 717
13.69/13.74	o 715
13.69/13.75	o 711
14.89/14.96	o 705
14.89/14.98	o 703
14.89/14.98	o 701
14.89/14.99	o 699
14.99/15.06	o 697
14.99/15.07	o 695
15.40/15.45	o 693
15.40/15.46	o 691
15.40/15.46	o 689
15.40/15.47	o 687
15.50/15.53	o 675
15.69/15.75	o 669
15.69/15.75	o 667
15.69/15.75	o 665
15.79/15.84	o 663
16.19/16.22	o 661
22.39/22.46	o 656
22.49/22.51	o 654
22.49/22.51	o 652
22.49/22.53	o 650
22.49/22.54	o 648
22.49/22.55	o 646
22.59/22.64	o 644
22.59/22.64	o 622
22.59/22.64	o 620
22.59/22.65	o 618
22.59/22.65	o 616
22.59/22.65	o 614
23.79/23.84	o 611
23.79/23.86	o 609
23.79/23.86	o 607
23.89/23.98	o 605
23.89/23.99	o 603
23.99/24.00	o 601
24.09/24.10	o 598
24.09/24.11	o 594
24.09/24.11	o 590
24.09/24.12	o 586
25.09/25.12	o 580
25.09/25.13	o 572
25.30/25.38	o 570
25.30/25.39	o 568
25.40/25.41	o 566
25.40/25.42	o 564
26.19/26.29	o 548
26.19/26.29	o 546
26.29/26.30	o 544
26.29/26.30	o 542
26.79/26.83	o 540
26.79/26.86	o 530
33.10/33.12	o 501
33.49/33.50	o 499
33.49/33.51	o 497
33.69/33.77	o 481
33.69/33.79	o 479
33.79/33.82	o 469
33.79/33.82	o 467
34.69/34.75	o 465
34.79/34.84	o 461
34.79/34.85	o 459
34.79/34.86	o 457
35.20/35.28	o 451
35.89/35.99	o 449
35.89/35.99	o 441
35.99/36.00	o 439
35.99/36.03	o 437
36.59/36.61	o 435
36.59/36.65	o 419
47.19/47.20	o 408
47.30/47.40	o 406
47.49/47.50	o 404
47.49/47.50	o 402
47.49/47.58	o 400
47.49/47.58	o 398
47.49/47.58	o 394
47.59/47.68	o 390
48.79/48.83	o 380
48.79/48.87	o 376
49.19/49.26	o 368
49.19/49.27	o 366
49.19/49.27	o 364
49.39/49.48	o 362
49.79/49.89	o 354
49.89/49.90	o 350
49.89/49.94	o 322
49.89/49.99	o 318
49.89/49.99	o 310
49.99/50.01	o 306
49.99/50.01	o 304
49.99/50.02	o 302
51.89/51.96	o 301
57.49/57.59	o 300
57.59/57.60	o 298
59.29/59.35	o 297
59.40/59.44	o 283
59.89/59.97	o 281
59.99/60.00	o 273
59.99/60.00	o 271
60.39/60.41	o 270
61.49/61.53	o 269
61.60/61.67	o 266
61.60/61.68	o 264
61.99/62.05	o 263
61.99/62.06	o 261
61.99/62.07	o 259
61.99/62.09	o 251
62.09/62.11	o 249
62.09/62.15	o 247
62.80/62.87	o 233
62.80/62.88	o 231
62.89/62.99	o 229
62.99/63.02	o 227
62.99/63.03	o 221
62.99/63.03	o 219
62.99/63.05	o 213
62.99/63.06	o 211
63.19/63.20	o 209
63.19/63.23	o 207
63.39/63.43	o 205
157.19/157.26	o 203
157.59/157.67	o 196
157.59/157.69	o 194
158.40/158.48	o 188
158.50/158.51	o 182
158.50/158.51	o 180
158.50/158.52	o 174
158.50/158.52	o 172
158.50/158.54	o 170
158.79/158.89	o 164
158.79/158.89	o 160
161.49/161.51	o 159
161.49/161.52	o 157
161.80/161.89	o 155
161.80/161.89	o 153
161.89/161.91	o 151
161.89/161.92	o 149
161.99/162.04	o 147
162.09/162.13	o 145
162.49/162.52	o 135
162.49/162.59	o 131
163.90/163.97	o 119
163.90/163.97	o 117
163.90/163.98	o 115
179.69/179.70	o 113
179.69/179.71	o 111
327.09/327.11	o 109
327.09/327.12	o 105
327.19/327.21	o 103
327.19/327.28	o 99
327.19/327.29	o 91
327.19/327.29	o 87
327.19/327.29	o 85
1402.63/1402.61	o 83
1402.63/1402.62	o 81
1402.63/1402.62	o 77
1402.63/1402.63	o 75
1402.63/1402.63	o 73
1408.51/1408.50	o 71
1410.71/1410.75	o 67
1410.71/1410.75	o 65
1800.04/1800.01	>>> Terminate signal received
1800.04/1800.01	v x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 x28 -x29 -x30 -x31 -x32 x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 x129 x130 x131 x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140 -x141 x142 -x143 x144 -x145 -x146 -x147 x148 x149 x150 x151 x152 x153 x154 -x155 x156 x157 x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 -x171 x172 -x173 -x174 -x175 x176 -x177 x178 x179 -x180 -x181 x182 x183 x184 x185 -x186 -x187 -x188 x189 -x190 x191 x192 -x193 -x194 x195 x196 -x197 -x198

Verifier Data 

OK	65

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3466769-1307405608/watcher-3466769-1307405608 -o /tmp/evaluation-result-3466769-1307405608/solver-3466769-1307405608 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466769-1307405608.opb --verbosity=0 --format=opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.01 1.99 2/384 27334
/proc/meminfo: memFree=23424724/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=7988 CPUtime=0 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 566 0 0 0 0 0 0 0 25 0 1 0 852163611 8179712 513 33554432000 4194304 6736272 140733760554256 18446744073709551615 4505344 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1997 513 274 621 0 1367 0

[startup+0.112606 s]
/proc/loadavg: 1.93 2.01 1.99 2/384 27334
/proc/meminfo: memFree=23424724/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=3636 CPUtime=0.1 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 583 0 0 0 10 0 0 0 25 0 1 0 852163611 3723264 523 33554432000 4194304 6736272 140733760554256 18446744073709551615 5146816 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 909 523 277 621 0 279 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3636

[startup+0.200592 s]
/proc/loadavg: 1.93 2.01 1.99 2/384 27334
/proc/meminfo: memFree=23424724/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=3808 CPUtime=0.19 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 600 0 0 0 19 0 0 0 25 0 1 0 852163611 3899392 540 33554432000 4194304 6736272 140733760554256 18446744073709551615 5806341 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 952 540 277 621 0 322 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3808

[startup+0.300589 s]
/proc/loadavg: 1.93 2.01 1.99 2/384 27334
/proc/meminfo: memFree=23424724/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=3808 CPUtime=0.29 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 618 0 0 0 29 0 0 0 25 0 1 0 852163611 3899392 558 33554432000 4194304 6736272 140733760554256 18446744073709551615 5141872 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 952 558 283 621 0 322 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3808

[startup+0.700512 s]
/proc/loadavg: 1.93 2.01 1.99 2/384 27334
/proc/meminfo: memFree=23424724/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=3808 CPUtime=0.69 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 620 0 0 0 69 0 0 0 25 0 1 0 852163611 3899392 560 33554432000 4194304 6736272 140733760554256 18446744073709551615 5818643 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 952 560 283 621 0 322 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3808

[startup+1.50037 s]
/proc/loadavg: 1.93 2.01 1.99 2/382 27352
/proc/meminfo: memFree=23430388/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=3808 CPUtime=1.49 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 627 0 0 0 149 0 0 0 25 0 1 0 852163611 3899392 567 33554432000 4194304 6736272 140733760554256 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 952 567 283 621 0 322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3808

[startup+3.10105 s]
/proc/loadavg: 1.93 2.01 1.99 3/387 27362
/proc/meminfo: memFree=23425140/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=3808 CPUtime=3.09 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 633 0 0 0 309 0 0 0 25 0 1 0 852163611 3899392 572 33554432000 4194304 6736272 140733760554256 18446744073709551615 5803162 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 952 572 283 621 0 322 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3808

[startup+6.30048 s]
/proc/loadavg: 1.94 2.01 1.99 3/387 27362
/proc/meminfo: memFree=23424800/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=3808 CPUtime=6.29 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 634 0 0 0 629 0 0 0 25 0 1 0 852163611 3899392 573 33554432000 4194304 6736272 140733760554256 18446744073709551615 5803183 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 952 573 284 621 0 322 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3808

[startup+12.7004 s]
/proc/loadavg: 1.94 2.01 1.99 3/387 27362
/proc/meminfo: memFree=23423272/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=3808 CPUtime=12.69 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 635 0 0 0 1269 0 0 0 25 0 1 0 852163611 3899392 574 33554432000 4194304 6736272 140733760554256 18446744073709551615 5806446 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 952 574 285 621 0 322 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3808

[startup+25.5011 s]
/proc/loadavg: 1.95 2.01 1.99 3/387 27362
/proc/meminfo: memFree=23423372/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=3808 CPUtime=25.49 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 636 0 0 0 2549 0 0 0 25 0 1 0 852163611 3899392 575 33554432000 4194304 6736272 140733760554256 18446744073709551615 5806336 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 952 575 285 621 0 322 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3808

[startup+51.1006 s]
/proc/loadavg: 1.97 2.00 1.99 3/387 27363
/proc/meminfo: memFree=23423056/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=51.09 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 650 0 0 0 5109 0 0 0 25 0 1 0 852163611 4141056 588 33554432000 4194304 6736272 140733760554256 18446744073709551615 5222025 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 588 285 621 0 381 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 4044

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/387 27364
/proc/meminfo: memFree=23422052/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=102.3 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 660 0 0 0 10230 0 0 0 25 0 1 0 852163611 4141056 598 33554432000 4194304 6736272 140733760554256 18446744073709551615 5818079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 598 285 621 0 381 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 4044

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/387 27366
/proc/meminfo: memFree=23421068/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=162.29 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 16229 0 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 4753731 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 4044

[startup+222.314 s]
/proc/loadavg: 1.99 2.00 1.99 3/387 27368
/proc/meminfo: memFree=23421424/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=222.31 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 22231 0 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5148057 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 4044

[startup+282.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/387 27369
/proc/meminfo: memFree=23421384/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=282.29 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 28229 0 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5141856 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 4044

[startup+342.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/387 27371
/proc/meminfo: memFree=23421368/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=342.29 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 34229 0 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5219536 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 4044

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27372
/proc/meminfo: memFree=23421212/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=402.3 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 40230 0 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5803381 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 4044

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27374
/proc/meminfo: memFree=23421680/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=462.3 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 46229 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5148128 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 4044

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27376
/proc/meminfo: memFree=23421772/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=522.3 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 52229 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 4754064 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 4044

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/387 27377
/proc/meminfo: memFree=23421728/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=582.3 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 58229 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5148069 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 4044


################
# More data... #
################

/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 106230 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5811840 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 4044

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/387 27392
/proc/meminfo: memFree=23422800/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1122.31 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 112230 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5142071 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 4044

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/387 27393
/proc/meminfo: memFree=23422516/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1182.31 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 118230 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 4758730 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 4044

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/387 27395
/proc/meminfo: memFree=23420992/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1242.31 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 124230 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5221948 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 4044

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27396
/proc/meminfo: memFree=23420940/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1302.31 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 130230 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5219607 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 4044

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27398
/proc/meminfo: memFree=23421148/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1362.31 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 136230 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 4044

[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/387 27400
/proc/meminfo: memFree=23421732/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1422.33 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 142232 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 4534881 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 4044

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/387 27401
/proc/meminfo: memFree=23421800/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1482.32 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 148231 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5222016 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 4044

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 27403
/proc/meminfo: memFree=23422504/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1542.33 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 154232 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 4044

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 27404
/proc/meminfo: memFree=23422464/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1602.32 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 160231 1 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5811898 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 4044

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27406
/proc/meminfo: memFree=23422676/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1662.32 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 166230 2 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5811885 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 4044

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/387 27408
/proc/meminfo: memFree=23422508/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1722.32 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 172230 2 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5818399 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 4044

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 27409
/proc/meminfo: memFree=23420844/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1782.33 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 178231 2 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5803324 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 4044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 27410
/proc/meminfo: memFree=23420956/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1800.04 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) R 27332 27334 25385 0 -1 4202496 684 0 0 0 180002 2 0 0 25 0 1 0 852163611 4141056 620 33554432000 4194304 6736272 140733760554256 18446744073709551615 5149316 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/27334/statm: 1011 620 285 621 0 381 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4044

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -27334

Solver just ended. Dumping a history of the last processes samples

[startup+1800.7 s]
/proc/loadavg: 2.01 2.01 2.00 2/388 27411
/proc/meminfo: memFree=23420948/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1800.04 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) S 27332 27334 25385 0 -1 4202496 685 0 0 0 180002 2 0 0 25 0 1 0 852163611 4141056 621 33554432000 4194304 6736272 140733760554256 18446744073709551615 5924238 0 16384 4096 17571 18446604441203636096 0 0 17 0 0 0 0
/proc/27334/statm: 1011 621 286 621 0 381 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4044

[startup+1801.5 s]
/proc/loadavg: 2.01 2.01 2.00 2/388 27411
/proc/meminfo: memFree=23420948/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1800.04 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) S 27332 27334 25385 0 -1 4202496 685 0 0 0 180002 2 0 0 25 0 1 0 852163611 4141056 621 33554432000 4194304 6736272 140733760554256 18446744073709551615 5924238 0 16384 4096 17571 18446604441203636096 0 0 17 0 0 0 0
/proc/27334/statm: 1011 621 286 621 0 381 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4044

[startup+1801.91 s]
/proc/loadavg: 2.01 2.01 2.00 1/386 27412
/proc/meminfo: memFree=23420716/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1800.04 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) S 27332 27334 25385 0 -1 4202496 685 0 0 0 180002 2 0 0 25 0 1 0 852163611 4141056 621 33554432000 4194304 6736272 140733760554256 18446744073709551615 5924238 0 16384 4096 17571 18446604441203636096 0 0 17 0 0 0 0
/proc/27334/statm: 1011 621 286 621 0 381 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4044

[startup+1802 s]
/proc/loadavg: 2.01 2.01 2.00 1/386 27412
/proc/meminfo: memFree=23420716/32951124 swapFree=49244120/67111528
[pid=27334] ppid=27332 vsize=4044 CPUtime=1800.04 cores=0,2,4,6
/proc/27334/stat : 27334 (minisatid-gmp) S 27332 27334 25385 0 -1 4202496 685 0 0 0 180002 2 0 0 25 0 1 0 852163611 4141056 621 33554432000 4194304 6736272 140733760554256 18446744073709551615 5924238 0 16384 4096 17571 18446604441203636096 0 0 17 0 0 0 0
/proc/27334/statm: 1011 621 286 621 0 381 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4044

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.01
CPU time (s): 1800.05
CPU user time (s): 1800.02
CPU system time (s): 0.025996
CPU usage (%): 99.8909
Max. virtual memory (cumulated for all children) (KiB): 4044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 685
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= 3
involuntary context switches= 22445

runsolver used 7.18891 second user time and 14.1269 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-07 02:13:28
IDJOB=3466769
IDBENCH=2895
IDSOLVER=1957
FILE ID=node101/3466769-1307405608
RUNJOBID= node101-1307398399-26901
PBS_JOBID= 13514206
Free space on /tmp= 74064 MiB

SOLVER NAME= MinisatID 2.4.8-gmp
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466769-1307405608/watcher-3466769-1307405608 -o /tmp/evaluation-result-3466769-1307405608/solver-3466769-1307405608 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466769-1307405608.opb --verbosity=0 --format=opb 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb
RANDOM SEED=1209482779

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.841
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.74
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.841
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.83
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.841
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.841
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23424888 kB
Buffers:        318776 kB
Cached:         778020 kB
SwapCached:      27124 kB
Active:        8583968 kB
Inactive:       653052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23424888 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:            3132 kB
Writeback:           0 kB
AnonPages:     8135672 kB
Mapped:          17904 kB
Slab:           148876 kB
PageTables:      75124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78618460 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= 74060 MiB
End job on node101 at 2011-06-07 02:43:31