Trace number 3366668

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 NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.19 1203.04

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf
MD5SUMc8e689035f3179f449d681054feb5bd2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005999
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366668-1305411474.cnf'
0.00/0.01	c -- header says num vars:            500
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.03	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.00 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:     215 undec:      58 neg:     227
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	c  B st     0         0       481      2111         0         0      6470         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.39/0.16	c  N st     8      4912       481      2111         0      4836      6470    119717   no data   no data
1.57/0.42	c  N st    10     11295       481      2111         0      4492      6470     79218   no data   no data
2.37/0.68	c  N st    11     17038       481      2111         0     10117      6470    209283   no data   no data
3.96/1.09	c  F st    12     25000       481      2111         0     12419      6470    258463   no data   no data
3.96/1.09	c  N st    12     25000       481      2111         0     12419      6470    258463   no data   no data
5.15/1.34	c Decided on static restart strategy
5.15/1.34	c  N st    18     30002       481      2111         0     10670      6470    196257   no data   no data
5.15/1.34	c  S st    18     30002       481      2111         0     10670      6470    196257   no data   no data
5.15/1.37	c  S st    18     30506       481      2111         0     11173      6470    207252   no data   no data
5.15/1.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.15/1.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.15/1.37	c blocked clauses removed:        5 vars:      1 tried:         481 T: 0.00 s
5.15/1.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
5.15/1.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.15/1.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.15/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.43	c lits-rem:       143  cl-subs:      506  v-elim:      0  v-fix:    0  time:  0.05 s
5.56/1.44	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.01
5.56/1.44	c calculated reachability. Time: 0.00
5.56/1.44	c  N st    18     30506       480      2106         0     10667      6455    194810   no data   no data
7.15/1.85	c  N st    20     37618       480      2106         0      9898      6455    162017   no data   no data
8.35/2.20	c  N st    21     44018       480      2106         0     16151      6455    323860   no data   no data
9.19/2.31	c  S st    22     45759       480      2106         0      9129      6455    131034   no data   no data
9.19/2.34	c  S st    22     46263       480      2106         0      9633      6455    142595   no data   no data
9.19/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
9.19/2.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.36	c lits-rem:        17  cl-subs:       64  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.36	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
9.19/2.36	c vivif2 --  cl tried     9569 cl shrink        0 lits rem          0 time: 0.00
9.19/2.37	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.00
9.19/2.37	c calculated reachability. Time: 0.00
9.19/2.37	c  N st    22     46263       480      2106         0      9569      6455    141068   no data   no data
12.74/3.29	c  N st    23     60661       480      2106         0     13930      6455    242838   no data   no data
15.53/3.91	c  N st    24     69394       480      2106         0     11702      6455    171364   no data   no data
15.53/3.91	c  S st    24     69394       480      2106         0     11702      6455    171364   no data   no data
15.53/3.94	c  S st    24     69895       480      2106         0     12202      6455    182403   no data   no data
15.53/3.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.53/3.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.53/3.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
15.53/3.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.53/3.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.53/3.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.97	c lits-rem:        24  cl-subs:      158  v-elim:      0  v-fix:    0  time:  0.02 s
15.53/3.97	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
15.53/3.98	c vivif2 --  cl tried    12044 cl shrink        0 lits rem          0 time: 0.00
15.53/3.98	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.01
15.53/3.98	c calculated reachability. Time: 0.00
15.53/3.98	c  N st    24     69895       480      2106         0     12044      6455    178822   no data   no data
20.72/5.26	c  F st    25     87500       480      2106         0     17475      6455    294267   no data   no data
20.72/5.26	c  N st    25     87500       480      2106         0     17475      6455    294267   no data   no data
22.35/5.63	c Decided on static restart strategy
23.11/5.86	c  N st    32     95536       480      2106         0     25348      6455    487322   no data   no data
25.92/6.56	c  N st    34    104843       480      2106         0     21768      6455    384671   no data   no data
25.92/6.56	c  S st    34    104843       480      2106         0     21768      6455    384671   no data   no data
26.34/6.62	c  S st    34    105346       480      2106         0     22271      6455    397159   no data   no data
26.34/6.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.34/6.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.34/6.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.34/6.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.34/6.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
26.34/6.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.34/6.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.34/6.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.77	c lits-rem:       103  cl-subs:      702  v-elim:      0  v-fix:    0  time:  0.12 s
26.74/6.77	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
26.74/6.77	c vivif2 --  cl tried    21569 cl shrink        0 lits rem          0 time: 0.00
26.74/6.78	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.01
26.74/6.78	c calculated reachability. Time: 0.00
26.74/6.78	c  N st    34    105346       480      2106         0     21569      6455    379438   no data   no data
30.29/7.64	c  N st    35    114944       480      2106         0     17285      6455    253672   no data   no data
35.11/8.90	c  N st    36    129342       480      2106         0     16669      6455    222775   no data   no data
42.66/10.72	c  N st    37    150937       480      2106         0     22124      6455    346034   no data   no data
45.45/11.40	c  S st    38    158021       480      2106         0     29047      6455    521685   no data   no data
45.45/11.48	c  S st    38    158524       480      2106         0     29550      6455    533184   no data   no data
45.45/11.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.45/11.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.45/11.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.45/11.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.45/11.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.45/11.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
45.45/11.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.45/11.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.85/11.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.46/11.96	c lits-rem:       293  cl-subs:     1549  v-elim:      0  v-fix:    0  time:  0.44 s
47.46/11.96	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
47.46/11.96	c vivif2 --  cl tried    28001 cl shrink        0 lits rem          0 time: 0.01
47.46/11.98	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.02
47.46/11.98	c calculated reachability. Time: 0.00
47.46/11.98	c  N st    38    158524       480      2106         0     28001      6455    492426   no data   no data
67.00/16.82	c  N st    39    207112       480      2106         0     22736      6455    326253   no data   no data
79.00/19.90	c  N st    40    237788       480      2106         0     33199      6455    574980   no data   no data
79.00/19.90	c  S st    40    237788       480      2106         0     33199      6455    574980   no data   no data
79.41/19.98	c  S st    40    238288       480      2106         0     33699      6455    586689   no data   no data
79.41/19.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.41/19.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.41/19.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.41/19.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.41/19.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.41/19.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
79.41/19.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.76/20.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.76/20.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.77/20.52	c lits-rem:       302  cl-subs:     1457  v-elim:      0  v-fix:    0  time:  0.51 s
81.77/20.52	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
81.77/20.53	c vivif2 --  cl tried    32242 cl shrink        0 lits rem          0 time: 0.01
81.77/20.55	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.02
81.77/20.55	c calculated reachability. Time: 0.00
81.77/20.55	c  N st    40    238288       480      2106         0     32242      6455    549820   no data   no data
113.69/28.50	c  F st    41    306250       480      2106         0     34048      6455    539049   no data   no data
113.69/28.50	c  N st    41    306250       480      2106         0     34048      6455    539049   no data   no data
116.08/29.13	c Decided on static restart strategy
126.46/31.75	c  N st    51    334552       480      2106         0     38280      6455    630574   no data   no data
137.62/34.51	c  N st    53    357433       480      2106         0     36218      6455    566911   no data   no data
137.62/34.51	c  S st    53    357433       480      2106         0     36218      6455    566911   no data   no data
138.02/34.61	c  S st    53    357936       480      2106         0     36719      6455    578339   no data   no data
138.02/34.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.02/34.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
138.02/34.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.02/34.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.02/34.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.02/34.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
138.02/34.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
138.02/34.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
138.02/34.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.23/34.98	c lits-rem:       224  cl-subs:     1127  v-elim:      0  v-fix:    0  time:  0.33 s
139.23/34.98	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
139.23/34.99	c vivif2 --  cl tried    35592 cl shrink        0 lits rem          0 time: 0.01
139.63/35.01	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.02
139.63/35.01	c calculated reachability. Time: 0.00
139.63/35.01	c  N st    53    357936       480      2106         0     35592      6455    550474   no data   no data
155.98/39.14	c  N st    54    390329       480      2106         0     41961      6455    705777   no data   no data
183.11/45.97	c  N st    55    438917       480      2106         0     35554      6455    490980   no data   no data
224.60/56.38	c  N st    56    511799       480      2106         0     49321      6455    839827   no data   no data
239.37/60.08	c  N st    57    536904       480      2106         0     43612      6455    670572   no data   no data
239.37/60.08	c  S st    57    536904       480      2106         0     43612      6455    670572   no data   no data
240.17/60.20	c  S st    57    537410       480      2106         0     44116      6455    682821   no data   no data
240.17/60.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
240.17/60.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
240.17/60.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.17/60.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
240.17/60.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.17/60.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
240.17/60.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
240.17/60.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
240.17/60.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.55/60.82	c lits-rem:       462  cl-subs:     1420  v-elim:      0  v-fix:    0  time:  0.57 s
242.55/60.82	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
242.55/60.83	c vivif2 --  cl tried    42696 cl shrink        0 lits rem          0 time: 0.01
242.55/60.86	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.03
242.55/60.86	c calculated reachability. Time: 0.00
242.55/60.86	c  N st    57    537410       480      2106         0     42696      6455    646535   no data   no data
341.52/85.66	c  N st    58    701395       480      2106         0     36675      6455    404862   no data   no data
412.98/103.51	c  N st    59    806116       480      2106         0     65629      6455   1103246   no data   no data
412.98/103.51	c  S st    59    806116       480      2106         0     65629      6455   1103246   no data   no data
413.73/103.71	c  S st    59    806622       480      2106         0     66135      6455   1114702   no data   no data
413.73/103.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
413.73/103.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
413.73/103.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
413.73/103.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
413.73/103.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
413.73/103.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
413.73/103.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
413.73/103.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
413.73/103.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
423.31/106.18	c lits-rem:       521  cl-subs:     3579  v-elim:      0  v-fix:    0  time:  2.38 s
423.31/106.18	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
423.31/106.19	c vivif2 --  cl tried    62556 cl shrink        0 lits rem          0 time: 0.01
423.71/106.24	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.05
423.71/106.25	c calculated reachability. Time: 0.00
423.71/106.25	c  N st    59    806622       480      2106         0     62556      6455   1037202   no data   no data
618.86/155.13	c  F st    60   1071875       480      2106         0     78384      6455   1322926   no data   no data
618.86/155.13	c  N st    60   1071875       480      2106         0     78384      6455   1322926   no data   no data
624.41/156.52	c Decided on static restart strategy
643.57/161.38	c  N st    70   1100180       480      2106         0     62145      6455    856339   no data   no data
675.10/169.29	c  N st    72   1136172       480      2106         0     52444      6455    636453   no data   no data
704.62/176.65	c  N st    73   1168565       480      2106         0     84138      6455   1434398   no data   no data
738.93/185.27	c  N st    74   1209933       480      2106         0     78476      6455   1254226   no data   no data
738.93/185.27	c  S st    74   1209933       480      2106         0     78476      6455   1254226   no data   no data
740.13/185.52	c  S st    74   1210436       480      2106         0     78978      6455   1266998   no data   no data
740.13/185.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
740.13/185.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
740.13/185.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
740.13/185.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
740.13/185.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
740.13/185.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
740.13/185.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
740.13/185.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
740.53/185.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
757.28/189.86	c lits-rem:      1083  cl-subs:     5494  v-elim:      0  v-fix:    0  time:  4.24 s
757.28/189.86	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
757.28/189.88	c vivif2 --  cl tried    73484 cl shrink        0 lits rem          0 time: 0.02
757.68/189.95	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.07
757.68/189.95	c calculated reachability. Time: 0.00
757.68/189.95	c  N st    74   1210436       480      2106         0     73484      6455   1134216   no data   no data
835.89/209.58	c  N st    75   1283320       480      2106         0     49995      6455    521912   no data   no data
941.63/236.00	c  N st    76   1392643       480      2106         0     58065      6455    686270   no data   no data
1097.27/275.08	c  N st    77   1556630       480      2106         0     62842      6455    777117   no data   no data
1256.05/314.85	c  N st    78   1710436       480      2106         0    104607      6455   1852002   no data   no data
1256.05/314.85	c  S st    78   1710436       480      2106         0    104607      6455   1852002   no data   no data
1257.26/315.16	c  S st    78   1710936       480      2106         0    105107      6455   1864027   no data   no data
1257.26/315.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1257.65/315.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1257.65/315.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1257.65/315.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1257.65/315.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1257.65/315.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
1257.65/315.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1257.65/315.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1258.05/315.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1304.33/326.93	c lits-rem:      1003  cl-subs:     6804  v-elim:      0  v-fix:    0  time: 11.63 s
1304.33/326.93	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
1304.33/326.96	c vivif2 --  cl tried    98303 cl shrink        0 lits rem          0 time: 0.02
1304.73/327.05	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.10
1304.73/327.06	c calculated reachability. Time: 0.00
1304.73/327.06	c  N st    78   1710936       480      2106         0     98303      6455   1683837   no data   no data
1690.22/423.67	c  N st    79   2079900       480      2106         0    109725      6455   1845942   no data   no data
1847.82/463.11	c  N st    80   2210936       480      2106         0    113944      6455   1986603   no data   no data
1847.82/463.11	c  S st    80   2210936       480      2106         0    113944      6455   1986603   no data   no data
1849.38/463.54	c  S st    80   2211439       480      2106         0    114444      6455   1998530   no data   no data
1849.38/463.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1849.78/463.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1849.78/463.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1849.78/463.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1849.78/463.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1849.78/463.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
1849.78/463.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1849.78/463.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1849.78/463.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1905.64/477.60	c lits-rem:      1230  cl-subs:     7109  v-elim:      0  v-fix:    0  time: 13.91 s
1905.64/477.60	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
1905.64/477.62	c vivif2 --  cl tried   107335 cl shrink        0 lits rem          0 time: 0.03
1906.04/477.73	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.11
1906.04/477.74	c calculated reachability. Time: 0.00
1906.04/477.74	c  N st    80   2211439       480      2106         0    107335      6455   1813116   no data   no data
2510.58/629.23	c  N st    81   2711439       480      2106         0    130407      6455   2387417   no data   no data
2510.58/629.23	c  S st    81   2711439       480      2106         0    130407      6455   2387417   no data   no data
2512.55/629.72	c  S st    81   2711939       480      2106         0    130907      6455   2399129   no data   no data
2512.55/629.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2512.55/629.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2512.55/629.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2512.55/629.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2512.55/629.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2512.55/629.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
2512.55/629.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2512.95/629.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2512.95/629.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2625.87/658.15	c lits-rem:      1212  cl-subs:    11480  v-elim:      0  v-fix:    0  time: 28.26 s
2625.87/658.15	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
2625.87/658.18	c vivif2 --  cl tried   119427 cl shrink        0 lits rem          0 time: 0.03
2626.67/658.32	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.13
2626.67/658.32	c calculated reachability. Time: 0.00
2626.67/658.32	c  N st    81   2711939       480      2106         0    119427      6455   2100083   no data   no data
3308.19/829.19	c  N st    82   3211939       480      2106         0     95725      6455   1225804   no data   no data
3308.19/829.19	c  S st    82   3211939       480      2106         0     95725      6455   1225804   no data   no data
3309.41/829.50	c  S st    82   3212442       480      2106         0     96228      6455   1237745   no data   no data
3309.82/829.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3309.82/829.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3309.82/829.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3309.82/829.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3309.82/829.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3309.82/829.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
3309.82/829.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3309.82/829.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3310.18/829.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3319.36/831.95	c lits-rem:       269  cl-subs:     3601  v-elim:      0  v-fix:    0  time:  2.34 s
3319.36/831.96	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
3319.36/831.97	c vivif2 --  cl tried    92627 cl shrink        0 lits rem          0 time: 0.02
3319.76/832.06	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.09
3319.76/832.06	c calculated reachability. Time: 0.00
3319.76/832.06	c  N st    82   3212442       480      2106         0     92627      6455   1151921   no data   no data
4089.46/1024.98	c  N st    83   3712442       480      2106         0    103323      6455   1332129   no data   no data
4089.46/1024.98	c  S st    83   3712442       480      2106         0    103323      6455   1332129   no data   no data
4091.10/1025.34	c  S st    83   3712946       480      2106         0    103827      6455   1344059   no data   no data
4091.10/1025.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4091.10/1025.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4091.45/1025.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4091.45/1025.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4091.45/1025.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4091.45/1025.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
4091.45/1025.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4091.45/1025.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4091.45/1025.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4102.23/1028.16	c lits-rem:       267  cl-subs:     3683  v-elim:      0  v-fix:    0  time:  2.70 s
4102.23/1028.16	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
4102.23/1028.18	c vivif2 --  cl tried   100144 cl shrink        0 lits rem          0 time: 0.02
4102.63/1028.28	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.10
4102.63/1028.28	c calculated reachability. Time: 0.00
4102.63/1028.28	c  N st    83   3712946       480      2106         0    100144      6455   1257055   no data   no data
4164.48/1043.80	c  F st    84   3751562       480      2106         0    137476      6455   2123657   no data   no data
4164.88/1043.80	c  N st    84   3751562       480      2106         0    137476      6455   2123657   no data   no data
4176.04/1046.64	c Decided on static restart strategy
4232.31/1060.77	c  N st    94   3779869       480      2106         0     82737      6455    778706   no data   no data
4279.00/1072.45	c  N st    96   3815862       480      2106         0    117739      6455   1676327   no data   no data
4338.45/1087.37	c  N st    97   3848255       480      2106         0    149085      6455   2433766   no data   no data
4419.87/1107.80	c  N st    98   3896844       480      2106         0    112890      6455   1499063   no data   no data
4547.57/1139.77	c  N st    99   3969727       480      2106         0     99034      6455   1104071   no data   no data
4709.56/1180.40	c  N st   100   4079051       480      2106         0    119744      6455   1623960   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3366668-1305411474/watcher-3366668-1305411474 -o /tmp/evaluation-result-3366668-1305411474/solver-3366668-1305411474 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366668-1305411474.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.79 7.97 7.44 5/320 8546
/proc/meminfo: memFree=10936656/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 652749727 52396032 347 33554432000 4194304 4580107 140733744310272 18446744073709551615 47179937150892 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 12792 347 299 95 0 7774 0
[pid=8546/tid=8547] ppid=8544 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652749728 52396032 347 33554432000 4194304 4580107 140733744310272 18446744073709551615 47179937150896 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652749728 52396032 347 33554432000 4194304 4580107 140733744310272 18446744073709551615 47179937150896 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652749728 52396032 347 33554432000 4194304 4580107 140733744310272 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.106937 s]
/proc/loadavg: 7.79 7.97 7.44 5/320 8546
/proc/meminfo: memFree=10936656/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=282376 CPUtime=0.39 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 1668 0 0 0 39 0 0 0 18 0 4 0 652749727 289153024 1548 33554432000 4194304 4580107 140733744310272 18446744073709551615 4324249 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 70594 1548 377 95 0 65576 0
[pid=8546/tid=8547] ppid=8544 vsize=282376 CPUtime=0.1 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 351 0 0 0 10 0 0 0 18 0 4 0 652749728 289153024 1548 33554432000 4194304 4580107 140733744310272 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=282376 CPUtime=0.09 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 338 0 0 0 9 0 0 0 18 0 4 0 652749728 289153024 1548 33554432000 4194304 4580107 140733744310272 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=282376 CPUtime=0.09 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 236 0 0 0 9 0 0 0 25 0 4 0 652749728 289153024 1548 33554432000 4194304 4580107 140733744310272 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282376

[startup+0.201183 s]
/proc/loadavg: 7.79 7.97 7.44 5/320 8546
/proc/meminfo: memFree=10936656/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=283704 CPUtime=0.77 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 2334 0 0 0 77 0 0 0 18 0 4 0 652749727 290512896 1639 33554432000 4194304 4580107 140733744310272 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 70926 1639 377 95 0 65908 0
[pid=8546/tid=8547] ppid=8544 vsize=283704 CPUtime=0.19 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 518 0 0 0 19 0 0 0 18 0 4 0 652749728 290512896 1639 33554432000 4194304 4580107 140733744310272 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=283704 CPUtime=0.19 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 502 0 0 0 19 0 0 0 18 0 4 0 652749728 290512896 1639 33554432000 4194304 4580107 140733744310272 18446744073709551615 4293704 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=283704 CPUtime=0.18 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 404 0 0 0 18 0 0 0 25 0 4 0 652749728 290512896 1639 33554432000 4194304 4580107 140733744310272 18446744073709551615 4489289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283704

[startup+0.301164 s]
/proc/loadavg: 7.79 7.97 7.44 5/320 8546
/proc/meminfo: memFree=10936656/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=283856 CPUtime=1.17 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 2729 0 0 0 117 0 0 0 18 0 4 0 652749727 290668544 2034 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 70964 2034 377 95 0 65946 0
[pid=8546/tid=8547] ppid=8544 vsize=283856 CPUtime=0.29 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 618 0 0 0 29 0 0 0 18 0 4 0 652749728 290668544 2034 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=283856 CPUtime=0.29 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 601 0 0 0 29 0 0 0 18 0 4 0 652749728 290668544 2034 33554432000 4194304 4580107 140733744310272 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=283856 CPUtime=0.28 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 505 0 0 0 28 0 0 0 25 0 4 0 652749728 290668544 2034 33554432000 4194304 4580107 140733744310272 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283856

[startup+0.701089 s]
/proc/loadavg: 7.79 7.97 7.44 5/320 8546
/proc/meminfo: memFree=10936656/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=285000 CPUtime=2.77 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 4434 0 0 0 277 0 0 0 18 0 4 0 652749727 291840000 2606 33554432000 4194304 4580107 140733744310272 18446744073709551615 4296104 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 71250 2606 377 95 0 66232 0
[pid=8546/tid=8547] ppid=8544 vsize=285000 CPUtime=0.69 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 1000 0 0 0 69 0 0 0 18 0 4 0 652749728 291840000 2606 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=285000 CPUtime=0.69 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 997 0 0 0 69 0 0 0 18 0 4 0 652749728 291840000 2606 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=285000 CPUtime=0.68 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 1049 0 0 0 68 0 0 0 25 0 4 0 652749728 291840000 2606 33554432000 4194304 4580107 140733744310272 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285000

[startup+1.50094 s]
/proc/loadavg: 7.79 7.97 7.44 9/324 8550
/proc/meminfo: memFree=10923572/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=291720 CPUtime=5.96 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 8616 0 0 0 595 1 0 0 20 0 4 0 652749727 298721280 4634 33554432000 4194304 4580107 140733744310272 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 72930 4634 379 95 0 67912 0
[pid=8546/tid=8547] ppid=8544 vsize=291720 CPUtime=1.49 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 1733 0 0 0 149 0 0 0 19 0 4 0 652749728 298721280 4634 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=291720 CPUtime=1.49 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 1725 0 0 0 149 0 0 0 20 0 4 0 652749728 298721280 4634 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=291720 CPUtime=1.47 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 1692 0 0 0 147 0 0 0 25 0 4 0 652749728 298721280 4634 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 291720

[startup+3.10063 s]
/proc/loadavg: 7.79 7.97 7.44 9/324 8550
/proc/meminfo: memFree=10903608/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=292328 CPUtime=12.34 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 17611 0 0 0 1232 2 0 0 25 0 4 0 652749727 299343872 8676 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 73082 8676 379 95 0 68064 0
[pid=8546/tid=8547] ppid=8544 vsize=292328 CPUtime=3.09 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 4056 0 0 0 309 0 0 0 25 0 4 0 652749728 299343872 8676 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=292328 CPUtime=3.08 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 4677 0 0 0 308 0 0 0 25 0 4 0 652749728 299343872 8676 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=292328 CPUtime=3.05 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 4152 0 0 0 305 0 0 0 25 0 4 0 652749728 299343872 8676 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 292328

[startup+6.30102 s]
/proc/loadavg: 7.80 7.97 7.44 9/324 8550
/proc/meminfo: memFree=10888728/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=294256 CPUtime=25.12 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 27769 0 0 0 2508 4 0 0 25 0 4 0 652749727 301318144 12466 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 73564 12466 379 95 0 68546 0
[pid=8546/tid=8547] ppid=8544 vsize=294256 CPUtime=6.28 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 7221 0 0 0 628 0 0 0 25 0 4 0 652749728 301318144 12466 33554432000 4194304 4580107 140733744310272 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=294256 CPUtime=6.29 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 7594 0 0 0 628 1 0 0 25 0 4 0 652749728 301318144 12466 33554432000 4194304 4580107 140733744310272 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=294256 CPUtime=6.22 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 6074 0 0 0 622 0 0 0 25 0 4 0 652749728 301318144 12466 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 294256

[startup+12.7008 s]
/proc/loadavg: 7.82 7.97 7.45 9/324 8550
/proc/meminfo: memFree=10857092/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=307028 CPUtime=50.64 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 45811 0 0 0 5057 7 0 0 25 0 4 0 652749727 314396672 17688 33554432000 4194304 4580107 140733744310272 18446744073709551615 4293710 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 76757 17688 379 95 0 71739 0
[pid=8546/tid=8547] ppid=8544 vsize=307028 CPUtime=12.69 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 11924 0 0 0 1267 2 0 0 25 0 4 0 652749728 314396672 17688 33554432000 4194304 4580107 140733744310272 18446744073709551615 4320741 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=307028 CPUtime=12.69 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 10715 0 0 0 1268 1 0 0 25 0 4 0 652749728 314396672 17688 33554432000 4194304 4580107 140733744310272 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=307028 CPUtime=12.56 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 10762 0 0 0 1255 1 0 0 25 0 4 0 652749728 314396672 17688 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 307028

[startup+25.5003 s]
/proc/loadavg: 7.93 7.98 7.46 9/324 8550
/proc/meminfo: memFree=10829700/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=313964 CPUtime=101.71 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 70380 0 0 0 10158 13 0 0 25 0 4 0 652749727 321499136 24115 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 78491 24115 379 95 0 73473 0
[pid=8546/tid=8547] ppid=8544 vsize=313964 CPUtime=25.49 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 19045 0 0 0 2546 3 0 0 25 0 4 0 652749728 321499136 24115 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=313964 CPUtime=25.49 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 17356 0 0 0 2546 3 0 0 25 0 4 0 652749728 321499136 24115 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=313964 CPUtime=25.22 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 15510 0 0 0 2520 2 0 0 25 0 4 0 652749728 321499136 24115 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 313964

[startup+51.1004 s]
/proc/loadavg: 8.02 8.00 7.48 9/324 8551
/proc/meminfo: memFree=10795340/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=319208 CPUtime=203.86 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 107217 0 0 0 20362 24 0 0 25 0 4 0 652749727 326868992 30436 33554432000 4194304 4580107 140733744310272 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 79802 30436 379 95 0 74784 0
[pid=8546/tid=8547] ppid=8544 vsize=319208 CPUtime=51.09 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 29376 0 0 0 5103 6 0 0 25 0 4 0 652749728 326868992 30437 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=319208 CPUtime=51.08 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 26681 0 0 0 5103 5 0 0 25 0 4 0 652749728 326868992 30438 33554432000 4194304 4580107 140733744310272 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=319208 CPUtime=50.57 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 23901 0 0 0 5051 6 0 0 25 0 4 0 652749728 326868992 30438 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 319208

[startup+102.301 s]
/proc/loadavg: 8.13 8.03 7.51 9/324 8552
/proc/meminfo: memFree=10746924/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=336064 CPUtime=408.17 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 163317 0 0 0 40774 43 0 0 25 0 4 0 652749727 344129536 39251 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294449 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 84016 39251 379 95 0 78998 0
[pid=8546/tid=8547] ppid=8544 vsize=336064 CPUtime=102.3 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 44213 0 0 0 10220 10 0 0 25 0 4 0 652749728 344129536 39253 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=336064 CPUtime=102.3 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 39645 0 0 0 10219 11 0 0 25 0 4 0 652749728 344129536 39253 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=336064 CPUtime=101.26 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 38637 0 0 0 10117 9 0 0 25 0 4 0 652749728 344129536 39253 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 336064

[startup+162.301 s]

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

[pid=8546] ppid=8544 vsize=537364 CPUtime=2802.24 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 506214 0 0 0 280021 203 0 0 25 0 4 0 652749727 550260736 91236 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 134341 91236 379 95 0 129323 0
[pid=8546/tid=8547] ppid=8544 vsize=537364 CPUtime=702.31 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 137519 0 0 0 70176 55 0 0 25 0 4 0 652749728 550260736 91236 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=537364 CPUtime=702.32 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 123368 0 0 0 70181 51 0 0 25 0 4 0 652749728 550260736 91236 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=537364 CPUtime=695.28 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 126606 0 0 0 69477 51 0 0 25 0 4 0 652749728 550260736 91236 33554432000 4194304 4580107 140733744310272 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.24
Current children cumulated vsize (KiB) 537364

[startup+762.301 s]
/proc/loadavg: 4.15 6.01 6.96 5/315 8588
/proc/meminfo: memFree=10792316/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=550196 CPUtime=3041.67 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 533161 0 0 0 303950 217 0 0 25 0 4 0 652749727 563400704 91326 33554432000 4194304 4580107 140733744310272 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 137549 91326 379 95 0 132531 0
[pid=8546/tid=8547] ppid=8544 vsize=550196 CPUtime=762.33 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 144858 0 0 0 76176 57 0 0 25 0 4 0 652749728 563400704 91326 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=550196 CPUtime=762.33 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 131233 0 0 0 76178 55 0 0 25 0 4 0 652749728 563400704 91326 33554432000 4194304 4580107 140733744310272 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=550196 CPUtime=754.69 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 134208 0 0 0 75414 55 0 0 25 0 4 0 652749728 563400704 91326 33554432000 4194304 4580107 140733744310272 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.67
Current children cumulated vsize (KiB) 550196

[startup+822.3 s]
/proc/loadavg: 4.05 5.64 6.77 5/315 8589
/proc/meminfo: memFree=10745784/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=628616 CPUtime=3281.06 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 565524 0 0 0 327875 231 0 0 25 0 4 0 652749727 643702784 103174 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 157154 103174 379 95 0 152136 0
[pid=8546/tid=8547] ppid=8544 vsize=628616 CPUtime=822.32 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 154985 0 0 0 82171 61 0 0 25 0 4 0 652749728 643702784 103174 33554432000 4194304 4580107 140733744310272 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=628616 CPUtime=822.31 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 138076 0 0 0 82173 58 0 0 25 0 4 0 652749728 643702784 103174 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=628616 CPUtime=814.08 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 143343 0 0 0 81350 58 0 0 25 0 4 0 652749728 643702784 103174 33554432000 4194304 4580107 140733744310272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.06
Current children cumulated vsize (KiB) 628616

[startup+882.312 s]
/proc/loadavg: 4.05 5.36 6.60 5/315 8591
/proc/meminfo: memFree=10738440/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=629060 CPUtime=3520.51 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 593920 0 0 0 351807 244 0 0 25 0 4 0 652749727 644157440 104958 33554432000 4194304 4580107 140733744310272 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 157265 104958 379 95 0 152247 0
[pid=8546/tid=8547] ppid=8544 vsize=629060 CPUtime=882.33 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 161857 0 0 0 88169 64 0 0 25 0 4 0 652749728 644157440 104958 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=629060 CPUtime=882.33 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 146260 0 0 0 88172 61 0 0 25 0 4 0 652749728 644157440 104958 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=629060 CPUtime=873.5 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 150393 0 0 0 87288 62 0 0 25 0 4 0 652749728 644157440 104958 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.51
Current children cumulated vsize (KiB) 629060

[startup+942.3 s]
/proc/loadavg: 4.10 5.12 6.44 5/315 8593
/proc/meminfo: memFree=10734820/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=629576 CPUtime=3759.88 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 622428 0 0 0 375728 260 0 0 25 0 4 0 652749727 644685824 103828 33554432000 4194304 4580107 140733744310272 18446744073709551615 4301438 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 157394 103828 379 95 0 152376 0
[pid=8546/tid=8547] ppid=8544 vsize=629576 CPUtime=942.32 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 168968 0 0 0 94165 67 0 0 25 0 4 0 652749728 644685824 103828 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=629576 CPUtime=942.32 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 152765 0 0 0 94167 65 0 0 25 0 4 0 652749728 644685824 103828 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=629576 CPUtime=932.89 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 158682 0 0 0 93223 66 0 0 25 0 4 0 652749728 644685824 103828 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.88
Current children cumulated vsize (KiB) 629576

[startup+1002.3 s]
/proc/loadavg: 4.03 4.92 6.28 5/315 8594
/proc/meminfo: memFree=10724624/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=629912 CPUtime=3999.28 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 648913 0 0 0 399657 271 0 0 25 0 4 0 652749727 645029888 108295 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 157478 108295 379 95 0 152460 0
[pid=8546/tid=8547] ppid=8544 vsize=629912 CPUtime=1002.32 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 175282 0 0 0 100163 69 0 0 25 0 4 0 652749728 645029888 108295 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=629912 CPUtime=1002.32 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 158729 0 0 0 100163 69 0 0 25 0 4 0 652749728 645029888 108295 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=629912 CPUtime=992.29 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 166662 0 0 0 99160 69 0 0 25 0 4 0 652749728 645029888 108295 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.28
Current children cumulated vsize (KiB) 629912

[startup+1062.3 s]
/proc/loadavg: 4.08 4.76 6.14 5/315 8596
/proc/meminfo: memFree=10720728/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=682452 CPUtime=4238.69 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 672814 0 0 0 423584 285 0 0 25 0 4 0 652749727 698830848 107467 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 170613 107467 379 95 0 165595 0
[pid=8546/tid=8547] ppid=8544 vsize=682452 CPUtime=1062.32 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 181731 0 0 0 106160 72 0 0 25 0 4 0 652749728 698830848 107467 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=682452 CPUtime=1062.32 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 165376 0 0 0 106158 74 0 0 25 0 4 0 652749728 698830848 107467 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=682452 CPUtime=1051.7 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 171901 0 0 0 105098 72 0 0 25 0 4 0 652749728 698830848 107467 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.69
Current children cumulated vsize (KiB) 682452

[startup+1122.3 s]
/proc/loadavg: 4.09 4.64 6.01 5/315 8597
/proc/meminfo: memFree=10722920/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=670588 CPUtime=4478.09 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 691612 0 0 0 447513 296 0 0 25 0 4 0 652749727 686682112 108946 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 167647 108946 379 95 0 162629 0
[pid=8546/tid=8547] ppid=8544 vsize=670588 CPUtime=1122.32 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 186998 0 0 0 112157 75 0 0 25 0 4 0 652749728 686682112 108946 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=670588 CPUtime=1122.33 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 171690 0 0 0 112156 77 0 0 25 0 4 0 652749728 686682112 108946 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=670588 CPUtime=1111.1 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 174338 0 0 0 111036 74 0 0 25 0 4 0 652749728 686682112 108946 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.09
Current children cumulated vsize (KiB) 670588

[startup+1182.3 s]
/proc/loadavg: 4.09 4.53 5.89 5/315 8599
/proc/meminfo: memFree=10721756/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=631568 CPUtime=4717.51 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 713070 0 0 0 471443 308 0 0 25 0 4 0 652749727 646725632 109470 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 157892 109470 379 95 0 152874 0
[pid=8546/tid=8547] ppid=8544 vsize=631568 CPUtime=1182.33 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 193663 0 0 0 118154 79 0 0 25 0 4 0 652749728 646725632 109470 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=631568 CPUtime=1182.33 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 177969 0 0 0 118153 80 0 0 25 0 4 0 652749728 646725632 109470 33554432000 4194304 4580107 140733744310272 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=631568 CPUtime=1170.5 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 180188 0 0 0 116973 77 0 0 25 0 4 0 652749728 646725632 109470 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.51
Current children cumulated vsize (KiB) 631568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 4.06 4.50 5.85 5/315 8600
/proc/meminfo: memFree=10708860/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=684404 CPUtime=4800.13 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 720101 0 0 0 479700 313 0 0 25 0 4 0 652749727 700829696 112348 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 171101 112348 379 95 0 166083 0
[pid=8546/tid=8547] ppid=8544 vsize=684404 CPUtime=1203.04 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 196827 0 0 0 120224 80 0 0 25 0 4 0 652749728 700829696 112348 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=684404 CPUtime=1203.05 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 179417 0 0 0 120223 82 0 0 25 0 4 0 652749728 700829696 112348 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=684404 CPUtime=1191 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 181334 0 0 0 119021 79 0 0 25 0 4 0 652749728 700829696 112348 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 684404

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

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

[startup+1203 s]
/proc/loadavg: 4.06 4.50 5.85 5/315 8600
/proc/meminfo: memFree=10708860/32951124 swapFree=67093864/67111528
[pid=8546] ppid=8544 vsize=684404 CPUtime=4800.13 cores=1,3,5,7
/proc/8546/stat : 8546 (strangenight2-m) R 8544 8546 7962 0 -1 4202496 720101 0 0 0 479700 313 0 0 25 0 4 0 652749727 700829696 112348 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8546/statm: 171101 112348 379 95 0 166083 0
[pid=8546/tid=8547] ppid=8544 vsize=684404 CPUtime=1203.04 cores=1,3,5,7
/proc/8546/task/8547/stat : 8547 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 196827 0 0 0 120224 80 0 0 25 0 4 0 652749728 700829696 112348 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8546/tid=8548] ppid=8544 vsize=684404 CPUtime=1203.05 cores=1,3,5,7
/proc/8546/task/8548/stat : 8548 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 179417 0 0 0 120223 82 0 0 25 0 4 0 652749728 700829696 112348 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8546/tid=8549] ppid=8544 vsize=684404 CPUtime=1191 cores=1,3,5,7
/proc/8546/task/8549/stat : 8549 (strangenight2-m) R 8544 8546 7962 0 -1 4202560 181334 0 0 0 119021 79 0 0 25 0 4 0 652749728 700829696 112348 33554432000 4194304 4580107 140733744310272 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 684404

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.04
CPU time (s): 4800.19
CPU user time (s): 4797.04
CPU system time (s): 3.15052
CPU usage (%): 399.005
Max. virtual memory (cumulated for all children) (KiB): 785456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.04
system time used= 3.15052
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 720103
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= 493
involuntary context switches= 31827

runsolver used 3.19151 second user time and 8.87465 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-15 00:17:54
IDJOB=3366668
IDBENCH=83077
IDSOLVER=1844
FILE ID=node102/3366668-1305411474
RUNJOBID= node102-1305410268-8358
PBS_JOBID= 13324503
Free space on /tmp= 73532 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366668-1305411474/watcher-3366668-1305411474 -o /tmp/evaluation-result-3366668-1305411474/solver-3366668-1305411474 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366668-1305411474.cnf

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

MD5SUM BENCH= c8e689035f3179f449d681054feb5bd2
RANDOM SEED=1638753868

node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10936936 kB
Buffers:        258912 kB
Cached:        2805116 kB
SwapCached:       1128 kB
Active:       19738308 kB
Inactive:      1981976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10936936 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:            5452 kB
Writeback:           0 kB
AnonPages:    18654824 kB
Mapped:          26868 kB
Slab:           176736 kB
PageTables:      53588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59385948 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= 73532 MiB
End job on node102 at 2011-05-15 00:37:59