Trace number 3366138

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf
MD5SUM30037b76a2fd7877580e038a49317f67
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark560.149
Satisfiable
(Un)Satisfiability was proved
Number of variables30000
Number of clauses126000
Sum of the clauses size378000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3126000
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.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366138-1305396744.cnf'
0.00/0.01	c -- header says num vars:          30000
0.00/0.01	c -- header says num clauses:      126000
0.77/0.28	c -- clauses added:            0 learnts,       126000 normals,            0 xors
0.77/0.28	c -- vars added      30000
1.17/0.32	c Parsing time:  0.09 s
1.17/0.32	c  N st     0         0     30000    126000         0         0    378000         0   no data   no data
1.17/0.32	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.12
1.17/0.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
1.17/0.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.17/0.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.17/0.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.17/0.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30000 time:  0.01 s
1.17/0.39	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
3.96/1.02	c lits-rem:         0  cl-subs:        0  v-elim:    727  v-fix:    0  time:  0.21 s
3.96/1.02	c Finding binary XORs  T:     0.01 s  found:       0
3.96/1.02	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
3.96/1.02	c calculated reachability. Time: 0.00
3.96/1.02	c Calc default polars -  time:   0.01 s pos:   13431 undec:    3305 neg:   13264
3.96/1.02	c =========================================================================================
3.96/1.02	c types(t): F = full restart, N = normal restart
3.96/1.02	c types(t): S = simplification begin/end, E = solution found
3.96/1.02	c restart types(rt): st = static, dy = dynamic
3.96/1.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.96/1.02	c  B st     0         0     29273    125175         0         0    379942         0   no data   no data
9.14/2.32	c  N dy    21      4053     29273    125175         0      4052    379942   1140801    159.82    169.04
15.52/3.93	c  N dy    46      8068     29273    125175         0      8067    379942   2042915    152.40    163.76
21.94/5.59	c  N dy    69     12168     29273    125175         0     12167    379942   2965119    148.76    159.73
29.08/7.34	c  N dy    95     16308     29273    125175         0     16307    379942   3919395    148.89    157.30
36.25/9.12	c  N dy   124     20363     29273    125175         0     10368    379942    701020    150.00    160.84
42.65/10.80	c  N dy   155     24393     29273    125175         0     14398    379942   1661764    151.05    161.49
43.88/11.05	c  F st   161     25001     29273    125175         0     15006    379942   1814759    151.43   no data
53.01/13.35	c  N dy   167     30000     29273    125175         0     20004    379942   3545027    151.43   no data
53.01/13.35	c  S st   167     30000     29273    125175         0     20004    379942   3545027    151.43   no data
53.81/13.57	c  S st   167     30503     29273    125175         0     20507    379942   3634277    151.43   no data
53.81/13.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
54.21/13.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
54.61/13.71	c blocked clauses removed:      571 vars:     91 tried:       29273 T: 0.02 s
54.61/13.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
54.61/13.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
54.61/13.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29182 time:  0.01 s
54.61/13.75	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
55.01/13.89	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.14 s
56.62/14.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
60.19/15.18	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.91 s
61.00/15.33	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.15
61.00/15.34	c calculated reachability. Time: 0.00
61.00/15.34	c  N dy   167     30503     29162    124584         0     20254    378302   3511774    151.43   no data
68.17/17.19	c  N dy   196     34551     29162    124584         0     24301    378302   4507441    152.28    163.46
76.14/19.12	c  N dy   224     38633     29162    124584         0     28383    378302   5445276    152.06    160.83
83.72/21.04	c  N dy   254     42711     29162    124584         0     17086    378302   1135096    152.49    167.47
88.90/22.37	c  S st   277     45754     29162    124584         0     20129    378302   1831704    152.61   no data
89.70/22.59	c  S st   277     46256     29162    124584         0     20631    378302   1920598    152.61   no data
90.10/22.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
90.10/22.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
90.50/22.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.50/22.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
90.50/22.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
90.50/22.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
90.50/22.76	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
90.90/22.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
91.30/23.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
92.48/23.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
92.88/23.31	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
92.88/23.34	c vivif2 --  cl tried    20631 cl shrink        0 lits rem          0 time: 0.03
93.28/23.49	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.15
93.69/23.50	c calculated reachability. Time: 0.00
93.69/23.50	c  N dy   277     46256     29162    124584         0     20631    378302   1920598    152.61   no data
100.49/25.30	c  N dy   306     50331     29162    124584         0     24706    378302   2906130    152.97    161.55
108.05/27.18	c  N dy   339     54462     29162    124584         0     28837    378302   3893990    153.45    162.40
115.62/29.06	c  N dy   365     58529     29162    124584         0     32904    378302   4855631    153.28    167.07
123.60/31.03	c  N dy   396     62646     29162    124584         0     37021    378302   5835008    153.41    163.76
130.79/32.85	c  N dy   422     66683     29162    124584         0     22370    378302   1564229    153.31    164.13
136.02/34.13	c  S st   443     69384     29162    124584         0     25071    378302   2227546    153.77    147.99
136.77/34.37	c  S st   443     69890     29162    124584         0     25577    378302   2317057    153.77   no data
136.77/34.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
137.17/34.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
137.57/34.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.57/34.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
137.57/34.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
137.57/34.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
137.57/34.54	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
137.97/34.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
138.37/34.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
139.97/35.20	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.38 s
140.40/35.22	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
140.40/35.26	c vivif2 --  cl tried    25575 cl shrink        0 lits rem          0 time: 0.04
141.15/35.42	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.16
141.15/35.43	c calculated reachability. Time: 0.00
141.15/35.43	c  N dy   443     69890     29162    124584         0     25575    378302   2316123    153.77   no data
149.53/37.52	c  N dy   477     74462     29162    124584         0     30147    378302   3412724    154.01    168.08
158.31/39.77	c  N dy   510     79245     29162    124584         0     34930    378302   4534589    154.12    167.29
167.88/42.17	c  N dy   544     84306     29162    124584         0     39991    378302   5693745    154.07    162.37
174.27/43.71	c  F st   566     87501     29162    124584         0     22348    378302   1026957    154.04   no data
180.65/45.37	c  N st   571     90797     29162    124584         0     25644    378302   2118574    154.04   no data
191.82/48.16	c  N dy   601     96610     29162    124584         0     31457    378302   3775196    154.30    167.33
203.79/51.19	c  N dy   644    102868     29162    124584         0     37715    378302   5310032    154.43    165.92
207.77/52.15	c  S st   659    104836     29162    124584         0     39683    378302   5795627    154.47   no data
208.98/52.40	c  S st   659    105340     29162    124584         0     40187    378302   5893400    154.47   no data
208.98/52.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
209.38/52.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
209.38/52.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
209.38/52.56	c bin-w-bin subsume rem            0 bins  time:  0.01 s
209.38/52.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
209.38/52.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
209.38/52.59	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
210.19/52.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
211.77/53.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
218.55/54.83	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.68 s
218.55/54.85	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
218.95/54.95	c vivif2 --  cl tried    40184 cl shrink        0 lits rem          0 time: 0.10
219.73/55.13	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.18
219.73/55.14	c calculated reachability. Time: 0.00
219.73/55.14	c  N dy   659    105340     29162    124584         0     40184    378302   5890805    154.47   no data
232.89/58.48	c  N dy   710    112064     29162    124584         0     24484    378302   1137876    154.68    186.95
246.85/61.91	c  N dy   765    119318     29162    124584         0     31738    378302   2903919    154.89    165.03
261.62/65.66	c  N dy   816    127006     29162    124584         0     39426    378302   4786878    155.10    194.37
277.57/69.69	c  N dy   866    135138     29162    124584         0     23842    378302    630615    154.96    174.05
293.98/73.79	c  N dy   927    143925     29162    124584         0     32628    378302   2773672    155.13    163.56
312.27/78.38	c  N dy   997    153217     29162    124584         0     41920    378302   5057982    155.63    166.59
321.85/80.77	c  S st  1029    158010     29162    124584         0     46713    378302   6215403    155.63   no data
323.05/81.03	c  S st  1029    158510     29162    124584         0     47213    378302   6305221    155.63   no data
323.05/81.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
323.45/81.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
323.45/81.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
323.45/81.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
323.85/81.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
323.85/81.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
323.85/81.23	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
324.26/81.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
325.84/81.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
335.01/84.09	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.28 s
335.41/84.10	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
335.81/84.21	c vivif2 --  cl tried    47212 cl shrink        0 lits rem          0 time: 0.11
336.61/84.41	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.20
336.61/84.42	c calculated reachability. Time: 0.00
336.61/84.42	c  N dy  1029    158510     29162    124584         0     47212    378302   6305076    155.63   no data
356.16/89.30	c  N dy  1091    168736     29162    124584         0     32587    378302   2425415    155.49    169.34
376.91/94.52	c  N dy  1158    179579     29162    124584         0     43430    378302   4988877    155.33    180.86
400.04/100.32	c  N dy  1238    191110     29162    124584         0     29035    378302   1287537    155.41    165.01
423.97/106.32	c  N dy  1323    203495     29162    124584         0     41420    378302   4294735    155.49    164.01
450.30/112.95	c  N dy  1410    216485     29162    124584         0     27453    378302    646004    155.54    182.26
477.43/119.71	c  N dy  1510    230404     29162    124584         0     41370    378302   4059141    155.74    165.98
492.17/123.44	c  S st  1564    237765     29162    124584         0     48731    378302   5855070    155.82   no data
493.38/123.70	c  S st  1564    238267     29162    124584         0     49233    378302   5941938    155.82   no data
493.38/123.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
493.78/123.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
493.78/123.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
493.78/123.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
493.78/123.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
493.78/123.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
494.18/123.90	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
494.58/124.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
495.82/124.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
505.34/126.75	c lits-rem:         9  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.35 s
505.34/126.77	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
505.74/126.87	c vivif2 --  cl tried    49228 cl shrink        0 lits rem          0 time: 0.10
506.54/127.07	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.20
506.54/127.08	c calculated reachability. Time: 0.00
506.54/127.08	c  N dy  1564    238267     29162    124584         0     49228    378302   5941313    155.82   no data
536.86/134.68	c  N dy  1665    253499     29162    124584         0     36478    378302   2544332    155.82    166.34
569.99/142.92	c  N dy  1778    269848     29162    124584         0     52826    378302   6567115    156.00    173.72
604.67/151.65	c  N dy  1899    287090     29162    124584         0     41078    378302   3478910    156.25    165.98
642.56/161.14	c  N dy  2026    305479     29162    124584         0     59465    378302   7980841    156.43    172.86
644.17/161.57	c  F st  2032    306250     29162    124584         0     30238    378302    541540    156.43   no data
682.46/171.16	c  N dy  2134    325009     29162    124584         0     48996    378302   5789541    156.62    170.51
724.33/181.60	c  N dy  2277    345156     29162    124584         0     38144    378302   2239417    156.79    173.74
749.07/187.80	c  S st  2359    357401     29162    124584         0     50388    378302   5241995    156.85   no data
749.88/188.09	c  S st  2359    357908     29162    124584         0     50895    378302   5337128    156.85   no data
750.31/188.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
750.66/188.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
750.66/188.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
750.66/188.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
750.66/188.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
750.66/188.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
750.66/188.29	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
751.46/188.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
752.66/188.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
761.04/190.89	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.14 s
761.44/190.91	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
761.84/191.00	c vivif2 --  cl tried    50892 cl shrink        0 lits rem          0 time: 0.09
762.64/191.21	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.20
762.64/191.22	c calculated reachability. Time: 0.00
762.64/191.22	c  N dy  2359    357908     29162    124584         0     50892    378302   5335826    156.85   no data
803.71/201.58	c  N dy  2483    378008     29162    124584         0     38997    378302   2115206    156.67    165.91
846.85/212.34	c  N dy  2632    398271     29162    124584         0     59258    378302   7068100    156.89    173.99
887.88/222.66	c  N dy  2770    418403     29162    124584         0     46393    378302   3746893    156.95    174.85
930.96/233.41	c  N dy  2915    438521     29162    124584         0     66510    378302   8659931    157.04    168.27
971.24/243.57	c  N dy  3044    458564     29162    124584         0     52552    378302   4962908    156.97    165.91
1014.32/254.31	c  N dy  3179    478613     29162    124584         0     37605    378302   1124015    157.03    166.42
1055.41/264.67	c  N dy  3319    498769     29162    124584         0     57758    378302   5952715    157.01    166.58
1098.10/275.32	c  N dy  3455    518809     29162    124584         0     41798    378302   1939247    157.05    168.78
1135.19/284.64	c  S st  3571    536865     29162    124584         0     59852    378302   6300053    157.02    153.35
1136.42/284.93	c  S st  3571    537368     29162    124584         0     60355    378302   6386891    157.02   no data
1136.42/284.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1136.77/285.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
1137.17/285.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1137.17/285.11	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1137.17/285.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1137.17/285.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
1137.17/285.14	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1137.98/285.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1139.18/285.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1151.54/288.71	c lits-rem:        10  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.03 s
1151.54/288.73	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
1151.94/288.84	c vivif2 --  cl tried    60351 cl shrink        0 lits rem          0 time: 0.11
1152.74/289.06	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.22
1152.74/289.07	c calculated reachability. Time: 0.00
1152.74/289.07	c  N dy  3571    537368     29162    124584         0     60351    378302   6385350    157.02   no data
1196.61/300.02	c  N dy  3716    557547     29162    124584         0     43532    378302   2076470    157.15    169.11
1238.90/310.64	c  N dy  3861    577586     29162    124584         0     63571    378302   6955214    157.22    166.78
1281.98/321.49	c  N dy  3998    597599     29162    124584         0     45586    378302   2378817    157.28    171.49
1324.67/332.15	c  N dy  4132    617636     29162    124584         0     65621    378302   7409022    157.41    167.57
1369.33/343.31	c  N dy  4266    638196     29162    124584         0     47177    378302   2451409    157.38    166.92
1412.02/354.08	c  N dy  4407    658211     29162    124584         0     67191    378302   7402865    157.50    167.10
1456.31/365.21	c  N dy  4548    678278     29162    124584         0     47261    378302   2272645    157.63    166.65
1501.36/376.45	c  N dy  4687    698484     29162    124584         0     67466    378302   7242960    157.73    173.78
1546.44/387.71	c  N dy  4822    718875     29162    124584         0     46868    378302   1902763    157.78    166.13
1589.52/398.59	c  N dy  4972    738924     29162    124584         0     66917    378302   6874749    157.91    167.25
1635.00/409.94	c  N dy  5112    758976     29162    124584         0     44969    378302   1251402    157.95    178.00
1678.07/420.70	c  N dy  5256    779063     29162    124584         0     65055    378302   6174535    157.99    170.67
1723.96/432.30	c  N dy  5396    799138     29162    124584         0     85129    378302  11137188    158.00    167.40
1738.69/435.94	c  S st  5441    806052     29162    124584         0     49042    378302   1946234    157.99   no data
1739.90/436.21	c  S st  5441    806556     29162    124584         0     49546    378302   2039854    157.99   no data
1739.90/436.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1740.30/436.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
1740.30/436.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1740.30/436.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1740.30/436.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1740.30/436.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
1740.70/436.40	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1741.09/436.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
1741.51/436.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1744.28/437.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.70 s
1744.28/437.39	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
1744.68/437.42	c vivif2 --  cl tried    49546 cl shrink        0 lits rem          0 time: 0.04
1745.48/437.62	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.20
1745.48/437.63	c calculated reachability. Time: 0.00
1745.48/437.63	c  N dy  5441    806556     29162    124584         0     49546    378302   2039854    157.99   no data
1788.96/448.53	c  N dy  5573    826586     29162    124584         0     69572    378302   7016805    158.02    168.47
1835.24/460.18	c  N dy  5706    846663     29162    124584         0     45652    378302    906005    158.01    170.58
1878.70/471.06	c  N dy  5840    866844     29162    124584         0     65833    378302   5856675    158.04    166.38
1925.38/482.75	c  N dy  5981    886943     29162    124584         0     85929    378302  10794729    158.09    167.03
1968.06/493.49	c  N dy  6115    906946     29162    124584         0     60937    378302   4397521    158.09    182.65
2013.55/504.89	c  N dy  6254    927027     29162    124584         0     81018    378302   9352586    158.13    168.26
2058.59/516.15	c  N dy  6389    947102     29162    124584         0     55095    378302   2727360    158.12    171.21
2102.88/527.29	c  N dy  6520    967185     29162    124584         0     75177    378302   7667843    158.11    209.30
2151.13/539.34	c  N dy  6659    987232     29162    124584         0     48221    378302    799762    158.13    166.58
2193.86/550.07	c  N dy  6794   1007257     29162    124584         0     68245    378302   5687932    158.17    211.47
2240.49/561.75	c  N dy  6933   1027327     29162    124584         0     88314    378302  10574117    158.15    184.03
2285.17/572.99	c  N dy  7070   1047340     29162    124584         0     60332    378302   3529658    158.14    176.66
2330.63/584.30	c  N dy  7212   1067414     29162    124584         0     80406    378302   8422340    158.19    172.16
2341.01/586.96	c  F st  7241   1071876     29162    124584         0     84868    378302   9492622    158.18   no data
2378.14/596.24	c  N dy  7321   1087458     29162    124584         0     51454    378302   1097071    158.20    168.21
2421.59/607.19	c  N dy  7461   1107580     29162    124584         0     71575    378302   6007858    158.22    167.63
2469.44/619.14	c  N dy  7602   1127702     29162    124584         0     91695    378302  11014376    158.27    166.68
2515.31/630.65	c  N dy  7742   1147802     29162    124584         0     61792    378302   3476428    158.31    168.82
2560.79/642.08	c  N dy  7874   1167923     29162    124584         0     81910    378302   8434923    158.35    167.75
2610.26/654.49	c  N dy  8015   1188133     29162    124584         0     51120    378302    548159    158.35    169.03
2654.14/665.47	c  N dy  8150   1208178     29162    124584         0     71164    378302   5473917    158.36    167.26
2658.12/666.42	c  S st  8162   1209836     29162    124584         0     72822    378302   5888403    158.36   no data
2659.31/666.73	c  S st  8162   1210338     29162    124584         0     73324    378302   5984521    158.36   no data
2659.31/666.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2659.71/666.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.12
2660.11/666.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2660.11/666.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2660.11/666.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2660.11/666.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
2660.11/666.95	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
2660.90/667.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2662.10/667.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2675.67/670.83	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.35 s
2675.67/670.85	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
2676.08/670.95	c vivif2 --  cl tried    73322 cl shrink        0 lits rem          0 time: 0.11
2676.86/671.19	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.24
2677.26/671.20	c calculated reachability. Time: 0.00
2677.26/671.20	c  N dy  8162   1210338     29162    124584         0     73322    378302   5983095    158.36   no data
2724.35/683.10	c  N dy  8301   1230400     29162    124584         0     93383    378302  10916523    158.38    168.75
2770.99/694.76	c  N dy  8437   1250447     29162    124584         0     61430    378302   2909799    158.39    166.85
2816.48/706.20	c  N dy  8580   1270539     29162    124584         0     81521    378302   7871749    158.43    187.50
2865.52/718.48	c  N dy  8718   1290635     29162    124584         0    101615    378302  12847551    158.45    166.98
2911.40/729.93	c  N dy  8861   1310729     29162    124584         0     68716    378302   4442912    158.50    168.50
2957.66/741.60	c  N dy  8994   1330768     29162    124584         0     88752    378302   9296929    158.50    169.74
3008.72/754.34	c  N dy  9132   1350875     29162    124584         0     54860    378302    740044    158.53    168.67
3053.84/765.62	c  N dy  9275   1370952     29162    124584         0     74936    378302   5656874    158.54    282.91
3101.68/777.69	c  N dy  9408   1391136     29162    124584         0     95117    378302  10648930    158.56    175.16
3151.11/790.09	c  N dy  9551   1411255     29162    124584         0     60237    378302   1822345    158.59    168.25
3196.60/801.41	c  N dy  9689   1431285     29162    124584         0     80267    378302   6754737    158.61    171.85
3245.66/813.74	c  N dy  9827   1451357     29162    124584         0    100339    378302  11724349    158.64    196.30
3293.92/825.89	c  N dy  9969   1471493     29162    124584         0     64478    378302   2646574    158.67    182.36
3340.59/837.53	c  N dy 10115   1491695     29162    124584         0     84680    378302   7678246    158.72    168.51
3390.45/850.01	c  N dy 10248   1511759     29162    124584         0    104743    378302  12609287    158.72    176.85
3437.92/861.94	c  N dy 10381   1531842     29162    124584         0     67827    378302   3215857    158.72    174.39
3484.58/873.66	c  N dy 10519   1551909     29162    124584         0     87894    378302   8092578    158.73    167.39
3535.24/886.34	c  N dy 10652   1572147     29162    124584         0    108131    378302  13104341    158.71    167.40
3583.11/898.32	c  N dy 10793   1592240     29162    124584         0     70221    378302   3571186    158.72    169.76
3630.18/910.17	c  N dy 10929   1612272     29162    124584         0     90252    378302   8497716    158.72    167.92
3680.84/922.88	c  N dy 11064   1632318     29162    124584         0    110296    378302  13449420    158.73    180.26
3728.69/934.83	c  N dy 11200   1652408     29162    124584         0     71391    378302   3635526    158.72    167.35
3775.37/946.59	c  N dy 11338   1672430     29162    124584         0     91413    378302   8568373    158.72    169.01
3826.41/959.35	c  N dy 11477   1692520     29162    124584         0    111501    378302  13497701    158.72    169.25
3870.29/970.32	c  S st 11600   1710340     29162    124584         0     69325    378302   2894542    158.73    128.84
3871.49/970.63	c  S st 11600   1710845     29162    124584         0     69830    378302   2994239    158.73   no data
3871.49/970.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3871.90/970.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.12
3872.29/970.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3872.29/970.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3872.29/970.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3872.29/970.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
3872.29/970.84	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
3872.69/970.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
3873.49/971.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3881.46/973.10	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.92 s
3881.46/973.12	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
3881.46/973.18	c vivif2 --  cl tried    69829 cl shrink        0 lits rem          0 time: 0.06
3882.27/973.41	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.23
3882.68/973.42	c calculated reachability. Time: 0.00
3882.68/973.42	c  N dy 11600   1710845     29162    124584         0     69829    378302   2993835    158.73   no data
3930.53/985.48	c  N dy 11743   1731039     29162    124584         0     90021    378302   8067518    158.75    167.46
3981.59/998.27	c  N dy 11879   1751181     29162    124584         0    110162    378302  12986295    158.75    170.32
4031.86/1010.84	c  N dy 12020   1771184     29162    124584         0     69165    378302   2569335    158.77    169.22
4078.12/1022.44	c  N dy 12153   1791188     29162    124584         0     89167    378302   7472381    158.76    198.17
4128.39/1035.02	c  N dy 12278   1811226     29162    124584         0    109205    378302  12397776    158.75    198.64
4179.43/1047.83	c  N dy 12413   1831277     29162    124584         0     67259    378302   1877084    158.76    172.05
4226.89/1059.73	c  N dy 12557   1851488     29162    124584         0     87469    378302   6825032    158.78    167.87
4278.00/1072.53	c  N dy 12685   1871636     29162    124584         0    107614    378302  11808033    158.76    174.58
4331.41/1085.99	c  N dy 12821   1891660     29162    124584         0     64636    378302    978183    158.74    170.30
4377.28/1097.44	c  N dy 12952   1911770     29162    124584         0     84746    378302   5958811    158.76    167.74
4426.34/1109.79	c  N dy 13080   1931838     29162    124584         0    104812    378302  10894383    158.74    174.38
4479.83/1123.15	c  N dy 13216   1951911     29162    124584         0    124881    378302  15863836    158.74    190.90
4526.86/1134.91	c  N dy 13353   1972012     29162    124584         0     80995    378302   4813095    158.75    169.14
4575.51/1147.16	c  N dy 13495   1992014     29162    124584         0    100996    378302   9721452    158.76    171.86
4628.59/1160.48	c  N dy 13635   2012160     29162    124584         0    121141    378302  14716970    158.77    168.19
4678.42/1172.95	c  N dy 13768   2032216     29162    124584         0     76204    378302   3346703    158.78    171.06
4727.09/1185.19	c  N dy 13915   2052378     29162    124584         0     96361    378302   8398867    158.82    168.87
4779.34/1198.21	c  N dy 14047   2072488     29162    124584         0    116471    378302  13432737    158.84    180.22

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-3366138-1305396744/watcher-3366138-1305396744 -o /tmp/evaluation-result-3366138-1305396744/solver-3366138-1305396744 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366138-1305396744.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: 6.90 7.85 7.79 6/352 2506
/proc/meminfo: memFree=26246692/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 651277032 52396032 347 33554432000 4194304 4580107 140736597821760 18446744073709551615 47995970480054 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 12792 347 299 95 0 7774 0
[pid=2506/tid=2507] ppid=2504 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 651277032 52396032 351 33554432000 4194304 4580107 140736597821760 18446744073709551615 47995970479641 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651277032 52396032 351 33554432000 4194304 4580107 140736597821760 18446744073709551615 47995970480050 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 651277032 52396032 351 33554432000 4194304 4580107 140736597821760 18446744073709551615 47995970479641 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0790321 s]
/proc/loadavg: 6.90 7.85 7.79 6/352 2506
/proc/meminfo: memFree=26246692/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=306260 CPUtime=0.28 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 17523 0 0 0 26 2 0 0 18 0 4 0 651277032 313610240 15474 33554432000 4194304 4580107 140736597821760 18446744073709551615 4487413 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 76565 15475 337 95 0 71547 0
[pid=2506/tid=2507] ppid=2504 vsize=306260 CPUtime=0.06 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 4291 0 0 0 6 0 0 0 18 0 4 0 651277032 313610240 15478 33554432000 4194304 4580107 140736597821760 18446744073709551615 4510941 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=306260 CPUtime=0.05 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 4302 0 0 0 5 0 0 0 24 0 4 0 651277032 313610240 15480 33554432000 4194304 4580107 140736597821760 18446744073709551615 4299447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=306260 CPUtime=0.06 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 4376 0 0 0 6 0 0 0 18 0 4 0 651277032 313610240 15480 33554432000 4194304 4580107 140736597821760 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 306260

[startup+0.101031 s]
/proc/loadavg: 6.90 7.85 7.79 6/352 2506
/proc/meminfo: memFree=26246692/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=311544 CPUtime=0.37 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 19932 0 0 0 34 3 0 0 18 0 4 0 651277032 319021056 17883 33554432000 4194304 4580107 140736597821760 18446744073709551615 4511003 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 77886 17884 337 95 0 72868 0
[pid=2506/tid=2507] ppid=2504 vsize=311544 CPUtime=0.08 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 4885 0 0 0 8 0 0 0 18 0 4 0 651277032 319021056 17885 33554432000 4194304 4580107 140736597821760 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=311544 CPUtime=0.07 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 4898 0 0 0 7 0 0 0 24 0 4 0 651277032 319021056 17885 33554432000 4194304 4580107 140736597821760 18446744073709551615 216634183921 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=311544 CPUtime=0.09 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 4985 0 0 0 8 1 0 0 18 0 4 0 651277032 319021056 17885 33554432000 4194304 4580107 140736597821760 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 311544

[startup+0.300993 s]
/proc/loadavg: 6.90 7.85 7.79 6/352 2506
/proc/meminfo: memFree=26246692/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=324604 CPUtime=1.17 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 25950 0 0 0 113 4 0 0 18 0 4 0 651277032 332394496 23787 33554432000 4194304 4580107 140736597821760 18446744073709551615 216634176545 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 81151 23788 363 95 0 76133 0
[pid=2506/tid=2507] ppid=2504 vsize=324604 CPUtime=0.28 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 6951 0 0 0 28 0 0 0 18 0 4 0 651277032 332394496 23790 33554432000 4194304 4580107 140736597821760 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=324604 CPUtime=0.28 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 6692 0 0 0 27 1 0 0 18 0 4 0 651277032 332394496 23791 33554432000 4194304 4580107 140736597821760 18446744073709551615 216634183921 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=324604 CPUtime=0.29 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 5299 0 0 0 28 1 0 0 18 0 4 0 651277032 332394496 23793 33554432000 4194304 4580107 140736597821760 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 324604

[startup+0.700925 s]
/proc/loadavg: 6.90 7.85 7.79 6/352 2506
/proc/meminfo: memFree=26246692/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=340196 CPUtime=2.76 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 40997 0 0 0 269 7 0 0 18 0 4 0 651277032 348360704 30968 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 85049 30968 377 95 0 80031 0
[pid=2506/tid=2507] ppid=2504 vsize=340196 CPUtime=0.68 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 10890 0 0 0 67 1 0 0 18 0 4 0 651277032 348360704 30968 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=340196 CPUtime=0.67 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 12043 0 0 0 65 2 0 0 18 0 4 0 651277032 348360704 30968 33554432000 4194304 4580107 140736597821760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=340196 CPUtime=0.69 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 5641 0 0 0 68 1 0 0 18 0 4 0 651277032 348360704 30968 33554432000 4194304 4580107 140736597821760 18446744073709551615 4315423 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 340196

[startup+1.50078 s]
/proc/loadavg: 6.90 7.85 7.79 10/356 2510
/proc/meminfo: memFree=26100436/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=340196 CPUtime=5.94 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 43396 0 0 0 587 7 0 0 19 0 4 0 651277032 348360704 33237 33554432000 4194304 4580107 140736597821760 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 85049 33237 377 95 0 80031 0
[pid=2506/tid=2507] ppid=2504 vsize=340196 CPUtime=1.48 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 11451 0 0 0 147 1 0 0 19 0 4 0 651277032 348360704 33237 33554432000 4194304 4580107 140736597821760 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=340196 CPUtime=1.46 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 12686 0 0 0 144 2 0 0 19 0 4 0 651277032 348360704 33237 33554432000 4194304 4580107 140736597821760 18446744073709551615 4390396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=340196 CPUtime=1.49 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 6218 0 0 0 148 1 0 0 20 0 4 0 651277032 348360704 33237 33554432000 4194304 4580107 140736597821760 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 340196

[startup+3.1005 s]
/proc/loadavg: 6.90 7.85 7.79 9/356 2510
/proc/meminfo: memFree=26087168/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=471460 CPUtime=12.33 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 47657 0 0 0 1225 8 0 0 23 0 4 0 651277032 482775040 37472 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 117865 37472 377 95 0 112847 0
[pid=2506/tid=2507] ppid=2504 vsize=471460 CPUtime=3.08 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 12396 0 0 0 307 1 0 0 23 0 4 0 651277032 482775040 37472 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293918 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=471460 CPUtime=3.05 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 13679 0 0 0 302 3 0 0 23 0 4 0 651277032 482775040 37472 33554432000 4194304 4580107 140736597821760 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=471460 CPUtime=3.08 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 7539 0 0 0 307 1 0 0 25 0 4 0 651277032 482775040 37472 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 471460

[startup+6.30094 s]
/proc/loadavg: 6.99 7.85 7.79 9/356 2510
/proc/meminfo: memFree=25970588/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=471460 CPUtime=25.09 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 55221 0 0 0 2499 10 0 0 25 0 4 0 651277032 482775040 45036 33554432000 4194304 4580107 140736597821760 18446744073709551615 4318848 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 117865 45036 377 95 0 112847 0
[pid=2506/tid=2507] ppid=2504 vsize=471460 CPUtime=6.29 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 14187 0 0 0 627 2 0 0 25 0 4 0 651277032 482775040 45036 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=471460 CPUtime=6.22 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 15651 0 0 0 619 3 0 0 25 0 4 0 651277032 482775040 45036 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=471460 CPUtime=6.29 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 9434 0 0 0 627 2 0 0 25 0 4 0 651277032 482775040 45037 33554432000 4194304 4580107 140736597821760 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 471460

[startup+12.7008 s]
/proc/loadavg: 7.07 7.85 7.79 9/356 2510
/proc/meminfo: memFree=25878820/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=544736 CPUtime=50.62 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 76721 0 0 0 5050 12 0 0 25 0 4 0 651277032 557809664 44411 33554432000 4194304 4580107 140736597821760 18446744073709551615 4321874 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 136184 44411 378 95 0 131166 0
[pid=2506/tid=2507] ppid=2504 vsize=544736 CPUtime=12.68 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 19535 0 0 0 1266 2 0 0 25 0 4 0 651277032 557809664 44411 33554432000 4194304 4580107 140736597821760 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=544736 CPUtime=12.55 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 21005 0 0 0 1251 4 0 0 25 0 4 0 651277032 557809664 44411 33554432000 4194304 4580107 140736597821760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=544736 CPUtime=12.68 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 14799 0 0 0 1266 2 0 0 25 0 4 0 651277032 557809664 44411 33554432000 4194304 4580107 140736597821760 18446744073709551615 4295352 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 544736

[startup+25.5006 s]
/proc/loadavg: 7.28 7.86 7.80 9/356 2511
/proc/meminfo: memFree=25592020/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=654180 CPUtime=101.67 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 173451 0 0 0 10135 32 0 0 25 0 4 0 651277032 669880320 105801 33554432000 4194304 4580107 140736597821760 18446744073709551615 4321644 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 163545 105801 379 95 0 158527 0
[pid=2506/tid=2507] ppid=2504 vsize=654180 CPUtime=25.48 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 50255 0 0 0 2541 7 0 0 25 0 4 0 651277032 669880320 105801 33554432000 4194304 4580107 140736597821760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=654180 CPUtime=25.2 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 37028 0 0 0 2513 7 0 0 25 0 4 0 651277032 669880320 105801 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=654180 CPUtime=25.48 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 35342 0 0 0 2542 6 0 0 25 0 4 0 651277032 669880320 105801 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 654180

[startup+51.1011 s]
/proc/loadavg: 7.52 7.87 7.80 9/356 2511
/proc/meminfo: memFree=25422592/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=957076 CPUtime=203.79 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 245726 0 0 0 20327 52 0 0 25 0 4 0 651277032 980045824 138160 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 239269 138160 379 95 0 234251 0
[pid=2506/tid=2507] ppid=2504 vsize=957076 CPUtime=51.08 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 67325 0 0 0 5096 12 0 0 25 0 4 0 651277032 980045824 138160 33554432000 4194304 4580107 140736597821760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=957076 CPUtime=50.52 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 56893 0 0 0 5041 11 0 0 25 0 4 0 651277032 980045824 138160 33554432000 4194304 4580107 140736597821760 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=957076 CPUtime=51.09 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 51526 0 0 0 5097 12 0 0 25 0 4 0 651277032 980045824 138160 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 957076

[startup+102.313 s]
/proc/loadavg: 7.79 7.89 7.81 9/356 2513
/proc/meminfo: memFree=25173448/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=990352 CPUtime=408.06 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 359733 0 0 0 40724 82 0 0 25 0 4 0 651277032 1014120448 180760 33554432000 4194304 4580107 140736597821760 18446744073709551615 4295327 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 247588 180760 379 95 0 242570 0
[pid=2506/tid=2507] ppid=2504 vsize=990352 CPUtime=102.29 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 86920 0 0 0 10213 16 0 0 25 0 4 0 651277032 1014120448 180760 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=990352 CPUtime=101.17 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 85004 0 0 0 10097 20 0 0 25 0 4 0 651277032 1014120448 180760 33554432000 4194304 4580107 140736597821760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=990352 CPUtime=102.3 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 79603 0 0 0 10209 21 0 0 25 0 4 0 651277032 1014120448 180760 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 990352

[startup+162.3 s]

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

[pid=2506] ppid=2504 vsize=1501200 CPUtime=2562 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 1266261 0 0 0 255842 358 0 0 25 0 4 0 651277032 1537228800 300788 33554432000 4194304 4580107 140736597821760 18446744073709551615 4292985 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 375300 300788 379 95 0 370282 0
[pid=2506/tid=2507] ppid=2504 vsize=1501200 CPUtime=642.29 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 292914 0 0 0 64154 75 0 0 25 0 4 0 651277032 1537228800 300798 33554432000 4194304 4580107 140736597821760 18446744073709551615 4324501 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=1501200 CPUtime=635.27 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 322094 0 0 0 63437 90 0 0 25 0 4 0 651277032 1537228800 300798 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=1501200 CPUtime=642.27 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 333445 0 0 0 64126 101 0 0 25 0 4 0 651277032 1537228800 300798 33554432000 4194304 4580107 140736597821760 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562
Current children cumulated vsize (KiB) 1501200

[startup+702.301 s]
/proc/loadavg: 8.17 8.12 7.95 9/356 2529
/proc/meminfo: memFree=24239240/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=1537916 CPUtime=2801.3 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 1367849 0 0 0 279740 390 0 0 25 0 4 0 651277032 1574825984 311663 33554432000 4194304 4580107 140736597821760 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 384479 311663 379 95 0 379461 0
[pid=2506/tid=2507] ppid=2504 vsize=1537916 CPUtime=702.28 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 318999 0 0 0 70144 84 0 0 25 0 4 0 651277032 1574825984 311663 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=1537916 CPUtime=694.61 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 349619 0 0 0 69363 98 0 0 25 0 4 0 651277032 1574825984 311663 33554432000 4194304 4580107 140736597821760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=1537916 CPUtime=702.25 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 355242 0 0 0 70117 108 0 0 25 0 4 0 651277032 1574825984 311663 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.3
Current children cumulated vsize (KiB) 1537916

[startup+762.313 s]
/proc/loadavg: 8.31 8.16 7.97 9/356 2530
/proc/meminfo: memFree=24219496/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=1553896 CPUtime=3040.68 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 1464447 0 0 0 303645 423 0 0 25 0 4 0 651277032 1591189504 307629 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 388474 307629 379 95 0 383456 0
[pid=2506/tid=2507] ppid=2504 vsize=1553896 CPUtime=762.29 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 342754 0 0 0 76137 92 0 0 25 0 4 0 651277032 1591189504 307629 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=1553896 CPUtime=753.96 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 371208 0 0 0 75291 105 0 0 25 0 4 0 651277032 1591189504 307629 33554432000 4194304 4580107 140736597821760 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=1553896 CPUtime=762.27 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 382814 0 0 0 76110 117 0 0 25 0 4 0 651277032 1591189504 307629 33554432000 4194304 4580107 140736597821760 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.68
Current children cumulated vsize (KiB) 1553896

[startup+822.3 s]
/proc/loadavg: 8.17 8.14 7.98 9/356 2532
/proc/meminfo: memFree=24333668/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=1374404 CPUtime=3279.96 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 1556934 0 0 0 327544 452 0 0 25 0 4 0 651277032 1407389696 288761 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 343601 288761 379 95 0 338583 0
[pid=2506/tid=2507] ppid=2504 vsize=1374404 CPUtime=822.27 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 362893 0 0 0 82128 99 0 0 25 0 4 0 651277032 1407389696 288761 33554432000 4194304 4580107 140736597821760 18446744073709551615 4321636 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=1374404 CPUtime=813.3 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 394659 0 0 0 81218 112 0 0 25 0 4 0 651277032 1407389696 288761 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=1374404 CPUtime=822.25 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 406382 0 0 0 82101 124 0 0 25 0 4 0 651277032 1407389696 288761 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.96
Current children cumulated vsize (KiB) 1374404

[startup+882.301 s]
/proc/loadavg: 8.06 8.11 7.98 9/356 2534
/proc/meminfo: memFree=24128912/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=1555796 CPUtime=3519.29 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 1653552 0 0 0 351442 487 0 0 25 0 4 0 651277032 1593135104 337995 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 388949 337995 379 95 0 383931 0
[pid=2506/tid=2507] ppid=2504 vsize=1555796 CPUtime=882.28 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 384391 0 0 0 88120 108 0 0 25 0 4 0 651277032 1593135104 337996 33554432000 4194304 4580107 140736597821760 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=1555796 CPUtime=872.64 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 420093 0 0 0 87142 122 0 0 25 0 4 0 651277032 1593135104 337996 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=1555796 CPUtime=882.24 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 431940 0 0 0 88092 132 0 0 25 0 4 0 651277032 1593135104 337996 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.29
Current children cumulated vsize (KiB) 1555796

[startup+942.3 s]
/proc/loadavg: 8.02 8.09 7.98 9/356 2535
/proc/meminfo: memFree=24191004/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=1571384 CPUtime=3758.61 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 1743576 0 0 0 375342 519 0 0 25 0 4 0 651277032 1609097216 315125 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 392846 315125 379 95 0 387828 0
[pid=2506/tid=2507] ppid=2504 vsize=1571384 CPUtime=942.27 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 407669 0 0 0 94112 115 0 0 25 0 4 0 651277032 1609097216 315125 33554432000 4194304 4580107 140736597821760 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=1571384 CPUtime=931.99 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 443425 0 0 0 93069 130 0 0 25 0 4 0 651277032 1609097216 315125 33554432000 4194304 4580107 140736597821760 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=1571384 CPUtime=942.24 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 455624 0 0 0 94082 142 0 0 25 0 4 0 651277032 1609097216 315125 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.61
Current children cumulated vsize (KiB) 1571384

[startup+1002.3 s]
/proc/loadavg: 8.07 8.09 7.99 9/356 2537
/proc/meminfo: memFree=23900684/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=1450100 CPUtime=3997.94 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 1832441 0 0 0 399242 552 0 0 25 0 4 0 651277032 1484902400 320890 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 362525 320890 379 95 0 357507 0
[pid=2506/tid=2507] ppid=2504 vsize=1450100 CPUtime=1002.27 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 426694 0 0 0 100105 122 0 0 25 0 4 0 651277032 1484902400 320890 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=1450100 CPUtime=991.32 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 467780 0 0 0 98993 139 0 0 25 0 4 0 651277032 1484902400 320890 33554432000 4194304 4580107 140736597821760 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=1450100 CPUtime=1002.24 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 477237 0 0 0 100074 150 0 0 25 0 4 0 651277032 1484902400 320890 33554432000 4194304 4580107 140736597821760 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.94
Current children cumulated vsize (KiB) 1450100

[startup+1062.3 s]
/proc/loadavg: 8.14 8.10 8.00 9/356 2538
/proc/meminfo: memFree=23941324/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=1573360 CPUtime=4237.27 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 1919146 0 0 0 423145 582 0 0 25 0 4 0 651277032 1611120640 322749 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 393340 322749 379 95 0 388322 0
[pid=2506/tid=2507] ppid=2504 vsize=1573360 CPUtime=1062.27 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 445939 0 0 0 106098 129 0 0 25 0 4 0 651277032 1611120640 322749 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=1573360 CPUtime=1050.68 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 487563 0 0 0 104922 146 0 0 25 0 4 0 651277032 1611120640 322749 33554432000 4194304 4580107 140736597821760 18446744073709551615 4318305 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=1573360 CPUtime=1062.23 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 501873 0 0 0 106065 158 0 0 25 0 4 0 651277032 1611120640 322749 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.27
Current children cumulated vsize (KiB) 1573360

[startup+1122.3 s]
/proc/loadavg: 8.15 8.11 8.00 9/356 2540
/proc/meminfo: memFree=23760000/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=1644240 CPUtime=4476.6 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 2026861 0 0 0 447043 617 0 0 25 0 4 0 651277032 1683701760 355912 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 411060 355912 379 95 0 406042 0
[pid=2506/tid=2507] ppid=2504 vsize=1644240 CPUtime=1122.28 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 466578 0 0 0 112090 138 0 0 25 0 4 0 651277032 1683701760 355912 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=1644240 CPUtime=1110.02 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 530945 0 0 0 110844 158 0 0 25 0 4 0 651277032 1683701760 355912 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=1644240 CPUtime=1122.23 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 524607 0 0 0 112057 166 0 0 25 0 4 0 651277032 1683701760 355912 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.6
Current children cumulated vsize (KiB) 1644240

[startup+1182.3 s]
/proc/loadavg: 8.15 8.12 8.01 9/356 2542
/proc/meminfo: memFree=23791608/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=1707484 CPUtime=4715.93 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 2115772 0 0 0 470947 646 0 0 25 0 4 0 651277032 1748463616 345263 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 426871 345263 379 95 0 421853 0
[pid=2506/tid=2507] ppid=2504 vsize=1707484 CPUtime=1182.27 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 485510 0 0 0 118084 143 0 0 25 0 4 0 651277032 1748463616 345263 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=1707484 CPUtime=1169.37 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 553428 0 0 0 116770 167 0 0 25 0 4 0 651277032 1748463616 345263 33554432000 4194304 4580107 140736597821760 18446744073709551615 4295856 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=1707484 CPUtime=1182.23 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 549226 0 0 0 118049 174 0 0 25 0 4 0 651277032 1748463616 345263 33554432000 4194304 4580107 140736597821760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.93
Current children cumulated vsize (KiB) 1707484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.18 8.12 8.01 5/351 2543
/proc/meminfo: memFree=24793304/32951124 swapFree=53501236/67111528
[pid=2506] ppid=2504 vsize=1645776 CPUtime=4800.14 cores=0,2,4,6
/proc/2506/stat : 2506 (strangenight2-m) R 2504 2506 1623 0 -1 4202496 2149084 0 0 0 479359 655 0 0 25 0 4 0 651277032 1685274624 364593 33554432000 4194304 4580107 140736597821760 18446744073709551615 4320708 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2506/statm: 411444 364594 379 95 0 406426 0
[pid=2506/tid=2507] ppid=2504 vsize=1645776 CPUtime=1203.39 cores=0,2,4,6
/proc/2506/task/2507/stat : 2507 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 493459 0 0 0 120194 145 0 0 25 0 4 0 651277032 1685274624 364602 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2506/tid=2508] ppid=2504 vsize=1645776 CPUtime=1190.24 cores=0,2,4,6
/proc/2506/task/2508/stat : 2508 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 561545 0 0 0 118855 169 0 0 25 0 4 0 651277032 1685274624 364602 33554432000 4194304 4580107 140736597821760 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2506/tid=2509] ppid=2504 vsize=1645776 CPUtime=1203.36 cores=0,2,4,6
/proc/2506/task/2509/stat : 2509 (strangenight2-m) R 2504 2506 1623 0 -1 4202560 558499 0 0 0 120159 177 0 0 25 0 4 0 651277032 1685274624 364602 33554432000 4194304 4580107 140736597821760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 1645776

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): 1203.5
CPU time (s): 4800.26
CPU user time (s): 4793.64
CPU system time (s): 6.61899
CPU usage (%): 398.86
Max. virtual memory (cumulated for all children) (KiB): 1707484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.64
system time used= 6.61899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2149103
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= 2680
involuntary context switches= 20607

runsolver used 3.69944 second user time and 9.46256 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 20:12:24
IDJOB=3366138
IDBENCH=82547
IDSOLVER=1844
FILE ID=node103/3366138-1305396744
RUNJOBID= node103-1305396744-2483
PBS_JOBID= 13324444
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366138-1305396744/watcher-3366138-1305396744 -o /tmp/evaluation-result-3366138-1305396744/solver-3366138-1305396744 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366138-1305396744.cnf

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

MD5SUM BENCH= 30037b76a2fd7877580e038a49317f67
RANDOM SEED=1221022933

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.75
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.858
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.83
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.858
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:      26246848 kB
Buffers:        293836 kB
Cached:        3864456 kB
SwapCached:     340192 kB
Active:        1327316 kB
Inactive:      5107936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26246848 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           13980 kB
Writeback:           0 kB
AnonPages:     1946892 kB
Mapped:          10584 kB
Slab:           151424 kB
PageTables:      53476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78377216 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= 72984 MiB
End job on node103 at 2011-05-14 20:32:30