Trace number 3174138

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? (TO) 4800.34 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf
MD5SUM12dd7af6f21831da932d15cd8d1054f3
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174138-1304102264.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 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:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     308 undec:      59 neg:     283
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       639      2758         0         0      8357         0   no data   no data
0.20/0.12	c Decided on static restart strategy
0.60/0.17	c  N st     8      4918       639      2758         0      4856      8357    136191   no data   no data
1.57/0.44	c  N st    10     11301       639      2758         0      4518      8357     90633   no data   no data
2.78/0.75	c  N st    11     17048       639      2758         0     10185      8357    261859   no data   no data
4.39/1.18	c  F st    12     25000       639      2758         0     12454      8357    316152   no data   no data
4.39/1.18	c  N st    12     25000       639      2758         0     12454      8357    316152   no data   no data
5.57/1.43	c Decided on static restart strategy
5.57/1.43	c  N st    18     30000       639      2758         0     10743      8357    246592   no data   no data
5.57/1.43	c  S st    18     30000       639      2758         0     10743      8357    246592   no data   no data
5.57/1.46	c  S st    18     30502       639      2758         0     11244      8357    259384   no data   no data
5.57/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.57/1.47	c blocked clauses removed:       21 vars:      3 tried:         639 T: 0.00 s
5.57/1.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
5.57/1.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.53	c lits-rem:        94  cl-subs:      262  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.53	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.01
5.96/1.53	c calculated reachability. Time: 0.00
5.96/1.53	c  N st    18     30502       636      2737         0     10971      8294    250116   no data   no data
7.57/1.95	c  N st    20     37616       636      2737         0     10232      8294    203511   no data   no data
9.17/2.36	c  N st    21     44015       636      2737         0     16551      8294    384528   no data   no data
9.57/2.48	c  S st    22     45756       636      2737         0      9467      8294    158739   no data   no data
9.97/2.51	c  S st    22     46263       636      2737         0      9973      8294    171910   no data   no data
9.97/2.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.97/2.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.97/2.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.97/2.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.97/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
9.97/2.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.97/2.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.97/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.53	c lits-rem:        10  cl-subs:       41  v-elim:      0  v-fix:    0  time:  0.01 s
9.97/2.53	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
9.97/2.53	c vivif2 --  cl tried     9932 cl shrink        0 lits rem          0 time: 0.00
9.97/2.54	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.01
9.97/2.54	c calculated reachability. Time: 0.00
9.97/2.54	c  N st    22     46263       636      2737         0      9932      8294    170554   no data   no data
13.96/3.51	c  N st    23     60662       636      2737         0     14306      8294    291231   no data   no data
16.76/4.21	c  N st    24     69394       636      2737         0     12071      8294    212906   no data   no data
16.76/4.21	c  S st    24     69394       636      2737         0     12071      8294    212906   no data   no data
16.76/4.24	c  S st    24     69898       636      2737         0     12575      8294    225959   no data   no data
16.76/4.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.76/4.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.76/4.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.76/4.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.76/4.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
16.76/4.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.76/4.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.76/4.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.28	c lits-rem:        41  cl-subs:       93  v-elim:      0  v-fix:    0  time:  0.02 s
16.76/4.28	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
16.76/4.28	c vivif2 --  cl tried    12482 cl shrink        0 lits rem          0 time: 0.00
16.76/4.29	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.01
16.76/4.29	c calculated reachability. Time: 0.00
16.76/4.29	c  N st    24     69898       636      2737         0     12482      8294    222744   no data   no data
22.34/5.68	c  F st    25     87500       636      2737         0     17980      8294    389526   no data   no data
22.34/5.68	c  N st    25     87500       636      2737         0     17980      8294    389526   no data   no data
24.74/6.27	c  N dy    34     94479       636      2737         0     24862      8294    579473     16.59     17.55
26.74/6.73	c  N dy    60    100532       636      2737         0     17984      8294    298079     17.60     21.52
27.94/7.09	c  S st    85    104848       636      2737         0     22257      8294    410748     17.80   no data
28.34/7.14	c  S st    85    105355       636      2737         0     22762      8294    424289     17.80   no data
28.34/7.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.34/7.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.34/7.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.34/7.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.34/7.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
28.34/7.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.34/7.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.34/7.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.25	c lits-rem:        73  cl-subs:      354  v-elim:      0  v-fix:    0  time:  0.07 s
28.74/7.25	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
28.74/7.25	c vivif2 --  cl tried    22408 cl shrink        0 lits rem          0 time: 0.00
28.74/7.27	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.01
28.74/7.27	c calculated reachability. Time: 0.00
28.74/7.27	c  N dy    85    105355       636      2737         0     22408      8294    413547     17.80   no data
31.54/7.94	c  N dy   124    112549       636      2737         0     15669      8294    200246     18.08     19.34
33.93/8.52	c  N dy   152    119818       636      2737         0     22862      8294    391716     17.98     19.11
36.73/9.27	c  N dy   173    127522       636      2737         0     15629      8294    171968     17.88     20.70
39.92/10.02	c  N dy   211    136729       636      2737         0     24760      8294    415366     17.90     18.91
43.53/10.99	c  N dy   236    146635       636      2737         0     18715      8294    228685     17.71     18.68
47.11/11.85	c  N dy   261    156038       636      2737         0     28026      8294    473552     17.56     19.96
47.92/12.08	c  S st   272    158032       636      2737         0     30010      8294    526470     17.57     16.68
48.33/12.15	c  S st   272    158535       636      2737         0     30511      8294    539797     17.57   no data
48.33/12.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.33/12.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.33/12.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.33/12.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.33/12.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.33/12.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
48.33/12.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.33/12.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.33/12.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.11/12.34	c lits-rem:       119  cl-subs:      563  v-elim:      0  v-fix:    0  time:  0.16 s
49.11/12.34	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
49.11/12.35	c vivif2 --  cl tried    29948 cl shrink        0 lits rem          0 time: 0.01
49.11/12.37	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.02
49.11/12.37	c calculated reachability. Time: 0.00
49.11/12.37	c  N dy   272    158535       636      2737         0     29948      8294    524327     17.57   no data
53.10/13.37	c  N dy   338    168880       636      2737         0     23359      8294    327301     17.73     18.69
59.10/14.81	c  N dy   401    181971       636      2737         0     18505      8294    181927     17.80     18.87
63.49/15.90	c  N dy   457    193657       636      2737         0     30092      8294    488298     17.82     18.96
69.08/17.34	c  N dy   513    206438       636      2737         0     23930      8294    299065     17.84     18.86
75.48/18.93	c  N dy   573    219971       636      2737         0     37307      8294    647922     17.84     18.97
81.47/20.49	c  N dy   651    234395       636      2737         0     31783      8294    491201     17.92     18.91
83.48/20.92	c  S st   668    237803       636      2737         0     35171      8294    584418     17.92     15.35
83.86/21.00	c  S st   668    238308       636      2737         0     35676      8294    598730     17.92   no data
83.86/21.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.86/21.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.86/21.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.86/21.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.86/21.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.86/21.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
83.86/21.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.86/21.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.86/21.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.66/21.21	c lits-rem:       138  cl-subs:      445  v-elim:      0  v-fix:    0  time:  0.17 s
84.66/21.21	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
84.66/21.22	c vivif2 --  cl tried    35231 cl shrink        0 lits rem          0 time: 0.01
84.66/21.25	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.02
84.66/21.25	c calculated reachability. Time: 0.00
84.66/21.25	c  N dy   668    238308       636      2737         0     35231      8294    584608     17.92   no data
92.65/23.20	c  N dy   734    255019       636      2737         0     30949      8294    444890     17.94     18.96
101.06/25.34	c  N dy   806    271308       636      2737         0     25295      8294    272516     17.95     19.72
110.22/27.67	c  N dy   900    289151       636      2737         0     42988      8294    745884     18.00     18.96
118.63/29.77	c  F st   962    306250       636      2737         0     37118      8294    564196     17.98     16.22
119.81/30.05	c  N st   966    308285       636      2737         0     39134      8294    620433     17.98   no data
121.41/30.46	c Decided on static restart strategy
132.59/33.25	c  N st   972    334556       636      2737         0     41231      8294    875572     17.98   no data
143.38/35.98	c  N st   974    357463       636      2737         0     39104      8294    809447     17.98   no data
143.38/35.98	c  S st   974    357463       636      2737         0     39104      8294    809447     17.98   no data
143.79/36.08	c  S st   974    357969       636      2737         0     39610      8294    822833     17.98   no data
143.79/36.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.19/36.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
144.19/36.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.19/36.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.19/36.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.19/36.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
144.19/36.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.19/36.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.19/36.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.37/36.97	c lits-rem:       230  cl-subs:     1985  v-elim:      0  v-fix:    0  time:  0.84 s
147.37/36.97	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
147.37/36.99	c vivif2 --  cl tried    37625 cl shrink        0 lits rem          0 time: 0.01
147.77/37.02	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.03
147.77/37.02	c calculated reachability. Time: 0.00
147.77/37.02	c  N st   974    357969       636      2737         0     37625      8294    764233     17.98   no data
165.75/41.52	c  N st   975    390361       636      2737         0     43931      8294    976663     17.98   no data
195.70/49.07	c  N st   976    438949       636      2737         0     37733      8294    699431     17.98   no data
243.64/61.09	c  N st   977    511834       636      2737         0     51115      8294   1022854     17.98   no data
260.02/65.18	c  N st   978    536953       636      2737         0     45393      8294    839484     17.98   no data
260.02/65.18	c  S st   978    536953       636      2737         0     45393      8294    839484     17.98   no data
260.42/65.30	c  S st   978    537458       636      2737         0     45898      8294    852393     17.98   no data
260.82/65.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
260.82/65.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
260.82/65.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
260.82/65.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.82/65.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.82/65.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
260.82/65.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
260.82/65.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
260.82/65.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.41/66.23	c lits-rem:       216  cl-subs:     1512  v-elim:      0  v-fix:    0  time:  0.88 s
264.41/66.23	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
264.41/66.24	c vivif2 --  cl tried    44386 cl shrink        0 lits rem          0 time: 0.01
264.41/66.28	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.03
264.41/66.28	c calculated reachability. Time: 0.00
264.41/66.28	c  N st   978    537458       636      2737         0     44386      8294    803782     17.98   no data
381.87/95.63	c  N st   979    701443       636      2737         0     38616      8294    527570     17.98   no data
470.93/117.90	c  N st   980    806187       636      2737         0     67500      8294   1312101     17.98   no data
470.93/117.90	c  S st   980    806187       636      2737         0     67500      8294   1312101     17.98   no data
471.73/118.10	c  S st   980    806688       636      2737         0     68001      8294   1325706     17.98   no data
471.73/118.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
471.73/118.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
471.73/118.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
471.73/118.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
471.73/118.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
471.73/118.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
471.73/118.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
471.73/118.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
471.73/118.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
492.13/123.21	c lits-rem:       900  cl-subs:     4343  v-elim:      0  v-fix:    0  time:  5.01 s
492.13/123.21	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
492.13/123.22	c vivif2 --  cl tried    63658 cl shrink        0 lits rem          0 time: 0.02
492.13/123.28	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.06
492.13/123.28	c calculated reachability. Time: 0.00
492.13/123.28	c  N st   980    806688       636      2737         0     63658      8294   1203647     17.98   no data
712.20/178.37	c  F st   981   1071875       636      2737         0     79639      8294   1587992     17.98   no data
712.20/178.37	c  N st   981   1071875       636      2737         0     79639      8294   1587992     17.98   no data
718.99/180.05	c Decided on static restart strategy
738.97/185.03	c  N st   991   1100185       636      2737         0     63404      8294   1048136     17.98   no data
773.72/193.77	c  N st   993   1136179       636      2737         0     53639      8294    739744     17.98   no data
803.28/201.12	c  N st   994   1168573       636      2737         0     85436      8294   1718065     17.98   no data
844.82/211.50	c  N st   995   1210034       636      2737         0     80055      8294   1496996     17.98   no data
844.82/211.50	c  S st   995   1210034       636      2737         0     80055      8294   1496996     17.98   no data
845.62/211.72	c  S st   995   1210539       636      2737         0     80560      8294   1510892     17.98   no data
845.62/211.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
845.62/211.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
845.62/211.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
845.62/211.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
845.62/211.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
845.62/211.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
845.62/211.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
845.62/211.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
846.02/211.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
866.39/216.96	c lits-rem:      1099  cl-subs:     3821  v-elim:      0  v-fix:    0  time:  5.12 s
866.39/216.96	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
866.39/216.98	c vivif2 --  cl tried    76739 cl shrink        0 lits rem          0 time: 0.02
866.79/217.05	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.08
866.79/217.05	c calculated reachability. Time: 0.00
866.79/217.05	c  N st   995   1210539       636      2737         0     76739      8294   1396224     17.98   no data
951.08/238.13	c  N st   996   1283421       636      2737         0     53079      8294    660003     17.98   no data
1056.93/264.66	c  N st   997   1392744       636      2737         0     61269      8294    881695     17.98   no data
1223.10/306.21	c  N st   998   1556728       636      2737         0     66047      8294    933888     17.98   no data
1395.67/349.46	c  N st   999   1710539       636      2737         0    107836      8294   2153692     17.98   no data
1395.67/349.46	c  S st   999   1710539       636      2737         0    107836      8294   2153692     17.98   no data
1397.29/349.84	c  S st   999   1711044       636      2737         0    108341      8294   2167468     17.98   no data
1397.29/349.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1397.67/349.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1397.67/349.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1397.67/349.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1397.67/349.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1397.67/349.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
1397.67/349.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1397.67/349.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1398.07/350.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1457.19/364.80	c lits-rem:      2451  cl-subs:     6370  v-elim:      0  v-fix:    0  time: 14.80 s
1457.19/364.80	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
1457.19/364.83	c vivif2 --  cl tried   101971 cl shrink        0 lits rem          0 time: 0.03
1457.59/364.93	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.11
1457.59/364.93	c calculated reachability. Time: 0.00
1457.59/364.93	c  N st   999   1711044       636      2737         0    101971      8294   1982816     17.98   no data
1868.62/467.83	c  N st  1000   2080009       636      2737         0    113902      8294   2195267     17.98   no data
2034.43/509.38	c  N st  1001   2211045       636      2737         0    117696      8294   2241546     17.98   no data
2034.43/509.38	c  S st  1001   2211045       636      2737         0    117696      8294   2241546     17.98   no data
2036.00/509.75	c  S st  1001   2211551       636      2737         0    118202      8294   2255616     17.98   no data
2036.00/509.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2036.40/509.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2036.40/509.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2036.40/509.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2036.40/509.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2036.40/509.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
2036.40/509.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2036.40/509.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2036.80/509.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2099.92/525.74	c lits-rem:       711  cl-subs:     6941  v-elim:      0  v-fix:    0  time: 15.82 s
2099.92/525.74	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
2099.92/525.77	c vivif2 --  cl tried   111261 cl shrink        0 lits rem          0 time: 0.03
2100.33/525.88	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.12
2100.33/525.89	c calculated reachability. Time: 0.00
2100.33/525.89	c  N st  1001   2211551       636      2737         0    111261      8294   2062767     17.98   no data
2763.43/691.84	c  N st  1002   2711551       636      2737         0    134240      8294   2582417     17.98   no data
2763.43/691.84	c  S st  1002   2711551       636      2737         0    134240      8294   2582417     17.98   no data
2765.01/692.28	c  S st  1002   2712057       636      2737         0    134745      8294   2596319     17.98   no data
2765.01/692.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2765.41/692.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2765.41/692.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2765.41/692.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2765.41/692.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2765.41/692.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
2765.41/692.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2765.81/692.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2765.81/692.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2883.64/721.95	c lits-rem:       813  cl-subs:    11602  v-elim:      0  v-fix:    0  time: 29.46 s
2883.64/721.95	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
2883.64/721.98	c vivif2 --  cl tried   123143 cl shrink        0 lits rem          0 time: 0.04
2884.44/722.12	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.14
2884.44/722.12	c calculated reachability. Time: 0.00
2884.44/722.12	c  N st  1002   2712057       636      2737         0    123143      8294   2277786     17.98   no data
3696.15/925.37	c  N st  1003   3212059       636      2737         0     99548      8294   1444828     17.98   no data
3696.15/925.37	c  S st  1003   3212059       636      2737         0     99548      8294   1444828     17.98   no data
3697.35/925.65	c  S st  1003   3212561       636      2737         0    100050      8294   1458183     17.98   no data
3697.35/925.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3697.75/925.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3697.75/925.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3697.75/925.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3697.75/925.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3697.75/925.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
3697.75/925.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3697.75/925.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3697.75/925.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3710.13/928.85	c lits-rem:       394  cl-subs:     3181  v-elim:      0  v-fix:    0  time:  3.08 s
3710.13/928.85	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
3710.13/928.87	c vivif2 --  cl tried    96869 cl shrink        0 lits rem          0 time: 0.02
3710.53/928.97	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.10
3710.53/928.97	c calculated reachability. Time: 0.00
3710.53/928.97	c  N st  1003   3212561       636      2737         0     96869      8294   1373615     17.98   no data
4603.74/1152.50	c  N st  1004   3712563       636      2737         0    107135      8294   1522864     17.98   no data
4603.74/1152.50	c  S st  1004   3712563       636      2737         0    107135      8294   1522864     17.98   no data
4604.95/1152.83	c  S st  1004   3713064       636      2737         0    107636      8294   1536205     17.98   no data
4604.95/1152.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4604.95/1152.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4604.95/1152.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4604.95/1152.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4604.95/1152.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4604.95/1152.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
4604.95/1152.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4605.33/1152.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4605.33/1152.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4623.31/1157.48	c lits-rem:       414  cl-subs:     4361  v-elim:      0  v-fix:    0  time:  4.51 s
4623.31/1157.48	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
4623.71/1157.50	c vivif2 --  cl tried   103275 cl shrink        0 lits rem          0 time: 0.02
4624.11/1157.61	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.11
4624.11/1157.61	c calculated reachability. Time: 0.00
4624.11/1157.61	c  N st  1004   3713064       636      2737         0    103275      8294   1430539     17.98   no data
4691.22/1174.49	c  F st  1005   3751562       636      2737         0    140780      8294   2451927     17.98   no data
4691.22/1174.49	c  N st  1005   3751562       636      2737         0    140780      8294   2451927     17.98   no data
4745.16/1187.96	c  N dy  1095   3771595       636      2737         0    160569      8294   2989697     18.04     20.48
4783.10/1197.42	c  N dy  1162   3791654       636      2737         0     97529      8294   1181184     18.02     19.02

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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174138-1304102264/watcher-3174138-1304102264 -o /tmp/evaluation-result-3174138-1304102264/solver-3174138-1304102264 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174138-1304102264.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: 8.11 8.18 8.12 5/184 3493
/proc/meminfo: memFree=30193480/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 410 0 0 0 0 0 0 0 25 0 4 0 521824293 52441088 349 33554432000 4194304 4627427 140734311914800 18446744073709551615 46918307260338 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 12803 349 299 106 0 7774 0
[pid=3493/tid=3494] ppid=3491 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521824293 52441088 349 33554432000 4194304 4627427 140734311914800 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521824293 52441088 349 33554432000 4194304 4627427 140734311914800 18446744073709551615 46918307260338 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521824293 52441088 349 33554432000 4194304 4627427 140734311914800 18446744073709551615 46918307260338 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0565159 s]
/proc/loadavg: 8.11 8.18 8.12 5/184 3493
/proc/meminfo: memFree=30193480/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=282016 CPUtime=0.2 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 1680 0 0 0 20 0 0 0 18 0 4 0 521824293 288784384 1530 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 70504 1530 384 106 0 65475 0
[pid=3493/tid=3494] ppid=3491 vsize=282016 CPUtime=0.04 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 355 0 0 0 4 0 0 0 25 0 4 0 521824293 288784384 1530 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=282016 CPUtime=0.05 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 330 0 0 0 5 0 0 0 25 0 4 0 521824293 288784384 1530 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=282016 CPUtime=0.05 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 214 0 0 0 5 0 0 0 18 0 4 0 521824293 288784384 1530 33554432000 4194304 4627427 140734311914800 18446744073709551615 4327752 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 282016

[startup+0.156498 s]
/proc/loadavg: 8.11 8.18 8.12 5/184 3493
/proc/meminfo: memFree=30193480/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=282172 CPUtime=0.6 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 2137 0 0 0 60 0 0 0 18 0 4 0 521824293 288944128 1987 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 70543 1987 384 106 0 65514 0
[pid=3493/tid=3494] ppid=3491 vsize=282172 CPUtime=0.14 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 449 0 0 0 14 0 0 0 25 0 4 0 521824293 288944128 1987 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=282172 CPUtime=0.15 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 448 0 0 0 15 0 0 0 25 0 4 0 521824293 288944128 1987 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309067 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=282172 CPUtime=0.14 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 334 0 0 0 14 0 0 0 18 0 4 0 521824293 288944128 1987 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 282172

[startup+0.300472 s]
/proc/loadavg: 8.11 8.18 8.12 5/184 3493
/proc/meminfo: memFree=30193480/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=283800 CPUtime=1.17 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 3049 0 0 0 117 0 0 0 18 0 4 0 521824293 290611200 2235 33554432000 4194304 4627427 140734311914800 18446744073709551615 4325013 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 70950 2235 385 106 0 65921 0
[pid=3493/tid=3494] ppid=3491 vsize=283800 CPUtime=0.29 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 660 0 0 0 29 0 0 0 25 0 4 0 521824293 290611200 2235 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=283800 CPUtime=0.29 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 672 0 0 0 29 0 0 0 25 0 4 0 521824293 290611200 2235 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309085 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=283800 CPUtime=0.29 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 577 0 0 0 29 0 0 0 18 0 4 0 521824293 290611200 2235 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283800

[startup+0.700401 s]
/proc/loadavg: 8.11 8.18 8.12 5/184 3493
/proc/meminfo: memFree=30193480/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=284652 CPUtime=2.78 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 4773 0 0 0 277 1 0 0 18 0 4 0 521824293 291483648 2930 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 71163 2930 385 106 0 66134 0
[pid=3493/tid=3494] ppid=3491 vsize=284652 CPUtime=0.69 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 1116 0 0 0 69 0 0 0 25 0 4 0 521824293 291483648 2930 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=284652 CPUtime=0.69 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 1085 0 0 0 69 0 0 0 25 0 4 0 521824293 291483648 2930 33554432000 4194304 4627427 140734311914800 18446744073709551615 4299583 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=284652 CPUtime=0.69 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 1013 0 0 0 69 0 0 0 18 0 4 0 521824293 291483648 2930 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284652

[startup+1.50026 s]
/proc/loadavg: 8.11 8.18 8.12 9/188 3497
/proc/meminfo: memFree=30181812/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=285996 CPUtime=5.96 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 9778 0 0 0 595 1 0 0 20 0 4 0 521824293 292859904 5028 33554432000 4194304 4627427 140734311914800 18446744073709551615 4420130 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 71499 5028 390 106 0 66470 0
[pid=3493/tid=3494] ppid=3491 vsize=285996 CPUtime=1.48 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 1961 0 0 0 148 0 0 0 25 0 4 0 521824293 292859904 5028 33554432000 4194304 4627427 140734311914800 18446744073709551615 4332971 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=285996 CPUtime=1.49 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 1944 0 0 0 149 0 0 0 25 0 4 0 521824293 292859904 5028 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=285996 CPUtime=1.48 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 1881 0 0 0 148 0 0 0 20 0 4 0 521824293 292859904 5028 33554432000 4194304 4627427 140734311914800 18446744073709551615 4310440 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285996

[startup+3.10097 s]
/proc/loadavg: 8.11 8.18 8.12 9/188 3497
/proc/meminfo: memFree=30168420/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=280076 CPUtime=12.37 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 19126 0 0 0 1234 3 0 0 25 0 4 0 521824293 286797824 11296 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 70019 11296 390 106 0 64990 0
[pid=3493/tid=3494] ppid=3491 vsize=280076 CPUtime=3.07 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 4097 0 0 0 307 0 0 0 25 0 4 0 521824293 286797824 11296 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=280076 CPUtime=3.09 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 5405 0 0 0 309 0 0 0 25 0 4 0 521824293 286797824 11296 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=280076 CPUtime=3.09 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 4189 0 0 0 308 1 0 0 25 0 4 0 521824293 286797824 11296 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 280076

[startup+6.30039 s]
/proc/loadavg: 8.10 8.18 8.12 9/188 3497
/proc/meminfo: memFree=30131964/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=280676 CPUtime=25.14 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 28138 0 0 0 2510 4 0 0 25 0 4 0 521824293 287412224 16302 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 70169 16302 391 106 0 65140 0
[pid=3493/tid=3494] ppid=3491 vsize=280676 CPUtime=6.25 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 6757 0 0 0 625 0 0 0 25 0 4 0 521824293 287412224 16302 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=280676 CPUtime=6.28 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 8282 0 0 0 628 0 0 0 25 0 4 0 521824293 287412224 16302 33554432000 4194304 4627427 140734311914800 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=280676 CPUtime=6.29 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 5681 0 0 0 628 1 0 0 25 0 4 0 521824293 287412224 16302 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 280676

[startup+12.7002 s]
/proc/loadavg: 8.18 8.19 8.12 9/188 3497
/proc/meminfo: memFree=30097336/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=279412 CPUtime=50.71 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 42257 0 0 0 5064 7 0 0 25 0 4 0 521824293 286117888 20362 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308282 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 69853 20362 389 106 0 64824 0
[pid=3493/tid=3494] ppid=3491 vsize=279412 CPUtime=12.62 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 9671 0 0 0 1261 1 0 0 25 0 4 0 521824293 286117888 20362 33554432000 4194304 4627427 140734311914800 18446744073709551615 4322299 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=279412 CPUtime=12.68 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 11909 0 0 0 1267 1 0 0 25 0 4 0 521824293 286117888 20362 33554432000 4194304 4627427 140734311914800 18446744073709551615 4310440 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=279412 CPUtime=12.68 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 8428 0 0 0 1267 1 0 0 25 0 4 0 521824293 286117888 20362 33554432000 4194304 4627427 140734311914800 18446744073709551615 4330056 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 279412

[startup+25.5009 s]
/proc/loadavg: 8.14 8.18 8.12 9/188 3497
/proc/meminfo: memFree=30060368/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=279700 CPUtime=101.83 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 59343 0 0 0 10172 11 0 0 25 0 4 0 521824293 286412800 24950 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 69925 24950 389 106 0 64896 0
[pid=3493/tid=3494] ppid=3491 vsize=279700 CPUtime=25.34 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 12193 0 0 0 2533 1 0 0 25 0 4 0 521824293 286412800 24950 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=279700 CPUtime=25.49 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 18415 0 0 0 2546 3 0 0 25 0 4 0 521824293 286412800 24950 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=279700 CPUtime=25.49 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 11600 0 0 0 2547 2 0 0 25 0 4 0 521824293 286412800 24950 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 279700

[startup+51.1003 s]
/proc/loadavg: 7.92 8.12 8.10 9/188 3532
/proc/meminfo: memFree=30595388/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=260672 CPUtime=204.1 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 90197 0 0 0 20390 20 0 0 25 0 4 0 521824293 266928128 33291 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 65168 33291 389 106 0 60139 0
[pid=3493/tid=3494] ppid=3491 vsize=260672 CPUtime=50.81 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 20969 0 0 0 5077 4 0 0 25 0 4 0 521824293 266928128 33291 33554432000 4194304 4627427 140734311914800 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=260672 CPUtime=51.09 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 27464 0 0 0 5103 6 0 0 25 0 4 0 521824293 266928128 33291 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=260672 CPUtime=51.08 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 16802 0 0 0 5105 3 0 0 25 0 4 0 521824293 266928128 33291 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 260672

[startup+102.307 s]
/proc/loadavg: 8.02 8.11 8.09 9/188 3535
/proc/meminfo: memFree=30514436/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=337100 CPUtime=408.64 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 137118 0 0 0 40830 34 0 0 25 0 4 0 521824293 345190400 47135 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 84275 47135 389 106 0 79246 0
[pid=3493/tid=3494] ppid=3491 vsize=337100 CPUtime=101.73 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 37537 0 0 0 10165 8 0 0 25 0 4 0 521824293 345190400 47135 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=337100 CPUtime=102.29 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 36388 0 0 0 10222 7 0 0 25 0 4 0 521824293 345190400 47135 33554432000 4194304 4627427 140734311914800 18446744073709551615 4333319 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=337100 CPUtime=102.29 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 27334 0 0 0 10221 8 0 0 25 0 4 0 521824293 345190400 47135 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 337100

[startup+162.301 s]

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

[pid=3493] ppid=3491 vsize=672740 CPUtime=2805.35 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 414138 0 0 0 280382 153 0 0 25 0 4 0 521824293 688885760 122048 33554432000 4194304 4627427 140734311914800 18446744073709551615 4420250 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 168185 122048 389 106 0 163156 0
[pid=3493/tid=3494] ppid=3491 vsize=672740 CPUtime=698.48 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 101698 0 0 0 69808 40 0 0 25 0 4 0 521824293 688885760 122048 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=672740 CPUtime=702.3 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 97185 0 0 0 70200 30 0 0 25 0 4 0 521824293 688885760 122048 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=672740 CPUtime=702.23 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 108761 0 0 0 70180 43 0 0 25 0 4 0 521824293 688885760 122048 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 672740

[startup+762.307 s]
/proc/loadavg: 8.23 8.19 8.12 10/188 3552
/proc/meminfo: memFree=30030552/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=698824 CPUtime=3045.04 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 432967 0 0 0 304339 165 0 0 25 0 4 0 521824293 715595776 114737 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 174706 114737 389 106 0 169677 0
[pid=3493/tid=3494] ppid=3491 vsize=698824 CPUtime=758.16 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 108821 0 0 0 75772 44 0 0 25 0 4 0 521824293 715595776 114737 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=698824 CPUtime=762.31 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 103978 0 0 0 76196 35 0 0 25 0 4 0 521824293 715595776 114737 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=698824 CPUtime=762.24 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 113076 0 0 0 76177 47 0 0 25 0 4 0 521824293 715595776 114737 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 698824

[startup+822.3 s]
/proc/loadavg: 7.84 8.11 8.09 5/179 3572
/proc/meminfo: memFree=30368176/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=569916 CPUtime=3284.7 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 457483 0 0 0 328291 179 0 0 25 0 4 0 521824293 583593984 108863 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 142479 108863 389 106 0 137450 0
[pid=3493/tid=3494] ppid=3491 vsize=569916 CPUtime=817.82 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 112777 0 0 0 81736 46 0 0 25 0 4 0 521824293 583593984 108863 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=569916 CPUtime=822.3 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 112054 0 0 0 82191 39 0 0 25 0 4 0 521824293 583593984 108863 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=569916 CPUtime=822.23 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 120531 0 0 0 82172 51 0 0 25 0 4 0 521824293 583593984 108863 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.7
Current children cumulated vsize (KiB) 569916

[startup+882.3 s]
/proc/loadavg: 5.47 7.38 7.84 5/179 3573
/proc/meminfo: memFree=30294076/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=635524 CPUtime=3524.37 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 479821 0 0 0 352249 188 0 0 25 0 4 0 521824293 650776576 127059 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 158881 127059 389 106 0 153852 0
[pid=3493/tid=3494] ppid=3491 vsize=635524 CPUtime=877.49 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 121384 0 0 0 87700 49 0 0 25 0 4 0 521824293 650776576 127059 33554432000 4194304 4627427 140734311914800 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=635524 CPUtime=882.3 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 117611 0 0 0 88188 42 0 0 25 0 4 0 521824293 650776576 127059 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=635524 CPUtime=882.22 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 126892 0 0 0 88169 53 0 0 25 0 4 0 521824293 650776576 127059 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 635524

[startup+942.301 s]
/proc/loadavg: 4.54 6.76 7.60 5/179 3575
/proc/meminfo: memFree=30268992/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=674464 CPUtime=3764.06 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 506697 0 0 0 376205 201 0 0 25 0 4 0 521824293 690651136 133141 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 168616 133141 389 106 0 163587 0
[pid=3493/tid=3494] ppid=3491 vsize=674464 CPUtime=937.17 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 127557 0 0 0 93665 52 0 0 25 0 4 0 521824293 690651136 133141 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=674464 CPUtime=942.3 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 126845 0 0 0 94184 46 0 0 25 0 4 0 521824293 690651136 133141 33554432000 4194304 4627427 140734311914800 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=674464 CPUtime=942.23 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 133646 0 0 0 94166 57 0 0 25 0 4 0 521824293 690651136 133141 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 674464

[startup+1002.3 s]
/proc/loadavg: 4.20 6.25 7.37 5/179 3577
/proc/meminfo: memFree=30266724/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=805796 CPUtime=4003.74 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 526262 0 0 0 400163 211 0 0 25 0 4 0 521824293 825135104 133746 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 201449 133746 389 106 0 196420 0
[pid=3493/tid=3494] ppid=3491 vsize=805796 CPUtime=996.85 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 134401 0 0 0 99630 55 0 0 25 0 4 0 521824293 825135104 133746 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=805796 CPUtime=1002.31 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 132028 0 0 0 100182 49 0 0 25 0 4 0 521824293 825135104 133746 33554432000 4194304 4627427 140734311914800 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=805796 CPUtime=1002.23 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 138557 0 0 0 100163 60 0 0 25 0 4 0 521824293 825135104 133746 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 805796

[startup+1062.3 s]
/proc/loadavg: 4.07 5.84 7.15 5/179 3578
/proc/meminfo: memFree=30281928/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=807396 CPUtime=4243.42 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 544616 0 0 0 424121 221 0 0 25 0 4 0 521824293 826773504 130239 33554432000 4194304 4627427 140734311914800 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 201849 130239 389 106 0 196820 0
[pid=3493/tid=3494] ppid=3491 vsize=807396 CPUtime=1056.53 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 136958 0 0 0 105596 57 0 0 25 0 4 0 521824293 826773504 130239 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=807396 CPUtime=1062.3 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 136066 0 0 0 106179 51 0 0 25 0 4 0 521824293 826773504 130239 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=807396 CPUtime=1062.24 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 143837 0 0 0 106161 63 0 0 25 0 4 0 521824293 826773504 130239 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.42
Current children cumulated vsize (KiB) 807396

[startup+1122.3 s]
/proc/loadavg: 4.02 5.50 6.95 5/179 3580
/proc/meminfo: memFree=30271856/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=715996 CPUtime=4483.09 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 558677 0 0 0 448079 230 0 0 25 0 4 0 521824293 733179904 132537 33554432000 4194304 4627427 140734311914800 18446744073709551615 4332767 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 178999 132537 389 106 0 173970 0
[pid=3493/tid=3494] ppid=3491 vsize=715996 CPUtime=1116.2 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 140433 0 0 0 111561 59 0 0 25 0 4 0 521824293 733179904 132538 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=715996 CPUtime=1122.31 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 142019 0 0 0 112176 55 0 0 25 0 4 0 521824293 733179904 132538 33554432000 4194304 4627427 140734311914800 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=715996 CPUtime=1122.23 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 146131 0 0 0 112159 64 0 0 25 0 4 0 521824293 733179904 132538 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309134 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.09
Current children cumulated vsize (KiB) 715996

[startup+1182.3 s]
/proc/loadavg: 4.06 5.24 6.77 5/179 3581
/proc/meminfo: memFree=30265980/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=728184 CPUtime=4722.77 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 584590 0 0 0 472034 243 0 0 25 0 4 0 521824293 745660416 134364 33554432000 4194304 4627427 140734311914800 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 182046 134364 389 106 0 177017 0
[pid=3493/tid=3494] ppid=3491 vsize=728184 CPUtime=1175.87 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 146848 0 0 0 117525 62 0 0 25 0 4 0 521824293 745660416 134364 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=728184 CPUtime=1182.31 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 149108 0 0 0 118173 58 0 0 25 0 4 0 521824293 745660416 134364 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=728184 CPUtime=1182.24 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 153232 0 0 0 118156 68 0 0 25 0 4 0 521824293 745660416 134364 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.77
Current children cumulated vsize (KiB) 728184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.04 5.16 6.71 5/179 3582
/proc/meminfo: memFree=30254192/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=782372 CPUtime=4800.29 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 592228 0 0 0 479781 248 0 0 25 0 4 0 521824293 801148928 136856 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 195593 136856 389 106 0 190564 0
[pid=3493/tid=3494] ppid=3491 vsize=782372 CPUtime=1195.17 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 148454 0 0 0 119454 63 0 0 25 0 4 0 521824293 801148928 136856 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=782372 CPUtime=1201.71 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 149959 0 0 0 120112 59 0 0 25 0 4 0 521824293 801148928 136856 33554432000 4194304 4627427 140734311914800 18446744073709551615 4321328 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=782372 CPUtime=1201.65 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 156269 0 0 0 120095 70 0 0 25 0 4 0 521824293 801148928 136856 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 782372

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

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

[startup+1201.7 s]
/proc/loadavg: 4.04 5.16 6.71 5/179 3582
/proc/meminfo: memFree=30254192/32951124 swapFree=67111344/67111528
[pid=3493] ppid=3491 vsize=782372 CPUtime=4800.29 cores=1,3,5,7
/proc/3493/stat : 3493 (strangenight2-m) R 3491 3493 2772 0 -1 4202496 592228 0 0 0 479781 248 0 0 25 0 4 0 521824293 801148928 136856 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3493/statm: 195593 136856 389 106 0 190564 0
[pid=3493/tid=3494] ppid=3491 vsize=782372 CPUtime=1195.17 cores=1,3,5,7
/proc/3493/task/3494/stat : 3494 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 148454 0 0 0 119454 63 0 0 25 0 4 0 521824293 801148928 136856 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3493/tid=3495] ppid=3491 vsize=782372 CPUtime=1201.71 cores=1,3,5,7
/proc/3493/task/3495/stat : 3495 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 149959 0 0 0 120112 59 0 0 25 0 4 0 521824293 801148928 136856 33554432000 4194304 4627427 140734311914800 18446744073709551615 4321328 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3493/tid=3496] ppid=3491 vsize=782372 CPUtime=1201.65 cores=1,3,5,7
/proc/3493/task/3496/stat : 3496 (strangenight2-m) R 3491 3493 2772 0 -1 4202560 156269 0 0 0 120095 70 0 0 25 0 4 0 521824293 801148928 136856 33554432000 4194304 4627427 140734311914800 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 782372

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.34
CPU user time (s): 4797.84
CPU system time (s): 2.50362
CPU usage (%): 399.451
Max. virtual memory (cumulated for all children) (KiB): 888984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.84
system time used= 2.50362
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592228
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= 448
involuntary context switches= 31243

runsolver used 1.83672 second user time and 4.73228 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-29 20:37:44
IDJOB=3174138
IDBENCH=82956
IDSOLVER=1586
FILE ID=node133/3174138-1304102264
RUNJOBID= node133-1304101060-3375
PBS_JOBID= 13170613
Free space on /tmp= 71892 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174138-1304102264/watcher-3174138-1304102264 -o /tmp/evaluation-result-3174138-1304102264/solver-3174138-1304102264 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174138-1304102264.cnf

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

MD5SUM BENCH= 12dd7af6f21831da932d15cd8d1054f3
RANDOM SEED=1538277196

node133.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.834
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.66
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.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.74
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.834
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:      30193760 kB
Buffers:        758440 kB
Cached:         973952 kB
SwapCached:        124 kB
Active:        1216024 kB
Inactive:      1182244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30193760 kB
SwapTotal:    67111528 kB
SwapFree:     67111344 kB
Dirty:            5456 kB
Writeback:           0 kB
AnonPages:      664828 kB
Mapped:          15516 kB
Slab:           293920 kB
PageTables:       6252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   993540 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71892 MiB
End job on node133 at 2011-04-29 20:57:48