Trace number 3368587

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)? (TO) 4800.45 1202.97

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.05	c Using 4 threads
0.00/0.10	c This is CryptoMiniSat 2.9.0
0.00/0.10	c compiled with gcc version 4.4.5
0.00/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.10	c Reading file 'HOME/instance-3368587-1305398056.cnf'
0.26/0.10	c -- header says num vars:          20000
0.26/0.10	c -- header says num clauses:       84000
0.44/0.24	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.44/0.24	c -- vars added      20000
0.44/0.24	c Parsing time:  0.33 s
0.44/0.24	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.44/0.29	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.22
0.83/0.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.14
1.23/0.40	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1.23/0.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1.23/0.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.02 s
1.23/0.41	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.02 s
2.02/0.61	c lits-rem:         0  cl-subs:        0  v-elim:    665  v-fix:    0  time:  0.76 s
2.02/0.61	c Finding binary XORs  T:     0.01 s  found:       0
2.02/0.65	c Finding non-binary XORs:     0.14 s (found:       0, avg size: nan)
2.02/0.65	c calculated reachability. Time: 0.00
2.02/0.66	c Calc default polars -  time:   0.02 s pos:    8787 undec:    2366 neg:    8847
2.02/0.66	c =========================================================================================
2.02/0.66	c types(t): F = full restart, N = normal restart
2.02/0.66	c types(t): S = simplification begin/end, E = solution found
2.02/0.66	c restart types(rt): st = static, dy = dynamic
2.02/0.66	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.02/0.66	c  B st     0         0     19335     83166         0         0    253151         0   no data   no data  --
6.42/1.72	c  N dy    23      4419     19335     83166         0      4418    253151   1001738    129.41    142.39  --
10.01/2.68	c  N dy    48      8428     19335     83166         0      8427    253151   1829269    130.18    137.71  --
13.99/3.67	c  N dy    73     12478     19335     83166         0     12477    253151   2625239    128.62    139.11  --
18.39/4.71	c  N dy   102     16525     19335     83166         0     16524    253151   3450131    129.44    147.21  --
22.77/5.81	c  N dy   128     20555     19335     83166         0     10556    253151    659629    129.40    142.32  --
26.77/6.84	c  N dy   154     24576     19335     83166         0     14577    253151   1499766    129.59    138.03  --
27.17/6.95	c  F st   157     25001     19335     83166         0     15002    253151   1578347    129.41    123.90  --
32.76/8.34	c  N dy   163     30001     19335     83166         0     19999    253151   2879183    129.41   no data  --
32.76/8.34	c  S st   163     30001     19335     83166         0     19999    253151   2879183    129.41   no data  --
33.16/8.47	c  S st   163     30505     19335     83166         0     20502    253151   2957485    129.41   no data  --
33.16/8.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
33.16/8.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.56/8.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.38
34.79/8.88	c bin-w-bin subsume rem            0 bins  time:  0.02 s
34.79/8.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
34.79/8.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.02 s
34.79/8.90	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
55.50/14.06	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 20.52 s
55.90/14.18	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.44
55.90/14.18	c calculated reachability. Time: 0.00
55.90/14.18	c  N dy   163     30505     19335     83166         0     20499    253151   2954726    129.41   no data  --
61.12/15.46	c  N dy   189     34556     19335     83166         0     24550    253151   3770999    129.03    157.49  --
66.28/16.78	c  N dy   214     38667     19335     83166         0     28660    253151   4630124    129.24    140.56  --
71.86/18.12	c  N dy   242     42897     19335     83166         0     17395    253151   1025450    129.11    137.39  --
75.46/19.02	c  S st   263     45757     19335     83166         0     20255    253151   1588015    128.98   no data  --
75.86/19.17	c  S st   263     46260     19335     83166         0     20758    253151   1660311    128.98   no data  --
75.86/19.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
75.86/19.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
76.26/19.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.40
77.05/19.40	c bin-w-bin subsume rem            0 bins  time:  0.02 s
77.05/19.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
77.05/19.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
77.05/19.42	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
90.23/22.71	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 13.11 s
90.23/22.72	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.03
90.23/22.74	c vivif2 --  cl tried    20756 cl shrink        0 lits rem          0 time: 0.10
90.63/22.85	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.42
90.63/22.86	c calculated reachability. Time: 0.00
90.63/22.86	c  N dy   263     46260     19335     83166         0     20756    253151   1659975    128.98   no data  --
95.42/24.07	c  N dy   290     50361     19335     83166         0     24856    253151   2481719    128.83    136.70  --
100.64/25.31	c  N dy   317     54452     19335     83166         0     28947    253151   3321559    128.91    138.01  --
105.43/26.53	c  N dy   340     58496     19335     83166         0     32991    253151   4128876    128.80    138.07  --
110.58/27.81	c  N dy   368     62505     19335     83166         0     37000    253151   4935095    128.79    137.33  --
115.38/29.04	c  N dy   395     66575     19335     83166         0     22322    253151   1388773    128.86    138.72  --
118.60/29.86	c  S st   414     69393     19335     83166         0     25140    253151   1948167    128.72   no data  --
119.37/30.01	c  S st   414     69905     19335     83166         0     25652    253151   2020852    128.72   no data  --
119.37/30.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
119.37/30.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
119.77/30.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.41
120.17/30.27	c bin-w-bin subsume rem            0 bins  time:  0.02 s
120.17/30.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
120.17/30.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
120.17/30.29	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
136.93/34.47	c lits-rem:        20  cl-subs:        0  v-elim:      0  v-fix:    0  time: 16.64 s
136.93/34.48	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
137.32/34.51	c vivif2 --  cl tried    25652 cl shrink        0 lits rem          0 time: 0.12
137.72/34.62	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.46
137.72/34.63	c calculated reachability. Time: 0.00
137.72/34.63	c  N dy   414     69905     19335     83166         0     25652    253151   2020832    128.72   no data  --
142.91/35.97	c  N dy   440     74433     19335     83166         0     30179    253151   2938091    128.67    139.99  --
148.93/37.42	c  N dy   477     79223     19335     83166         0     34968    253151   3946116    129.11    138.73  --
155.29/39.06	c  N dy   517     84357     19335     83166         0     40101    253151   5041799    129.49    140.21  --
159.28/40.02	c  F st   539     87500     19335     83166         0     22373    253151    907041    129.44    102.58  --
163.27/41.05	c  N st   544     90797     19335     83166         0     25669    253151   1834761    129.44   no data  --
170.46/42.85	c  N dy   573     96783     19335     83166         0     31653    253151   3193656    129.43    142.08  --
178.44/44.84	c  N dy   614    102999     19335     83166         0     37868    253151   4459807    129.53    229.29  --
180.84/45.49	c  S st   627    104858     19335     83166         0     39727    253151   4838696    129.61   no data  --
181.64/45.66	c  S st   627    105361     19335     83166         0     40230    253151   4913062    129.61   no data  --
181.64/45.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
181.64/45.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.04/45.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.46
183.64/46.13	c bin-w-bin subsume rem            0 bins  time:  0.02 s
183.64/46.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
183.64/46.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
183.64/46.15	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
379.63/95.28	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 195.79 s
379.63/95.29	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
380.03/95.36	c vivif2 --  cl tried    40224 cl shrink        0 lits rem          0 time: 0.27
380.82/95.50	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.57
380.82/95.51	c calculated reachability. Time: 0.00
380.82/95.51	c  N dy   627    105361     19335     83166         0     40224    253151   4909396    129.61   no data  --
389.21/97.66	c  N dy   672    112127     19335     83166         0     24555    253151   1011403    129.69    143.31  --
397.58/99.79	c  N dy   719    119317     19335     83166         0     31745    253151   2491173    129.84    146.61  --
407.57/102.20	c  N dy   775    126990     19335     83166         0     39418    253151   4053168    129.92    137.13  --
418.34/104.94	c  N dy   824    135154     19335     83166         0     23865    253151    577134    129.83    142.06  --
429.12/107.67	c  N dy   882    143804     19335     83166         0     32513    253151   2387797    129.93    142.52  --
441.89/110.81	c  N dy   946    153004     19335     83166         0     41711    253151   4265920    129.88    140.14  --
448.68/112.56	c  S st   981    158041     19335     83166         0     46747    253151   5299261    129.87   no data  --
449.47/112.73	c  S st   981    158543     19335     83166         0     47249    253151   5378345    129.87   no data  --
449.47/112.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
449.47/112.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
449.87/112.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
451.47/113.20	c bin-w-bin subsume rem            0 bins  time:  0.02 s
451.47/113.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
451.47/113.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
451.47/113.22	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
712.13/178.51	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 260.04 s
712.13/178.52	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
712.13/178.60	c vivif2 --  cl tried    47243 cl shrink        0 lits rem          0 time: 0.31
712.93/178.76	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.66
712.93/178.77	c calculated reachability. Time: 0.00
712.93/178.77	c  N dy   981    158543     19335     83166         0     47243    253151   5376411    129.87   no data  --
726.10/182.08	c  N dy  1047    168709     19335     83166         0     32555    253151   2112232    129.88    138.98  --
740.87/185.70	c  N dy  1118    179590     19335     83166         0     43435    253151   4388542    130.00    139.40  --
756.43/189.60	c  N dy  1186    191090     19335     83166         0     29005    253151   1129749    129.97    138.03  --
772.01/193.59	c  N dy  1265    203359     19335     83166         0     41274    253151   3644271    129.89    143.23  --
790.40/198.16	c  N dy  1349    216429     19335     83166         0     27379    253151    572906    129.86    150.05  --
808.33/202.69	c  N dy  1443    230365     19335     83166         0     41315    253151   3422923    129.85    140.36  --
818.71/205.28	c  S st  1493    237816     19335     83166         0     48766    253151   4923400    129.82   no data  --
819.51/205.47	c  S st  1493    238320     19335     83166         0     49270    253151   5000141    129.82   no data  --
819.51/205.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
819.51/205.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
820.31/205.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.50
821.50/205.92	c bin-w-bin subsume rem            0 bins  time:  0.03 s
821.50/205.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
821.50/205.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
821.50/205.94	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1055.41/264.54	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 233.47 s
1055.41/264.55	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
1055.81/264.62	c vivif2 --  cl tried    49267 cl shrink        0 lits rem          0 time: 0.29
1056.22/264.79	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.67
1056.62/264.80	c calculated reachability. Time: 0.00
1056.62/264.80	c  N dy  1493    238320     19335     83166         0     49267    253151   4998565    129.82   no data  --
1077.77/270.11	c  N dy  1583    253706     19335     83166         0     36675    253151   2214433    129.59    139.95  --
1101.32/276.08	c  N dy  1687    269990     19335     83166         0     52957    253151   5566136    129.62    137.25  --
1125.63/282.10	c  N dy  1811    287301     19335     83166         0     41279    253151   3019790    129.89    139.90  --
1152.93/289.00	c  N dy  1940    305727     19335     83166         0     59703    253151   6762608    129.90    140.65  --
1153.72/289.23	c  F st  1942    306250     19335     83166         0     30232    253151    492024    129.87    116.95  --
1180.93/296.18	c  N dy  2043    325364     19335     83166         0     49345    253151   4844703    129.87    141.80  --
1210.28/303.60	c  N dy  2179    345602     19335     83166         0     38585    253151   2030529    130.04    138.19  --
1226.64/307.66	c  S st  2261    357480     19335     83166         0     50463    253151   4422274    129.99   no data  --
1227.44/307.85	c  S st  2261    357983     19335     83166         0     50966    253151   4497261    129.99   no data  --
1227.44/307.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1227.44/307.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1227.84/307.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.50
1229.04/308.27	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1229.04/308.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1229.04/308.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
1229.04/308.29	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1400.28/351.16	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 170.77 s
1400.28/351.17	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
1400.67/351.24	c vivif2 --  cl tried    50961 cl shrink        0 lits rem          0 time: 0.27
1401.47/351.42	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.71
1401.47/351.43	c calculated reachability. Time: 0.00
1401.47/351.43	c  N dy  2261    357983     19335     83166         0     50961    253151   4494279    129.99   no data  --
1431.41/358.90	c  N dy  2394    378017     19335     83166         0     38998    253151   1868752    129.95    183.22  --
1461.39/366.41	c  N dy  2535    398061     19335     83166         0     59042    253151   6010411    130.02    138.37  --
1490.88/373.88	c  N dy  2668    418094     19335     83166         0     46080    253151   3161617    130.07    139.20  --
1522.03/381.68	c  N dy  2808    438110     19335     83166         0     66095    253151   7227164    130.08    154.40  --
1551.96/389.14	c  N dy  2944    458214     19335     83166         0     52197    253151   4213538    130.11    140.26  --
1582.30/396.73	c  N dy  3076    478253     19335     83166         0     37238    253151    910214    130.18    139.36  --
1610.67/403.89	c  N dy  3213    498390     19335     83166         0     57372    253151   5123850    130.28    138.36  --
1641.76/411.66	c  N dy  3356    518417     19335     83166         0     41401    253151   1550828    130.37    141.52  --
1668.50/418.39	c  S st  3495    536975     19335     83166         0     59958    253151   5440256    130.48   no data  --
1669.30/418.59	c  S st  3495    537476     19335     83166         0     60459    253151   5518538    130.48   no data  --
1669.70/418.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1669.70/418.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1670.10/418.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.52
1671.31/419.06	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1671.31/419.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1671.31/419.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
1671.31/419.08	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1965.09/492.68	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 293.40 s
1965.09/492.69	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
1965.49/492.77	c vivif2 --  cl tried    60456 cl shrink        0 lits rem          0 time: 0.32
1966.32/492.95	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.73
1966.32/492.96	c calculated reachability. Time: 0.00
1966.32/492.96	c  N dy  3495    537476     19335     83166         0     60456    253151   5517338    130.48   no data  --
1995.04/500.14	c  N dy  3628    557513     19335     83166         0     43498    253151   1789661    130.49    137.85  --
2023.00/507.11	c  N dy  3763    577592     19335     83166         0     63575    253151   5926900    130.58    138.92  --
2052.11/514.44	c  N dy  3901    597647     19335     83166         0     45627    253151   1993310    130.56    148.34  --
2080.49/521.52	c  N dy  4029    617665     19335     83166         0     65645    253151   6116422    130.55    140.24  --
2110.00/528.95	c  N dy  4174    637771     19335     83166         0     46753    253151   2084193    130.62    138.21  --
2139.13/536.22	c  N dy  4314    658038     19335     83166         0     67016    253151   6280300    130.66    143.72  --
2169.06/543.74	c  N dy  4458    678083     19335     83166         0     47061    253151   1931458    130.72    162.83  --
2197.40/550.82	c  N dy  4582    698136     19335     83166         0     67112    253151   6110861    130.73    158.16  --
2227.33/558.39	c  N dy  4715    718142     19335     83166         0     46123    253151   1507204    130.73    154.78  --
2256.11/565.53	c  N dy  4853    738159     19335     83166         0     66139    253151   5652711    130.76    141.57  --
2287.21/573.36	c  N dy  4984    758350     19335     83166         0     44326    253151    938205    130.77    141.87  --
2315.15/580.39	c  N dy  5118    778374     19335     83166         0     64349    253151   5133138    130.82    143.98  --
2346.68/588.25	c  N dy  5250    798485     19335     83166         0     84459    253151   9223494    130.78    137.82  --
2357.86/591.08	c  S st  5303    806214     19335     83166         0     49193    253151   1734086    130.79   no data  --
2358.66/591.26	c  S st  5303    806721     19335     83166         0     49700    253151   1802095    130.79   no data  --
2358.66/591.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2358.66/591.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2359.45/591.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.50
2359.85/591.53	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2359.85/591.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2359.85/591.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
2359.85/591.55	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
2378.22/596.15	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time: 18.31 s
2378.22/596.16	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
2378.22/596.19	c vivif2 --  cl tried    49699 cl shrink        0 lits rem          0 time: 0.12
2379.05/596.35	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.65
2379.05/596.36	c calculated reachability. Time: 0.00
2379.05/596.36	c  N dy  5303    806721     19335     83166         0     49699    253151   1801988    130.79   no data  --
2408.96/603.86	c  N dy  5435    826900     19335     83166         0     69876    253151   6021517    130.82    138.12  --
2442.48/612.28	c  N dy  5571    846964     19335     83166         0     45937    253151    861907    130.88    173.13  --
2473.22/619.95	c  N dy  5706    866983     19335     83166         0     65956    253151   5049311    130.89    138.77  --
2508.75/628.83	c  N dy  5833    887017     19335     83166         0     85988    253151   9203737    130.88    142.27  --
2540.69/636.86	c  N dy  5971    907076     19335     83166         0     61050    253151   3820774    130.94    139.07  --
2574.21/645.27	c  N dy  6103    927128     19335     83166         0     81100    253151   7981558    130.95    137.87  --
2607.74/653.66	c  N dy  6235    947201     19335     83166         0     55175    253151   2397869    130.97    165.79  --
2640.48/661.83	c  N dy  6378    967215     19335     83166         0     75185    253151   6567276    131.01    144.78  --
2677.24/671.05	c  N dy  6519    987577     19335     83166         0     48555    253151    791262    131.05    138.02  --
2709.13/679.00	c  N dy  6661   1007781     19335     83166         0     68759    253151   5032315    131.12    140.04  --
2744.66/687.90	c  N dy  6796   1027879     19335     83166         0     88854    253151   9193765    131.13    160.72  --
2777.39/696.17	c  N dy  6935   1048005     19335     83166         0     60979    253151   3182295    131.15    141.47  --
2809.72/704.23	c  N dy  7065   1068034     19335     83166         0     81008    253151   7296509    131.13    140.66  --
2816.51/705.91	c  F st  7092   1071877     19335     83166         0     84851    253151   8103092    131.14   no data  --
2844.49/712.92	c  N dy  7173   1088087     19335     83166         0     52063    253151   1119504    131.14    138.65  --
2875.22/720.67	c  N dy  7308   1108174     19335     83166         0     72149    253151   5330709    131.17    138.55  --
2910.35/729.43	c  N dy  7445   1128298     19335     83166         0     92272    253151   9547828    131.20    147.10  --
2943.44/737.74	c  N dy  7579   1148555     19335     83166         0     62538    253151   3058656    131.22    140.51  --
2976.57/746.05	c  N dy  7720   1168578     19335     83166         0     82561    253151   7305290    131.28    144.54  --
3012.50/755.06	c  N dy  7843   1188580     19335     83166         0     51563    253151    610212    131.23    144.42  --
3042.07/762.42	c  N dy  7983   1208646     19335     83166         0     71626    253151   4903314    131.30    140.36  --
3044.03/762.98	c  S st  7993   1210081     19335     83166         0     73061    253151   5198195    131.30    128.30  --
3044.83/763.20	c  S st  7993   1210581     19335     83166         0     73561    253151   5273690    131.30   no data  --
3045.23/763.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3045.23/763.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3045.63/763.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.57
3046.83/763.66	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3046.83/763.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3046.83/763.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
3046.83/763.68	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
3326.24/833.67	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 278.97 s
3326.24/833.68	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.03
3326.64/833.75	c vivif2 --  cl tried    73555 cl shrink        0 lits rem          0 time: 0.30
3327.46/833.96	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.82
3327.46/833.97	c calculated reachability. Time: 0.00
3327.46/833.97	c  N dy  7993   1210581     19335     83166         0     73555    253151   5270967    131.30   no data  --
3360.16/842.10	c  N dy  8122   1230631     19335     83166         0     93605    253151   9438311    131.29    139.81  --
3392.49/850.29	c  N dy  8263   1250638     19335     83166         0     61607    253151   2546260    131.35    140.76  --
3424.06/858.16	c  N dy  8407   1270740     19335     83166         0     81709    253151   6738321    131.39    138.89  --
3458.78/866.89	c  N dy  8553   1290784     19335     83166         0    101750    253151  11001411    131.44    146.08  --
3489.91/874.66	c  N dy  8686   1310828     19335     83166         0     68795    253151   3832857    131.44    149.69  --
3521.82/882.65	c  N dy  8818   1330868     19335     83166         0     88834    253151   7953808    131.43    145.97  --
3557.74/891.64	c  N dy  8960   1350949     19335     83166         0     54918    253151    695446    131.47    138.40  --
3587.27/899.03	c  N dy  9089   1371016     19335     83166         0     74984    253151   4903724    131.48    142.78  --
3620.81/907.43	c  N dy  9225   1391127     19335     83166         0     95095    253151   9141951    131.50    139.39  --
3656.36/916.36	c  N dy  9357   1411259     19335     83166         0     60230    253151   1612944    131.50    144.29  --
3689.06/924.59	c  N dy  9495   1431277     19335     83166         0     80247    253151   5785323    131.53    143.46  --
3725.78/933.71	c  N dy  9623   1451322     19335     83166         0    100291    253151   9988680    131.52    152.21  --
3762.14/942.82	c  N dy  9769   1471361     19335     83166         0     64330    253151   2258518    131.57    139.53  --
3795.63/951.23	c  N dy  9903   1491514     19335     83166         0     84482    253151   6486997    131.59    141.89  --
3833.15/960.66	c  N dy 10038   1511585     19335     83166         0    104553    253151  10676729    131.59    139.20  --
3869.08/969.62	c  N dy 10175   1531614     19335     83166         0     67588    253151   2735895    131.61    155.99  --
3903.80/978.38	c  N dy 10313   1551627     19335     83166         0     87601    253151   6979430    131.65    144.50  --
3942.93/988.18	c  N dy 10449   1571710     19335     83166         0    107683    253151  11129987    131.65    142.00  --
3979.65/997.37	c  N dy 10583   1591871     19335     83166         0     69850    253151   3001072    131.67    148.62  --
4015.98/1006.42	c  N dy 10725   1612059     19335     83166         0     90037    253151   7217937    131.69    140.78  --
4055.09/1016.23	c  N dy 10851   1632220     19335     83166         0    110194    253151  11369794    131.68    142.48  --
4091.81/1025.49	c  N dy 10987   1652330     19335     83166         0     71302    253151   3134665    131.71    140.40  --
4127.74/1034.44	c  N dy 11123   1672420     19335     83166         0     91392    253151   7331657    131.73    145.57  --
4167.26/1044.37	c  N dy 11250   1692513     19335     83166         0    111484    253151  11560294    131.73    145.08  --
4199.99/1052.59	c  S st 11373   1710582     19335     83166         0     69554    253151   2547818    131.74   no data  --
4201.22/1052.82	c  S st 11373   1711085     19335     83166         0     70057    253151   2628360    131.74   no data  --
4201.22/1052.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4201.22/1052.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4201.58/1052.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.57
4202.38/1053.16	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4202.38/1053.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4202.38/1053.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19335 time:  0.03 s
4202.38/1053.18	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
4237.10/1061.87	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 34.64 s
4237.10/1061.88	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
4237.50/1061.92	c vivif2 --  cl tried    70055 cl shrink        0 lits rem          0 time: 0.18
4238.31/1062.13	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.82
4238.31/1062.13	c calculated reachability. Time: 0.00
4238.31/1062.13	c  N dy 11373   1711085     19335     83166         0     70055    253151   2627661    131.74   no data  --
4272.63/1070.79	c  N dy 11514   1731169     19335     83166         0     90137    253151   6842394    131.75    139.14  --
4310.59/1080.21	c  N dy 11640   1751193     19335     83166         0    110161    253151  10966501    131.73    139.36  --
4349.28/1089.92	c  N dy 11774   1771723     19335     83166         0     69691    253151   2336728    131.75    138.72  --
4385.23/1098.96	c  N dy 11911   1791804     19335     83166         0     89771    253151   6513434    131.76    146.29  --
4426.32/1109.28	c  N dy 12043   1812222     19335     83166         0    110188    253151  10816279    131.77    140.94  --
4467.83/1119.60	c  N dy 12181   1832357     19335     83166         0     68327    253151   1866094    131.77    139.32  --
4503.79/1128.65	c  N dy 12314   1852379     19335     83166         0     88347    253151   6056173    131.77    140.75  --
4543.70/1138.65	c  N dy 12444   1872435     19335     83166         0    108401    253151  10212094    131.76    138.92  --
4586.79/1149.41	c  N dy 12581   1892581     19335     83166         0     65547    253151   1085163    131.76    144.81  --
4622.33/1158.36	c  N dy 12712   1912939     19335     83166         0     85904    253151   5303364    131.76    141.59  --
4661.85/1168.24	c  N dy 12846   1933024     19335     83166         0    105987    253151   9482368    131.76    142.02  --
4705.76/1179.26	c  N dy 12983   1953129     19335     83166         0    126092    253151  13659072    131.77    141.67  --
4742.45/1188.40	c  N dy 13118   1973235     19335     83166         0     82200    253151   4398832    131.78    138.87  --
4781.57/1198.29	c  N dy 13267   1993305     19335     83166         0    102269    253151   8613545    131.81    153.44  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368587-1305398056/watcher-3368587-1305398056 -o /tmp/evaluation-result-3368587-1305398056/solver-3368587-1305398056 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368587-1305398056.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: 1.61 3.09 3.59 7/277 31062
/proc/meminfo: memFree=25146056/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 730036200 52465664 352 33554432000 4194304 4650419 140737161171808 18446744073709551615 47625128216498 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31062/statm: 12809 352 303 112 0 7774 0
[pid=31062/tid=31063] ppid=31060 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 730036200 52465664 352 33554432000 4194304 4650419 140737161171808 18446744073709551615 47625128216498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 730036200 52465664 352 33554432000 4194304 4650419 140737161171808 18446744073709551615 47625128216498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730036201 52465664 352 33554432000 4194304 4650419 140737161171808 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.107323 s]
/proc/loadavg: 1.61 3.09 3.59 7/277 31062
/proc/meminfo: memFree=25146056/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=183272 CPUtime=0.26 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 480 0 0 0 26 0 0 0 18 0 4 0 730036200 187670528 410 33554432000 4194304 4650419 140737161171808 18446744073709551615 260020092683 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31062/statm: 45818 432 331 112 0 40783 0
[pid=31062/tid=31063] ppid=31060 vsize=183272 CPUtime=0.07 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 11 0 0 0 7 0 0 0 25 0 4 0 730036200 187670528 448 33554432000 4194304 4650419 140737161171808 18446744073709551615 260020395835 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=183272 CPUtime=0.09 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 55 0 0 0 9 0 0 0 18 0 4 0 730036200 187670528 471 33554432000 4194304 4650419 140737161171808 18446744073709551615 260020395835 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=183272 CPUtime=0.04 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 7 0 0 0 4 0 0 0 18 0 4 0 730036201 187670528 491 33554432000 4194304 4650419 140737161171808 18446744073709551615 260020056773 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 183272

[startup+0.201315 s]
/proc/loadavg: 1.61 3.09 3.59 7/277 31062
/proc/meminfo: memFree=25146056/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=223820 CPUtime=0.44 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 10029 0 0 0 43 1 0 0 18 0 4 0 730036200 229191680 8964 33554432000 4194304 4650419 140737161171808 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 55955 8965 356 112 0 50920 0
[pid=31062/tid=31063] ppid=31060 vsize=223820 CPUtime=0.07 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 229 0 0 0 7 0 0 0 25 0 4 0 730036200 229191680 8965 33554432000 4194304 4650419 140737161171808 18446744073709551615 260020395835 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=223820 CPUtime=0.16 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 3574 0 0 0 16 0 0 0 18 0 4 0 730036200 229191680 8965 33554432000 4194304 4650419 140737161171808 18446744073709551615 4369240 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=223820 CPUtime=0.13 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 3569 0 0 0 13 0 0 0 18 0 4 0 730036201 229191680 8966 33554432000 4194304 4650419 140737161171808 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 223820

[startup+0.30026 s]
/proc/loadavg: 1.61 3.09 3.59 7/277 31062
/proc/meminfo: memFree=25146056/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=254120 CPUtime=0.83 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 16063 0 0 0 82 1 0 0 18 0 4 0 730036200 260218880 14499 33554432000 4194304 4650419 140737161171808 18446744073709551615 260020093530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 63530 14516 377 112 0 58495 0
[pid=31062/tid=31063] ppid=31060 vsize=254120 CPUtime=0.16 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 3063 0 0 0 16 0 0 0 25 0 4 0 730036200 260218880 14521 33554432000 4194304 4650419 140737161171808 18446744073709551615 4369270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=254120 CPUtime=0.25 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 5666 0 0 0 25 0 0 0 18 0 4 0 730036200 260218880 14528 33554432000 4194304 4650419 140737161171808 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=254120 CPUtime=0.23 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 3655 0 0 0 23 0 0 0 18 0 4 0 730036201 260218880 14532 33554432000 4194304 4650419 140737161171808 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 254120

[startup+0.701189 s]
/proc/loadavg: 1.61 3.09 3.59 7/277 31062
/proc/meminfo: memFree=25146056/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=255412 CPUtime=2.43 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 29283 0 0 0 239 4 0 0 18 0 4 0 730036200 261541888 22724 33554432000 4194304 4650419 140737161171808 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 63853 22724 391 112 0 58818 0
[pid=31062/tid=31063] ppid=31060 vsize=255412 CPUtime=0.55 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 7143 0 0 0 55 0 0 0 25 0 4 0 730036200 261541888 22724 33554432000 4194304 4650419 140737161171808 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=255412 CPUtime=0.66 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 9320 0 0 0 65 1 0 0 18 0 4 0 730036200 261541888 22724 33554432000 4194304 4650419 140737161171808 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=255412 CPUtime=0.62 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 3980 0 0 0 62 0 0 0 18 0 4 0 730036201 261541888 22724 33554432000 4194304 4650419 140737161171808 18446744073709551615 4315564 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 255412

[startup+1.50104 s]
/proc/loadavg: 2.20 3.19 3.62 9/281 31066
/proc/meminfo: memFree=25025372/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=255412 CPUtime=5.62 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 32268 0 0 0 558 4 0 0 19 0 4 0 730036200 261541888 25709 33554432000 4194304 4650419 140737161171808 18446744073709551615 4315589 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 63853 25709 391 112 0 58818 0
[pid=31062/tid=31063] ppid=31060 vsize=255412 CPUtime=1.35 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 7876 0 0 0 134 1 0 0 25 0 4 0 730036200 261541888 25709 33554432000 4194304 4650419 140737161171808 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=255412 CPUtime=1.46 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 10117 0 0 0 145 1 0 0 19 0 4 0 730036200 261541888 25709 33554432000 4194304 4650419 140737161171808 18446744073709551615 4366130 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=255412 CPUtime=1.42 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 4663 0 0 0 142 0 0 0 19 0 4 0 730036201 261541888 25709 33554432000 4194304 4650419 140737161171808 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 255412

[startup+3.10075 s]
/proc/loadavg: 2.20 3.19 3.62 9/281 31067
/proc/meminfo: memFree=25008384/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=372944 CPUtime=12 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 37578 0 0 0 1195 5 0 0 24 0 4 0 730036200 381894656 31019 33554432000 4194304 4650419 140737161171808 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 93236 31019 391 112 0 88201 0
[pid=31062/tid=31063] ppid=31060 vsize=372944 CPUtime=2.94 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 9221 0 0 0 293 1 0 0 25 0 4 0 730036200 381894656 31019 33554432000 4194304 4650419 140737161171808 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=372944 CPUtime=3.05 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 11460 0 0 0 304 1 0 0 23 0 4 0 730036200 381894656 31019 33554432000 4194304 4650419 140737161171808 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=372944 CPUtime=3.03 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 5940 0 0 0 302 1 0 0 23 0 4 0 730036201 381894656 31019 33554432000 4194304 4650419 140737161171808 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12
Current children cumulated vsize (KiB) 372944

[startup+6.30116 s]
/proc/loadavg: 2.66 3.27 3.64 9/281 31067
/proc/meminfo: memFree=24893204/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=272072 CPUtime=24.78 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 53835 0 0 0 2468 10 0 0 25 0 4 0 730036200 278601728 28186 33554432000 4194304 4650419 140737161171808 18446744073709551615 4335219 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 68018 28186 393 112 0 62983 0
[pid=31062/tid=31063] ppid=31060 vsize=272072 CPUtime=6.11 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 13233 0 0 0 609 2 0 0 25 0 4 0 730036200 278601728 28186 33554432000 4194304 4650419 140737161171808 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=272072 CPUtime=6.26 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 15554 0 0 0 624 2 0 0 25 0 4 0 730036200 278601728 28186 33554432000 4194304 4650419 140737161171808 18446744073709551615 4364427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=272072 CPUtime=6.22 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 10072 0 0 0 620 2 0 0 25 0 4 0 730036201 278601728 28186 33554432000 4194304 4650419 140737161171808 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.78
Current children cumulated vsize (KiB) 272072

[startup+12.701 s]
/proc/loadavg: 3.09 3.35 3.67 9/281 31067
/proc/meminfo: memFree=24690020/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=542932 CPUtime=50.31 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 113956 0 0 0 5006 25 0 0 25 0 4 0 730036200 555962368 76622 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 135733 76623 395 112 0 130698 0
[pid=31062/tid=31063] ppid=31060 vsize=542932 CPUtime=12.46 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 39708 0 0 0 1237 9 0 0 25 0 4 0 730036200 555962368 76624 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=542932 CPUtime=12.65 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 23553 0 0 0 1261 4 0 0 25 0 4 0 730036200 555962368 76625 33554432000 4194304 4650419 140737161171808 18446744073709551615 260020056773 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=542932 CPUtime=12.62 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 16441 0 0 0 1259 3 0 0 25 0 4 0 730036201 555962368 76626 33554432000 4194304 4650419 140737161171808 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.31
Current children cumulated vsize (KiB) 542932

[startup+25.5006 s]
/proc/loadavg: 4.18 3.57 3.74 10/281 31067
/proc/meminfo: memFree=24504672/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=743852 CPUtime=101.4 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 162243 0 0 0 10105 35 0 0 25 0 4 0 730036200 761704448 104487 33554432000 4194304 4650419 140737161171808 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 185963 104487 395 112 0 180928 0
[pid=31062/tid=31063] ppid=31060 vsize=743852 CPUtime=25.14 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 45759 0 0 0 2504 10 0 0 25 0 4 0 730036200 761704448 104487 33554432000 4194304 4650419 140737161171808 18446744073709551615 4443768 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=743852 CPUtime=25.45 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 34772 0 0 0 2538 7 0 0 25 0 4 0 730036200 761704448 104487 33554432000 4194304 4650419 140737161171808 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=743852 CPUtime=25.43 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 38098 0 0 0 2535 8 0 0 25 0 4 0 730036201 761704448 104487 33554432000 4194304 4650419 140737161171808 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 743852

[startup+51.1009 s]
/proc/loadavg: 5.55 3.94 3.85 9/281 31068
/proc/meminfo: memFree=24341412/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=821448 CPUtime=203.59 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 259440 0 0 0 20302 57 0 0 25 0 4 0 730036200 841162752 133039 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 205362 133039 395 112 0 200327 0
[pid=31062/tid=31063] ppid=31060 vsize=821448 CPUtime=50.53 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 64349 0 0 0 5040 13 0 0 25 0 4 0 730036200 841162752 133039 33554432000 4194304 4650419 140737161171808 18446744073709551615 4366018 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=821448 CPUtime=51.04 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 60749 0 0 0 5092 12 0 0 25 0 4 0 730036200 841162752 133039 33554432000 4194304 4650419 140737161171808 18446744073709551615 4363500 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=821448 CPUtime=51.01 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 55808 0 0 0 5089 12 0 0 25 0 4 0 730036201 841162752 133039 33554432000 4194304 4650419 140737161171808 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.59
Current children cumulated vsize (KiB) 821448

[startup+102.301 s]
/proc/loadavg: 7.09 4.60 4.08 9/281 31069
/proc/meminfo: memFree=24221596/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=785628 CPUtime=407.99 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 403100 0 0 0 40709 90 0 0 25 0 4 0 730036200 804483072 144299 33554432000 4194304 4650419 140737161171808 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 196407 144299 395 112 0 191372 0
[pid=31062/tid=31063] ppid=31060 vsize=785628 CPUtime=101.31 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 88793 0 0 0 10110 21 0 0 25 0 4 0 730036200 804483072 144299 33554432000 4194304 4650419 140737161171808 18446744073709551615 4363331 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=785628 CPUtime=102.26 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 83473 0 0 0 10207 19 0 0 25 0 4 0 730036200 804483072 144300 33554432000 4194304 4650419 140737161171808 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=785628 CPUtime=102.22 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 79330 0 0 0 10201 21 0 0 25 0 4 0 730036201 804483072 144300 33554432000 4194304 4650419 140737161171808 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.99
Current children cumulated vsize (KiB) 785628

[startup+162.301 s]

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

[pid=31062] ppid=31060 vsize=1283116 CPUtime=2562.64 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 1666764 0 0 0 255830 434 0 0 25 0 4 0 730036200 1313910784 247776 33554432000 4194304 4650419 140737161171808 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 320779 247776 395 112 0 315744 0
[pid=31062/tid=31063] ppid=31060 vsize=1283116 CPUtime=636.75 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 345199 0 0 0 63576 99 0 0 25 0 4 0 730036200 1313910784 247776 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=1283116 CPUtime=642.25 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 329176 0 0 0 64117 108 0 0 25 0 4 0 730036200 1313910784 247776 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=1283116 CPUtime=642.21 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 273794 0 0 0 64133 88 0 0 25 0 4 0 730036201 1313910784 247776 33554432000 4194304 4650419 140737161171808 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2562.64
Current children cumulated vsize (KiB) 1283116

[startup+702.301 s]
/proc/loadavg: 8.10 7.65 6.00 9/281 31088
/proc/meminfo: memFree=23489904/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=1303404 CPUtime=2802.14 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 1727021 0 0 0 279755 459 0 0 25 0 4 0 730036200 1334685696 251932 33554432000 4194304 4650419 140737161171808 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 325851 251932 395 112 0 320816 0
[pid=31062/tid=31063] ppid=31060 vsize=1303404 CPUtime=696.26 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 345199 0 0 0 69527 99 0 0 25 0 4 0 730036200 1334685696 251932 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=1303404 CPUtime=702.25 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 333615 0 0 0 70115 110 0 0 25 0 4 0 730036200 1334685696 251932 33554432000 4194304 4650419 140737161171808 18446744073709551615 4363660 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=1303404 CPUtime=702.2 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 300194 0 0 0 70120 100 0 0 25 0 4 0 730036201 1334685696 251932 33554432000 4194304 4650419 140737161171808 18446744073709551615 4331074 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.14
Current children cumulated vsize (KiB) 1303404

[startup+762.301 s]
/proc/loadavg: 8.19 7.77 6.14 9/281 31090
/proc/meminfo: memFree=23483936/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=1263520 CPUtime=3041.67 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 1816744 0 0 0 303679 488 0 0 25 0 4 0 730036200 1293844480 250423 33554432000 4194304 4650419 140737161171808 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 315880 250423 395 112 0 310845 0
[pid=31062/tid=31063] ppid=31060 vsize=1263520 CPUtime=755.77 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 348998 0 0 0 75477 100 0 0 25 0 4 0 730036200 1293844480 250423 33554432000 4194304 4650419 140737161171808 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=1263520 CPUtime=762.26 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 362039 0 0 0 76107 119 0 0 25 0 4 0 730036200 1293844480 250423 33554432000 4194304 4650419 140737161171808 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=1263520 CPUtime=762.21 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 327334 0 0 0 76113 108 0 0 25 0 4 0 730036201 1293844480 250423 33554432000 4194304 4650419 140737161171808 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.67
Current children cumulated vsize (KiB) 1263520

[startup+822.301 s]
/proc/loadavg: 8.15 7.83 6.26 9/281 31091
/proc/meminfo: memFree=23493936/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=1294808 CPUtime=3281.13 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 1895583 0 0 0 327592 521 0 0 25 0 4 0 730036200 1325883392 248219 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 323702 248219 395 112 0 318667 0
[pid=31062/tid=31063] ppid=31060 vsize=1294808 CPUtime=815.28 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 374999 0 0 0 81417 111 0 0 25 0 4 0 730036200 1325883392 248219 33554432000 4194304 4650419 140737161171808 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=1294808 CPUtime=822.26 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 389528 0 0 0 82095 131 0 0 25 0 4 0 730036200 1325883392 248219 33554432000 4194304 4650419 140737161171808 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=1294808 CPUtime=822.2 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 352254 0 0 0 82101 119 0 0 25 0 4 0 730036201 1325883392 248219 33554432000 4194304 4650419 140737161171808 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.13
Current children cumulated vsize (KiB) 1294808

[startup+882.31 s]
/proc/loadavg: 8.09 7.87 6.37 9/281 31093
/proc/meminfo: memFree=23478772/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=1251604 CPUtime=3520.65 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 2000038 0 0 0 351508 557 0 0 25 0 4 0 730036200 1281642496 250736 33554432000 4194304 4650419 140737161171808 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 312901 250736 395 112 0 307866 0
[pid=31062/tid=31063] ppid=31060 vsize=1251604 CPUtime=874.79 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 399572 0 0 0 87357 122 0 0 25 0 4 0 730036200 1281642496 250736 33554432000 4194304 4650419 140737161171808 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=1251604 CPUtime=882.25 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 417088 0 0 0 88085 140 0 0 25 0 4 0 730036200 1281642496 250736 33554432000 4194304 4650419 140737161171808 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=1251604 CPUtime=882.21 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 377520 0 0 0 88094 127 0 0 25 0 4 0 730036201 1281642496 250736 33554432000 4194304 4650419 140737161171808 18446744073709551615 4363311 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.65
Current children cumulated vsize (KiB) 1251604

[startup+942.301 s]
/proc/loadavg: 8.03 7.89 6.47 9/281 31095
/proc/meminfo: memFree=23385008/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=1330232 CPUtime=3760.11 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 2119014 0 0 0 375413 598 0 0 25 0 4 0 730036200 1362157568 271173 33554432000 4194304 4650419 140737161171808 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 332558 271174 395 112 0 327523 0
[pid=31062/tid=31063] ppid=31060 vsize=1330232 CPUtime=934.28 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 426893 0 0 0 93297 131 0 0 25 0 4 0 730036200 1362157568 271174 33554432000 4194304 4650419 140737161171808 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=1330232 CPUtime=942.25 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 448555 0 0 0 94077 148 0 0 25 0 4 0 730036200 1362157568 271174 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=1330232 CPUtime=942.19 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 407777 0 0 0 94080 139 0 0 25 0 4 0 730036201 1362157568 271174 33554432000 4194304 4650419 140737161171808 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.11
Current children cumulated vsize (KiB) 1330232

[startup+1002.3 s]
/proc/loadavg: 8.10 7.94 6.57 9/281 31096
/proc/meminfo: memFree=23376552/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=1389548 CPUtime=3999.6 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 2185442 0 0 0 399332 628 0 0 25 0 4 0 730036200 1422897152 274862 33554432000 4194304 4650419 140737161171808 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 347387 274862 395 112 0 342352 0
[pid=31062/tid=31063] ppid=31060 vsize=1389548 CPUtime=993.79 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 441320 0 0 0 99242 137 0 0 25 0 4 0 730036200 1422897152 274862 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=1389548 CPUtime=1002.25 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 448555 0 0 0 100077 148 0 0 25 0 4 0 730036200 1422897152 274862 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=1389548 CPUtime=1002.19 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 433358 0 0 0 100068 151 0 0 25 0 4 0 730036201 1422897152 274862 33554432000 4194304 4650419 140737161171808 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.6
Current children cumulated vsize (KiB) 1389548

[startup+1062.3 s]
/proc/loadavg: 8.18 7.98 6.67 9/281 31098
/proc/meminfo: memFree=23288108/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=1320592 CPUtime=4239.11 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 2237598 0 0 0 423257 654 0 0 25 0 4 0 730036200 1352286208 287736 33554432000 4194304 4650419 140737161171808 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 330148 287736 395 112 0 325113 0
[pid=31062/tid=31063] ppid=31060 vsize=1320592 CPUtime=1053.3 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 449410 0 0 0 105188 142 0 0 25 0 4 0 730036200 1352286208 287736 33554432000 4194304 4650419 140737161171808 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=1320592 CPUtime=1062.25 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 448555 0 0 0 106077 148 0 0 25 0 4 0 730036200 1352286208 287736 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=1320592 CPUtime=1062.19 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 456067 0 0 0 106056 163 0 0 25 0 4 0 730036201 1352286208 287736 33554432000 4194304 4650419 140737161171808 18446744073709551615 4229508 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.11
Current children cumulated vsize (KiB) 1320592

[startup+1122.3 s]
/proc/loadavg: 8.13 7.99 6.76 9/281 31099
/proc/meminfo: memFree=23150808/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=1536932 CPUtime=4478.6 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 2325946 0 0 0 447173 687 0 0 25 0 4 0 730036200 1573818368 321841 33554432000 4194304 4650419 140737161171808 18446744073709551615 4333678 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 384233 321841 395 112 0 379198 0
[pid=31062/tid=31063] ppid=31060 vsize=1536932 CPUtime=1112.81 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 477313 0 0 0 111125 156 0 0 25 0 4 0 730036200 1573818368 321841 33554432000 4194304 4650419 140737161171808 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=1536932 CPUtime=1122.26 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 448705 0 0 0 112078 148 0 0 25 0 4 0 730036200 1573818368 321841 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=1536932 CPUtime=1122.19 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 487933 0 0 0 112048 171 0 0 25 0 4 0 730036201 1573818368 321841 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4478.6
Current children cumulated vsize (KiB) 1536932

[startup+1182.3 s]
/proc/loadavg: 8.16 8.03 6.84 9/281 31101
/proc/meminfo: memFree=23194804/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=1415716 CPUtime=4718.1 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 2373431 0 0 0 471098 712 0 0 25 0 4 0 730036200 1449693184 311323 33554432000 4194304 4650419 140737161171808 18446744073709551615 4229486 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 353929 311323 395 112 0 348894 0
[pid=31062/tid=31063] ppid=31060 vsize=1415716 CPUtime=1172.31 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 500957 0 0 0 117064 167 0 0 25 0 4 0 730036200 1449693184 311323 33554432000 4194304 4650419 140737161171808 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=1415716 CPUtime=1182.26 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 448705 0 0 0 118078 148 0 0 25 0 4 0 730036200 1449693184 311323 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476133 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=1415716 CPUtime=1182.19 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 487933 0 0 0 118048 171 0 0 25 0 4 0 730036201 1449693184 311323 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476111 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4718.1
Current children cumulated vsize (KiB) 1415716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.12 8.02 6.86 5/276 31103
/proc/meminfo: memFree=23904864/32951124 swapFree=67083432/67111528
[pid=31062] ppid=31060 vsize=1488008 CPUtime=4800.36 cores=0,2,4,6
/proc/31062/stat : 31062 (strangenight1-m) R 31060 31062 31021 0 -1 4202496 2392396 0 0 0 479314 722 0 0 25 0 4 0 730036200 1523720192 311846 33554432000 4194304 4650419 140737161171808 18446744073709551615 4303950 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31062/statm: 372002 311846 395 112 0 366967 0
[pid=31062/tid=31063] ppid=31060 vsize=1488008 CPUtime=1192.74 cores=0,2,4,6
/proc/31062/task/31063/stat : 31063 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 510558 0 0 0 119102 172 0 0 25 0 4 0 730036200 1523720192 311846 33554432000 4194304 4650419 140737161171808 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31062/tid=31064] ppid=31060 vsize=1488008 CPUtime=1202.87 cores=0,2,4,6
/proc/31062/task/31064/stat : 31064 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 448907 0 0 0 120139 148 0 0 25 0 4 0 730036200 1523720192 311846 33554432000 4194304 4650419 140737161171808 18446744073709551615 4442061 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31062/tid=31065] ppid=31060 vsize=1488008 CPUtime=1202.8 cores=0,2,4,6
/proc/31062/task/31065/stat : 31065 (strangenight1-m) R 31060 31062 31021 0 -1 4202560 488237 0 0 0 120109 171 0 0 25 0 4 0 730036201 1523720192 311846 33554432000 4194304 4650419 140737161171808 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 1488008

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.97
CPU time (s): 4800.45
CPU user time (s): 4793.17
CPU system time (s): 7.27689
CPU usage (%): 399.05
Max. virtual memory (cumulated for all children) (KiB): 1536932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.17
system time used= 7.27689
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2392400
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= 2879
involuntary context switches= 36626

runsolver used 2.82157 second user time and 7.08092 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-14 20:34:16
IDJOB=3368587
IDBENCH=82596
IDSOLVER=1846
FILE ID=node110/3368587-1305398056
RUNJOBID= node110-1305398056-31039
PBS_JOBID= 13324476
Free space on /tmp= 73584 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3368587-1305398056/watcher-3368587-1305398056 -o /tmp/evaluation-result-3368587-1305398056/solver-3368587-1305398056 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368587-1305398056.cnf

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

MD5SUM BENCH= 425b4c5e5535f7d6b9d17ca8feb0ac3e
RANDOM SEED=562151510

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.830
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.83
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.830
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.76
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.830
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.830
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.830
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:     32951124 kB
MemFree:      25146336 kB
Buffers:        275724 kB
Cached:        4041220 kB
SwapCached:       1440 kB
Active:        4290584 kB
Inactive:      3183820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25146336 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:           14452 kB
Writeback:           0 kB
AnonPages:     3155976 kB
Mapped:          22984 kB
Slab:           246344 kB
PageTables:      21364 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 46190636 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= 73580 MiB
End job on node110 at 2011-05-14 20:54:21