Trace number 3173852

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.34 1201.88

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf
MD5SUM2ca6073d25d8d5f2648d590c0edc75c0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables40000
Number of clauses168000
Sum of the clauses size504000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3168000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173852-1304031818.cnf'
0.00/0.00	c -- header says num vars:          40000
0.00/0.00	c -- header says num clauses:      168000
0.68/0.20	c -- clauses added:            0 learnts,       168000 normals,            0 xors
0.68/0.20	c -- vars added      40000
0.68/0.20	c Parsing time:  0.11 s
0.68/0.21	c  N st     0         0     40000    168000         0         0    504000         0   no data   no data
0.68/0.47	c asymm  cl-useful: 0/168000/168000 lits-rem:0 time: 0.16
0.68/0.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.10
2.42/0.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.42/0.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2.42/0.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2.42/0.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40000 time:  0.01 s
2.42/0.65	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
3.45/0.95	c lits-rem:         0  cl-subs:        0  v-elim:   1002  v-fix:    0  time:  0.30 s
3.45/0.96	c Finding binary XORs  T:     0.01 s  found:       0
3.84/1.03	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
3.84/1.03	c calculated reachability. Time: 0.00
3.84/1.04	c Calc default polars -  time:   0.02 s pos:   17808 undec:    4426 neg:   17766
3.84/1.04	c =========================================================================================
3.84/1.04	c types(t): F = full restart, N = normal restart
3.84/1.04	c types(t): S = simplification begin/end, E = solution found
3.84/1.04	c restart types(rt): st = static, dy = dynamic
3.84/1.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.84/1.04	c  B st     0         0     38998    166873         0         0    506712         0   no data   no data
12.23/3.18	c  N dy    21      4019     38998    166873         0      4017    506712   1226401    187.55    198.08
20.61/5.27	c  N dy    45      8080     38998    166873         0      8078    506712   2291130    178.98    193.60
29.41/7.47	c  N dy    72     12182     38998    166873         0     12180    506712   3372565    177.56    189.03
38.59/9.70	c  N dy    98     16256     38998    166873         0     16254    506712   4426761    176.42    195.74
47.78/12.04	c  N dy   127     20385     38998    166873         0     10385    506712    772218    176.87    192.24
56.56/14.26	c  N dy   155     24445     38998    166873         0     14445    506712   1890531    178.02    197.90
57.76/14.56	c  F st   159     25000     38998    166873         0     15000    506712   2023467    177.67   no data
69.75/17.53	c  N dy   165     30000     38998    166873         0     19999    506712   3900414    177.67   no data
69.75/17.53	c  S st   165     30000     38998    166873         0     19999    506712   3900414    177.67   no data
70.94/17.81	c  S st   165     30500     38998    166873         0     20499    506712   4001298    177.67   no data
70.94/17.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
71.74/18.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
72.14/18.13	c blocked clauses removed:      823 vars:    132 tried:       38998 T: 0.02 s
72.14/18.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
72.14/18.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
72.14/18.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38866 time:  0.01 s
72.14/18.19	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
73.34/18.42	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.23 s
74.56/18.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.14/19.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.83 s
78.95/19.87	c asymm  cl-useful: 0/166039/166039 lits-rem:0 time: 0.20
78.95/19.88	c calculated reachability. Time: 0.00
78.95/19.88	c  N dy   165     30500     38854    166039         0     19658    504303   3258763    177.67   no data
88.92/22.35	c  N dy   195     34750     38854    166039         0     23908    504303   4429683    178.30    189.17
98.51/24.75	c  N dy   226     38780     38854    166039         0     27938    504303   5492362    178.33    191.17
108.09/27.11	c  N dy   252     42822     38854    166039         0     16903    504303   1253285    178.19    188.43
114.51/28.78	c  S st   273     45750     38854    166039         0     19831    504303   2026742    177.95    169.50
115.68/29.06	c  S st   273     46253     38854    166039         0     20334    504303   2141958    177.95   no data
115.68/29.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
116.88/29.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
116.88/29.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116.88/29.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
116.88/29.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
117.28/29.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38854 time:  0.01 s
117.28/29.42	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
118.07/29.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
118.49/29.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
120.07/30.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.33 s
120.07/30.17	c vivif2 --  cl tried   166039 cl shrink        0 lits rem          0 time: 0.03
120.47/30.21	c vivif2 --  cl tried    20334 cl shrink        0 lits rem          0 time: 0.04
121.26/30.41	c asymm  cl-useful: 0/166039/166039 lits-rem:0 time: 0.20
121.26/30.42	c calculated reachability. Time: 0.00
121.26/30.42	c  N dy   273     46253     38854    166039         0     20334    504303   2141958    177.95   no data
130.45/32.78	c  N dy   303     50339     38854    166039         0     24420    504303   3247812    178.22    194.53
140.04/35.18	c  N dy   332     54416     38854    166039         0     28497    504303   4339868    178.43    188.10
150.42/37.71	c  N dy   361     58636     38854    166039         0     32717    504303   5510870    178.91    188.63
160.01/40.11	c  N dy   386     62651     38854    166039         0     36732    504303   6617610    178.65    191.23
169.20/42.41	c  N dy   412     66681     38854    166039         0     22225    504303   1770974    178.59    200.50
175.19/43.99	c  S st   430     69380     38854    166039         0     24924    504303   2511208    178.61   no data
176.38/44.27	c  S st   430     69885     38854    166039         0     25429    504303   2596127    178.61   no data
176.38/44.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
177.58/44.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.23
177.58/44.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
177.58/44.58	c bin-w-bin subsume rem            0 bins  time:  0.01 s
177.58/44.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
177.98/44.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38854 time:  0.01 s
177.98/44.63	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
178.78/44.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
179.18/44.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
181.18/45.50	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.46 s
181.58/45.52	c vivif2 --  cl tried   166039 cl shrink        0 lits rem          0 time: 0.03
181.58/45.57	c vivif2 --  cl tried    25428 cl shrink        0 lits rem          0 time: 0.05
182.38/45.78	c asymm  cl-useful: 0/166039/166039 lits-rem:0 time: 0.21
182.38/45.79	c calculated reachability. Time: 0.00
182.38/45.79	c  N dy   430     69885     38854    166039         0     25428    504303   2594829    178.61   no data
193.58/48.55	c  N dy   460     74584     38854    166039         0     30127    504303   3882989    178.50    189.76
205.15/51.46	c  N dy   493     79532     38854    166039         0     35075    504303   5228860    178.54    199.81
217.92/54.66	c  N dy   532     84733     38854    166039         0     40276    504303   6723007    179.14    193.60
224.71/56.32	c  F st   550     87502     38854    166039         0     22274    504303   1134390    178.95    143.79
232.72/58.38	c  N st   555     90802     38854    166039         0     25574    504303   2296879    178.95   no data
247.08/61.92	c  N dy   587     96714     38854    166039         0     31486    504303   4136621    179.02    189.52
261.86/65.68	c  N dy   629    102933     38854    166039         0     37705    504303   5839235    179.10    191.75
266.66/66.88	c  S st   643    104829     38854    166039         0     39601    504303   6347516    179.14   no data
267.87/67.20	c  S st   643    105333     38854    166039         0     40105    504303   6458003    179.14   no data
268.28/67.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
269.05/67.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
269.45/67.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
269.45/67.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
269.45/67.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
269.45/67.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38854 time:  0.01 s
269.45/67.58	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
270.65/67.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
272.27/68.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
279.44/70.10	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.77 s
279.84/70.12	c vivif2 --  cl tried   166039 cl shrink        0 lits rem          0 time: 0.03
280.24/70.24	c vivif2 --  cl tried    40101 cl shrink        0 lits rem          0 time: 0.12
281.05/70.48	c asymm  cl-useful: 0/166039/166039 lits-rem:0 time: 0.24
281.05/70.49	c calculated reachability. Time: 0.00
281.05/70.49	c  N dy   643    105333     38854    166039         0     40101    504303   6454373    179.14   no data
297.81/74.65	c  N dy   687    112157     38854    166039         0     24541    504303   1274856    178.90    191.19
315.39/79.06	c  N dy   741    119395     38854    166039         0     31779    504303   3267430    179.15    194.08
334.56/83.81	c  N dy   800    127065     38854    166039         0     39449    504303   5357172    179.31    189.25
354.94/88.99	c  N dy   860    135223     38854    166039         0     23913    504303    712286    179.75    191.71
375.70/94.14	c  N dy   924    143923     38854    166039         0     32612    504303   3081123    179.84    208.25
398.87/99.99	c  N dy   989    153429     38854    166039         0     42117    504303   5705706    179.86    192.38
410.86/102.93	c  S st  1024    158000     38854    166039         0     46688    504303   6979343    180.05   no data
412.06/103.25	c  S st  1024    158500     38854    166039         0     47188    504303   7080738    180.05   no data
412.06/103.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
413.28/103.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
413.28/103.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
413.65/103.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
413.65/103.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
413.65/103.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38854 time:  0.01 s
413.65/103.65	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
414.45/103.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
416.45/104.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
426.46/106.86	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.43 s
426.46/106.89	c vivif2 --  cl tried   166039 cl shrink        0 lits rem          0 time: 0.03
427.23/107.02	c vivif2 --  cl tried    47183 cl shrink        0 lits rem          0 time: 0.14
428.03/107.27	c asymm  cl-useful: 0/166039/166039 lits-rem:0 time: 0.25
428.03/107.29	c calculated reachability. Time: 0.00
428.03/107.29	c  N dy  1024    158500     38854    166039         0     47183    504303   7078059    180.05   no data
452.82/113.49	c  N dy  1093    168708     38854    166039         0     32549    504303   2704376    180.09    195.02
479.55/120.14	c  N dy  1166    179518     38854    166039         0     43359    504303   5719507    180.21    190.27
508.32/127.31	c  N dy  1242    191018     38854    166039         0     28936    504303   1394237    180.09    189.78
537.87/134.79	c  N dy  1326    203305     38854    166039         0     41222    504303   4755967    180.19    215.46
571.44/143.15	c  N dy  1414    216392     38854    166039         0     27353    504303    667021    180.21    190.10
605.37/151.66	c  N dy  1518    230273     38854    166039         0     41232    504303   4531287    180.54    197.38
624.55/156.41	c  S st  1572    237752     38854    166039         0     48711    504303   6591393    180.66    184.35
625.75/156.76	c  S st  1572    238258     38854    166039         0     49217    504303   6703822    180.66   no data
625.75/156.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
626.94/157.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
626.94/157.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
627.34/157.10	c bin-w-bin subsume rem            0 bins  time:  0.01 s
627.34/157.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
627.34/157.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38854 time:  0.01 s
627.34/157.15	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
628.16/157.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
630.15/157.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
639.73/160.27	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.41 s
640.13/160.30	c vivif2 --  cl tried   166039 cl shrink        0 lits rem          0 time: 0.03
640.52/160.43	c vivif2 --  cl tried    49212 cl shrink        0 lits rem          0 time: 0.13
641.34/160.68	c asymm  cl-useful: 0/166039/166039 lits-rem:0 time: 0.25
641.34/160.69	c calculated reachability. Time: 0.00
641.34/160.69	c  N dy  1572    238258     38854    166039         0     49212    504303   6701915    180.66   no data
680.07/170.33	c  N dy  1673    253685     38854    166039         0     36654    504303   2895918    180.58    191.08
720.44/180.46	c  N dy  1779    269947     38854    166039         0     52915    504303   7290454    180.40    191.30
763.96/191.35	c  N dy  1899    287180     38854    166039         0     41157    504303   3913773    180.47    205.29
810.69/203.07	c  N dy  2021    305623     38854    166039         0     59599    504303   8945160    180.30    189.95
812.71/203.54	c  F st  2027    306250     38854    166039         0     30234    504303    590498    180.31   no data
860.22/215.47	c  N dy  2124    325144     38854    166039         0     49128    504303   6400403    180.31    251.46
911.75/228.37	c  N dy  2266    345243     38854    166039         0     38230    504303   2527417    180.38    193.06
942.51/236.07	c  S st  2350    357387     38854    166039         0     50373    504303   5819957    180.32   no data
944.11/236.40	c  S st  2350    357889     38854    166039         0     50875    504303   5917842    180.32   no data
944.11/236.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
944.93/236.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
945.30/236.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
945.30/236.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
945.30/236.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
945.30/236.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38854 time:  0.01 s
945.70/236.80	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
946.50/237.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
948.10/237.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
956.88/239.68	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.25 s
957.28/239.70	c vivif2 --  cl tried   166039 cl shrink        0 lits rem          0 time: 0.03
957.70/239.82	c vivif2 --  cl tried    50871 cl shrink        0 lits rem          0 time: 0.11
958.47/240.08	c asymm  cl-useful: 0/166039/166039 lits-rem:0 time: 0.26
958.47/240.09	c calculated reachability. Time: 0.00
958.47/240.09	c  N dy  2350    357889     38854    166039         0     50871    504303   5916295    180.32   no data
1010.01/252.98	c  N dy  2480    377922     38854    166039         0     38909    504303   2366842    180.18    192.38
1061.95/265.91	c  N dy  2619    398015     38854    166039         0     59001    504303   7879047    180.28    230.61
1113.47/278.80	c  N dy  2752    418216     38854    166039         0     46200    504303   4140948    180.29    190.78
1166.18/292.01	c  N dy  2893    438330     38854    166039         0     66311    504303   9652249    180.30    193.81
1216.53/304.69	c  N dy  3027    458384     38854    166039         0     52377    504303   5516743    180.32    194.37
1270.44/318.14	c  N dy  3168    478492     38854    166039         0     37482    504303   1171805    180.47    195.14
1321.57/330.97	c  N dy  3304    498505     38854    166039         0     57495    504303   6678817    180.52    196.98
1375.12/344.33	c  N dy  3443    518550     38854    166039         0     41535    504303   2020654    180.51    191.56
1422.23/356.10	c  S st  3567    536833     38854    166039         0     59816    504303   7023240    180.45   no data
1423.46/356.46	c  S st  3567    537337     38854    166039         0     60320    504303   7142305    180.45   no data
1423.46/356.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1424.63/356.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
1425.03/356.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1425.03/356.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1425.03/356.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1425.03/356.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38854 time:  0.01 s
1425.03/356.87	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
1426.23/357.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
1427.85/357.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1441.02/360.83	c lits-rem:         5  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.22 s
1441.02/360.86	c vivif2 --  cl tried   166039 cl shrink        0 lits rem          0 time: 0.03
1441.80/361.00	c vivif2 --  cl tried    60318 cl shrink        0 lits rem          0 time: 0.14
1442.60/361.28	c asymm  cl-useful: 0/166039/166039 lits-rem:0 time: 0.27
1442.60/361.29	c calculated reachability. Time: 0.00
1442.60/361.29	c  N dy  3567    537337     38854    166039         0     60318    504303   7141135    180.45   no data
1496.53/374.79	c  N dy  3713    557436     38854    166039         0     43423    504303   2268688    180.55    190.38
1548.44/387.74	c  N dy  3850    577455     38854    166039         0     63442    504303   7800585    180.63    190.58
1601.98/401.13	c  N dy  3984    597585     38854    166039         0     45568    504303   2636482    180.66    192.63
1655.09/414.48	c  N dy  4124    617737     38854    166039         0     65719    504303   8194854    180.76    190.63
1709.04/428.00	c  N dy  4265    637875     38854    166039         0     46860    504303   2646261    180.82    193.99
1762.17/441.22	c  N dy  4403    657928     38854    166039         0     66912    504303   8181895    180.82    197.29
1816.46/454.84	c  N dy  4540    678180     38854    166039         0     47170    504303   2512917    180.81    203.78
1870.79/468.44	c  N dy  4679    698225     38854    166039         0     67213    504303   8067242    180.89    193.80
1925.52/482.13	c  N dy  4814    718283     38854    166039         0     46270    504303   2016306    180.97    192.66
1979.04/495.52	c  N dy  4957    738449     38854    166039         0     66436    504303   7518609    180.99    192.33
2034.58/509.46	c  N dy  5092    758576     38854    166039         0     44563    504303   1220791    180.94    193.66
2086.90/522.56	c  N dy  5228    778591     38854    166039         0     64578    504303   6703538    180.93    192.83
2142.81/536.53	c  N dy  5366    798621     38854    166039         0     84605    504303  12214621    180.94    193.73
2162.00/541.33	c  S st  5411    806005     38854    166039         0     48998    504303   2087697    180.91    168.02
2163.17/541.66	c  S st  5411    806509     38854    166039         0     49502    504303   2200654    180.91   no data
2163.17/541.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2164.37/541.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2164.37/541.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2164.77/542.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2164.77/542.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2164.77/542.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38854 time:  0.01 s
2164.77/542.06	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
2165.57/542.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
2165.99/542.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2169.17/543.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.68 s
2169.17/543.13	c vivif2 --  cl tried   166039 cl shrink        0 lits rem          0 time: 0.03
2169.17/543.17	c vivif2 --  cl tried    49502 cl shrink        0 lits rem          0 time: 0.05
2170.38/543.43	c asymm  cl-useful: 0/166039/166039 lits-rem:0 time: 0.25
2170.38/543.44	c calculated reachability. Time: 0.00
2170.38/543.44	c  N dy  5411    806509     38854    166039         0     49502    504303   2200654    180.91   no data
2223.51/556.71	c  N dy  5543    826548     38854    166039         0     69537    504303   7711110    180.91    194.28
2280.23/570.95	c  N dy  5684    846688     38854    166039         0     45676    504303    994398    180.92    191.20
2333.72/584.34	c  N dy  5821    867016     38854    166039         0     66004    504303   6659792    180.95    198.38
2389.25/598.28	c  N dy  5952    887030     38854    166039         0     86017    504303  12123353    180.91    201.42
2443.20/611.77	c  N dy  6090    907100     38854    166039         0     61088    504303   4935713    180.92    192.30
2498.70/625.67	c  N dy  6225    927123     38854    166039         0     81111    504303  10410958    180.92    193.70
2554.61/639.63	c  N dy  6367    947304     38854    166039         0     55290    504303   3031273    180.96    197.52
2608.54/653.19	c  N dy  6503    967451     38854    166039         0     75436    504303   8564013    180.98    192.02
2667.28/667.85	c  N dy  6649    987722     38854    166039         0     48712    504303    996538    181.07    194.72
2720.37/681.13	c  N dy  6789   1007787     38854    166039         0     68777    504303   6460244    181.08    198.52
2777.12/695.37	c  N dy  6922   1028018     38854    166039         0     89007    504303  11971802    181.08    190.81
2832.22/709.15	c  N dy  7061   1048065     38854    166039         0     61050    504303   4125032    181.08    192.31
2887.74/723.09	c  N dy  7203   1068154     38854    166039         0     81138    504303   9698927    181.11    193.73
2898.52/725.76	c  F st  7230   1071875     38854    166039         0     84859    504303  10729975    181.13    151.87
2946.06/737.62	c  N dy  7316   1088205     38854    166039         0     52191    504303   1448486    181.18    303.81
3000.39/751.29	c  N dy  7452   1108608     38854    166039         0     72592    504303   7061901    181.16    193.79
3058.69/765.82	c  N dy  7600   1128748     38854    166039         0     92730    504303  12645830    181.24    194.97
3114.22/779.73	c  N dy  7741   1148790     38854    166039         0     62776    504303   4115070    181.31    194.70
3170.13/793.77	c  N dy  7876   1168884     38854    166039         0     82869    504303   9636416    181.32    219.23
3230.44/808.87	c  N dy  8014   1189293     38854    166039         0     52280    504303    910774    181.35    211.47
3284.78/822.49	c  N dy  8148   1209438     38854    166039         0     72424    504303   6359847    181.35    191.08
3285.98/822.72	c  S st  8151   1209763     38854    166039         0     72749    504303   6449102    181.35   no data
3287.17/823.07	c  S st  8151   1210264     38854    166039         0     73250    504303   6553772    181.35   no data
3287.57/823.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3288.37/823.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
3288.77/823.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3288.77/823.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3288.77/823.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3288.77/823.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38854 time:  0.02 s
3289.17/823.50	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
3289.97/823.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
3291.56/824.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3305.14/827.51	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.28 s
3305.14/827.54	c vivif2 --  cl tried   166039 cl shrink        0 lits rem          0 time: 0.03
3305.54/827.67	c vivif2 --  cl tried    73246 cl shrink        0 lits rem          0 time: 0.13
3306.74/827.96	c asymm  cl-useful: 0/166039/166039 lits-rem:0 time: 0.30
3306.74/827.98	c calculated reachability. Time: 0.00
3306.74/827.98	c  N dy  8151   1210264     38854    166039         0     73246    504303   6552062    181.35   no data
3364.26/842.34	c  N dy  8287   1230330     38854    166039         0     93311    504303  12016399    181.36    191.82
3420.96/856.50	c  N dy  8421   1250391     38854    166039         0     61372    504303   3138632    181.37    198.30
3475.71/870.29	c  N dy  8554   1270400     38854    166039         0     81378    504303   8741616    181.41    200.00
3535.21/885.12	c  N dy  8697   1290460     38854    166039         0    101438    504303  14256977    181.42    193.85
3590.33/898.99	c  N dy  8834   1310571     38854    166039         0     68558    504303   4874025    181.42    197.19
3646.67/913.02	c  N dy  8963   1330608     38854    166039         0     88594    504303  10376468    181.40    191.20
3707.37/928.21	c  N dy  9099   1350797     38854    166039         0     54781    504303    760545    181.38    196.83
3761.31/941.78	c  N dy  9231   1370993     38854    166039         0     74974    504303   6315843    181.36    193.88
3819.21/956.26	c  N dy  9364   1391067     38854    166039         0     95045    504303  11923958    181.39    198.43
3878.72/971.14	c  N dy  9509   1411122     38854    166039         0     60105    504303   2054039    181.45    191.93
3934.25/985.01	c  N dy  9650   1431159     38854    166039         0     80141    504303   7575984    181.46    192.85
3992.56/999.63	c  N dy  9779   1451193     38854    166039         0    100172    504303  12984547    181.43    202.69
4051.30/1014.34	c  N dy  9921   1471200     38854    166039         0     64179    504303   2824457    181.43    196.17
4107.20/1028.39	c  N dy 10056   1491210     38854    166039         0     84187    504303   8259000    181.42    192.59
4166.72/1043.26	c  N dy 10191   1511249     38854    166039         0    104226    504303  13780698    181.42    195.21
4225.03/1057.87	c  N dy 10328   1531311     38854    166039         0     67291    504303   3434420    181.44    243.12
4282.16/1072.12	c  N dy 10474   1551440     38854    166039         0     87418    504303   9051289    181.50    192.45
4342.47/1087.27	c  N dy 10617   1571478     38854    166039         0    107454    504303  14607136    181.53    199.62
4400.79/1101.82	c  N dy 10749   1591593     38854    166039         0     69573    504303   3783520    181.52    198.62
4457.51/1116.08	c  N dy 10878   1611664     38854    166039         0     89644    504303   9411783    181.53    197.74
4518.23/1131.21	c  N dy 11016   1631665     38854    166039         0    109642    504303  14919714    181.55    192.66
4576.54/1145.84	c  N dy 11150   1651832     38854    166039         0     70814    504303   3845012    181.55    191.70
4634.87/1160.40	c  N dy 11296   1672041     38854    166039         0     91023    504303   9473832    181.58    196.16
4695.57/1175.67	c  N dy 11436   1692121     38854    166039         0    111102    504303  15061012    181.60    224.11
4749.10/1189.04	c  S st 11561   1710267     38854    166039         0     69250    504303   3115630    181.60   no data
4750.70/1189.40	c  S st 11561   1710771     38854    166039         0     69754    504303   3207557    181.60   no data
4750.70/1189.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4751.89/1189.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.27
4751.89/1189.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4751.89/1189.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4751.89/1189.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4751.89/1189.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38854 time:  0.01 s
4752.29/1189.81	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
4753.09/1190.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
4753.90/1190.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4761.47/1192.16	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.88 s
4761.47/1192.18	c vivif2 --  cl tried   166039 cl shrink        0 lits rem          0 time: 0.03
4761.87/1192.25	c vivif2 --  cl tried    69754 cl shrink        0 lits rem          0 time: 0.07
4763.10/1192.54	c asymm  cl-useful: 0/166039/166039 lits-rem:0 time: 0.29
4763.10/1192.55	c calculated reachability. Time: 0.00
4763.10/1192.56	c  N dy 11561   1710771     38854    166039         0     69754    504303   3207556    181.60   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3173852-1304031818/watcher-3173852-1304031818 -o /tmp/evaluation-result-3173852-1304031818/solver-3173852-1304031818 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173852-1304031818.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.75 8.10 7.84 6/184 16405
/proc/meminfo: memFree=24442764/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 514779948 52441088 348 33554432000 4194304 4627427 140735760752576 18446744073709551615 47073648420780 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 12803 348 299 106 0 7774 0
[pid=16405/tid=16406] ppid=16403 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514779948 52441088 348 33554432000 4194304 4627427 140735760752576 18446744073709551615 47073648420786 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514779948 52441088 348 33554432000 4194304 4627427 140735760752576 18446744073709551615 47073648420786 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514779948 52441088 348 33554432000 4194304 4627427 140735760752576 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0984449 s]
/proc/loadavg: 7.75 8.10 7.84 6/184 16405
/proc/meminfo: memFree=24442764/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=389276 CPUtime=0.32 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) S 16403 16405 16058 0 -1 4202496 21908 0 0 0 23 9 0 0 18 0 4 0 514779948 398618624 17672 33554432000 4194304 4627427 140735760752576 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 97319 17697 339 106 0 92290 0
[pid=16405/tid=16406] ppid=16403 vsize=389276 CPUtime=0.08 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 5459 0 0 0 6 2 0 0 18 0 4 0 514779948 398618624 17705 33554432000 4194304 4627427 140735760752576 18446744073709551615 4530579 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=389276 CPUtime=0.07 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 5501 0 0 0 5 2 0 0 18 0 4 0 514779948 398618624 17729 33554432000 4194304 4627427 140735760752576 18446744073709551615 232335560945 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=389276 CPUtime=0.07 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) S 16403 16405 16058 0 -1 4202560 5115 0 0 0 5 2 0 0 18 0 4 0 514779948 398618624 17753 33554432000 4194304 4627427 140735760752576 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 389276

[startup+0.10426 s]
/proc/loadavg: 7.75 8.10 7.84 6/184 16405
/proc/meminfo: memFree=24442764/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=389276 CPUtime=0.34 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) S 16403 16405 16058 0 -1 4202496 22166 0 0 0 24 10 0 0 18 0 4 0 514779948 398618624 17930 33554432000 4194304 4627427 140735760752576 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 97319 17949 339 106 0 92290 0
[pid=16405/tid=16406] ppid=16403 vsize=389276 CPUtime=0.08 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 5514 0 0 0 6 2 0 0 18 0 4 0 514779948 398618624 17965 33554432000 4194304 4627427 140735760752576 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=389276 CPUtime=0.08 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 5583 0 0 0 6 2 0 0 18 0 4 0 514779948 398618624 17997 33554432000 4194304 4627427 140735760752576 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=389276 CPUtime=0.08 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) S 16403 16405 16058 0 -1 4202560 5175 0 0 0 6 2 0 0 18 0 4 0 514779948 398618624 18012 33554432000 4194304 4627427 140735760752576 18446744073709551615 232335997422 0 0 4096 2 18446604471029176384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 389276

[startup+0.485383 s]
/proc/loadavg: 7.75 8.10 7.84 6/184 16405
/proc/meminfo: memFree=24442764/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=410016 CPUtime=1.89 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) S 16403 16405 16058 0 -1 4202496 34157 0 0 0 164 25 0 0 18 0 4 0 514779948 419856384 29666 33554432000 4194304 4627427 140735760752576 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 102504 29687 371 106 0 97475 0
[pid=16405/tid=16406] ppid=16403 vsize=410016 CPUtime=0.47 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 8862 0 0 0 42 5 0 0 18 0 4 0 514779948 419856384 29698 33554432000 4194304 4627427 140735760752576 18446744073709551615 4415910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=410016 CPUtime=0.46 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 9008 0 0 0 40 6 0 0 18 0 4 0 514779948 419856384 29711 33554432000 4194304 4627427 140735760752576 18446744073709551615 232335589763 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=410016 CPUtime=0.46 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) S 16403 16405 16058 0 -1 4202560 6908 0 0 0 40 6 0 0 18 0 4 0 514779948 419856384 29723 33554432000 4194304 4627427 140735760752576 18446744073709551615 232335997422 0 0 4096 2 18446604471029176384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 410016

[startup+0.761328 s]
/proc/loadavg: 7.75 8.10 7.84 6/184 16405
/proc/meminfo: memFree=24442764/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=445840 CPUtime=2.89 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 52121 0 0 0 261 28 0 0 18 0 4 0 514779948 456540160 43674 33554432000 4194304 4627427 140735760752576 18446744073709551615 4429738 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 111460 43679 379 106 0 106431 0
[pid=16405/tid=16406] ppid=16403 vsize=445840 CPUtime=0.72 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 14686 0 0 0 66 6 0 0 18 0 4 0 514779948 456540160 43681 33554432000 4194304 4627427 140735760752576 18446744073709551615 4467838 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=445840 CPUtime=0.71 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 14987 0 0 0 64 7 0 0 18 0 4 0 514779948 456540160 43682 33554432000 4194304 4627427 140735760752576 18446744073709551615 4430954 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=445840 CPUtime=0.7 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 7059 0 0 0 64 6 0 0 18 0 4 0 514779948 456540160 43684 33554432000 4194304 4627427 140735760752576 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 445840

[startup+1.50096 s]
/proc/loadavg: 7.75 8.10 7.84 9/188 16409
/proc/meminfo: memFree=24265236/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=433492 CPUtime=5.83 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 57462 0 0 0 554 29 0 0 19 0 4 0 514779948 443895808 43542 33554432000 4194304 4627427 140735760752576 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 108373 43542 385 106 0 103344 0
[pid=16405/tid=16406] ppid=16403 vsize=433492 CPUtime=1.47 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 16953 0 0 0 140 7 0 0 19 0 4 0 514779948 443895808 43542 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=433492 CPUtime=1.44 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 17230 0 0 0 137 7 0 0 19 0 4 0 514779948 443895808 43542 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=433492 CPUtime=1.44 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 7476 0 0 0 138 6 0 0 19 0 4 0 514779948 443895808 43542 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 433492

[startup+3.10068 s]
/proc/loadavg: 7.75 8.10 7.84 9/188 16409
/proc/meminfo: memFree=24278132/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=564756 CPUtime=12.23 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 61125 0 0 0 1193 30 0 0 22 0 4 0 514779948 578310144 47108 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 141189 47108 385 106 0 136160 0
[pid=16405/tid=16406] ppid=16403 vsize=564756 CPUtime=3.06 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 17893 0 0 0 299 7 0 0 22 0 4 0 514779948 578310144 47108 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=564756 CPUtime=3.04 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 18224 0 0 0 296 8 0 0 22 0 4 0 514779948 578310144 47108 33554432000 4194304 4627427 140735760752576 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=564756 CPUtime=3.04 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 8294 0 0 0 298 6 0 0 23 0 4 0 514779948 578310144 47108 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 564756

[startup+6.30111 s]
/proc/loadavg: 7.77 8.10 7.84 9/188 16409
/proc/meminfo: memFree=24265892/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=564756 CPUtime=25.01 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 67625 0 0 0 2469 32 0 0 25 0 4 0 514779948 578310144 53608 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308141 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 141189 53608 385 106 0 136160 0
[pid=16405/tid=16406] ppid=16403 vsize=564756 CPUtime=6.26 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 19433 0 0 0 619 7 0 0 25 0 4 0 514779948 578310144 53608 33554432000 4194304 4627427 140735760752576 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=564756 CPUtime=6.22 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 19905 0 0 0 614 8 0 0 25 0 4 0 514779948 578310144 53608 33554432000 4194304 4627427 140735760752576 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=564756 CPUtime=6.23 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 9979 0 0 0 617 6 0 0 25 0 4 0 514779948 578310144 53608 33554432000 4194304 4627427 140735760752576 18446744073709551615 4333251 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 564756

[startup+12.701 s]
/proc/loadavg: 7.87 8.11 7.85 9/188 16409
/proc/meminfo: memFree=24286848/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=465688 CPUtime=50.57 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 87099 0 0 0 5021 36 0 0 25 0 4 0 514779948 476864512 47499 33554432000 4194304 4627427 140735760752576 18446744073709551615 4322064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 116422 47499 386 106 0 111393 0
[pid=16405/tid=16406] ppid=16403 vsize=465688 CPUtime=12.66 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 24103 0 0 0 1258 8 0 0 25 0 4 0 514779948 476864512 47499 33554432000 4194304 4627427 140735760752576 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=465688 CPUtime=12.58 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 24912 0 0 0 1249 9 0 0 25 0 4 0 514779948 476864512 47499 33554432000 4194304 4627427 140735760752576 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=465688 CPUtime=12.64 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 14872 0 0 0 1256 8 0 0 25 0 4 0 514779948 476864512 47499 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 465688

[startup+25.5007 s]
/proc/loadavg: 7.90 8.11 7.85 9/188 16410
/proc/meminfo: memFree=24047152/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=774096 CPUtime=101.69 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 164264 0 0 0 10117 52 0 0 25 0 4 0 514779948 792674304 103434 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 193524 103434 390 106 0 188495 0
[pid=16405/tid=16406] ppid=16403 vsize=774096 CPUtime=25.46 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 59389 0 0 0 2533 13 0 0 25 0 4 0 514779948 792674304 103434 33554432000 4194304 4627427 140735760752576 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=774096 CPUtime=25.31 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 33411 0 0 0 2520 11 0 0 25 0 4 0 514779948 792674304 103434 33554432000 4194304 4627427 140735760752576 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=774096 CPUtime=25.44 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 23734 0 0 0 2534 10 0 0 25 0 4 0 514779948 792674304 103434 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 774096

[startup+51.1011 s]
/proc/loadavg: 8.00 8.11 7.85 10/188 16412
/proc/meminfo: memFree=23937920/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=962896 CPUtime=203.95 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 253489 0 0 0 20316 79 0 0 25 0 4 0 514779948 986005504 136023 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 240724 136023 390 106 0 235695 0
[pid=16405/tid=16406] ppid=16403 vsize=962896 CPUtime=51.06 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 75775 0 0 0 5088 18 0 0 25 0 4 0 514779948 986005504 136023 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=962896 CPUtime=50.91 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 56036 0 0 0 5073 18 0 0 25 0 4 0 514779948 986005504 136023 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=962896 CPUtime=50.89 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 51485 0 0 0 5070 19 0 0 25 0 4 0 514779948 986005504 136023 33554432000 4194304 4627427 140735760752576 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 962896

[startup+102.301 s]
/proc/loadavg: 8.30 8.20 7.90 9/188 16415
/proc/meminfo: memFree=23686592/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=1121060 CPUtime=408.48 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 395402 0 0 0 40731 117 0 0 25 0 4 0 514779948 1147965440 197854 33554432000 4194304 4627427 140735760752576 18446744073709551615 4310378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 280265 197854 390 106 0 275236 0
[pid=16405/tid=16406] ppid=16403 vsize=1121060 CPUtime=102.26 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 99615 0 0 0 10203 23 0 0 25 0 4 0 514779948 1147965440 197854 33554432000 4194304 4627427 140735760752576 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=1121060 CPUtime=102.12 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 93974 0 0 0 10184 28 0 0 25 0 4 0 514779948 1147965440 197854 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308661 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=1121060 CPUtime=101.81 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 98364 0 0 0 10149 32 0 0 25 0 4 0 514779948 1147965440 197854 33554432000 4194304 4627427 140735760752576 18446744073709551615 4321835 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.48
Current children cumulated vsize (KiB) 1121060

[startup+162.3 s]

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

[pid=16405] ppid=16403 vsize=1522664 CPUtime=2805.05 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 1426201 0 0 0 280046 459 0 0 25 0 4 0 514779948 1559207936 316107 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 380666 316107 390 106 0 375637 0
[pid=16405/tid=16406] ppid=16403 vsize=1522664 CPUtime=702.25 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 347642 0 0 0 70120 105 0 0 25 0 4 0 514779948 1559207936 316107 33554432000 4194304 4627427 140735760752576 18446744073709551615 4299705 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=1522664 CPUtime=702.1 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 340968 0 0 0 70099 111 0 0 25 0 4 0 514779948 1559207936 316107 33554432000 4194304 4627427 140735760752576 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=1522664 CPUtime=698.45 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 362496 0 0 0 69726 119 0 0 25 0 4 0 514779948 1559207936 316107 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.05
Current children cumulated vsize (KiB) 1522664

[startup+762.301 s]
/proc/loadavg: 8.07 8.15 8.02 9/188 16432
/proc/meminfo: memFree=22723256/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=1621172 CPUtime=3044.73 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 1520251 0 0 0 303981 492 0 0 25 0 4 0 514779948 1660080128 319374 33554432000 4194304 4627427 140735760752576 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 405293 319374 390 106 0 400264 0
[pid=16405/tid=16406] ppid=16403 vsize=1621172 CPUtime=762.25 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 371225 0 0 0 76111 114 0 0 25 0 4 0 514779948 1660080128 319374 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=1621172 CPUtime=762.1 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 364426 0 0 0 76093 117 0 0 25 0 4 0 514779948 1660080128 319374 33554432000 4194304 4627427 140735760752576 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=1621172 CPUtime=758.12 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 383556 0 0 0 75685 127 0 0 25 0 4 0 514779948 1660080128 319374 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.73
Current children cumulated vsize (KiB) 1621172

[startup+822.301 s]
/proc/loadavg: 8.02 8.12 8.01 9/188 16434
/proc/meminfo: memFree=22779268/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=1744168 CPUtime=3284.38 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 1618544 0 0 0 327911 527 0 0 25 0 4 0 514779948 1786028032 342896 33554432000 4194304 4627427 140735760752576 18446744073709551615 4327592 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 436042 342896 390 106 0 431013 0
[pid=16405/tid=16406] ppid=16403 vsize=1744168 CPUtime=822.24 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 396062 0 0 0 82101 123 0 0 25 0 4 0 514779948 1786028032 342896 33554432000 4194304 4627427 140735760752576 18446744073709551615 4428380 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=1744168 CPUtime=822.1 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 385246 0 0 0 82086 124 0 0 25 0 4 0 514779948 1786028032 342896 33554432000 4194304 4627427 140735760752576 18446744073709551615 4305848 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=1744168 CPUtime=817.78 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 409684 0 0 0 81642 136 0 0 25 0 4 0 514779948 1786028032 342896 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308632 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.38
Current children cumulated vsize (KiB) 1744168

[startup+882.306 s]
/proc/loadavg: 8.01 8.10 8.00 9/188 16436
/proc/meminfo: memFree=22646536/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=1776316 CPUtime=3524.05 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 1712119 0 0 0 351845 560 0 0 25 0 4 0 514779948 1818947584 347728 33554432000 4194304 4627427 140735760752576 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 444079 347728 390 106 0 439050 0
[pid=16405/tid=16406] ppid=16403 vsize=1776316 CPUtime=882.24 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 417457 0 0 0 88092 132 0 0 25 0 4 0 514779948 1818947584 347728 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=1776316 CPUtime=882.1 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 412187 0 0 0 88078 132 0 0 25 0 4 0 514779948 1818947584 347728 33554432000 4194304 4627427 140735760752576 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=1776316 CPUtime=877.45 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 431859 0 0 0 87601 144 0 0 25 0 4 0 514779948 1818947584 347728 33554432000 4194304 4627427 140735760752576 18446744073709551615 4328849 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.05
Current children cumulated vsize (KiB) 1776316

[startup+942.301 s]
/proc/loadavg: 6.46 7.71 7.88 5/179 16455
/proc/meminfo: memFree=24040760/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=1842608 CPUtime=3763.69 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 1798487 0 0 0 375778 591 0 0 25 0 4 0 514779948 1886830592 357972 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 460652 357972 390 106 0 455623 0
[pid=16405/tid=16406] ppid=16403 vsize=1842608 CPUtime=942.23 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 438175 0 0 0 94085 138 0 0 25 0 4 0 514779948 1886830592 357972 33554432000 4194304 4627427 140735760752576 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=1842608 CPUtime=942.09 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 433553 0 0 0 94069 140 0 0 25 0 4 0 514779948 1886830592 357972 33554432000 4194304 4627427 140735760752576 18446744073709551615 4299688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=1842608 CPUtime=937.12 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 449825 0 0 0 93560 152 0 0 25 0 4 0 514779948 1886830592 357972 33554432000 4194304 4627427 140735760752576 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.69
Current children cumulated vsize (KiB) 1842608

[startup+1002.3 s]
/proc/loadavg: 4.90 7.03 7.63 5/179 16457
/proc/meminfo: memFree=23994872/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=1809780 CPUtime=4003.35 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 1886767 0 0 0 399707 628 0 0 25 0 4 0 514779948 1853214720 368447 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 452445 368447 390 106 0 447416 0
[pid=16405/tid=16406] ppid=16403 vsize=1809780 CPUtime=1002.23 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 459853 0 0 0 100077 146 0 0 25 0 4 0 514779948 1853214720 368447 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=1809780 CPUtime=1002.1 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 451701 0 0 0 100063 147 0 0 25 0 4 0 514779948 1853214720 368447 33554432000 4194304 4627427 140735760752576 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=1809780 CPUtime=996.78 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 473923 0 0 0 99515 163 0 0 25 0 4 0 514779948 1853214720 368447 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.35
Current children cumulated vsize (KiB) 1809780

[startup+1062.3 s]
/proc/loadavg: 4.33 6.48 7.40 5/179 16458
/proc/meminfo: memFree=24079176/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=1794584 CPUtime=4243.01 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 1974955 0 0 0 423642 659 0 0 25 0 4 0 514779948 1837654016 348562 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 448646 348562 390 106 0 443617 0
[pid=16405/tid=16406] ppid=16403 vsize=1794584 CPUtime=1062.23 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 484279 0 0 0 106069 154 0 0 25 0 4 0 514779948 1837654016 348562 33554432000 4194304 4627427 140735760752576 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=1794584 CPUtime=1062.09 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 476230 0 0 0 106054 155 0 0 25 0 4 0 514779948 1837654016 348562 33554432000 4194304 4627427 140735760752576 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=1794584 CPUtime=1056.46 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 491394 0 0 0 105476 170 0 0 25 0 4 0 514779948 1837654016 348562 33554432000 4194304 4627427 140735760752576 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.01
Current children cumulated vsize (KiB) 1794584

[startup+1122.3 s]
/proc/loadavg: 4.12 6.02 7.19 5/179 16460
/proc/meminfo: memFree=23999792/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=1745848 CPUtime=4482.67 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 2062572 0 0 0 447575 692 0 0 25 0 4 0 514779948 1787748352 367301 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 436462 367301 390 106 0 431433 0
[pid=16405/tid=16406] ppid=16403 vsize=1745848 CPUtime=1122.23 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 504252 0 0 0 112061 162 0 0 25 0 4 0 514779948 1787748352 367301 33554432000 4194304 4627427 140735760752576 18446744073709551615 4322223 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=1745848 CPUtime=1122.08 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 499476 0 0 0 112046 162 0 0 25 0 4 0 514779948 1787748352 367301 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=1745848 CPUtime=1116.12 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 511516 0 0 0 111434 178 0 0 25 0 4 0 514779948 1787748352 367302 33554432000 4194304 4627427 140735760752576 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.67
Current children cumulated vsize (KiB) 1745848

[startup+1182.3 s]
/proc/loadavg: 4.09 5.67 6.99 5/179 16462
/proc/meminfo: memFree=23984516/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=1828808 CPUtime=4722.34 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 2142244 0 0 0 471509 725 0 0 25 0 4 0 514779948 1872699392 372191 33554432000 4194304 4627427 140735760752576 18446744073709551615 4333109 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 457202 372191 390 106 0 452173 0
[pid=16405/tid=16406] ppid=16403 vsize=1828808 CPUtime=1182.23 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 526207 0 0 0 118051 172 0 0 25 0 4 0 514779948 1872699392 372191 33554432000 4194304 4627427 140735760752576 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=1828808 CPUtime=1182.09 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 518045 0 0 0 118039 170 0 0 25 0 4 0 514779948 1872699392 372191 33554432000 4194304 4627427 140735760752576 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=1828808 CPUtime=1175.79 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 530992 0 0 0 117394 185 0 0 25 0 4 0 514779948 1872699392 372191 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.34
Current children cumulated vsize (KiB) 1828808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 4.13 5.57 6.93 5/179 16462
/proc/meminfo: memFree=23985248/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=1894632 CPUtime=4800.24 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 2170461 0 0 0 479289 735 0 0 25 0 4 0 514779948 1940103168 370757 33554432000 4194304 4627427 140735760752576 18446744073709551615 4332689 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 473658 370757 390 106 0 468629 0
[pid=16405/tid=16406] ppid=16403 vsize=1894632 CPUtime=1201.73 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 531415 0 0 0 120000 173 0 0 25 0 4 0 514779948 1940103168 370757 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=1894632 CPUtime=1201.6 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 525109 0 0 0 119987 173 0 0 25 0 4 0 514779948 1940103168 370757 33554432000 4194304 4627427 140735760752576 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=1894632 CPUtime=1195.19 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 538044 0 0 0 119331 188 0 0 25 0 4 0 514779948 1940103168 370757 33554432000 4194304 4627427 140735760752576 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1894632

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

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

[startup+1201.8 s]
/proc/loadavg: 4.13 5.57 6.93 5/179 16462
/proc/meminfo: memFree=23985248/32951124 swapFree=67111524/67111528
[pid=16405] ppid=16403 vsize=1894632 CPUtime=4800.24 cores=1,3,5,7
/proc/16405/stat : 16405 (strangenight2-m) R 16403 16405 16058 0 -1 4202496 2170461 0 0 0 479289 735 0 0 25 0 4 0 514779948 1940103168 370757 33554432000 4194304 4627427 140735760752576 18446744073709551615 4332689 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16405/statm: 473658 370757 390 106 0 468629 0
[pid=16405/tid=16406] ppid=16403 vsize=1894632 CPUtime=1201.73 cores=1,3,5,7
/proc/16405/task/16406/stat : 16406 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 531415 0 0 0 120000 173 0 0 25 0 4 0 514779948 1940103168 370757 33554432000 4194304 4627427 140735760752576 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16405/tid=16407] ppid=16403 vsize=1894632 CPUtime=1201.6 cores=1,3,5,7
/proc/16405/task/16407/stat : 16407 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 525109 0 0 0 119987 173 0 0 25 0 4 0 514779948 1940103168 370757 33554432000 4194304 4627427 140735760752576 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16405/tid=16408] ppid=16403 vsize=1894632 CPUtime=1195.19 cores=1,3,5,7
/proc/16405/task/16408/stat : 16408 (strangenight2-m) R 16403 16405 16058 0 -1 4202560 538044 0 0 0 119331 188 0 0 25 0 4 0 514779948 1940103168 370757 33554432000 4194304 4627427 140735760752576 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1894632

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.88
CPU time (s): 4800.34
CPU user time (s): 4792.92
CPU system time (s): 7.41787
CPU usage (%): 399.404
Max. virtual memory (cumulated for all children) (KiB): 1894632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.92
system time used= 7.41787
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2170470
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= 16435
involuntary context switches= 38722

runsolver used 1.86772 second user time and 4.72328 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 01:03:38
IDJOB=3173852
IDBENCH=82670
IDSOLVER=1586
FILE ID=node132/3173852-1304031818
RUNJOBID= node132-1304028687-16078
PBS_JOBID= 13170320
Free space on /tmp= 71860 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173852-1304031818/watcher-3173852-1304031818 -o /tmp/evaluation-result-3173852-1304031818/solver-3173852-1304031818 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173852-1304031818.cnf

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

MD5SUM BENCH= 2ca6073d25d8d5f2648d590c0edc75c0
RANDOM SEED=1749767403

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24443044 kB
Buffers:        736636 kB
Cached:        6196344 kB
SwapCached:          4 kB
Active:        2584784 kB
Inactive:      5433268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24443044 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            8972 kB
Writeback:           0 kB
AnonPages:     1084636 kB
Mapped:          15528 kB
Slab:           425260 kB
PageTables:       6580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1465624 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71864 MiB
End job on node132 at 2011-04-29 01:23:42