Trace number 3724721

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
toysat 2012-06-01? (TO) 1800.02 1800.31

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randc18b26.cudf.trendy.opb
MD5SUM16fcb87ec6e0d214403f64d4df628c22
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark30185484701
Best CPU time to get the best result obtained on this benchmark3.43348
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7205
Total number of constraints30168
Number of constraints which are clauses29862
Number of constraints which are cardinality constraints (but not clauses)306
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 3416
Biggest coefficient in the objective function 5000211000
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 2760110624957
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 5000211000
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 2760110624957
Number of bits of the biggest sum of numbers42
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

1.78/1.84	c 2012-06-02T14:44:28+0200
1.78/1.84	c arch = x86_64
1.78/1.84	c os = linux
1.78/1.84	c compiler = ghc 7.4
1.78/1.84	c packages:
1.78/1.84	c   OptDir-0.0.1
1.78/1.84	c   array-0.4.0.0
1.78/1.84	c   base-4.5.0.0
1.78/1.84	c   bytestring-0.9.2.1
1.78/1.84	c   containers-0.4.2.1
1.78/1.84	c   deepseq-1.3.0.0
1.78/1.84	c   mtl-2.1.1
1.78/1.84	c   old_locale-1.0.0.4
1.78/1.84	c   parse_dimacs-1.2
1.78/1.84	c   parsec-3.1.2
1.78/1.84	c   queue-0.1.2
1.78/1.84	c   stm-2.3
1.78/1.84	c   time-1.4
1.78/1.84	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724721-1338641068.opb"]
1.78/1.84	c #vars 7205
1.78/1.84	c #constraints 30168
1.78/1.84	c Solving starts ...
3.99/4.07	c solving time = 2.218s
3.99/4.07	c #decision = 360850
3.99/4.07	c #conflict = 438
3.99/4.07	c #restart = 2
3.99/4.07	o 40238540515
3.99/4.09	c Solving starts ...
4.59/4.68	c solving time = 0.585s
4.59/4.68	c #decision = 362243
4.59/4.68	c #conflict = 444
4.59/4.68	c #restart = 2
4.59/4.68	o 40238540514
4.59/4.68	c Solving starts ...
24.19/24.25	c solving time = 19.564s
24.19/24.25	c #decision = 364461
24.19/24.25	c #conflict = 532
24.19/24.25	c #restart = 2
24.19/24.25	o 40238540513
24.19/24.26	c Solving starts ...
79.37/79.48	c solving time = 55.202s
79.37/79.48	c #decision = 365392
79.37/79.48	c #conflict = 676
79.37/79.48	c #restart = 3
79.37/79.48	o 40238540512
79.37/79.48	c Solving starts ...
112.97/113.02	c solving time = 33.532s
112.97/113.02	c #decision = 366086
112.97/113.02	c #conflict = 763
112.97/113.02	c #restart = 3
112.97/113.02	o 40238540511
112.97/113.03	c Solving starts ...
142.16/142.23	c solving time = 29.195s
142.16/142.23	c #decision = 366722
142.16/142.23	c #conflict = 834
142.16/142.23	c #restart = 3
142.16/142.23	o 40238540510
142.16/142.23	c Solving starts ...
175.25/175.35	c solving time = 33.104s
175.25/175.35	c #decision = 367406
175.25/175.35	c #conflict = 917
175.25/175.35	c #restart = 3
175.25/175.35	o 40238540509
175.25/175.35	c Solving starts ...
265.14/265.26	c solving time = 89.892s
265.14/265.26	c #decision = 368653
265.14/265.26	c #conflict = 1150
265.14/265.26	c #restart = 4
265.14/265.26	o 40238540508
265.14/265.27	c Solving starts ...
321.23/321.32	c solving time = 56.038s
321.23/321.32	c #decision = 369542
321.23/321.32	c #conflict = 1290
321.23/321.32	c #restart = 5
321.23/321.32	o 40238540507
321.23/321.32	c Solving starts ...
867.34/867.58	c solving time = 546.171s
867.34/867.58	c #decision = 372997
867.34/867.58	c #conflict = 2455
867.34/867.58	c #restart = 9
867.34/867.58	o 40238540506
867.34/867.58	c Solving starts ...
944.04/944.20	c solving time = 76.594s
944.04/944.20	c #decision = 374456
944.04/944.20	c #conflict = 2616
944.04/944.20	c #restart = 10
944.04/944.20	o 40235616417
944.04/944.20	c Solving starts ...
946.84/947.03	c solving time = 2.827s
946.84/947.03	c #decision = 374897
946.84/947.03	c #conflict = 2621
946.84/947.03	c #restart = 10
946.84/947.03	o 40235616416
946.84/947.03	c Solving starts ...
949.63/949.85	c solving time = 2.814s
949.63/949.85	c #decision = 375328
949.63/949.85	c #conflict = 2626
949.63/949.85	c #restart = 10
949.63/949.85	o 40235616415
949.63/949.86	c Solving starts ...
957.53/957.71	c solving time = 7.845s
957.53/957.71	c #decision = 375789
957.53/957.71	c #conflict = 2642
957.53/957.71	c #restart = 10
957.53/957.71	o 40235616414
957.53/957.71	c Solving starts ...
965.64/965.89	c solving time = 8.178s
965.64/965.89	c #decision = 376250
965.64/965.89	c #conflict = 2658
965.64/965.89	c #restart = 10
965.64/965.89	o 40235616413
965.73/965.90	c Solving starts ...
970.13/970.36	c solving time = 4.457s
970.13/970.36	c #decision = 376691
970.13/970.36	c #conflict = 2666
970.13/970.36	c #restart = 10
970.13/970.36	o 40235616412
970.13/970.36	c Solving starts ...
975.54/975.75	c solving time = 5.383s
975.54/975.75	c #decision = 377130
975.54/975.75	c #conflict = 2676
975.54/975.75	c #restart = 10
975.54/975.75	o 40235616411
975.54/975.76	c Solving starts ...
987.93/988.17	c solving time = 12.406s
987.93/988.17	c #decision = 377602
987.93/988.17	c #conflict = 2700
987.93/988.17	c #restart = 10
987.93/988.17	o 40235616410
987.93/988.17	c Solving starts ...
998.23/998.40	c solving time = 10.220s
998.23/998.40	c #decision = 378063
998.23/998.40	c #conflict = 2720
998.23/998.40	c #restart = 10
998.23/998.40	o 40235616409
998.23/998.41	c Solving starts ...
1017.12/1017.34	c solving time = 18.925s
1017.12/1017.34	c #decision = 378569
1017.12/1017.34	c #conflict = 2757
1017.12/1017.34	c #restart = 10
1017.12/1017.34	o 40235616408
1017.12/1017.34	c Solving starts ...
1047.91/1048.12	c solving time = 30.765s
1047.91/1048.12	c #decision = 379135
1047.91/1048.12	c #conflict = 2819
1047.91/1048.12	c #restart = 10
1047.91/1048.12	o 40235616407
1047.91/1048.12	c Solving starts ...
1142.40/1142.64	c solving time = 94.504s
1142.40/1142.64	c #decision = 380082
1142.40/1142.64	c #conflict = 3011
1142.40/1142.64	c #restart = 11
1142.40/1142.64	o 40235616406
1142.40/1142.65	c Solving starts ...
1304.38/1304.69	c solving time = 162.019s
1304.38/1304.69	c #decision = 381274
1304.38/1304.69	c #conflict = 3343
1304.38/1304.69	c #restart = 13
1304.38/1304.69	o 40235616405
1304.48/1304.70	c Solving starts ...
1406.46/1406.77	c solving time = 102.047s
1406.46/1406.77	c #decision = 383606
1406.46/1406.77	c #conflict = 3568
1406.46/1406.77	c #restart = 14
1406.46/1406.77	o 40232692324
1406.46/1406.77	c Solving starts ...
1410.66/1410.95	c solving time = 4.173s
1410.66/1410.95	c #decision = 384034
1410.66/1410.95	c #conflict = 3575
1410.66/1410.95	c #restart = 14
1410.66/1410.95	o 40232692323
1410.66/1410.95	c Solving starts ...
1413.46/1413.73	c solving time = 2.775s
1413.46/1413.73	c #decision = 384455
1413.46/1413.73	c #conflict = 3579
1413.46/1413.73	c #restart = 14
1413.46/1413.73	o 40232692322
1413.46/1413.74	c Solving starts ...
1419.16/1419.48	c solving time = 5.741s
1419.16/1419.48	c #decision = 384898
1419.16/1419.48	c #conflict = 3589
1419.16/1419.48	c #restart = 14
1419.16/1419.48	o 40232692321
1419.16/1419.49	c Solving starts ...
1424.56/1424.81	c solving time = 5.314s
1424.56/1424.81	c #decision = 385323
1424.56/1424.81	c #conflict = 3598
1424.56/1424.81	c #restart = 14
1424.56/1424.81	o 40232692320
1424.56/1424.81	c Solving starts ...
1431.26/1431.58	c solving time = 6.764s
1431.26/1431.58	c #decision = 386167
1431.26/1431.58	c #conflict = 3611
1431.26/1431.58	c #restart = 14
1431.26/1431.58	o 40232692318
1431.26/1431.58	c Solving starts ...
1442.36/1442.67	c solving time = 11.077s
1442.36/1442.67	c #decision = 386625
1442.36/1442.67	c #conflict = 3632
1442.36/1442.67	c #restart = 14
1442.36/1442.67	o 40232692317
1442.36/1442.67	c Solving starts ...
1513.35/1513.64	c solving time = 70.951s
1513.35/1513.64	c #decision = 387408
1513.35/1513.64	c #conflict = 3780
1513.35/1513.64	c #restart = 15
1513.35/1513.64	o 40232692316
1513.35/1513.64	c Solving starts ...
1532.94/1533.27	c solving time = 19.615s
1532.94/1533.27	c #decision = 387905
1532.94/1533.27	c #conflict = 3820
1532.94/1533.27	c #restart = 15
1532.94/1533.27	o 40232692315
1532.94/1533.27	c Solving starts ...
1567.74/1568.06	c solving time = 34.778s
1567.74/1568.06	c #decision = 388464
1567.74/1568.06	c #conflict = 3891
1567.74/1568.06	c #restart = 15
1567.74/1568.06	o 40232692314
1567.74/1568.06	c Solving starts ...
1578.04/1578.39	c solving time = 10.318s
1578.04/1578.39	c #decision = 388937
1578.04/1578.39	c #conflict = 3910
1578.04/1578.39	c #restart = 15
1578.04/1578.39	o 40232692313
1578.04/1578.39	c Solving starts ...
1610.53/1610.88	c solving time = 32.473s
1610.53/1610.88	c #decision = 389488
1610.53/1610.88	c #conflict = 3976
1610.53/1610.88	c #restart = 15
1610.53/1610.88	o 40232692312
1610.53/1610.88	c Solving starts ...
1658.53/1658.81	c solving time = 47.920s
1658.53/1658.81	c #decision = 390151
1658.53/1658.81	c #conflict = 4074
1658.53/1658.81	c #restart = 15
1658.53/1658.81	o 40232692311
1658.53/1658.82	c Solving starts ...
1736.41/1736.79	c solving time = 77.962s
1736.41/1736.79	c #decision = 391019
1736.41/1736.79	c #conflict = 4230
1736.41/1736.79	c #restart = 16
1736.41/1736.79	o 40232692310
1736.41/1736.80	c Solving starts ...
1784.91/1785.22	c solving time = 48.405s
1784.91/1785.22	c #decision = 391709
1784.91/1785.22	c #conflict = 4329
1784.91/1785.22	c #restart = 16
1784.91/1785.22	o 40232692309
1784.91/1785.22	c Solving starts ...

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3724721-1338641068/watcher-3724721-1338641068 -o /tmp/evaluation-result-3724721-1338641068/solver-3724721-1338641068 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724721-1338641068.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 10671
/proc/meminfo: memFree=27165652/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 834 0 0 0 0 0 0 0 20 0 1 0 330232531 7421952 754 33554432000 4194304 8989770 140735245309360 140735757273688 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 1812 754 425 1171 0 589 0

[startup+0.077334 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 10671
/proc/meminfo: memFree=27165652/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=11344 CPUtime=0.07 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 2089 0 0 0 7 0 0 0 20 0 1 0 330232531 11616256 2009 33554432000 4194304 8989770 140735245309360 140735757273688 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 2836 2009 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11344

[startup+0.100256 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 10671
/proc/meminfo: memFree=27165652/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 2260 0 0 0 9 0 0 0 20 0 1 0 330232531 12664832 2180 33554432000 4194304 8989770 140735245309360 140735757273688 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 3092 2185 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300228 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 10671
/proc/meminfo: memFree=27165652/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=25680 CPUtime=0.29 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 5699 0 0 0 28 1 0 0 20 0 1 0 330232531 26296320 5619 33554432000 4194304 8989770 140735245309360 140735757273688 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 6420 5619 431 1171 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25680

[startup+0.700231 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 10671
/proc/meminfo: memFree=27165652/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=44112 CPUtime=0.69 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 10191 0 0 0 67 2 0 0 20 0 1 0 330232531 45170688 10111 33554432000 4194304 8989770 140735245309360 140735245308624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 11028 10111 448 1171 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44112

[startup+1.50018 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 10672
/proc/meminfo: memFree=27127352/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=44112 CPUtime=1.48 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 10191 0 0 0 146 2 0 0 20 0 1 0 330232531 45170688 10111 33554432000 4194304 8989770 140735245309360 140735245308624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 11028 10111 448 1171 0 9805 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44112

[startup+3.10032 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 10672
/proc/meminfo: memFree=27125980/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=44112 CPUtime=3.09 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 10342 0 0 0 306 3 0 0 20 0 1 0 330232531 45170688 10262 33554432000 4194304 8989770 140735245309360 140735245308856 7696016 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 11028 10262 460 1171 0 9805 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44112

[startup+6.30032 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 10672
/proc/meminfo: memFree=27125260/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=46160 CPUtime=6.29 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 10867 0 0 0 625 4 0 0 20 0 1 0 330232531 47267840 10787 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 11540 10787 473 1171 0 10317 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46160

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10672
/proc/meminfo: memFree=27119732/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=46160 CPUtime=12.68 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 10867 0 0 0 1262 6 0 0 20 0 1 0 330232531 47267840 10787 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 11540 10787 473 1171 0 10317 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46160

[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10672
/proc/meminfo: memFree=27135340/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=47184 CPUtime=25.48 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 11124 0 0 0 2538 10 0 0 20 0 1 0 330232531 48316416 11048 33554432000 4194304 8989770 140735245309360 140735245308856 4214507 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 11796 11048 473 1171 0 10573 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47184

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10672
/proc/meminfo: memFree=27083660/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=47184 CPUtime=51.07 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 11133 0 0 0 5087 20 0 0 20 0 1 0 330232531 48316416 11048 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 11796 11048 473 1171 0 10573 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47184

[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10672
/proc/meminfo: memFree=27114460/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=48208 CPUtime=102.27 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 11389 0 0 0 10189 38 0 0 20 0 1 0 330232531 49364992 11304 33554432000 4194304 8989770 140735245309360 140735245307328 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 12052 11304 473 1171 0 10829 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48208

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10672
/proc/meminfo: memFree=27110900/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=51280 CPUtime=162.25 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 12157 0 0 0 16167 58 0 0 20 0 1 0 330232531 52510720 12072 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 12820 12072 473 1171 0 11597 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 51280

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10672
/proc/meminfo: memFree=27074856/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=52304 CPUtime=222.24 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 12414 0 0 0 22143 81 0 0 20 0 1 0 330232531 53559296 12328 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 13076 12328 473 1171 0 11853 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 52304

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10673
/proc/meminfo: memFree=27108244/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=54352 CPUtime=282.24 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 12926 0 0 0 28121 103 0 0 20 0 1 0 330232531 55656448 12840 33554432000 4194304 8989770 140735245309360 140735245308624 4205032 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 13588 12840 473 1171 0 12365 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 54352

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10676
/proc/meminfo: memFree=27063912/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=55376 CPUtime=342.23 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 13182 0 0 0 34103 120 0 0 20 0 1 0 330232531 56705024 13096 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 13844 13096 473 1171 0 12621 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 55376

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10676
/proc/meminfo: memFree=27044008/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=56400 CPUtime=402.22 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 13439 0 0 0 40084 138 0 0 20 0 1 0 330232531 57753600 13352 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 14100 13352 473 1171 0 12877 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 56400

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10676
/proc/meminfo: memFree=27042992/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=56400 CPUtime=462.2 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 13439 0 0 0 46063 157 0 0 20 0 1 0 330232531 57753600 13352 33554432000 4194304 8989770 140735245309360 140735245308624 7675308 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 14100 13352 473 1171 0 12877 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 56400

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10676
/proc/meminfo: memFree=27063708/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=56400 CPUtime=522.2 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 13439 0 0 0 52044 176 0 0 20 0 1 0 330232531 57753600 13352 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 14100 13352 473 1171 0 12877 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 56400

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10677
/proc/meminfo: memFree=27024936/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=57424 CPUtime=582.19 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 13695 0 0 0 58024 195 0 0 20 0 1 0 330232531 58802176 13608 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 14356 13608 473 1171 0 13133 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 57424

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10678
/proc/meminfo: memFree=27059312/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=59472 CPUtime=882.14 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 14208 0 0 0 87925 289 0 0 20 0 1 0 330232531 60899328 14120 33554432000 4194304 8989770 140735245309360 140735245308856 4209888 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 14868 14120 473 1171 0 13645 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 59472

[startup+942.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 10681
/proc/meminfo: memFree=27046164/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=60496 CPUtime=942.13 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 14464 0 0 0 93906 307 0 0 20 0 1 0 330232531 61947904 14376 33554432000 4194304 8989770 140735245309360 140735245308856 4425796 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 15124 14376 473 1171 0 13901 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 60496

[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 10704
/proc/meminfo: memFree=27009088/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=67664 CPUtime=1002.12 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 16256 0 0 0 99886 326 0 0 20 0 1 0 330232531 69287936 16168 33554432000 4194304 8989770 140735245309360 140735245308624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 16916 16168 473 1171 0 15693 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 67664

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10704
/proc/meminfo: memFree=27061504/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=69712 CPUtime=1062.11 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 16768 0 0 0 105868 343 0 0 20 0 1 0 330232531 71385088 16680 33554432000 4194304 8989770 140735245309360 140735245308624 4208846 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 17428 16680 473 1171 0 16205 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 69712

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10704
/proc/meminfo: memFree=27045976/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=70736 CPUtime=1122.11 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 17024 0 0 0 111848 363 0 0 20 0 1 0 330232531 72433664 16936 33554432000 4194304 8989770 140735245309360 140735245308624 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 17684 16936 473 1171 0 16461 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 70736

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10705
/proc/meminfo: memFree=27006492/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=71760 CPUtime=1182.09 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 17280 0 0 0 117828 381 0 0 20 0 1 0 330232531 73482240 17192 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 17940 17192 473 1171 0 16717 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 71760

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10705
/proc/meminfo: memFree=27039164/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=71760 CPUtime=1242.08 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 17280 0 0 0 123809 399 0 0 20 0 1 0 330232531 73482240 17192 33554432000 4194304 8989770 140735245309360 140735245307328 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 17940 17192 473 1171 0 16717 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 71760

[startup+1302.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 10744
/proc/meminfo: memFree=26934120/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=71760 CPUtime=1302.08 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 17280 0 0 0 129793 415 0 0 20 0 1 0 330232531 73482240 17192 33554432000 4194304 8989770 140735245309360 140735245308856 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 17940 17192 473 1171 0 16717 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 71760

[startup+1362.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 10744
/proc/meminfo: memFree=26913768/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=73808 CPUtime=1362.07 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 17792 0 0 0 135772 435 0 0 20 0 1 0 330232531 75579392 17704 33554432000 4194304 8989770 140735245309360 140735245308624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 18452 17704 473 1171 0 17229 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 73808

[startup+1422.31 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 10744
/proc/meminfo: memFree=26883168/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=76880 CPUtime=1422.07 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 18560 0 0 0 141755 452 0 0 20 0 1 0 330232531 78725120 18472 33554432000 4194304 8989770 140735245309360 140735245308856 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 19220 18472 473 1171 0 17997 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 76880

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 10744
/proc/meminfo: memFree=26857412/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=79952 CPUtime=1482.05 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 19328 0 0 0 147734 471 0 0 20 0 1 0 330232531 81870848 19240 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 19988 19240 473 1171 0 18765 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 79952

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 10748
/proc/meminfo: memFree=26830488/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=82000 CPUtime=1542.04 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 19840 0 0 0 153713 491 0 0 20 0 1 0 330232531 83968000 19752 33554432000 4194304 8989770 140735245309360 140735245308624 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 20500 19752 473 1171 0 19277 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 82000

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10748
/proc/meminfo: memFree=26805776/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=84048 CPUtime=1602.03 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 20352 0 0 0 159691 512 0 0 20 0 1 0 330232531 86065152 20264 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 21012 20264 473 1171 0 19789 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 84048

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10748
/proc/meminfo: memFree=26779184/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=86096 CPUtime=1662.02 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 20864 0 0 0 165670 532 0 0 20 0 1 0 330232531 88162304 20776 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 21524 20776 473 1171 0 20301 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 86096

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10748
/proc/meminfo: memFree=26754260/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=86096 CPUtime=1722.01 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 20864 0 0 0 171647 554 0 0 20 0 1 0 330232531 88162304 20776 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 21524 20776 473 1171 0 20301 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 86096

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10748
/proc/meminfo: memFree=26729464/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=87120 CPUtime=1782.01 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 21120 0 0 0 177629 572 0 0 20 0 1 0 330232531 89210880 21032 33554432000 4194304 8989770 140735245309360 140735245308624 4213876 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 21780 21032 473 1171 0 20557 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 87120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10749
/proc/meminfo: memFree=26722024/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=88144 CPUtime=1800.01 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 21376 0 0 0 179424 577 0 0 20 0 1 0 330232531 90259456 21288 33554432000 4194304 8989770 140735245309360 140735245308856 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 22036 21288 473 1171 0 20813 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 88144

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10749
/proc/meminfo: memFree=26722024/32873660 swapFree=7120/7120
[pid=10671] ppid=10669 vsize=88144 CPUtime=1800.01 cores=1,3,5,7
/proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 21376 0 0 0 179424 577 0 0 20 0 1 0 330232531 90259456 21288 33554432000 4194304 8989770 140735245309360 140735245308856 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10671/statm: 22036 21288 473 1171 0 20813 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 88144

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1794.25
CPU system time (s): 5.77312
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 88144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.25
system time used= 5.77312
maximum resident set size= 85152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21376
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= 15
involuntary context switches= 1852

runsolver used 2.97355 second user time and 9.73152 second system time

The end

Launcher Data

Begin job on node117 at 2012-06-02 14:44:28
IDJOB=3724721
IDBENCH=72292
IDSOLVER=2308
FILE ID=node117/3724721-1338641068
RUNJOBID= node117-1338631508-9934
PBS_JOBID= 14636463
Free space on /tmp= 69128 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc18b26.cudf.trendy.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724721-1338641068/watcher-3724721-1338641068 -o /tmp/evaluation-result-3724721-1338641068/solver-3724721-1338641068 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724721-1338641068.opb

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

MD5SUM BENCH= 16fcb87ec6e0d214403f64d4df628c22
RANDOM SEED=967587950

node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        27165808 kB
Buffers:          589824 kB
Cached:          4038128 kB
SwapCached:          776 kB
Active:          2389176 kB
Inactive:        2404836 kB
Active(anon):     151732 kB
Inactive(anon):     9984 kB
Active(file):    2237444 kB
Inactive(file):  2394852 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:              8188 kB
Writeback:             0 kB
AnonPages:        165376 kB
Mapped:            14040 kB
Shmem:                80 kB
Slab:             774800 kB
SReclaimable:     219252 kB
SUnreclaim:       555548 kB
KernelStack:        1464 kB
PageTables:         4364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     274344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69112 MiB
End job on node117 at 2012-06-02 15:14:30