Trace number 3174978

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? (TO) 4800.26 1201.76

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf
MD5SUM425b4c5e5535f7d6b9d17ca8feb0ac3e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark78.815
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
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 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-3174978-1304064531.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.38/0.12	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.38/0.12	c -- vars added      20000
0.38/0.12	c Parsing time:  0.22 s
0.38/0.12	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.38/0.12	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.23
0.38/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.14
0.77/0.23	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.77/0.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.77/0.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.02 s
0.77/0.24	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.03 s
1.57/0.45	c lits-rem:         0  cl-subs:        0  v-elim:    665  v-fix:    0  time:  0.80 s
1.57/0.45	c Finding binary XORs  T:     0.02 s  found:       0
1.57/0.49	c Finding non-binary XORs:     0.15 s (found:       0, avg size: nan)
1.57/0.49	c calculated reachability. Time: 0.00
1.97/0.50	c Calc default polars -  time:   0.02 s pos:    8787 undec:    2366 neg:    8847
1.97/0.50	c =========================================================================================
1.97/0.50	c types(t): F = full restart, N = normal restart
1.97/0.50	c types(t): S = simplification begin/end, E = solution found
1.97/0.50	c restart types(rt): st = static, dy = dynamic
1.97/0.50	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.97/0.50	c  B st     0         0     19335     83166         0         0    253151         0   no data   no data  --
5.96/1.56	c  N dy    23      4419     19335     83166         0      4418    253151   1001738    129.41    142.39  --
9.96/2.52	c  N dy    48      8428     19335     83166         0      8427    253151   1829269    130.18    137.71  --
13.95/3.52	c  N dy    73     12478     19335     83166         0     12477    253151   2625239    128.62    139.11  --
17.95/4.55	c  N dy   102     16525     19335     83166         0     16524    253151   3450131    129.44    147.21  --
22.33/5.66	c  N dy   128     20555     19335     83166         0     10556    253151    659629    129.40    142.32  --
26.35/6.69	c  N dy   154     24576     19335     83166         0     14577    253151   1499766    129.59    138.03  --
27.12/6.80	c  F st   157     25001     19335     83166         0     15002    253151   1578347    129.41    123.90  --
32.33/8.18	c  N dy   163     30001     19335     83166         0     19999    253151   2879183    129.41   no data  --
32.33/8.18	c  S st   163     30001     19335     83166         0     19999    253151   2879183    129.41   no data  --
33.13/8.32	c  S st   163     30505     19335     83166         0     20502    253151   2957485    129.41   no data  --
33.13/8.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
33.13/8.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.53/8.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.37
34.74/8.73	c bin-w-bin subsume rem            0 bins  time:  0.02 s
34.74/8.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
34.74/8.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.02 s
34.74/8.75	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
55.49/13.91	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 20.54 s
55.89/14.02	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.44
55.89/14.02	c calculated reachability. Time: 0.00
55.89/14.02	c  N dy   163     30505     19335     83166         0     20499    253151   2954726    129.41   no data  --
61.10/15.32	c  N dy   189     34556     19335     83166         0     24550    253151   3770999    129.03    157.49  --
66.28/16.65	c  N dy   214     38667     19335     83166         0     28660    253151   4630124    129.24    140.56  --
71.87/18.00	c  N dy   242     42897     19335     83166         0     17395    253151   1025450    129.11    137.39  --
75.46/18.90	c  S st   263     45757     19335     83166         0     20255    253151   1588015    128.98   no data  --
75.86/19.05	c  S st   263     46260     19335     83166         0     20758    253151   1660311    128.98   no data  --
75.86/19.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
75.86/19.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
76.26/19.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.38
76.66/19.28	c bin-w-bin subsume rem            0 bins  time:  0.02 s
76.66/19.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
76.66/19.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
77.06/19.30	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
89.85/22.59	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 13.13 s
90.25/22.60	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.03
90.25/22.62	c vivif2 --  cl tried    20756 cl shrink        0 lits rem          0 time: 0.10
90.64/22.73	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.42
90.64/22.73	c calculated reachability. Time: 0.00
90.64/22.74	c  N dy   263     46260     19335     83166         0     20756    253151   1659975    128.98   no data  --
95.44/23.95	c  N dy   290     50361     19335     83166         0     24856    253151   2481719    128.83    136.70  --
100.23/25.18	c  N dy   317     54452     19335     83166         0     28947    253151   3321559    128.91    138.01  --
105.44/26.42	c  N dy   340     58496     19335     83166         0     32991    253151   4128876    128.80    138.07  --
110.62/27.71	c  N dy   368     62505     19335     83166         0     37000    253151   4935095    128.79    137.33  --
115.40/28.94	c  N dy   395     66575     19335     83166         0     22322    253151   1388773    128.86    138.72  --
118.62/29.76	c  S st   414     69393     19335     83166         0     25140    253151   1948167    128.72   no data  --
119.40/29.91	c  S st   414     69905     19335     83166         0     25652    253151   2020852    128.72   no data  --
119.40/29.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
119.40/29.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
119.80/30.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.40
120.20/30.17	c bin-w-bin subsume rem            0 bins  time:  0.02 s
120.20/30.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
120.20/30.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
120.20/30.19	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
136.98/34.38	c lits-rem:        20  cl-subs:        0  v-elim:      0  v-fix:    0  time: 16.69 s
136.98/34.39	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
137.38/34.42	c vivif2 --  cl tried    25652 cl shrink        0 lits rem          0 time: 0.12
137.78/34.53	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.47
137.78/34.54	c calculated reachability. Time: 0.00
137.78/34.54	c  N dy   414     69905     19335     83166         0     25652    253151   2020832    128.72   no data  --
142.97/35.86	c  N dy   440     74433     19335     83166         0     30179    253151   2938091    128.67    139.99  --
148.97/37.32	c  N dy   477     79223     19335     83166         0     34968    253151   3946116    129.11    138.73  --
155.35/38.96	c  N dy   517     84357     19335     83166         0     40101    253151   5041799    129.49    140.21  --
159.35/39.93	c  F st   539     87500     19335     83166         0     22373    253151    907041    129.44    102.58  --
163.34/40.96	c  N st   544     90797     19335     83166         0     25669    253151   1834761    129.44   no data  --
170.53/42.78	c  N dy   573     96783     19335     83166         0     31653    253151   3193656    129.43    142.08  --
178.92/44.80	c  N dy   614    102999     19335     83166         0     37868    253151   4459807    129.53    229.29  --
181.32/45.44	c  S st   627    104858     19335     83166         0     39727    253151   4838696    129.61   no data  --
182.11/45.62	c  S st   627    105361     19335     83166         0     40230    253151   4913062    129.61   no data  --
182.11/45.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
182.11/45.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.51/45.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.43
183.71/46.06	c bin-w-bin subsume rem            0 bins  time:  0.02 s
183.71/46.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
183.71/46.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
183.71/46.08	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
381.44/95.56	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 197.06 s
381.44/95.57	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
381.85/95.64	c vivif2 --  cl tried    40224 cl shrink        0 lits rem          0 time: 0.26
382.27/95.78	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.57
382.27/95.78	c calculated reachability. Time: 0.00
382.27/95.78	c  N dy   627    105361     19335     83166         0     40224    253151   4909396    129.61   no data  --
391.06/97.95	c  N dy   672    112127     19335     83166         0     24555    253151   1011403    129.69    143.31  --
399.44/100.09	c  N dy   719    119317     19335     83166         0     31745    253151   2491173    129.84    146.61  --
409.41/102.50	c  N dy   775    126990     19335     83166         0     39418    253151   4053168    129.92    137.13  --
420.60/105.33	c  N dy   824    135154     19335     83166         0     23865    253151    577134    129.83    142.06  --
431.78/108.14	c  N dy   882    143804     19335     83166         0     32513    253151   2387797    129.93    142.52  --
444.16/111.25	c  N dy   946    153004     19335     83166         0     41711    253151   4265920    129.88    140.14  --
450.55/112.89	c  S st   981    158041     19335     83166         0     46747    253151   5299261    129.87   no data  --
451.35/113.07	c  S st   981    158543     19335     83166         0     47249    253151   5378345    129.87   no data  --
451.35/113.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
451.35/113.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
452.16/113.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.46
453.35/113.54	c bin-w-bin subsume rem            0 bins  time:  0.02 s
453.35/113.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
453.35/113.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
453.35/113.56	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
716.21/179.32	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 261.96 s
716.21/179.33	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
716.59/179.41	c vivif2 --  cl tried    47243 cl shrink        0 lits rem          0 time: 0.31
716.99/179.57	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.66
716.99/179.58	c calculated reachability. Time: 0.00
716.99/179.58	c  N dy   981    158543     19335     83166         0     47243    253151   5376411    129.87   no data  --
730.57/182.90	c  N dy  1047    168709     19335     83166         0     32555    253151   2112232    129.88    138.98  --
744.95/186.54	c  N dy  1118    179590     19335     83166         0     43435    253151   4388542    130.00    139.40  --
760.54/190.45	c  N dy  1186    191090     19335     83166         0     29005    253151   1129749    129.97    138.03  --
776.51/194.42	c  N dy  1265    203359     19335     83166         0     41274    253151   3644271    129.89    143.23  --
794.90/199.03	c  N dy  1349    216429     19335     83166         0     27379    253151    572906    129.86    150.05  --
812.88/203.58	c  N dy  1443    230365     19335     83166         0     41315    253151   3422923    129.85    140.36  --
823.25/206.18	c  S st  1493    237816     19335     83166         0     48766    253151   4923400    129.82   no data  --
824.05/206.37	c  S st  1493    238320     19335     83166         0     49270    253151   5000141    129.82   no data  --
824.05/206.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
824.05/206.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
824.85/206.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
826.07/206.81	c bin-w-bin subsume rem            0 bins  time:  0.03 s
826.07/206.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
826.07/206.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
826.07/206.83	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1061.73/265.87	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 235.28 s
1061.73/265.88	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
1062.13/265.95	c vivif2 --  cl tried    49267 cl shrink        0 lits rem          0 time: 0.29
1062.94/266.12	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.66
1062.94/266.13	c calculated reachability. Time: 0.00
1062.94/266.13	c  N dy  1493    238320     19335     83166         0     49267    253151   4998565    129.82   no data  --
1084.90/271.60	c  N dy  1583    253706     19335     83166         0     36675    253151   2214433    129.59    139.95  --
1108.45/277.51	c  N dy  1687    269990     19335     83166         0     52957    253151   5566136    129.62    137.25  --
1132.42/283.53	c  N dy  1811    287301     19335     83166         0     41279    253151   3019790    129.89    139.90  --
1159.19/290.21	c  N dy  1940    305727     19335     83166         0     59703    253151   6762608    129.90    140.65  --
1160.01/290.42	c  F st  1942    306250     19335     83166         0     30232    253151    492024    129.87    116.95  --
1186.37/297.05	c  N dy  2043    325364     19335     83166         0     49345    253151   4844703    129.87    141.80  --
1215.51/304.31	c  N dy  2179    345602     19335     83166         0     38585    253151   2030529    130.04    138.19  --
1231.49/308.38	c  S st  2261    357480     19335     83166         0     50463    253151   4422274    129.99   no data  --
1232.29/308.58	c  S st  2261    357983     19335     83166         0     50966    253151   4497261    129.99   no data  --
1232.29/308.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1232.29/308.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1233.09/308.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
1233.88/308.99	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1233.88/308.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1234.30/309.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.02 s
1234.30/309.01	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1406.45/352.16	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 171.57 s
1406.45/352.17	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
1406.85/352.24	c vivif2 --  cl tried    50961 cl shrink        0 lits rem          0 time: 0.27
1407.65/352.42	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.70
1407.65/352.43	c calculated reachability. Time: 0.00
1407.65/352.43	c  N dy  2261    357983     19335     83166         0     50961    253151   4494279    129.99   no data  --
1437.61/359.92	c  N dy  2394    378017     19335     83166         0     38998    253151   1868752    129.95    183.22  --
1467.59/367.43	c  N dy  2535    398061     19335     83166         0     59042    253151   6010411    130.02    138.37  --
1497.54/374.93	c  N dy  2668    418094     19335     83166         0     46080    253151   3161617    130.07    139.20  --
1528.70/382.77	c  N dy  2808    438110     19335     83166         0     66095    253151   7227164    130.08    154.40  --
1557.85/390.08	c  N dy  2944    458214     19335     83166         0     52197    253151   4213538    130.11    140.26  --
1588.21/397.69	c  N dy  3076    478253     19335     83166         0     37238    253151    910214    130.18    139.36  --
1617.36/404.95	c  N dy  3213    498390     19335     83166         0     57372    253151   5123850    130.28    138.36  --
1648.52/412.70	c  N dy  3356    518417     19335     83166         0     41401    253151   1550828    130.37    141.52  --
1674.48/419.29	c  S st  3495    536975     19335     83166         0     59958    253151   5440256    130.48   no data  --
1675.68/419.50	c  S st  3495    537476     19335     83166         0     60459    253151   5518538    130.48   no data  --
1675.68/419.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1675.68/419.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1676.08/419.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.51
1677.28/419.96	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1677.28/419.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1677.28/419.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
1677.28/419.98	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1972.89/493.93	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 294.94 s
1972.89/493.94	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
1973.28/494.02	c vivif2 --  cl tried    60456 cl shrink        0 lits rem          0 time: 0.32
1974.08/494.21	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.74
1974.08/494.21	c calculated reachability. Time: 0.00
1974.08/494.21	c  N dy  3495    537476     19335     83166         0     60456    253151   5517338    130.48   no data  --
2002.83/501.43	c  N dy  3628    557513     19335     83166         0     43498    253151   1789661    130.49    137.85  --
2030.79/508.47	c  N dy  3763    577592     19335     83166         0     63575    253151   5926900    130.58    138.92  --
2060.36/515.87	c  N dy  3901    597647     19335     83166         0     45627    253151   1993310    130.56    148.34  --
2088.71/522.97	c  N dy  4029    617665     19335     83166         0     65645    253151   6116422    130.55    140.24  --
2118.67/530.49	c  N dy  4174    637771     19335     83166         0     46753    253151   2084193    130.62    138.21  --
2148.24/537.81	c  N dy  4314    658038     19335     83166         0     67016    253151   6280300    130.66    143.72  --
2178.19/545.34	c  N dy  4458    678083     19335     83166         0     47061    253151   1931458    130.72    162.83  --
2206.94/552.50	c  N dy  4582    698136     19335     83166         0     67112    253151   6110861    130.73    158.16  --
2237.30/560.15	c  N dy  4715    718142     19335     83166         0     46123    253151   1507204    130.73    154.78  --
2266.06/567.34	c  N dy  4853    738159     19335     83166         0     66139    253151   5652711    130.76    141.57  --
2297.62/575.25	c  N dy  4984    758350     19335     83166         0     44326    253151    938205    130.77    141.87  --
2325.97/582.32	c  N dy  5118    778374     19335     83166         0     64349    253151   5133138    130.82    143.98  --
2358.73/590.57	c  N dy  5250    798485     19335     83166         0     84459    253151   9223494    130.78    137.82  --
2370.31/593.44	c  S st  5303    806214     19335     83166         0     49193    253151   1734086    130.79   no data  --
2371.11/593.62	c  S st  5303    806721     19335     83166         0     49700    253151   1802095    130.79   no data  --
2371.11/593.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2371.11/593.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2371.51/593.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
2371.91/593.88	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2371.91/593.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2371.91/593.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
2371.91/593.90	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
2390.31/598.44	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time: 18.09 s
2390.31/598.45	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
2390.31/598.48	c vivif2 --  cl tried    49699 cl shrink        0 lits rem          0 time: 0.12
2391.08/598.64	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.64
2391.08/598.65	c calculated reachability. Time: 0.00
2391.08/598.65	c  N dy  5303    806721     19335     83166         0     49699    253151   1801988    130.79   no data  --
2421.44/606.25	c  N dy  5435    826900     19335     83166         0     69876    253151   6021517    130.82    138.12  --
2456.21/614.96	c  N dy  5571    846964     19335     83166         0     45937    253151    861907    130.88    173.13  --
2488.15/622.92	c  N dy  5706    866983     19335     83166         0     65956    253151   5049311    130.89    138.77  --
2522.51/631.56	c  N dy  5833    887017     19335     83166         0     85988    253151   9203737    130.88    142.27  --
2554.86/639.60	c  N dy  5971    907076     19335     83166         0     61050    253151   3820774    130.94    139.07  --
2588.03/647.97	c  N dy  6103    927128     19335     83166         0     81100    253151   7981558    130.95    137.87  --
2621.56/656.39	c  N dy  6235    947201     19335     83166         0     55175    253151   2397869    130.97    165.79  --
2654.32/664.56	c  N dy  6378    967215     19335     83166         0     75185    253151   6567276    131.01    144.78  --
2691.07/673.76	c  N dy  6519    987577     19335     83166         0     48555    253151    791262    131.05    138.02  --
2723.03/681.72	c  N dy  6661   1007781     19335     83166         0     68759    253151   5032315    131.12    140.04  --
2758.58/690.63	c  N dy  6796   1027879     19335     83166         0     88854    253151   9193765    131.13    160.72  --
2790.93/698.74	c  N dy  6935   1048005     19335     83166         0     60979    253151   3182295    131.15    141.47  --
2823.29/706.89	c  N dy  7065   1068034     19335     83166         0     81008    253151   7296509    131.13    140.66  --
2830.08/708.58	c  F st  7092   1071877     19335     83166         0     84851    253151   8103092    131.14   no data  --
2858.44/715.63	c  N dy  7173   1088087     19335     83166         0     52063    253151   1119504    131.14    138.65  --
2889.60/723.45	c  N dy  7308   1108174     19335     83166         0     72149    253151   5330709    131.17    138.55  --
2924.75/732.28	c  N dy  7445   1128298     19335     83166         0     92272    253151   9547828    131.20    147.10  --
2958.30/740.63	c  N dy  7579   1148555     19335     83166         0     62538    253151   3058656    131.22    140.51  --
2991.86/749.09	c  N dy  7720   1168578     19335     83166         0     82561    253151   7305290    131.28    144.54  --
3026.61/757.71	c  N dy  7843   1188580     19335     83166         0     51563    253151    610212    131.23    144.42  --
3055.76/765.08	c  N dy  7983   1208646     19335     83166         0     71626    253151   4903314    131.30    140.36  --
3058.18/765.65	c  S st  7993   1210081     19335     83166         0     73061    253151   5198195    131.30    128.30  --
3058.96/765.87	c  S st  7993   1210581     19335     83166         0     73561    253151   5273690    131.30   no data  --
3058.96/765.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3058.96/765.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3059.75/766.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.55
3060.95/766.33	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3060.95/766.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3060.95/766.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
3060.95/766.35	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
3341.77/836.68	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 280.51 s
3341.77/836.69	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
3342.17/836.77	c vivif2 --  cl tried    73555 cl shrink        0 lits rem          0 time: 0.31
3342.96/836.98	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.84
3342.96/836.98	c calculated reachability. Time: 0.00
3342.96/836.98	c  N dy  7993   1210581     19335     83166         0     73555    253151   5270967    131.30   no data  --
3376.11/845.25	c  N dy  8122   1230631     19335     83166         0     93605    253151   9438311    131.29    139.81  --
3409.28/853.52	c  N dy  8263   1250638     19335     83166         0     61607    253151   2546260    131.35    140.76  --
3440.45/861.39	c  N dy  8407   1270740     19335     83166         0     81709    253151   6738321    131.39    138.89  --
3475.97/870.22	c  N dy  8553   1290784     19335     83166         0    101750    253151  11001411    131.44    146.08  --
3507.13/878.04	c  N dy  8686   1310828     19335     83166         0     68795    253151   3832857    131.44    149.69  --
3539.49/886.10	c  N dy  8818   1330868     19335     83166         0     88834    253151   7953808    131.43    145.97  --
3575.43/895.19	c  N dy  8960   1350949     19335     83166         0     54918    253151    695446    131.47    138.40  --
3605.39/902.67	c  N dy  9089   1371016     19335     83166         0     74984    253151   4903724    131.48    142.78  --
3640.14/911.35	c  N dy  9225   1391127     19335     83166         0     95095    253151   9141951    131.50    139.39  --
3677.30/920.67	c  N dy  9357   1411259     19335     83166         0     60230    253151   1612944    131.50    144.29  --
3710.45/928.92	c  N dy  9495   1431277     19335     83166         0     80247    253151   5785323    131.53    143.46  --
3746.40/937.98	c  N dy  9623   1451322     19335     83166         0    100291    253151   9988680    131.52    152.21  --
3783.17/947.17	c  N dy  9769   1471361     19335     83166         0     64330    253151   2258518    131.57    139.53  --
3817.11/955.62	c  N dy  9903   1491514     19335     83166         0     84482    253151   6486997    131.59    141.89  --
3854.65/965.04	c  N dy 10038   1511585     19335     83166         0    104553    253151  10676729    131.59    139.20  --
3891.80/974.37	c  N dy 10175   1531614     19335     83166         0     67588    253151   2735895    131.61    155.99  --
3927.35/983.25	c  N dy 10313   1551627     19335     83166         0     87601    253151   6979430    131.65    144.50  --
3966.51/993.09	c  N dy 10449   1571710     19335     83166         0    107683    253151  11129987    131.65    142.00  --
4003.25/1002.28	c  N dy 10583   1591871     19335     83166         0     69850    253151   3001072    131.67    148.62  --
4039.60/1011.37	c  N dy 10725   1612059     19335     83166         0     90037    253151   7217937    131.69    140.78  --
4079.15/1021.21	c  N dy 10851   1632220     19335     83166         0    110194    253151  11369794    131.68    142.48  --
4116.30/1030.50	c  N dy 10987   1652330     19335     83166         0     71302    253151   3134665    131.71    140.40  --
4151.46/1039.34	c  N dy 11123   1672420     19335     83166         0     91392    253151   7331657    131.73    145.57  --
4189.80/1048.98	c  N dy 11250   1692513     19335     83166         0    111484    253151  11560294    131.73    145.08  --
4222.95/1057.22	c  S st 11373   1710582     19335     83166         0     69554    253151   2547818    131.74   no data  --
4223.76/1057.45	c  S st 11373   1711085     19335     83166         0     70057    253151   2628360    131.74   no data  --
4223.76/1057.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4223.76/1057.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4224.55/1057.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.55
4224.95/1057.78	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4224.95/1057.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4224.95/1057.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
4225.35/1057.80	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
4259.70/1066.49	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 34.57 s
4260.10/1066.50	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
4260.10/1066.54	c vivif2 --  cl tried    70055 cl shrink        0 lits rem          0 time: 0.17
4260.90/1066.75	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.82
4260.90/1066.75	c calculated reachability. Time: 0.00
4260.90/1066.75	c  N dy 11373   1711085     19335     83166         0     70055    253151   2627661    131.74   no data  --
4295.65/1075.46	c  N dy 11514   1731169     19335     83166         0     90137    253151   6842394    131.75    139.14  --
4334.40/1085.15	c  N dy 11640   1751193     19335     83166         0    110161    253151  10966501    131.73    139.36  --
4374.74/1095.25	c  N dy 11774   1771723     19335     83166         0     69691    253151   2336728    131.75    138.72  --
4411.10/1104.31	c  N dy 11911   1791804     19335     83166         0     89771    253151   6513434    131.76    146.29  --
4452.23/1114.66	c  N dy 12043   1812222     19335     83166         0    110188    253151  10816279    131.77    140.94  --
4493.38/1124.95	c  N dy 12181   1832357     19335     83166         0     68327    253151   1866094    131.77    139.32  --
4529.33/1133.98	c  N dy 12314   1852379     19335     83166         0     88347    253151   6056173    131.77    140.75  --
4569.70/1144.01	c  N dy 12444   1872435     19335     83166         0    108401    253151  10212094    131.76    138.92  --
4612.42/1154.76	c  N dy 12581   1892581     19335     83166         0     65547    253151   1085163    131.76    144.81  --
4647.97/1163.68	c  N dy 12712   1912939     19335     83166         0     85904    253151   5303364    131.76    141.59  --
4687.51/1173.57	c  N dy 12846   1933024     19335     83166         0    105987    253151   9482368    131.76    142.02  --
4731.46/1184.56	c  N dy 12983   1953129     19335     83166         0    126092    253151  13659072    131.77    141.67  --
4768.20/1193.72	c  N dy 13118   1973235     19335     83166         0     82200    253151   4398832    131.78    138.87  --

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-3174978-1304064531/watcher-3174978-1304064531 -o /tmp/evaluation-result-3174978-1304064531/solver-3174978-1304064531 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174978-1304064531.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.07 8.12 7.93 7/180 1971
/proc/meminfo: memFree=27125308/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 518051638 52465664 352 33554432000 4194304 4650419 140737043012048 18446744073709551615 47647127500716 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 12809 352 303 112 0 7774 0
[pid=1971/tid=1972] ppid=1969 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518051638 52465664 352 33554432000 4194304 4650419 140737043012048 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518051638 52465664 352 33554432000 4194304 4650419 140737043012048 18446744073709551615 210216444982 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518051638 52465664 352 33554432000 4194304 4650419 140737043012048 18446744073709551615 47647127500716 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.096527 s]
/proc/loadavg: 8.07 8.12 7.93 7/180 1971
/proc/meminfo: memFree=27125308/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=302160 CPUtime=0.36 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 14708 0 0 0 33 3 0 0 18 0 4 0 518051638 309411840 12628 33554432000 4194304 4650419 140737043012048 18446744073709551615 4536279 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 75540 12628 367 112 0 70505 0
[pid=1971/tid=1972] ppid=1969 vsize=302160 CPUtime=0.08 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 3558 0 0 0 8 0 0 0 25 0 4 0 518051638 309411840 12628 33554432000 4194304 4650419 140737043012048 18446744073709551615 4369856 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=302160 CPUtime=0.08 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 3547 0 0 0 8 0 0 0 18 0 4 0 518051638 309411840 12628 33554432000 4194304 4650419 140737043012048 18446744073709551615 4369860 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=302160 CPUtime=0.08 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 3598 0 0 0 8 0 0 0 18 0 4 0 518051638 309411840 12628 33554432000 4194304 4650419 140737043012048 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 302160

[startup+0.100528 s]
/proc/loadavg: 8.07 8.12 7.93 7/180 1971
/proc/meminfo: memFree=27125308/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=302160 CPUtime=0.38 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 14711 0 0 0 35 3 0 0 18 0 4 0 518051638 309411840 12631 33554432000 4194304 4650419 140737043012048 18446744073709551615 4369860 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 75540 12631 367 112 0 70505 0
[pid=1971/tid=1972] ppid=1969 vsize=302160 CPUtime=0.08 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 3558 0 0 0 8 0 0 0 25 0 4 0 518051638 309411840 12631 33554432000 4194304 4650419 140737043012048 18446744073709551615 4369870 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=302160 CPUtime=0.08 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 3547 0 0 0 8 0 0 0 18 0 4 0 518051638 309411840 12631 33554432000 4194304 4650419 140737043012048 18446744073709551615 4369179 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=302160 CPUtime=0.08 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 3601 0 0 0 8 0 0 0 18 0 4 0 518051638 309411840 12631 33554432000 4194304 4650419 140737043012048 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 302160

[startup+0.300496 s]
/proc/loadavg: 8.07 8.12 7.93 7/180 1971
/proc/meminfo: memFree=27125308/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=322280 CPUtime=1.17 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 25694 0 0 0 112 5 0 0 18 0 4 0 518051638 330014720 21875 33554432000 4194304 4650419 140737043012048 18446744073709551615 4444055 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 80570 21875 385 112 0 75535 0
[pid=1971/tid=1972] ppid=1969 vsize=322280 CPUtime=0.28 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 7083 0 0 0 27 1 0 0 25 0 4 0 518051638 330014720 21875 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=322280 CPUtime=0.28 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 7190 0 0 0 27 1 0 0 18 0 4 0 518051638 330014720 21875 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=322280 CPUtime=0.28 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 3775 0 0 0 28 0 0 0 18 0 4 0 518051638 330014720 21875 33554432000 4194304 4650419 140737043012048 18446744073709551615 4333400 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 322280

[startup+0.700426 s]
/proc/loadavg: 8.07 8.12 7.93 7/180 1971
/proc/meminfo: memFree=27125308/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=326652 CPUtime=2.76 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 31239 0 0 0 270 6 0 0 18 0 4 0 518051638 334491648 23713 33554432000 4194304 4650419 140737043012048 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 81663 23714 391 112 0 76628 0
[pid=1971/tid=1972] ppid=1969 vsize=326652 CPUtime=0.68 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 8259 0 0 0 67 1 0 0 25 0 4 0 518051638 334491648 23715 33554432000 4194304 4650419 140737043012048 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=326652 CPUtime=0.69 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 9189 0 0 0 67 2 0 0 18 0 4 0 518051638 334491648 23715 33554432000 4194304 4650419 140737043012048 18446744073709551615 4366253 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=326652 CPUtime=0.68 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 4143 0 0 0 68 0 0 0 18 0 4 0 518051638 334491648 23715 33554432000 4194304 4650419 140737043012048 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 326652

[startup+1.50029 s]
/proc/loadavg: 8.07 8.12 7.93 9/184 1976
/proc/meminfo: memFree=27015908/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=326652 CPUtime=5.96 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 34255 0 0 0 589 7 0 0 19 0 4 0 518051638 334491648 26729 33554432000 4194304 4650419 140737043012048 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 81663 26729 391 112 0 76628 0
[pid=1971/tid=1972] ppid=1969 vsize=326652 CPUtime=1.47 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 8987 0 0 0 146 1 0 0 25 0 4 0 518051638 334491648 26729 33554432000 4194304 4650419 140737043012048 18446744073709551615 4364301 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=326652 CPUtime=1.49 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 9975 0 0 0 147 2 0 0 19 0 4 0 518051638 334491648 26729 33554432000 4194304 4650419 140737043012048 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=326652 CPUtime=1.49 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 4892 0 0 0 148 1 0 0 20 0 4 0 518051638 334491648 26729 33554432000 4194304 4650419 140737043012048 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 326652

[startup+3.10103 s]
/proc/loadavg: 8.07 8.12 7.93 9/184 1976
/proc/meminfo: memFree=26998672/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=486276 CPUtime=12.36 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 39907 0 0 0 1228 8 0 0 24 0 4 0 518051638 497946624 32381 33554432000 4194304 4650419 140737043012048 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 121569 32381 391 112 0 116534 0
[pid=1971/tid=1972] ppid=1969 vsize=486276 CPUtime=3.07 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 10329 0 0 0 306 1 0 0 25 0 4 0 518051638 497946624 32382 33554432000 4194304 4650419 140737043012048 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=486276 CPUtime=3.09 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 11302 0 0 0 307 2 0 0 23 0 4 0 518051638 497946624 32382 33554432000 4194304 4650419 140737043012048 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=486276 CPUtime=3.09 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 6540 0 0 0 308 1 0 0 25 0 4 0 518051638 497946624 32382 33554432000 4194304 4650419 140737043012048 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 486276

[startup+6.30049 s]
/proc/loadavg: 8.07 8.12 7.93 9/184 1976
/proc/meminfo: memFree=26884640/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=339808 CPUtime=25.13 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 55756 0 0 0 2502 11 0 0 25 0 4 0 518051638 347963392 29348 33554432000 4194304 4650419 140737043012048 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 84952 29348 393 112 0 79917 0
[pid=1971/tid=1972] ppid=1969 vsize=339808 CPUtime=6.25 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 13825 0 0 0 623 2 0 0 25 0 4 0 518051638 347963392 29348 33554432000 4194304 4650419 140737043012048 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=339808 CPUtime=6.29 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 15388 0 0 0 626 3 0 0 25 0 4 0 518051638 347963392 29348 33554432000 4194304 4650419 140737043012048 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=339808 CPUtime=6.29 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 10745 0 0 0 627 2 0 0 25 0 4 0 518051638 347963392 29348 33554432000 4194304 4650419 140737043012048 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 339808

[startup+12.7004 s]
/proc/loadavg: 8.14 8.13 7.94 9/184 1976
/proc/meminfo: memFree=26687704/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=605532 CPUtime=50.69 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 119502 0 0 0 5043 26 0 0 25 0 4 0 518051638 620064768 81061 33554432000 4194304 4650419 140737043012048 18446744073709551615 4442218 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 151383 81061 395 112 0 146348 0
[pid=1971/tid=1972] ppid=1969 vsize=605532 CPUtime=12.62 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 40137 0 0 0 1255 7 0 0 25 0 4 0 518051638 620064768 81061 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=605532 CPUtime=12.68 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 27672 0 0 0 1263 5 0 0 25 0 4 0 518051638 620064768 81062 33554432000 4194304 4650419 140737043012048 18446744073709551615 4438235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=605532 CPUtime=12.68 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 16951 0 0 0 1265 3 0 0 25 0 4 0 518051638 620064768 81062 33554432000 4194304 4650419 140737043012048 18446744073709551615 4333957 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 605532

[startup+25.5003 s]
/proc/loadavg: 8.11 8.13 7.94 9/184 1976
/proc/meminfo: memFree=26490924/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=717772 CPUtime=101.82 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 162395 0 0 0 10143 39 0 0 25 0 4 0 518051638 734998528 100274 33554432000 4194304 4650419 140737043012048 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 179443 100274 395 112 0 174408 0
[pid=1971/tid=1972] ppid=1969 vsize=717772 CPUtime=25.34 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 40604 0 0 0 2527 7 0 0 25 0 4 0 518051638 734998528 100274 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=717772 CPUtime=25.48 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 36749 0 0 0 2539 9 0 0 25 0 4 0 518051638 734998528 100274 33554432000 4194304 4650419 140737043012048 18446744073709551615 4333562 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=717772 CPUtime=25.48 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 40661 0 0 0 2538 10 0 0 25 0 4 0 518051638 734998528 100274 33554432000 4194304 4650419 140737043012048 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 717772

[startup+51.101 s]
/proc/loadavg: 8.07 8.11 7.94 9/184 1976
/proc/meminfo: memFree=26344172/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=826276 CPUtime=204.08 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 253530 0 0 0 20347 61 0 0 25 0 4 0 518051638 846106624 129730 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 206569 129730 395 112 0 201534 0
[pid=1971/tid=1972] ppid=1969 vsize=826276 CPUtime=50.8 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 53533 0 0 0 5070 10 0 0 25 0 4 0 518051638 846106624 129730 33554432000 4194304 4650419 140737043012048 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=826276 CPUtime=51.08 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 60882 0 0 0 5092 16 0 0 25 0 4 0 518051638 846106624 129730 33554432000 4194304 4650419 140737043012048 18446744073709551615 4229486 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=826276 CPUtime=51.08 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 56145 0 0 0 5093 15 0 0 25 0 4 0 518051638 846106624 129730 33554432000 4194304 4650419 140737043012048 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 826276

[startup+102.306 s]
/proc/loadavg: 8.07 8.11 7.94 9/184 1978
/proc/meminfo: memFree=26208316/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=844060 CPUtime=408.63 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 568668 0 0 0 40743 120 0 0 25 0 4 0 518051638 864317440 147300 33554432000 4194304 4650419 140737043012048 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 211015 147300 395 112 0 205980 0
[pid=1971/tid=1972] ppid=1969 vsize=844060 CPUtime=101.74 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 74650 0 0 0 10157 17 0 0 25 0 4 0 518051638 864317440 147300 33554432000 4194304 4650419 140737043012048 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=844060 CPUtime=102.28 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 95352 0 0 0 10201 27 0 0 25 0 4 0 518051638 864317440 147300 33554432000 4194304 4650419 140737043012048 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=844060 CPUtime=102.29 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 82469 0 0 0 10203 26 0 0 25 0 4 0 518051638 864317440 147300 33554432000 4194304 4650419 140737043012048 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 844060

[startup+162.3 s]

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

[pid=1971] ppid=1969 vsize=1313348 CPUtime=2805.31 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 3052907 0 0 0 279843 688 0 0 25 0 4 0 518051638 1344868352 269462 33554432000 4194304 4650419 140737043012048 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 328337 269463 395 112 0 323302 0
[pid=1971/tid=1972] ppid=1969 vsize=1313348 CPUtime=698.84 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 244143 0 0 0 69795 89 0 0 25 0 4 0 518051638 1344868352 269463 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=1313348 CPUtime=702.28 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 696219 0 0 0 70055 173 0 0 25 0 4 0 518051638 1344868352 269463 33554432000 4194304 4650419 140737043012048 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=1313348 CPUtime=701.9 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 920482 0 0 0 69992 198 0 0 25 0 4 0 518051638 1344868352 269463 33554432000 4194304 4650419 140737043012048 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 1313348

[startup+762.306 s]
/proc/loadavg: 8.12 8.10 8.01 9/184 1996
/proc/meminfo: memFree=25477024/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=1273532 CPUtime=3044.99 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 3142479 0 0 0 303774 725 0 0 25 0 4 0 518051638 1304096768 252110 33554432000 4194304 4650419 140737043012048 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 318383 252110 395 112 0 313348 0
[pid=1971/tid=1972] ppid=1969 vsize=1273532 CPUtime=758.84 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 248684 0 0 0 75794 90 0 0 25 0 4 0 518051638 1304096768 252110 33554432000 4194304 4650419 140737043012048 18446744073709551615 4363556 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=1273532 CPUtime=762.28 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 723186 0 0 0 76043 185 0 0 25 0 4 0 518051638 1304096768 252110 33554432000 4194304 4650419 140737043012048 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=1273532 CPUtime=761.58 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 947827 0 0 0 75948 210 0 0 25 0 4 0 518051638 1304096768 252110 33554432000 4194304 4650419 140737043012048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.99
Current children cumulated vsize (KiB) 1273532

[startup+822.3 s]
/proc/loadavg: 8.13 8.11 8.01 9/184 1997
/proc/meminfo: memFree=25385960/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=1329676 CPUtime=3284.65 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 3222608 0 0 0 327702 763 0 0 25 0 4 0 518051638 1361588224 271705 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476454 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 332419 271705 395 112 0 327384 0
[pid=1971/tid=1972] ppid=1969 vsize=1329676 CPUtime=818.83 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 273346 0 0 0 81781 102 0 0 25 0 4 0 518051638 1361588224 271705 33554432000 4194304 4650419 140737043012048 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=1329676 CPUtime=822.27 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 751134 0 0 0 82029 198 0 0 25 0 4 0 518051638 1361588224 271705 33554432000 4194304 4650419 140737043012048 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=1329676 CPUtime=821.24 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 973437 0 0 0 81903 221 0 0 25 0 4 0 518051638 1361588224 271705 33554432000 4194304 4650419 140737043012048 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 1329676

[startup+882.3 s]
/proc/loadavg: 8.12 8.12 8.02 9/184 1999
/proc/meminfo: memFree=25440996/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=1331700 CPUtime=3524.31 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 3330841 0 0 0 351628 803 0 0 25 0 4 0 518051638 1363660800 258478 33554432000 4194304 4650419 140737043012048 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 332925 258478 395 112 0 327890 0
[pid=1971/tid=1972] ppid=1969 vsize=1331700 CPUtime=878.83 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 299453 0 0 0 87770 113 0 0 25 0 4 0 518051638 1363660800 258478 33554432000 4194304 4650419 140737043012048 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=1331700 CPUtime=882.27 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 779065 0 0 0 88018 209 0 0 25 0 4 0 518051638 1363660800 258478 33554432000 4194304 4650419 140737043012048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=1331700 CPUtime=880.91 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 1004911 0 0 0 87860 231 0 0 25 0 4 0 518051638 1363660800 258478 33554432000 4194304 4650419 140737043012048 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.31
Current children cumulated vsize (KiB) 1331700

[startup+942.3 s]
/proc/loadavg: 8.13 8.12 8.02 9/184 2000
/proc/meminfo: memFree=25310032/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=1412276 CPUtime=3763.97 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 3616539 0 0 0 375524 873 0 0 25 0 4 0 518051638 1446170624 289590 33554432000 4194304 4650419 140737043012048 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 353069 289590 395 112 0 348034 0
[pid=1971/tid=1972] ppid=1969 vsize=1412276 CPUtime=938.83 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 326604 0 0 0 93759 124 0 0 25 0 4 0 518051638 1446170624 289590 33554432000 4194304 4650419 140737043012048 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=1412276 CPUtime=942.26 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 978108 0 0 0 93984 242 0 0 25 0 4 0 518051638 1446170624 289591 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=1412276 CPUtime=940.58 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 1036141 0 0 0 93814 244 0 0 25 0 4 0 518051638 1446170624 289591 33554432000 4194304 4650419 140737043012048 18446744073709551615 4334208 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.97
Current children cumulated vsize (KiB) 1412276

[startup+1002.3 s]
/proc/loadavg: 8.14 8.13 8.03 9/184 2002
/proc/meminfo: memFree=25325876/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=1413392 CPUtime=4003.65 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 3979170 0 0 0 399421 944 0 0 25 0 4 0 518051638 1447313408 276898 33554432000 4194304 4650419 140737043012048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 353348 276898 395 112 0 348313 0
[pid=1971/tid=1972] ppid=1969 vsize=1413392 CPUtime=998.83 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 333991 0 0 0 99755 128 0 0 25 0 4 0 518051638 1447313408 276898 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=1413392 CPUtime=1002.26 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 1275316 0 0 0 99944 282 0 0 25 0 4 0 518051638 1447313408 276898 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=1413392 CPUtime=1000.26 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 1065367 0 0 0 99769 257 0 0 25 0 4 0 518051638 1447313408 276898 33554432000 4194304 4650419 140737043012048 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.65
Current children cumulated vsize (KiB) 1413392

[startup+1062.3 s]
/proc/loadavg: 8.13 8.12 8.03 9/184 2004
/proc/meminfo: memFree=25322108/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=1358556 CPUtime=4243.32 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 4354641 0 0 0 423313 1019 0 0 25 0 4 0 518051638 1391161344 277719 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 339639 277719 395 112 0 334604 0
[pid=1971/tid=1972] ppid=1969 vsize=1358556 CPUtime=1058.83 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 344495 0 0 0 105751 132 0 0 25 0 4 0 518051638 1391161344 277719 33554432000 4194304 4650419 140737043012048 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=1358556 CPUtime=1062.26 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 1586624 0 0 0 105900 326 0 0 25 0 4 0 518051638 1391161344 277719 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=1358556 CPUtime=1059.93 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 1094046 0 0 0 105722 271 0 0 25 0 4 0 518051638 1391161344 277719 33554432000 4194304 4650419 140737043012048 18446744073709551615 4333874 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.32
Current children cumulated vsize (KiB) 1358556

[startup+1122.3 s]
/proc/loadavg: 8.14 8.12 8.03 9/184 2005
/proc/meminfo: memFree=25149356/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=1545748 CPUtime=4482.99 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 4937451 0 0 0 447172 1127 0 0 25 0 4 0 518051638 1582845952 320449 33554432000 4194304 4650419 140737043012048 18446744073709551615 4339796 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 386437 320449 395 112 0 381402 0
[pid=1971/tid=1972] ppid=1969 vsize=1545748 CPUtime=1118.83 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 365580 0 0 0 111738 145 0 0 25 0 4 0 518051638 1582845952 320449 33554432000 4194304 4650419 140737043012048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=1545748 CPUtime=1122.27 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 1922822 0 0 0 111852 375 0 0 25 0 4 0 518051638 1582845952 320449 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=1545748 CPUtime=1119.6 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 1297851 0 0 0 111656 304 0 0 25 0 4 0 518051638 1582845952 320449 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.99
Current children cumulated vsize (KiB) 1545748

[startup+1182.3 s]
/proc/loadavg: 8.15 8.13 8.04 9/184 2007
/proc/meminfo: memFree=25168800/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=1490288 CPUtime=4722.66 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 5689127 0 0 0 471005 1261 0 0 25 0 4 0 518051638 1526054912 315147 33554432000 4194304 4650419 140737043012048 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 372572 315147 408 112 0 367537 0
[pid=1971/tid=1972] ppid=1969 vsize=1490288 CPUtime=1178.83 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 386597 0 0 0 117724 159 0 0 25 0 4 0 518051638 1526054912 315147 33554432000 4194304 4650419 140737043012048 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=1490288 CPUtime=1182.27 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 2350730 0 0 0 117790 437 0 0 25 0 4 0 518051638 1526054912 315147 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=1490288 CPUtime=1179.27 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 1575510 0 0 0 117582 345 0 0 25 0 4 0 518051638 1526054912 315147 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.66
Current children cumulated vsize (KiB) 1490288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.16 8.13 8.04 5/179 2009
/proc/meminfo: memFree=25862720/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=1547004 CPUtime=4800.18 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 5921748 0 0 0 478717 1301 0 0 25 0 4 0 518051638 1584132096 320608 33554432000 4194304 4650419 140737043012048 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 386751 320608 395 112 0 381716 0
[pid=1971/tid=1972] ppid=1969 vsize=1547004 CPUtime=1198.24 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 394122 0 0 0 119661 163 0 0 25 0 4 0 518051638 1584132096 320610 33554432000 4194304 4650419 140737043012048 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=1547004 CPUtime=1201.68 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 2476776 0 0 0 119714 454 0 0 25 0 4 0 518051638 1584132096 320610 33554432000 4194304 4650419 140737043012048 18446744073709551615 4542507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=1547004 CPUtime=1198.57 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 1664699 0 0 0 119498 359 0 0 25 0 4 0 518051638 1584132096 320610 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 1547004

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: 8.16 8.13 8.04 5/179 2009
/proc/meminfo: memFree=25862720/32951124 swapFree=67088964/67111528
[pid=1971] ppid=1969 vsize=1547004 CPUtime=4800.18 cores=1,3,5,7
/proc/1971/stat : 1971 (strangenight1-m) R 1969 1971 1313 0 -1 4202496 5921748 0 0 0 478717 1301 0 0 25 0 4 0 518051638 1584132096 320608 33554432000 4194304 4650419 140737043012048 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1971/statm: 386751 320608 395 112 0 381716 0
[pid=1971/tid=1972] ppid=1969 vsize=1547004 CPUtime=1198.24 cores=1,3,5,7
/proc/1971/task/1972/stat : 1972 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 394122 0 0 0 119661 163 0 0 25 0 4 0 518051638 1584132096 320610 33554432000 4194304 4650419 140737043012048 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1971/tid=1973] ppid=1969 vsize=1547004 CPUtime=1201.68 cores=1,3,5,7
/proc/1971/task/1973/stat : 1973 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 2476776 0 0 0 119714 454 0 0 25 0 4 0 518051638 1584132096 320610 33554432000 4194304 4650419 140737043012048 18446744073709551615 4542507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1971/tid=1974] ppid=1969 vsize=1547004 CPUtime=1198.57 cores=1,3,5,7
/proc/1971/task/1974/stat : 1974 (strangenight1-m) R 1969 1971 1313 0 -1 4202560 1664699 0 0 0 119498 359 0 0 25 0 4 0 518051638 1584132096 320610 33554432000 4194304 4650419 140737043012048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 1547004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.76
CPU time (s): 4800.26
CPU user time (s): 4787.2
CPU system time (s): 13.06
CPU usage (%): 399.435
Max. virtual memory (cumulated for all children) (KiB): 1547004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.2
system time used= 13.06
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5921755
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= 2068
involuntary context switches= 32391

runsolver used 1.79373 second user time and 4.77127 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-29 10:08:51
IDJOB=3174978
IDBENCH=82596
IDSOLVER=1588
FILE ID=node130/3174978-1304064531
RUNJOBID= node130-1304063327-1843
PBS_JOBID= 13170445
Free space on /tmp= 71988 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174978-1304064531/watcher-3174978-1304064531 -o /tmp/evaluation-result-3174978-1304064531/solver-3174978-1304064531 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3174978-1304064531.cnf

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

MD5SUM BENCH= 425b4c5e5535f7d6b9d17ca8feb0ac3e
RANDOM SEED=292613535

node130.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	: 5332.83
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.81
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.75
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.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.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27125464 kB
Buffers:       1160284 kB
Cached:        4123708 kB
SwapCached:      22432 kB
Active:         472228 kB
Inactive:      4921248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27125464 kB
SwapTotal:    67111528 kB
SwapFree:     67088964 kB
Dirty:           14380 kB
Writeback:           0 kB
AnonPages:       87168 kB
Mapped:          15208 kB
Slab:           368448 kB
PageTables:       4648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   297528 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= 71988 MiB
End job on node130 at 2011-04-29 10:28:55