Trace number 3369273

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-1-mt (fixed)SAT 1653.21 427.587

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p30-s39712998.cnf
MD5SUM44ec8c80ea2b58be800208f5113b04f5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.272958
Satisfiable
(Un)Satisfiability was proved
Number of variables666
Number of clauses45238
Sum of the clauses size91092
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 245213
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 525

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369273-1305433989.cnf'
0.00/0.00	c -- header says num vars:            666
0.00/0.00	c -- header says num clauses:       45238
0.00/0.01	c -- clauses added:            0 learnts,        45238 normals,            0 xors
0.00/0.01	c -- vars added        666
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       666        25     45213         0     91092         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/25/25 lits-rem:0 time: 0.00
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
0.00/0.03	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.00/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.00/0.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    666 time:  0.01 s
0.00/0.04	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.02 s
0.00/0.06	c lits-rem:       474  cl-subs:        0  v-elim:     25  v-fix:    0  time:  0.06 s
0.00/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.06	c calculated reachability. Time: 0.00
0.00/0.06	c Calc default polars -  time:   0.00 s pos:       0 undec:      25 neg:     641
0.00/0.06	c =========================================================================================
0.00/0.06	c types(t): F = full restart, N = normal restart
0.00/0.06	c types(t): S = simplification begin/end, E = solution found
0.00/0.06	c restart types(rt): st = static, dy = dynamic
0.00/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.06	c  B st     0         0       641      1248     43324         0    126710         0   no data   no data  --
1.55/0.49	c  N dy     9      7157       641      1248     43325      4487    126710    377744     10.76     11.34  --
3.15/0.84	c  N dy    30     11970       641      1248     43330      5036    126710    304743     10.87     11.44  --
4.37/1.13	c  N dy    39     16782       641      1248     43331      9709    126710    580169     10.37     10.98  --
5.54/1.40	c  N dy    59     20805       641      1248     43332      8188    126710    486536     10.43     16.97  --
6.74/1.74	c  N dy    75     24941       641      1248     43337     12186    126710    774971     10.25     10.93  --
6.74/1.74	c  F st    76     25000       641      1248     43337     12245    126710    781467     10.26   no data  --
8.37/2.17	c  N dy    82     30000       641      1248     43339     10448    126710    665595     10.26   no data  --
8.37/2.17	c  S st    82     30000       641      1248     43339     10448    126710    665595     10.26   no data  --
8.77/2.21	c  S st    82     30504       641      1248     43339     10950    126710    702056     10.26   no data  --
8.77/2.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
8.77/2.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.14/2.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  5.2M T:  0.42
9.14/2.35	c bin-w-bin subsume rem            0 bins  time:  0.03 s
14.33/3.65	c subs with bin:        3  lits-rem:       712  v-fix:    0  time:  5.15 s
14.33/3.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.02 s
14.33/3.65	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
27.90/7.08	c lits-rem:      2214  cl-subs:      623  v-elim:      0  v-fix:    0  time: 13.66 s
28.30/7.18	c asymm  cl-useful: 649/1223/1248 lits-rem:3312 time: 0.42
28.30/7.18	c calculated reachability. Time: 0.00
28.30/7.18	c  N dy    82     30504       641      1248     43342     10324    121625    669335     10.26   no data  --
29.90/7.53	c  N dy    99     34505       641      1248     43349     14180    121625    973774     10.39     11.88  --
31.49/7.90	c  N dy   118     38941       641      1248     43350     10850    121625    647767     10.54     11.49  --
33.10/8.30	c  N dy   140     43276       641      1248     43351     15033    121625    996714     10.72     11.59  --
34.29/8.60	c  S st   157     45759       641      1248     43354      8785    121625    453527     10.89   no data  --
34.29/8.64	c  S st   157     46262       641      1248     43354      9285    121625    490011     10.89   no data  --
34.29/8.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
34.29/8.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.71/8.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.6M T:  0.36
34.71/8.75	c bin-w-bin subsume rem            0 bins  time:  0.02 s
39.51/9.98	c subs with bin:       20  lits-rem:        54  v-fix:    0  time:  4.91 s
39.51/9.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.02 s
39.51/9.99	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
49.86/12.53	c lits-rem:       498  cl-subs:      186  v-elim:      0  v-fix:    0  time: 10.12 s
49.86/12.53	c vivif2 --  cl tried     1248 cl shrink      105 lits rem        107 time: 0.00
49.86/12.54	c vivif2 --  cl tried     9079 cl shrink      358 lits rem        388 time: 0.04
50.26/12.61	c asymm  cl-useful: 0/1248/1248 lits-rem:0 time: 0.30
50.26/12.61	c calculated reachability. Time: 0.00
50.26/12.61	c  N dy   157     46262       641      1248     43354      9079    121479    483840     10.89   no data  --
51.46/12.95	c  N dy   173     50392       641      1248     43366     13040    121479    714138     10.82     11.41  --
53.05/13.39	c  N dy   191     55119       641      1248     43367     17608    121479   1050397     10.80     11.39  --
55.06/13.82	c  N dy   206     59599       641      1248     43367     12316    121479    664745     10.76     11.38  --
56.68/14.26	c  N dy   222     63890       641      1248     43367     16450    121479    962539     10.76     11.35  --
58.65/14.73	c  N dy   239     68016       641      1248     43367     20446    121479   1260959     10.77     11.68  --
59.44/14.91	c  S st   249     69393       641      1248     43368     11156    121479    507865     10.82     10.73  --
59.44/14.95	c  S st   249     69899       641      1248     43368     11657    121479    540434     10.82   no data  --
59.44/14.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
59.44/14.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.84/15.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.1M T:  0.42
59.84/15.07	c bin-w-bin subsume rem            0 bins  time:  0.02 s
65.04/16.32	c subs with bin:       90  lits-rem:       120  v-fix:    0  time:  4.98 s
65.04/16.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.02 s
65.04/16.33	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
75.82/19.00	c lits-rem:       565  cl-subs:      301  v-elim:      0  v-fix:    0  time: 10.66 s
75.82/19.00	c vivif2 --  cl tried     1248 cl shrink        6 lits rem          6 time: 0.00
75.82/19.01	c vivif2 --  cl tried    11266 cl shrink      244 lits rem        255 time: 0.04
75.82/19.09	c asymm  cl-useful: 0/1248/1248 lits-rem:0 time: 0.31
75.82/19.09	c calculated reachability. Time: 0.00
75.82/19.09	c  N dy   249     69899       641      1248     43368     11266    121469    533836     10.82   no data  --
77.82/19.50	c  N dy   270     74484       641      1248     43369     15728    121469    840735     10.92     11.55  --
79.81/20.07	c  N dy   296     79717       641      1248     43380     20808    121469   1191221     11.01     11.61  --
82.21/20.61	c  N dy   319     85131       641      1248     43386     14459    121469    696721     11.04     11.65  --
83.03/20.86	c  F st   335     87502       641      1248     43389     16745    121469    867862     11.17   no data  --
84.60/21.25	c  N st   340     90799       641      1248     43389     19907    121469   1084649     11.17   no data  --
87.42/22.00	c  N dy   357     96862       641      1248     43393     13218    121469    587710     11.17     11.82  --
90.99/22.80	c  N dy   385    104848       641      1248     43402     20918    121469   1142871     11.20      8.96  --
90.99/22.80	c  S st   385    104848       641      1248     43402     20918    121469   1142871     11.20      8.96  --
90.99/22.86	c  S st   385    105355       641      1248     43402     21422    121469   1178265     11.20   no data  --
90.99/22.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
90.99/22.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.81/23.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.7M T:  0.72
91.81/23.08	c bin-w-bin subsume rem            0 bins  time:  0.02 s
97.38/24.45	c subs with bin:       20  lits-rem:       132  v-fix:    0  time:  5.47 s
97.38/24.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.02 s
97.38/24.46	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
108.16/27.12	c lits-rem:      2299  cl-subs:     1068  v-elim:      0  v-fix:    0  time: 10.62 s
108.16/27.12	c vivif2 --  cl tried     1248 cl shrink       12 lits rem         12 time: 0.00
108.16/27.15	c vivif2 --  cl tried    20334 cl shrink     1067 lits rem       1242 time: 0.09
108.56/27.30	c asymm  cl-useful: 0/1248/1248 lits-rem:0 time: 0.60
108.96/27.30	c calculated reachability. Time: 0.00
108.96/27.30	c  N dy   385    105355       641      1248     43403     20333    121456   1146941     11.20   no data  --
112.96/28.30	c  N dy   420    112220       641      1248     43410     26955    121456   1608450     11.26     11.92  --
115.74/29.00	c  N dy   437    119705       641      1248     43416     20676    121456   1106174     11.17     11.79  --
119.34/29.99	c  N dy   463    127431       641      1248     43423     28124    121456   1655708     11.14     13.61  --
122.96/30.89	c  N dy   498    135594       641      1248     43428     21531    121456   1103627     11.14     11.95  --
128.52/32.25	c  N dy   526    145300       641      1248     43442     30813    121456   1691052     11.09     11.91  --
132.92/33.35	c  N dy   577    154619       641      1248     43456     24382    121456   1224249     11.20     11.96  --
134.91/33.84	c  S st   594    158032       641      1248     43456     27678    121456   1444539     11.22      7.43  --
135.31/33.91	c  S st   594    158536       641      1248     43464     28180    121456   1486511     11.22   no data  --
135.31/33.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
135.31/33.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
136.14/34.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.7M T:  0.92
136.14/34.19	c bin-w-bin subsume rem            1 bins  time:  0.02 s
141.70/35.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.38 s
141.70/35.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.02 s
141.70/35.55	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.01 s
158.11/39.67	c lits-rem:      2409  cl-subs:     1667  v-elim:      0  v-fix:    0  time: 16.46 s
158.11/39.67	c vivif2 --  cl tried     1248 cl shrink       11 lits rem         11 time: 0.00
158.47/39.71	c vivif2 --  cl tried    26513 cl shrink     3510 lits rem       5201 time: 0.15
159.27/39.91	c asymm  cl-useful: 0/1248/1248 lits-rem:0 time: 0.80
159.27/39.91	c calculated reachability. Time: 0.00
159.27/39.91	c  N dy   594    158536       641      1248     43466     26510    121445   1443550     11.22   no data  --
165.26/41.44	c  N dy   616    168679       640      1248     43484     19890    121445    871672     11.14     11.92  --
172.45/43.21	c  N dy   657    180991       640      1248     43490     31678    121445   1587350     11.11     11.99  --
179.24/44.92	c  N dy   680    194121       639      1248     43508     26926    121445   1227578     11.03     11.70  --
186.82/46.81	c  N dy   752    206542       639      1248     43510     20689    121445    898525     11.15     28.79  --
194.41/48.78	c  N dy   813    219998       639      1248     43516     33672    121445   1666606     11.21     12.00  --
202.40/50.79	c  N dy   870    234065       639      1248     43523     28073    121445   1410701     11.21     15.05  --
205.19/51.42	c  S st   898    237804       639      1248     43523     31696    121445   1680467     11.26     10.20  --
205.60/51.51	c  S st   898    238308       639      1248     43523     32197    121445   1719388     11.26   no data  --
205.60/51.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
205.60/51.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
206.42/51.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 12.3M T:  1.06
206.79/51.84	c bin-w-bin subsume rem            3 bins  time:  0.02 s
211.98/53.18	c subs with bin:        7  lits-rem:        15  v-fix:    0  time:  5.34 s
211.98/53.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    639 time:  0.02 s
211.98/53.19	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.02 s
228.38/57.28	c lits-rem:      1439  cl-subs:     1425  v-elim:      0  v-fix:    0  time: 16.34 s
228.38/57.29	c vivif2 --  cl tried     1248 cl shrink       13 lits rem         14 time: 0.00
228.75/57.32	c vivif2 --  cl tried    28068 cl shrink     1067 lits rem       1242 time: 0.12
229.55/57.53	c asymm  cl-useful: 0/1206/1248 lits-rem:0 time: 0.86
229.55/57.53	c calculated reachability. Time: 0.00
229.55/57.53	c  N dy   898    238308       639      1248     42988     28068    120511   1647270     11.26   no data  --
239.13/59.97	c  N dy   958    253617       638      1248     43001     23919    120511   1193470     11.26     11.89  --
250.34/62.78	c  N dy  1019    270600       638      1248     43005     40174    120511   2280699     11.27     11.93  --
261.09/65.45	c  N dy  1093    288236       638      1248     43008     36761    120511   2088389     11.29     11.89  --
273.47/68.55	c  F st  1179    306250       638      1248     43020     32243    120511   1633071     11.36   no data  --
273.87/68.65	c  N st  1181    306878       638      1248     42799     32226    120047   1661942     11.36   no data  --
287.85/72.18	c  N dy  1251    326861       638      1248     42807     28811    120047   1379030     11.37     11.97  --
303.05/75.94	c  N dy  1337    346984       638      1248     42816     24374    120047   1032315     11.42     12.08  --
309.01/77.43	c  S st  1378    357464       638      1248     42821     34378    120047   1690715     11.42   no data  --
309.41/77.52	c  S st  1378    357967       638      1248     42821     34877    120047   1723617     11.42   no data  --
309.41/77.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
309.41/77.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
310.61/77.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.3M T:  1.20
310.61/77.88	c bin-w-bin subsume rem            0 bins  time:  0.02 s
316.22/79.25	c subs with bin:       81  lits-rem:       323  v-fix:    0  time:  5.49 s
316.22/79.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    638 time:  0.02 s
316.22/79.26	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
336.96/84.43	c lits-rem:      1604  cl-subs:     2525  v-elim:      0  v-fix:    0  time: 20.59 s
336.96/84.43	c vivif2 --  cl tried     1248 cl shrink       17 lits rem         18 time: 0.00
336.96/84.46	c vivif2 --  cl tried    32271 cl shrink     1784 lits rem       2283 time: 0.14
337.78/84.70	c asymm  cl-useful: 0/1129/1248 lits-rem:0 time: 0.96
338.18/84.70	c calculated reachability. Time: 0.00
338.18/84.70	c  N dy  1378    357967       638      1248     42824     32269    120026   1680026     11.42   no data  --
354.93/88.99	c  N dy  1463    377986       638      1248     42843     26641    120026   1167665     11.42     12.06  --
370.90/92.93	c  N dy  1544    398470       637      1248     42870     46160    120026   2316098     11.44     12.10  --
386.87/96.96	c  N dy  1646    418562       637      1248     42874     39767    120026   2059141     11.51     21.80  --
389.67/97.65	c Finding binary XORs  T:     0.00 s  found:       0
403.67/101.17	c  N dy  1750    438638       637      1248     42619     31318    119572   1517878     11.58     12.43  --
420.82/105.45	c  N dy  1870    458651       637      1248     42629     50549    119572   2775550     11.67     12.82  --
435.18/109.02	c  N dy  1956    478667       637      1248     42635     42410    119572   2166877     11.70     12.35  --
452.76/113.42	c  N dy  2037    499234       637      1248     42642     33610    119572   1513189     11.72     12.40  --
468.74/117.43	c  N dy  2123    519438       637      1248     42650     52943    119572   2754847     11.73     12.35  --
483.13/121.08	c  S st  2191    536951       637      1248     42660     40106    119572   1907804     11.74      8.41  --
483.50/121.18	c  S st  2191    537452       637      1248     42660     40602    119572   1945101     11.74   no data  --
483.50/121.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
483.50/121.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
485.10/121.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 15.3M T:  1.38
485.10/121.59	c bin-w-bin subsume rem            2 bins  time:  0.02 s
491.09/123.05	c subs with bin:      109  lits-rem:       558  v-fix:    0  time:  5.84 s
491.09/123.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    637 time:  0.02 s
491.09/123.06	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
515.04/129.02	c lits-rem:      1463  cl-subs:     2228  v-elim:      0  v-fix:    0  time: 23.76 s
515.04/129.02	c vivif2 --  cl tried     1248 cl shrink       17 lits rem         17 time: 0.00
515.04/129.07	c vivif2 --  cl tried    38265 cl shrink     3559 lits rem       5557 time: 0.20
516.24/129.32	c asymm  cl-useful: 0/509/1248 lits-rem:0 time: 0.99
516.24/129.32	c calculated reachability. Time: 0.00
516.24/129.32	c  N dy  2191    537452       637      1248     42666     38258    119552   1897090     11.74   no data  --
535.44/134.13	c  N dy  2273    557580       636      1248     42674     57640    119552   3187848     11.74     12.39  --
552.19/138.31	c  N dy  2345    577737       636      1248     42678     46444    119552   2357490     11.73     12.38  --
572.15/143.39	c  N dy  2421    597830       636      1248     42688     34079    119552   1479860     11.72     12.80  --
588.55/147.48	c  N dy  2504    617832       636      1248     42693     53309    119552   2682073     11.74     17.41  --
608.08/152.39	c  N dy  2594    637873       636      1248     42703     39896    119552   1770574     11.75     12.86  --
629.64/157.72	c  N dy  2679    659613       636      1248     42712     60802    119552   3087170     11.75     12.48  --
648.41/162.46	c  N dy  2749    679851       636      1248     42723     46616    119552   2112873     11.75     12.53  --
669.97/167.85	c  N dy  2811    699930       636      1248     42730     65784    119552   3200700     11.73     12.41  --
688.34/172.45	c  N dy  2893    719987       636      1248     42739     50428    119552   2174584     11.73     12.37  --
713.89/178.83	c  N dy  2961    740801       635      1248     42752     70295    119552   3321749     11.73     12.43  --
733.86/183.88	c  N dy  3072    762809       635      1248     42763     56118    119552   2493624     11.77     12.58  --
755.45/189.22	c  N dy  3152    782815       634      1248     42777     38863    119552   1365165     11.78     23.57  --
770.20/192.97	c  N dy  3253    802870       634      1248     42779     58282    119552   2711041     11.83     13.80  --
773.79/193.81	c  S st  3271    806178       634      1248     42779     61482    119552   2938824     11.83   no data  --
774.19/193.94	c  S st  3271    806679       634      1248     42779     61978    119552   2976332     11.83   no data  --
774.19/193.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
774.19/193.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
776.59/194.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 19.1M T:  2.20
777.01/194.62	c bin-w-bin subsume rem            7 bins  time:  0.02 s
782.98/196.15	c subs with bin:        0  lits-rem:        26  v-fix:    0  time:  6.12 s
782.98/196.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.02 s
782.98/196.16	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.02 s
820.50/205.60	c lits-rem:      1284  cl-subs:     2285  v-elim:      0  v-fix:    0  time: 37.65 s
820.50/205.60	c vivif2 --  cl tried     1248 cl shrink       10 lits rem         11 time: 0.00
820.92/205.66	c vivif2 --  cl tried    51324 cl shrink     1625 lits rem       2007 time: 0.22
822.09/205.94	c asymm  cl-useful: 0/359/1248 lits-rem:0 time: 1.14
822.09/205.94	c calculated reachability. Time: 0.00
822.09/205.94	c  N dy  3271    806679       634      1248     42010     51324    118179   2785347     11.83   no data  --
843.28/211.25	c  N dy  3358    826904       634      1248     42024     37487    118179   1619385     11.84     12.51  --
861.62/215.81	c  N dy  3442    846945       634      1248     42029     56820    118179   2995393     11.86     12.50  --
885.19/221.77	c  N dy  3527    867683       634      1248     42035     40323    118179   1650266     11.87     12.69  --
902.75/226.14	c  N dy  3600    888287       634      1248     42047     60134    118179   3010566     11.88     12.52  --
923.91/231.46	c  N dy  3646    908307       634      1248     42054     40962    118179   1625457     11.85     12.48  --
941.89/235.99	c  N dy  3731    928515       633      1248     42061     60401    118179   2871061     11.86     12.48  --
969.03/242.78	c  N dy  3793    949023       633      1248     42072     40168    118179   1538557     11.84     12.62  --
988.23/247.56	c  N dy  3893    969298       633      1248     42083     59710    118179   2861668     11.87     12.59  --
1015.75/254.45	c  N dy  3958    989579       633      1248     42096     79073    118179   4035405     11.86     12.50  --
1037.30/259.80	c  N dy  4041   1009784       633      1248     42112     57375    118179   2567047     11.87     12.56  --
1065.66/266.98	c  N dy  4108   1031041       632      1248     42126     77835    118179   3924924     11.86     12.54  --
1086.82/272.26	c  N dy  4193   1051105       632      1248     42128     55017    118179   2317756     11.88     13.37  --
1109.18/277.89	c  N dy  4306   1071495       632      1248     42133     74628    118179   3538543     11.91     12.57  --
1109.98/278.00	c  F st  4308   1071876       632      1248     42133     75008    118179   3568095     11.91   no data  --
1132.34/283.64	c  N dy  4396   1091551       632      1232     41741     49591    117111   1949913     11.93     12.64  --
1132.76/283.73	c Finding binary XORs  T:     0.00 s  found:       0
1151.91/288.58	c  N dy  4472   1112074       632      1232     41750     69352    117111   3137290     11.93     12.58  --
1179.05/295.33	c  N dy  4523   1132082       631      1232     41776     44884    117111   1570296     11.90     13.42  --
1197.43/299.98	c  N dy  4619   1152176       631      1232     41785     64261    117111   2834473     11.94     15.45  --
1222.57/306.21	c  N dy  4699   1172682       631      1232     41792     84074    117111   4156618     11.94     12.65  --
1242.96/311.36	c  N dy  4762   1192914       631      1232     41805     58581    117111   2252645     11.93     12.57  --
1260.54/315.73	c  S st  4811   1210018       631      1232     41812     75036    117111   3193779     11.92   no data  --
1260.91/315.88	c  S st  4811   1210523       631      1232     41812     75539    117111   3232227     11.92   no data  --
1260.91/315.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1260.91/315.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1263.71/316.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     18 BRemL:      0 BRemN:      0 P: 23.0M T:  2.81
1264.52/316.72	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1270.88/318.30	c subs with bin:       65  lits-rem:       472  v-fix:    0  time:  6.34 s
1270.88/318.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.02 s
1270.88/318.33	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.02 s
1317.64/330.08	c lits-rem:      1394  cl-subs:     6493  v-elim:      0  v-fix:    0  time: 46.89 s
1317.64/330.08	c vivif2 --  cl tried     1232 cl shrink       25 lits rem         27 time: 0.00
1318.00/330.19	c vivif2 --  cl tried    64188 cl shrink     9693 lits rem      27425 time: 0.43
1319.61/330.51	c asymm  cl-useful: 1/332/1232 lits-rem:1 time: 1.32
1319.61/330.52	c calculated reachability. Time: 0.00
1319.61/330.52	c  N dy  4811   1210523       631      1232     41576     64169    116630   2993404     11.92   no data  --
1347.97/337.60	c  N dy  4918   1230700       630      1232     41590     83601    116630   4339858     11.94     12.70  --
1370.70/343.30	c  N dy  5005   1251031       630      1232     41596     59698    116630   2678059     11.94     12.60  --
1401.85/351.11	c  N dy  5084   1273357       630      1232     41605     81129    116630   4111803     11.94     12.66  --
1428.20/357.71	c  N dy  5167   1293396       629      1232     41622     54647    116630   2254843     11.94     14.75  --
1449.39/363.08	c  N dy  5252   1313738       629      1232     41625     74270    116630   3543761     11.95     12.65  --
1479.74/370.64	c  N dy  5369   1334071       629      1232     41628     93915    116630   4922505     11.98     12.62  --
1499.28/375.50	c  N dy  5463   1354423       629      1232     41633     66021    116630   2933714     11.99     12.64  --
1524.43/381.80	c  N dy  5541   1374806       629      1232     41639     85665    116630   4279173     11.99     12.77  --
1548.79/387.99	c  N dy  5614   1395119       629      1232     41657     56353    116630   2189578     11.99     12.63  --
1570.75/393.42	c  N dy  5729   1415195       629      1232     41663     75692    116630   3500571     12.02     19.40  --
1598.32/400.37	c  E dy  5812   1433950         0      1232     41670     93727    116630   4646641     12.02      7.89  --
1598.32/400.38	c Verified 1232 clauses.
1598.32/400.38	c Solution needs extension. Extending.
1653.06/427.56	c Verified 1232 clauses.
1653.06/427.56	c Following stats are for *FIRST FINISHED THREAD ONLY*
1653.06/427.56	c num threads              : 4          
1653.06/427.56	c restarts                 : 5812       
1653.06/427.56	c dynamic restarts         : 5782       
1653.06/427.56	c static restarts          : 30         
1653.06/427.56	c full restarts            : 4          
1653.06/427.56	c total simplify time      : 0.15       
1653.06/427.56	c learnts DL2              : 0          
1653.06/427.56	c learnts size 2           : 46026      
1653.06/427.56	c learnts size 1           : 12          (1.80      % of vars)
1653.06/427.56	c filedLit time            : 11.52       (0.70      % time)
1653.06/427.56	c v-elim SatELite          : 25          (3.75      % vars)
1653.06/427.56	c SatELite time            : 205.30      (12.43     % time)
1653.06/427.56	c v-elim xor               : 0           (0.00      % vars)
1653.06/427.56	c xor elim time            : 0.21        (0.01      % time)
1653.06/427.56	c num binary xor trees     : 0          
1653.06/427.56	c binxor trees' crown      : 0           (nan       leafs/tree)
1653.06/427.56	c bin xor find time        : 0.01       
1653.06/427.56	c OTF clause improved      : 54843       (0.04      clauses/conflict)
1653.06/427.56	c OTF impr. size diff      : 64812       (1.18       lits/clause)
1653.06/427.56	c OTF cl watch-shrink      : 1200755     (0.84      clauses/conflict)
1653.06/427.56	c OTF cl watch-sh-lit      : 23488003    (19.56      lits/clause)
1653.06/427.56	c tried to recurMin cls    : 454087      (31.67      % of conflicts)
1653.06/427.56	c updated cache            : 2323        (0.01       lits/tried recurMin)
1653.06/427.56	c unit cls received        : 5           (41.67     % of units)
1653.06/427.56	c unit cls sent            : 6           (50.00     % of units)
1653.06/427.56	c bin cls received         : 445        
1653.06/427.56	c bin cls sent             : 325        
1653.06/427.56	c clauses over max glue    : 0           (0.00      % of all clauses)
1653.06/427.56	c conflicts                : 1433950     (868.18    / sec)
1653.06/427.56	c decisions                : 2156895     (0.12      % random)
1653.06/427.56	c bogo-props               : 35509590457 (21499140.24 / sec)
1653.06/427.56	c conflict literals        : 92906434    (47.40     % deleted)
1653.06/427.56	c Memory used              : 883.94      MB
1653.06/427.56	c single-thread CPU time   : 1651.67     s
1653.06/427.56	c all-threads sum CPU time : 1651.67     s
1653.06/427.56	s SATISFIABLE
1653.06/427.56	v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 666 0

Verifier Data 

OK

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

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

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: 3.56 5.95 5.68 2/226 14225
/proc/meminfo: memFree=19184140/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 412 0 0 0 1 0 0 0 22 0 4 0 654998752 52465664 352 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438448 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 12809 352 303 112 0 7774 0
[pid=14225/tid=14226] ppid=14223 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 654998752 52465664 352 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438444 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 654998753 52465664 352 33554432000 4194304 4650419 140736684804880 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 654998753 52465664 352 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438448 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0895089 s]
/proc/loadavg: 3.56 5.95 5.68 2/226 14225
/proc/meminfo: memFree=19184140/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=284464 CPUtime=0.31 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 4040 0 0 0 29 2 0 0 24 0 4 0 654998752 291291136 3950 33554432000 4194304 4650419 140736684804880 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 71116 3950 390 112 0 66081 0
[pid=14225/tid=14226] ppid=14223 vsize=284464 CPUtime=0.08 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 966 0 0 0 8 0 0 0 24 0 4 0 654998752 291291136 3950 33554432000 4194304 4650419 140736684804880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=284464 CPUtime=0.07 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 982 0 0 0 7 0 0 0 25 0 4 0 654998753 291291136 3950 33554432000 4194304 4650419 140736684804880 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=284464 CPUtime=0.07 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 693 0 0 0 7 0 0 0 25 0 4 0 654998753 291291136 3950 33554432000 4194304 4650419 140736684804880 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 284464

[startup+0.100506 s]
/proc/loadavg: 3.56 5.95 5.68 2/226 14225
/proc/meminfo: memFree=19184140/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=284464 CPUtime=0.35 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 4154 0 0 0 33 2 0 0 24 0 4 0 654998752 291291136 4063 33554432000 4194304 4650419 140736684804880 18446744073709551615 4360421 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 71116 4063 390 112 0 66081 0
[pid=14225/tid=14226] ppid=14223 vsize=284464 CPUtime=0.09 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 999 0 0 0 9 0 0 0 24 0 4 0 654998752 291291136 4063 33554432000 4194304 4650419 140736684804880 18446744073709551615 4520279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=284464 CPUtime=0.08 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 1003 0 0 0 8 0 0 0 25 0 4 0 654998753 291291136 4063 33554432000 4194304 4650419 140736684804880 18446744073709551615 4333639 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=284464 CPUtime=0.08 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 726 0 0 0 8 0 0 0 25 0 4 0 654998753 291291136 4063 33554432000 4194304 4650419 140736684804880 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 284464

[startup+0.300472 s]
/proc/loadavg: 3.56 5.95 5.68 2/226 14225
/proc/meminfo: memFree=19184140/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=286180 CPUtime=1.15 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 5948 0 0 0 113 2 0 0 25 0 4 0 654998752 293048320 5208 33554432000 4194304 4650419 140736684804880 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 71545 5209 392 112 0 66510 0
[pid=14225/tid=14226] ppid=14223 vsize=286180 CPUtime=0.29 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 1415 0 0 0 29 0 0 0 25 0 4 0 654998752 293048320 5209 33554432000 4194304 4650419 140736684804880 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=286180 CPUtime=0.28 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 1451 0 0 0 28 0 0 0 25 0 4 0 654998753 293048320 5209 33554432000 4194304 4650419 140736684804880 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=286180 CPUtime=0.28 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 1264 0 0 0 28 0 0 0 25 0 4 0 654998753 293048320 5209 33554432000 4194304 4650419 140736684804880 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 286180

[startup+0.700402 s]
/proc/loadavg: 3.56 5.95 5.68 2/226 14225
/proc/meminfo: memFree=19184140/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=289344 CPUtime=2.75 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 9154 0 0 0 272 3 0 0 25 0 4 0 654998752 296288256 6527 33554432000 4194304 4650419 140736684804880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 72336 6527 392 112 0 67301 0
[pid=14225/tid=14226] ppid=14223 vsize=289344 CPUtime=0.68 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 2269 0 0 0 68 0 0 0 25 0 4 0 654998752 296288256 6527 33554432000 4194304 4650419 140736684804880 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=289344 CPUtime=0.68 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 2137 0 0 0 68 0 0 0 25 0 4 0 654998753 296288256 6527 33554432000 4194304 4650419 140736684804880 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=289344 CPUtime=0.68 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 2082 0 0 0 68 0 0 0 25 0 4 0 654998753 296288256 6528 33554432000 4194304 4650419 140736684804880 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 289344

[startup+1.50026 s]
/proc/loadavg: 3.56 5.95 5.68 9/236 14238
/proc/meminfo: memFree=19055968/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=301220 CPUtime=5.94 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 15253 0 0 0 590 4 0 0 25 0 4 0 654998752 308449280 7741 33554432000 4194304 4650419 140736684804880 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 75305 7742 393 112 0 70270 0
[pid=14225/tid=14226] ppid=14223 vsize=301220 CPUtime=1.48 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 4004 0 0 0 148 0 0 0 25 0 4 0 654998752 308449280 7742 33554432000 4194304 4650419 140736684804880 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=301220 CPUtime=1.47 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 3495 0 0 0 147 0 0 0 25 0 4 0 654998753 308449280 7742 33554432000 4194304 4650419 140736684804880 18446744073709551615 4364889 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=301220 CPUtime=1.48 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 3552 0 0 0 147 1 0 0 25 0 4 0 654998753 308449280 7742 33554432000 4194304 4650419 140736684804880 18446744073709551615 4336360 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 301220

[startup+3.10098 s]
/proc/loadavg: 3.56 5.95 5.68 9/236 14238
/proc/meminfo: memFree=19041080/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=301704 CPUtime=12.34 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 32908 0 0 0 1226 8 0 0 25 0 4 0 654998752 308944896 21713 33554432000 4194304 4650419 140736684804880 18446744073709551615 4436457 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 75426 21713 394 112 0 70391 0
[pid=14225/tid=14226] ppid=14223 vsize=301704 CPUtime=3.09 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 9259 0 0 0 307 2 0 0 25 0 4 0 654998752 308944896 21713 33554432000 4194304 4650419 140736684804880 18446744073709551615 4435968 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=301704 CPUtime=3.05 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 6793 0 0 0 305 0 0 0 25 0 4 0 654998753 308944896 21713 33554432000 4194304 4650419 140736684804880 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=301704 CPUtime=3.07 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 7550 0 0 0 306 1 0 0 25 0 4 0 654998753 308944896 21713 33554432000 4194304 4650419 140736684804880 18446744073709551615 4435216 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 301704

[startup+6.30041 s]
/proc/loadavg: 3.91 5.98 5.69 9/236 14238
/proc/meminfo: memFree=18930492/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=301704 CPUtime=25.1 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 34754 0 0 0 2502 8 0 0 25 0 4 0 654998752 308944896 23476 33554432000 4194304 4650419 140736684804880 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 75426 23476 394 112 0 70391 0
[pid=14225/tid=14226] ppid=14223 vsize=301704 CPUtime=6.29 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 9404 0 0 0 627 2 0 0 25 0 4 0 654998752 308944896 23476 33554432000 4194304 4650419 140736684804880 18446744073709551615 4476426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=301704 CPUtime=6.23 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 6935 0 0 0 623 0 0 0 25 0 4 0 654998753 308944896 23476 33554432000 4194304 4650419 140736684804880 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=301704 CPUtime=6.28 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 8959 0 0 0 626 2 0 0 25 0 4 0 654998753 308944896 23476 33554432000 4194304 4650419 140736684804880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 301704

[startup+12.7003 s]
/proc/loadavg: 4.24 6.01 5.70 9/236 14238
/proc/meminfo: memFree=18837752/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=297316 CPUtime=50.66 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 54188 0 0 0 5054 12 0 0 25 0 4 0 654998752 304451584 36199 33554432000 4194304 4650419 140736684804880 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 74329 36199 394 112 0 69294 0
[pid=14225/tid=14226] ppid=14223 vsize=297316 CPUtime=12.69 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 15984 0 0 0 1266 3 0 0 25 0 4 0 654998752 304451584 36199 33554432000 4194304 4650419 140736684804880 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=297316 CPUtime=12.58 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 10445 0 0 0 1257 1 0 0 25 0 4 0 654998753 304451584 36199 33554432000 4194304 4650419 140736684804880 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=297316 CPUtime=12.68 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 15821 0 0 0 1265 3 0 0 25 0 4 0 654998753 304451584 36199 33554432000 4194304 4650419 140736684804880 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 297316

[startup+25.501 s]
/proc/loadavg: 5.07 6.11 5.74 9/236 14239
/proc/meminfo: memFree=18722532/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=328564 CPUtime=101.77 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 76747 0 0 0 10159 18 0 0 25 0 4 0 654998752 336449536 42210 33554432000 4194304 4650419 140736684804880 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 82141 42211 394 112 0 77106 0
[pid=14225/tid=14226] ppid=14223 vsize=328564 CPUtime=25.48 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 23053 0 0 0 2544 4 0 0 25 0 4 0 654998752 336449536 42211 33554432000 4194304 4650419 140736684804880 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=328564 CPUtime=25.3 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 13386 0 0 0 2528 2 0 0 25 0 4 0 654998753 336449536 42211 33554432000 4194304 4650419 140736684804880 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=328564 CPUtime=25.48 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 21924 0 0 0 2544 4 0 0 25 0 4 0 654998753 336449536 42211 33554432000 4194304 4650419 140736684804880 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 328564

[startup+51.1005 s]
/proc/loadavg: 6.13 6.27 5.80 9/236 14239
/proc/meminfo: memFree=18528080/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=458752 CPUtime=203.99 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 126573 0 0 0 20370 29 0 0 25 0 4 0 654998752 469762048 66185 33554432000 4194304 4650419 140736684804880 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 114688 66185 394 112 0 109653 0
[pid=14225/tid=14226] ppid=14223 vsize=458752 CPUtime=51.09 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 36438 0 0 0 5101 8 0 0 25 0 4 0 654998752 469762048 66185 33554432000 4194304 4650419 140736684804880 18446744073709551615 4331865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=458752 CPUtime=50.72 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 16815 0 0 0 5069 3 0 0 25 0 4 0 654998753 469762048 66185 33554432000 4194304 4650419 140736684804880 18446744073709551615 4313719 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=458752 CPUtime=51.07 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 41821 0 0 0 5100 7 0 0 25 0 4 0 654998753 469762048 66185 33554432000 4194304 4650419 140736684804880 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 458752

[startup+102.308 s]
/proc/loadavg: 7.25 6.55 5.92 9/236 14241
/proc/meminfo: memFree=18375280/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=569472 CPUtime=408.46 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 205172 0 0 0 40796 50 0 0 25 0 4 0 654998752 583139328 82708 33554432000 4194304 4650419 140736684804880 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 142368 82708 394 112 0 137333 0
[pid=14225/tid=14226] ppid=14223 vsize=569472 CPUtime=102.3 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 60911 0 0 0 10216 14 0 0 25 0 4 0 654998752 583139328 82708 33554432000 4194304 4650419 140736684804880 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=569472 CPUtime=101.57 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 24685 0 0 0 10152 5 0 0 25 0 4 0 654998753 583139328 82708 33554432000 4194304 4650419 140736684804880 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=569472 CPUtime=102.28 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 69591 0 0 0 10214 14 0 0 25 0 4 0 654998753 583139328 82708 33554432000 4194304 4650419 140736684804880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.46
Current children cumulated vsize (KiB) 569472

[startup+162.301 s]

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

/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 86297 0 0 0 16209 19 0 0 25 0 4 0 654998753 576114688 85859 33554432000 4194304 4650419 140736684804880 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 648.01
Current children cumulated vsize (KiB) 562612

[startup+222.3 s]
/proc/loadavg: 8.04 7.07 6.18 9/236 14244
/proc/meminfo: memFree=18227172/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=606196 CPUtime=887.58 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 341458 0 0 0 88673 85 0 0 25 0 4 0 654998752 620744704 100570 33554432000 4194304 4650419 140736684804880 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 151549 100570 394 112 0 146514 0
[pid=14225/tid=14226] ppid=14223 vsize=606196 CPUtime=222.29 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 109803 0 0 0 22202 27 0 0 25 0 4 0 654998752 620744704 100570 33554432000 4194304 4650419 140736684804880 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=606196 CPUtime=220.72 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 37276 0 0 0 22063 9 0 0 25 0 4 0 654998753 620744704 100570 33554432000 4194304 4650419 140736684804880 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=606196 CPUtime=222.27 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 101607 0 0 0 22204 23 0 0 25 0 4 0 654998753 620744704 100570 33554432000 4194304 4650419 140736684804880 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 887.58
Current children cumulated vsize (KiB) 606196

[startup+282.301 s]
/proc/loadavg: 8.12 7.27 6.30 9/236 14246
/proc/meminfo: memFree=18066812/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=735232 CPUtime=1127.15 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 402736 0 0 0 112611 104 0 0 25 0 4 0 654998752 752877568 125558 33554432000 4194304 4650419 140736684804880 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 183808 125558 394 112 0 178773 0
[pid=14225/tid=14226] ppid=14223 vsize=735232 CPUtime=282.29 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 126155 0 0 0 28197 32 0 0 25 0 4 0 654998752 752877568 125558 33554432000 4194304 4650419 140736684804880 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=735232 CPUtime=280.3 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 48891 0 0 0 28017 13 0 0 25 0 4 0 654998753 752877568 125558 33554432000 4194304 4650419 140736684804880 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=735232 CPUtime=282.28 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 119185 0 0 0 28198 30 0 0 25 0 4 0 654998753 752877568 125558 33554432000 4194304 4650419 140736684804880 18446744073709551615 4366743 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1127.15
Current children cumulated vsize (KiB) 735232

[startup+342.301 s]
/proc/loadavg: 8.04 7.40 6.41 9/236 14247
/proc/meminfo: memFree=17933352/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=772276 CPUtime=1366.71 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 455086 0 0 0 136552 119 0 0 25 0 4 0 654998752 790810624 141452 33554432000 4194304 4650419 140736684804880 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 193069 141452 425 112 0 188034 0
[pid=14225/tid=14226] ppid=14223 vsize=772276 CPUtime=342.29 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 146189 0 0 0 34193 36 0 0 25 0 4 0 654998752 790810624 141452 33554432000 4194304 4650419 140736684804880 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=772276 CPUtime=339.86 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 57758 0 0 0 33970 16 0 0 25 0 4 0 654998753 790810624 141452 33554432000 4194304 4650419 140736684804880 18446744073709551615 4438383 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=772276 CPUtime=342.28 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 131064 0 0 0 34194 34 0 0 25 0 4 0 654998753 790810624 141452 33554432000 4194304 4650419 140736684804880 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1366.71
Current children cumulated vsize (KiB) 772276

[startup+402.3 s]
/proc/loadavg: 8.01 7.51 6.50 7/236 14249
/proc/meminfo: memFree=17926008/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=905152 CPUtime=1602.66 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 559335 0 0 0 160123 143 0 0 25 0 4 0 654998752 926875648 132767 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588413483 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 226288 132767 426 112 0 221253 0
[pid=14225/tid=14226] ppid=14223 vsize=905152 CPUtime=400.47 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 219765 0 0 0 39998 49 0 0 25 0 4 0 654998752 926875648 132767 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=905152 CPUtime=397.63 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 64370 0 0 0 39745 18 0 0 25 0 4 0 654998753 926875648 132767 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=905152 CPUtime=402.28 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 141557 0 0 0 40191 37 0 0 25 0 4 0 654998753 926875648 132767 33554432000 4194304 4650419 140736684804880 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1602.66
Current children cumulated vsize (KiB) 905152

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

[startup+409.501 s]
/proc/loadavg: 7.85 7.48 6.50 7/236 14249
/proc/meminfo: memFree=17903440/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=905152 CPUtime=1617.06 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 559335 0 0 0 161563 143 0 0 25 0 4 0 654998752 926875648 132767 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588413483 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 226288 132767 426 112 0 221253 0
[pid=14225/tid=14226] ppid=14223 vsize=905152 CPUtime=400.47 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 219765 0 0 0 39998 49 0 0 25 0 4 0 654998752 926875648 132767 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=905152 CPUtime=397.63 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 64370 0 0 0 39745 18 0 0 25 0 4 0 654998753 926875648 132767 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=905152 CPUtime=409.48 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 141557 0 0 0 40911 37 0 0 25 0 4 0 654998753 926875648 132767 33554432000 4194304 4650419 140736684804880 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1617.06
Current children cumulated vsize (KiB) 905152

[startup+415.901 s]
/proc/loadavg: 7.57 7.43 6.49 7/236 14249
/proc/meminfo: memFree=17863140/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=905152 CPUtime=1629.86 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 562102 0 0 0 162842 144 0 0 25 0 4 0 654998752 926875648 132672 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588413483 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 226288 132672 426 112 0 221253 0
[pid=14225/tid=14226] ppid=14223 vsize=905152 CPUtime=400.47 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 219765 0 0 0 39998 49 0 0 25 0 4 0 654998752 926875648 132672 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=905152 CPUtime=397.63 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 64370 0 0 0 39745 18 0 0 25 0 4 0 654998753 926875648 132672 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=905152 CPUtime=415.89 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 144324 0 0 0 41551 38 0 0 25 0 4 0 654998753 926875648 132672 33554432000 4194304 4650419 140736684804880 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1629.86
Current children cumulated vsize (KiB) 905152

[startup+422.301 s]
/proc/loadavg: 7.44 7.41 6.49 7/236 14249
/proc/meminfo: memFree=17871568/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=905152 CPUtime=1642.68 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 569460 0 0 0 164123 145 0 0 25 0 4 0 654998752 926875648 132681 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588413632 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 226288 132681 426 112 0 221253 0
[pid=14225/tid=14226] ppid=14223 vsize=905152 CPUtime=400.47 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 219765 0 0 0 39998 49 0 0 25 0 4 0 654998752 926875648 132681 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=905152 CPUtime=397.63 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 64370 0 0 0 39745 18 0 0 25 0 4 0 654998753 926875648 132681 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=905152 CPUtime=422.29 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 151682 0 0 0 42191 38 0 0 25 0 4 0 654998753 926875648 132681 33554432000 4194304 4650419 140736684804880 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1642.68
Current children cumulated vsize (KiB) 905152

[startup+425.5 s]
/proc/loadavg: 7.44 7.41 6.49 7/236 14249
/proc/meminfo: memFree=17925384/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=905152 CPUtime=1649.06 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 623261 0 0 0 164756 150 0 0 25 0 4 0 654998752 926875648 132581 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588413636 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 226288 132581 426 112 0 221253 0
[pid=14225/tid=14226] ppid=14223 vsize=905152 CPUtime=400.47 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 219765 0 0 0 39998 49 0 0 25 0 4 0 654998752 926875648 132581 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=905152 CPUtime=397.63 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 64370 0 0 0 39745 18 0 0 25 0 4 0 654998753 926875648 132581 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=905152 CPUtime=425.48 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 205483 0 0 0 42505 43 0 0 25 0 4 0 654998753 926875648 132581 33554432000 4194304 4650419 140736684804880 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1649.06
Current children cumulated vsize (KiB) 905152

[startup+426.3 s]
/proc/loadavg: 7.33 7.38 6.49 7/236 14249
/proc/meminfo: memFree=17922656/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=905152 CPUtime=1650.65 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 631102 0 0 0 164915 150 0 0 25 0 4 0 654998752 926875648 132721 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588413636 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 226288 132721 426 112 0 221253 0
[pid=14225/tid=14226] ppid=14223 vsize=905152 CPUtime=400.47 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 219765 0 0 0 39998 49 0 0 25 0 4 0 654998752 926875648 132721 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=905152 CPUtime=397.63 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 64370 0 0 0 39745 18 0 0 25 0 4 0 654998753 926875648 132721 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=905152 CPUtime=426.28 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 213324 0 0 0 42584 44 0 0 25 0 4 0 654998753 926875648 132721 33554432000 4194304 4650419 140736684804880 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1650.65
Current children cumulated vsize (KiB) 905152

[startup+427.101 s]
/proc/loadavg: 7.33 7.38 6.49 7/236 14249
/proc/meminfo: memFree=17918440/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=905152 CPUtime=1652.26 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 632342 0 0 0 165075 151 0 0 25 0 4 0 654998752 926875648 132567 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588413483 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 226288 132567 426 112 0 221253 0
[pid=14225/tid=14226] ppid=14223 vsize=905152 CPUtime=400.47 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 219765 0 0 0 39998 49 0 0 25 0 4 0 654998752 926875648 132567 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=905152 CPUtime=397.63 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 64370 0 0 0 39745 18 0 0 25 0 4 0 654998753 926875648 132567 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=905152 CPUtime=427.08 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 214564 0 0 0 42664 44 0 0 25 0 4 0 654998753 926875648 132567 33554432000 4194304 4650419 140736684804880 18446744073709551615 4307242 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1652.26
Current children cumulated vsize (KiB) 905152

[startup+427.501 s]
/proc/loadavg: 7.33 7.38 6.49 7/236 14249
/proc/meminfo: memFree=17918440/32950928 swapFree=64721848/67111528
[pid=14225] ppid=14223 vsize=905152 CPUtime=1653.06 cores=0,2,4,6
/proc/14225/stat : 14225 (strangenight1-m) R 14223 14225 4864 0 -1 4202496 632856 0 0 0 165155 151 0 0 25 0 4 0 654998752 926875648 133081 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588413483 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14225/statm: 226288 133081 426 112 0 221253 0
[pid=14225/tid=14226] ppid=14223 vsize=905152 CPUtime=400.47 cores=0,2,4,6
/proc/14225/task/14226/stat : 14226 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 219765 0 0 0 39998 49 0 0 25 0 4 0 654998752 926875648 133081 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 0 0 0 0
[pid=14225/tid=14227] ppid=14223 vsize=905152 CPUtime=397.63 cores=0,2,4,6
/proc/14225/task/14227/stat : 14227 (strangenight1-m) S 14223 14225 4864 0 -1 4202560 64370 0 0 0 39745 18 0 0 25 0 4 0 654998753 926875648 133081 33554432000 4194304 4650419 140736684804880 18446744073709551615 47598588438068 0 0 4096 2 18446604450520182848 0 0 -1 6 0 0 0
[pid=14225/tid=14228] ppid=14223 vsize=905152 CPUtime=427.48 cores=0,2,4,6
/proc/14225/task/14228/stat : 14228 (strangenight1-m) R 14223 14225 4864 0 -1 4202560 215078 0 0 0 42704 44 0 0 25 0 4 0 654998753 926875648 133081 33554432000 4194304 4650419 140736684804880 18446744073709551615 4370503 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1653.06
Current children cumulated vsize (KiB) 905152

Child status: 10
Real time (s): 427.587
CPU time (s): 1653.21
CPU user time (s): 1651.67
CPU system time (s): 1.53577
CPU usage (%): 386.637
Max. virtual memory (cumulated for all children) (KiB): 1013804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1651.67
system time used= 1.53577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632864
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= 507
involuntary context switches= 7774

runsolver used 0.933858 second user time and 2.09968 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-15 06:33:10
IDJOB=3369273
IDBENCH=88210
IDSOLVER=1846
FILE ID=node123/3369273-1305433989
RUNJOBID= node123-1305433989-14211
PBS_JOBID= 13324571
Free space on /tmp= 73472 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q255-n25-p30-s39712998.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369273-1305433989/watcher-3369273-1305433989 -o /tmp/evaluation-result-3369273-1305433989/solver-3369273-1305433989 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369273-1305433989.cnf

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

MD5SUM BENCH= 44ec8c80ea2b58be800208f5113b04f5
RANDOM SEED=901006621

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19184552 kB
Buffers:        306460 kB
Cached:        4125316 kB
SwapCached:      10528 kB
Active:       10570492 kB
Inactive:      2929876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19184552 kB
SwapTotal:    67111528 kB
SwapFree:     64721848 kB
Dirty:            9452 kB
Writeback:           0 kB
AnonPages:     9066276 kB
Mapped:          15404 kB
Slab:           174248 kB
PageTables:      31212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 13024328 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= 73456 MiB
End job on node123 at 2011-05-15 06:40:17