Trace number 3173729

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.23 1201.78

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.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-3173729-1304030127.cnf'
0.00/0.00	c -- header says num vars:          30000
0.00/0.00	c -- header says num clauses:      126000
0.33/0.35	c -- clauses added:            0 learnts,       126000 normals,            0 xors
0.33/0.35	c -- vars added      30000
0.33/0.35	c Parsing time:  0.10 s
0.33/0.35	c  N st     0         0     30000    126000         0         0    378000         0   no data   no data
0.33/0.35	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.11
0.33/0.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.06
1.26/0.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.26/0.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.26/0.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.26/0.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30000 time:  0.01 s
1.26/0.56	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
4.78/1.23	c lits-rem:         0  cl-subs:        0  v-elim:    727  v-fix:    0  time:  0.21 s
4.78/1.23	c Finding binary XORs  T:     0.01 s  found:       0
4.78/1.23	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
4.78/1.23	c calculated reachability. Time: 0.00
4.78/1.23	c Calc default polars -  time:   0.01 s pos:   13431 undec:    3305 neg:   13264
4.78/1.23	c =========================================================================================
4.78/1.23	c types(t): F = full restart, N = normal restart
4.78/1.23	c types(t): S = simplification begin/end, E = solution found
4.78/1.23	c restart types(rt): st = static, dy = dynamic
4.78/1.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.78/1.23	c  B st     0         0     29273    125175         0         0    379942         0   no data   no data
9.47/2.45	c  N dy    21      4053     29273    125175         0      4052    379942   1140801    159.82    169.04
15.87/4.10	c  N dy    46      8068     29273    125175         0      8067    379942   2042915    152.40    163.76
22.66/5.79	c  N dy    69     12168     29273    125175         0     12167    379942   2965119    148.76    159.73
29.87/7.58	c  N dy    95     16308     29273    125175         0     16307    379942   3919395    148.89    157.30
37.43/9.41	c  N dy   124     20363     29273    125175         0     10368    379942    701020    150.00    160.84
44.22/11.12	c  N dy   155     24393     29273    125175         0     14398    379942   1661764    151.05    161.49
45.02/11.38	c  F st   161     25001     29273    125175         0     15006    379942   1814759    151.43   no data
54.61/13.73	c  N dy   167     30000     29273    125175         0     20004    379942   3545027    151.43   no data
54.61/13.73	c  S st   167     30000     29273    125175         0     20004    379942   3545027    151.43   no data
55.41/13.96	c  S st   167     30503     29273    125175         0     20507    379942   3634277    151.43   no data
55.41/13.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
56.23/14.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
56.23/14.17	c blocked clauses removed:      571 vars:     91 tried:       29273 T: 0.02 s
56.23/14.18	c bin-w-bin subsume rem            0 bins  time:  0.01 s
56.23/14.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
56.61/14.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29182 time:  0.01 s
56.61/14.22	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
57.01/14.37	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.16 s
58.61/14.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
62.60/15.71	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.95 s
63.00/15.86	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.15
63.00/15.87	c calculated reachability. Time: 0.00
63.00/15.87	c  N dy   167     30503     29162    124584         0     20254    378302   3511774    151.43   no data
70.59/17.77	c  N dy   196     34551     29162    124584         0     24301    378302   4507441    152.28    163.46
78.58/19.73	c  N dy   224     38633     29162    124584         0     28383    378302   5445276    152.06    160.83
86.16/21.68	c  N dy   254     42711     29162    124584         0     17086    378302   1135096    152.49    167.47
91.75/23.02	c  S st   277     45754     29162    124584         0     20129    378302   1831704    152.61   no data
92.55/23.25	c  S st   277     46256     29162    124584         0     20631    378302   1920598    152.61   no data
92.55/23.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
93.35/23.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
93.35/23.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
93.35/23.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
93.35/23.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
93.35/23.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
93.75/23.50	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
94.14/23.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
94.54/23.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
95.76/24.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.28 s
95.76/24.08	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
96.14/24.12	c vivif2 --  cl tried    20631 cl shrink        0 lits rem          0 time: 0.03
96.55/24.27	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.15
96.55/24.27	c calculated reachability. Time: 0.00
96.55/24.27	c  N dy   277     46256     29162    124584         0     20631    378302   1920598    152.61   no data
104.15/26.11	c  N dy   306     50331     29162    124584         0     24706    378302   2906130    152.97    161.55
111.72/28.03	c  N dy   339     54462     29162    124584         0     28837    378302   3893990    153.45    162.40
119.31/29.94	c  N dy   365     58529     29162    124584         0     32904    378302   4855631    153.28    167.07
127.30/31.95	c  N dy   396     62646     29162    124584         0     37021    378302   5835008    153.41    163.76
134.49/33.80	c  N dy   422     66683     29162    124584         0     22370    378302   1564229    153.31    164.13
139.71/35.08	c  S st   443     69384     29162    124584         0     25071    378302   2227546    153.77    147.99
140.88/35.33	c  S st   443     69890     29162    124584         0     25577    378302   2317057    153.77   no data
140.88/35.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
141.28/35.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
141.68/35.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.68/35.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
141.68/35.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
141.68/35.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
141.68/35.57	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
142.48/35.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
142.87/35.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
144.48/36.28	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.41 s
144.88/36.30	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
144.88/36.34	c vivif2 --  cl tried    25575 cl shrink        0 lits rem          0 time: 0.04
145.68/36.50	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.16
145.68/36.51	c calculated reachability. Time: 0.00
145.68/36.51	c  N dy   443     69890     29162    124584         0     25575    378302   2316123    153.77   no data
154.06/38.64	c  N dy   477     74462     29162    124584         0     30147    378302   3412724    154.01    168.08
163.25/40.92	c  N dy   510     79245     29162    124584         0     34930    378302   4534589    154.12    167.29
172.84/43.35	c  N dy   544     84306     29162    124584         0     39991    378302   5693745    154.07    162.37
179.25/44.93	c  F st   566     87501     29162    124584         0     22348    378302   1026957    154.04   no data
185.62/46.58	c  N st   571     90797     29162    124584         0     25644    378302   2118574    154.04   no data
197.21/49.41	c  N dy   601     96610     29162    124584         0     31457    378302   3775196    154.30    167.33
209.19/52.49	c  N dy   644    102868     29162    124584         0     37715    378302   5310032    154.43    165.92
213.18/53.46	c  S st   659    104836     29162    124584         0     39683    378302   5795627    154.47   no data
214.40/53.72	c  S st   659    105340     29162    124584         0     40187    378302   5893400    154.47   no data
214.40/53.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
215.18/53.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
215.18/53.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
215.18/53.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
215.18/53.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
215.18/53.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
215.18/53.98	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
215.98/54.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
217.58/54.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
224.76/56.32	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.74 s
224.76/56.34	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
225.16/56.44	c vivif2 --  cl tried    40184 cl shrink        0 lits rem          0 time: 0.10
225.96/56.62	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.18
225.96/56.63	c calculated reachability. Time: 0.00
225.96/56.63	c  N dy   659    105340     29162    124584         0     40184    378302   5890805    154.47   no data
239.55/60.02	c  N dy   710    112064     29162    124584         0     24484    378302   1137876    154.68    186.95
253.14/63.48	c  N dy   765    119318     29162    124584         0     31738    378302   2903919    154.89    165.03
268.31/67.28	c  N dy   816    127006     29162    124584         0     39426    378302   4786878    155.10    194.37
284.70/71.35	c  N dy   866    135138     29162    124584         0     23842    378302    630615    154.96    174.05
301.46/75.51	c  N dy   927    143925     29162    124584         0     32628    378302   2773672    155.13    163.56
319.86/80.16	c  N dy   997    153217     29162    124584         0     41920    378302   5057982    155.63    166.59
329.43/82.56	c  S st  1029    158010     29162    124584         0     46713    378302   6215403    155.63   no data
330.63/82.83	c  S st  1029    158510     29162    124584         0     47213    378302   6305221    155.63   no data
330.63/82.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
331.43/83.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
331.43/83.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
331.43/83.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
331.43/83.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
331.43/83.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
331.82/83.10	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
332.22/83.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
333.82/83.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
343.41/86.04	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.34 s
343.41/86.06	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
343.81/86.17	c vivif2 --  cl tried    47212 cl shrink        0 lits rem          0 time: 0.11
344.61/86.37	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.19
344.61/86.38	c calculated reachability. Time: 0.00
344.61/86.38	c  N dy  1029    158510     29162    124584         0     47212    378302   6305076    155.63   no data
364.58/91.31	c  N dy  1091    168736     29162    124584         0     32587    378302   2425415    155.49    169.34
385.38/96.58	c  N dy  1158    179579     29162    124584         0     43430    378302   4988877    155.33    180.86
408.93/102.41	c  N dy  1238    191110     29162    124584         0     29035    378302   1287537    155.41    165.01
432.90/108.47	c  N dy  1323    203495     29162    124584         0     41420    378302   4294735    155.49    164.01
459.66/115.16	c  N dy  1410    216485     29162    124584         0     27453    378302    646004    155.54    182.26
486.85/121.97	c  N dy  1510    230404     29162    124584         0     41370    378302   4059141    155.74    165.98
502.00/125.72	c  S st  1564    237765     29162    124584         0     48731    378302   5855070    155.82   no data
502.80/125.98	c  S st  1564    238267     29162    124584         0     49233    378302   5941938    155.82   no data
503.20/126.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
503.60/126.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
504.01/126.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
504.01/126.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
504.01/126.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
504.01/126.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
504.01/126.25	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
504.79/126.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
506.00/126.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
515.59/129.19	c lits-rem:         9  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.39 s
515.99/129.21	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
516.39/129.31	c vivif2 --  cl tried    49228 cl shrink        0 lits rem          0 time: 0.11
517.20/129.51	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.20
517.20/129.52	c calculated reachability. Time: 0.00
517.20/129.52	c  N dy  1564    238267     29162    124584         0     49228    378302   5941313    155.82   no data
547.54/137.16	c  N dy  1665    253499     29162    124584         0     36478    378302   2544332    155.82    166.34
580.69/145.47	c  N dy  1778    269848     29162    124584         0     52826    378302   6567115    156.00    173.72
615.85/154.23	c  N dy  1899    287090     29162    124584         0     41078    378302   3478910    156.25    165.98
653.81/163.78	c  N dy  2026    305479     29162    124584         0     59465    378302   7980841    156.43    172.86
655.79/164.22	c  F st  2032    306250     29162    124584         0     30238    378302    541540    156.43   no data
694.14/173.89	c  N dy  2134    325009     29162    124584         0     48996    378302   5789541    156.62    170.51
736.48/184.42	c  N dy  2277    345156     29162    124584         0     38144    378302   2239417    156.79    173.74
761.25/190.64	c  S st  2359    357401     29162    124584         0     50388    378302   5241995    156.85   no data
762.45/190.92	c  S st  2359    357908     29162    124584         0     50895    378302   5337128    156.85   no data
762.45/190.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
763.26/191.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
763.26/191.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
763.26/191.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
763.26/191.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
763.26/191.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
763.26/191.20	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
764.04/191.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
765.24/191.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
774.02/193.89	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.19 s
774.42/193.91	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
774.82/194.00	c vivif2 --  cl tried    50892 cl shrink        0 lits rem          0 time: 0.09
775.62/194.20	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.20
775.62/194.21	c calculated reachability. Time: 0.00
775.62/194.21	c  N dy  2359    357908     29162    124584         0     50892    378302   5335826    156.85   no data
817.17/204.63	c  N dy  2483    378008     29162    124584         0     38997    378302   2115206    156.67    165.91
860.33/215.46	c  N dy  2632    398271     29162    124584         0     59258    378302   7068100    156.89    173.99
901.84/225.85	c  N dy  2770    418403     29162    124584         0     46393    378302   3746893    156.95    174.85
944.99/236.66	c  N dy  2915    438521     29162    124584         0     66510    378302   8659931    157.04    168.27
986.14/246.90	c  N dy  3044    458564     29162    124584         0     52552    378302   4962908    156.97    165.91
1029.28/257.73	c  N dy  3179    478613     29162    124584         0     37605    378302   1124015    157.03    166.42
1070.84/268.13	c  N dy  3319    498769     29162    124584         0     57758    378302   5952715    157.01    166.58
1113.57/278.88	c  N dy  3455    518809     29162    124584         0     41798    378302   1939247    157.05    168.78
1151.11/288.25	c  S st  3571    536865     29162    124584         0     59852    378302   6300053    157.02    153.35
1152.31/288.54	c  S st  3571    537368     29162    124584         0     60355    378302   6386891    157.02   no data
1152.31/288.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1153.11/288.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.18
1153.11/288.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1153.11/288.79	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1153.51/288.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1153.51/288.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
1153.51/288.83	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1154.33/289.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
1155.51/289.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1167.91/292.49	c lits-rem:        10  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.09 s
1168.29/292.51	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
1168.69/292.63	c vivif2 --  cl tried    60351 cl shrink        0 lits rem          0 time: 0.11
1169.48/292.84	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.22
1169.48/292.85	c calculated reachability. Time: 0.00
1169.48/292.85	c  N dy  3571    537368     29162    124584         0     60351    378302   6385350    157.02   no data
1213.43/303.87	c  N dy  3716    557547     29162    124584         0     43532    378302   2076470    157.15    169.11
1256.17/314.54	c  N dy  3861    577586     29162    124584         0     63571    378302   6955214    157.22    166.78
1299.74/325.46	c  N dy  3998    597599     29162    124584         0     45586    378302   2378817    157.28    171.49
1342.45/336.17	c  N dy  4132    617636     29162    124584         0     65621    378302   7409022    157.41    167.57
1387.61/347.42	c  N dy  4266    638196     29162    124584         0     47177    378302   2451409    157.38    166.92
1430.74/358.26	c  N dy  4407    658211     29162    124584         0     67191    378302   7402865    157.50    167.10
1475.49/369.48	c  N dy  4548    678278     29162    124584         0     47261    378302   2272645    157.63    166.65
1520.62/380.73	c  N dy  4687    698484     29162    124584         0     67466    378302   7242960    157.73    173.78
1565.75/392.07	c  N dy  4822    718875     29162    124584         0     46868    378302   1902763    157.78    166.13
1609.29/402.97	c  N dy  4972    738924     29162    124584         0     66917    378302   6874749    157.91    167.25
1654.83/414.40	c  N dy  5112    758976     29162    124584         0     44969    378302   1251402    157.95    178.00
1697.97/425.16	c  N dy  5256    779063     29162    124584         0     65055    378302   6174535    157.99    170.67
1744.71/436.82	c  N dy  5396    799138     29162    124584         0     85129    378302  11137188    158.00    167.40
1759.49/440.51	c  S st  5441    806052     29162    124584         0     49042    378302   1946234    157.99   no data
1760.29/440.77	c  S st  5441    806556     29162    124584         0     49546    378302   2039854    157.99   no data
1760.29/440.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1761.10/440.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1761.48/441.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1761.48/441.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1761.48/441.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1761.48/441.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
1761.48/441.04	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1761.88/441.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1762.68/441.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1765.50/442.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.73 s
1765.50/442.07	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
1765.87/442.11	c vivif2 --  cl tried    49546 cl shrink        0 lits rem          0 time: 0.04
1766.67/442.31	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.20
1766.67/442.32	c calculated reachability. Time: 0.00
1766.67/442.32	c  N dy  5441    806556     29162    124584         0     49546    378302   2039854    157.99   no data
1810.22/453.24	c  N dy  5573    826586     29162    124584         0     69572    378302   7016805    158.02    168.47
1857.38/465.09	c  N dy  5706    846663     29162    124584         0     45652    378302    906005    158.01    170.58
1900.50/475.88	c  N dy  5840    866844     29162    124584         0     65833    378302   5856675    158.04    166.38
1947.24/487.59	c  N dy  5981    886943     29162    124584         0     85929    378302  10794729    158.09    167.03
1990.79/498.40	c  N dy  6115    906946     29162    124584         0     60937    378302   4397521    158.09    182.65
2036.32/509.84	c  N dy  6254    927027     29162    124584         0     81018    378302   9352586    158.13    168.26
2081.48/521.18	c  N dy  6389    947102     29162    124584         0     55095    378302   2727360    158.12    171.21
2126.20/532.35	c  N dy  6520    967185     29162    124584         0     75177    378302   7667843    158.11    209.30
2174.54/544.46	c  N dy  6659    987232     29162    124584         0     48221    378302    799762    158.13    166.58
2217.70/555.22	c  N dy  6794   1007257     29162    124584         0     68245    378302   5687932    158.17    211.47
2264.43/566.93	c  N dy  6933   1027327     29162    124584         0     88314    378302  10574117    158.15    184.03
2309.56/578.22	c  N dy  7070   1047340     29162    124584         0     60332    378302   3529658    158.14    176.66
2354.70/589.56	c  N dy  7212   1067414     29162    124584         0     80406    378302   8422340    158.19    172.16
2365.48/592.20	c  F st  7241   1071876     29162    124584         0     84868    378302   9492622    158.18   no data
2402.65/601.55	c  N dy  7321   1087458     29162    124584         0     51454    378302   1097071    158.20    168.21
2446.18/612.50	c  N dy  7461   1107580     29162    124584         0     71575    378302   6007858    158.22    167.63
2494.11/624.45	c  N dy  7602   1127702     29162    124584         0     91695    378302  11014376    158.27    166.68
2540.44/636.04	c  N dy  7742   1147802     29162    124584         0     61792    378302   3476428    158.31    168.82
2586.38/647.51	c  N dy  7874   1167923     29162    124584         0     81910    378302   8434923    158.35    167.75
2635.90/659.99	c  N dy  8015   1188133     29162    124584         0     51120    378302    548159    158.35    169.03
2679.85/670.90	c  N dy  8150   1208178     29162    124584         0     71164    378302   5473917    158.36    167.26
2683.87/671.90	c  S st  8162   1209836     29162    124584         0     72822    378302   5888403    158.36   no data
2685.04/672.24	c  S st  8162   1210338     29162    124584         0     73324    378302   5984521    158.36   no data
2685.04/672.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2685.84/672.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.20
2686.24/672.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2686.24/672.52	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2686.24/672.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2686.24/672.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
2686.24/672.55	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
2687.04/672.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2688.26/673.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2702.22/676.51	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.40 s
2702.22/676.53	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
2702.62/676.65	c vivif2 --  cl tried    73322 cl shrink        0 lits rem          0 time: 0.12
2703.82/676.90	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.25
2703.82/676.91	c calculated reachability. Time: 0.00
2703.82/676.91	c  N dy  8162   1210338     29162    124584         0     73322    378302   5983095    158.36   no data
2750.96/688.79	c  N dy  8301   1230400     29162    124584         0     93383    378302  10916523    158.38    168.75
2798.11/700.53	c  N dy  8437   1250447     29162    124584         0     61430    378302   2909799    158.39    166.85
2843.63/711.96	c  N dy  8580   1270539     29162    124584         0     81521    378302   7871749    158.43    187.50
2892.77/724.26	c  N dy  8718   1290635     29162    124584         0    101615    378302  12847551    158.45    166.98
2938.73/735.79	c  N dy  8861   1310729     29162    124584         0     68716    378302   4442912    158.50    168.50
2985.44/747.45	c  N dy  8994   1330768     29162    124584         0     88752    378302   9296929    158.50    169.74
3036.97/760.36	c  N dy  9132   1350875     29162    124584         0     54860    378302    740044    158.53    168.67
3081.72/771.55	c  N dy  9275   1370952     29162    124584         0     74936    378302   5656874    158.54    282.91
3130.06/783.61	c  N dy  9408   1391136     29162    124584         0     95117    378302  10648930    158.56    175.16
3179.59/796.10	c  N dy  9551   1411255     29162    124584         0     60237    378302   1822345    158.59    168.25
3225.13/807.42	c  N dy  9689   1431285     29162    124584         0     80267    378302   6754737    158.61    171.85
3274.26/819.72	c  N dy  9827   1451357     29162    124584         0    100339    378302  11724349    158.64    196.30
3322.98/831.93	c  N dy  9969   1471493     29162    124584         0     64478    378302   2646574    158.67    182.36
3369.34/843.59	c  N dy 10115   1491695     29162    124584         0     84680    378302   7678246    158.72    168.51
3419.25/856.05	c  N dy 10248   1511759     29162    124584         0    104743    378302  12609287    158.72    176.85
3467.17/868.05	c  N dy 10381   1531842     29162    124584         0     67827    378302   3215857    158.72    174.39
3513.94/879.78	c  N dy 10519   1551909     29162    124584         0     87894    378302   8092578    158.73    167.39
3564.65/892.42	c  N dy 10652   1572147     29162    124584         0    108131    378302  13104341    158.71    167.40
3612.97/904.50	c  N dy 10793   1592240     29162    124584         0     70221    378302   3571186    158.72    169.76
3660.12/916.39	c  N dy 10929   1612272     29162    124584         0     90252    378302   8497716    158.72    167.92
3711.24/929.10	c  N dy 11064   1632318     29162    124584         0    110296    378302  13449420    158.73    180.26
3759.18/941.15	c  N dy 11200   1652408     29162    124584         0     71391    378302   3635526    158.72    167.35
3806.32/952.93	c  N dy 11338   1672430     29162    124584         0     91413    378302   8568373    158.72    169.01
3857.07/965.65	c  N dy 11477   1692520     29162    124584         0    111501    378302  13497701    158.72    169.25
3901.00/976.61	c  S st 11600   1710340     29162    124584         0     69325    378302   2894542    158.73    128.84
3902.18/976.92	c  S st 11600   1710845     29162    124584         0     69830    378302   2994239    158.73   no data
3902.18/976.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3902.97/977.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.19
3902.97/977.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3902.97/977.18	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3902.97/977.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3903.37/977.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29162 time:  0.01 s
3903.37/977.22	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
3903.77/977.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
3904.57/977.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3912.56/979.54	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.97 s
3912.56/979.56	c vivif2 --  cl tried   124584 cl shrink        0 lits rem          0 time: 0.02
3912.96/979.62	c vivif2 --  cl tried    69829 cl shrink        0 lits rem          0 time: 0.06
3913.77/979.85	c asymm  cl-useful: 0/124584/124584 lits-rem:0 time: 0.23
3913.77/979.86	c calculated reachability. Time: 0.00
3913.77/979.86	c  N dy 11600   1710845     29162    124584         0     69829    378302   2993835    158.73   no data
3962.12/991.99	c  N dy 11743   1731039     29162    124584         0     90021    378302   8067518    158.75    167.46
4012.83/1004.69	c  N dy 11879   1751181     29162    124584         0    110162    378302  12986295    158.75    170.32
4063.57/1017.35	c  N dy 12020   1771184     29162    124584         0     69165    378302   2569335    158.77    169.22
4109.88/1028.97	c  N dy 12153   1791188     29162    124584         0     89167    378302   7472381    158.76    198.17
4160.23/1041.50	c  N dy 12278   1811226     29162    124584         0    109205    378302  12397776    158.75    198.64
4211.34/1054.38	c  N dy 12413   1831277     29162    124584         0     67259    378302   1877084    158.76    172.05
4259.67/1066.48	c  N dy 12557   1851488     29162    124584         0     87469    378302   6825032    158.78    167.87
4310.40/1079.11	c  N dy 12685   1871636     29162    124584         0    107614    378302  11808033    158.76    174.58
4363.53/1092.46	c  N dy 12821   1891660     29162    124584         0     64636    378302    978183    158.74    170.30
4409.46/1103.96	c  N dy 12952   1911770     29162    124584         0     84746    378302   5958811    158.76    167.74
4459.01/1116.31	c  N dy 13080   1931838     29162    124584         0    104812    378302  10894383    158.74    174.38
4512.12/1129.68	c  N dy 13216   1951911     29162    124584         0    124881    378302  15863836    158.74    190.90
4559.66/1141.52	c  N dy 13353   1972012     29162    124584         0     80995    378302   4813095    158.75    169.14
4608.40/1153.75	c  N dy 13495   1992014     29162    124584         0    100996    378302   9721452    158.76    171.86
4661.50/1167.07	c  N dy 13635   2012160     29162    124584         0    121141    378302  14716970    158.77    168.19
4711.43/1179.57	c  N dy 13768   2032216     29162    124584         0     76204    378302   3346703    158.78    171.06
4760.57/1191.81	c  N dy 13915   2052378     29162    124584         0     96361    378302   8398867    158.82    168.87

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173729-1304030127/watcher-3173729-1304030127 -o /tmp/evaluation-result-3173729-1304030127/solver-3173729-1304030127 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173729-1304030127.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: 7.92 7.99 6.35 5/180 31296
/proc/meminfo: memFree=13750320/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 514613144 52441088 353 33554432000 4194304 4627427 140735408062672 18446744073709551615 48010649663001 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 12803 353 303 106 0 7774 0
[pid=31296/tid=31297] ppid=31294 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 514613144 52441088 353 33554432000 4194304 4627427 140735408062672 18446744073709551615 48010649663001 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514613144 52441088 353 33554432000 4194304 4627427 140735408062672 18446744073709551615 48010649663400 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514613144 52441088 353 33554432000 4194304 4627427 140735408062672 18446744073709551615 48010649662999 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.101783 s]
/proc/loadavg: 7.92 7.99 6.35 5/180 31296
/proc/meminfo: memFree=13750320/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=374744 CPUtime=0.33 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) S 31294 31296 31124 0 -1 4202496 17576 0 0 0 24 9 0 0 17 0 4 0 514613144 383737856 15430 33554432000 4194304 4627427 140735408062672 18446744073709551615 230809270766 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 93686 15452 339 106 0 88657 0
[pid=31296/tid=31297] ppid=31294 vsize=374744 CPUtime=0.07 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 4506 0 0 0 6 1 0 0 17 0 4 0 514613144 383737856 15464 33554432000 4194304 4627427 140735408062672 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=374744 CPUtime=0.07 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) S 31294 31296 31124 0 -1 4202560 4425 0 0 0 5 2 0 0 18 0 4 0 514613144 383737856 15481 33554432000 4194304 4627427 140735408062672 18446744073709551615 230809270766 0 0 4096 2 18446604450220239680 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=374744 CPUtime=0.08 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 4404 0 0 0 6 2 0 0 17 0 4 0 514613144 383737856 15502 33554432000 4194304 4627427 140735408062672 18446744073709551615 230808834289 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 374744

[startup+0.339936 s]
/proc/loadavg: 7.92 7.99 6.35 5/180 31296
/proc/meminfo: memFree=13750320/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=383948 CPUtime=1.26 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 22360 0 0 0 112 14 0 0 17 0 4 0 514613144 393162752 20214 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 96480 21117 371 106 0 91451 0
[pid=31296/tid=31297] ppid=31294 vsize=385920 CPUtime=0.33 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) D 31294 31296 31124 0 -1 4202560 6519 0 0 0 30 3 0 0 18 0 4 0 514613144 395182080 22737 33554432000 4194304 4627427 140735408062672 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=387364 CPUtime=0.34 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) D 31294 31296 31124 0 -1 4202560 7088 0 0 0 30 4 0 0 18 0 4 0 514613144 396660736 23061 33554432000 4194304 4627427 140735408062672 18446744073709551615 230808863189 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=388808 CPUtime=0.34 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 5338 0 0 0 31 3 0 0 18 0 4 0 514613144 398139392 24297 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 383948

[startup+0.465744 s]
/proc/loadavg: 7.92 7.99 6.35 5/180 31296
/proc/meminfo: memFree=13750320/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=393856 CPUtime=1.74 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 33453 0 0 0 158 16 0 0 18 0 4 0 514613144 403308544 30430 33554432000 4194304 4627427 140735408062672 18446744073709551615 4498052 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 100029 32108 381 106 0 95000 0
[pid=31296/tid=31297] ppid=31294 vsize=400116 CPUtime=0.52 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 9990 0 0 0 49 3 0 0 18 0 4 0 514613144 409718784 32173 33554432000 4194304 4627427 140735408062672 18446744073709551615 230809223594 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=400116 CPUtime=0.53 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) D 31294 31296 31124 0 -1 4202560 11538 0 0 0 49 4 0 0 18 0 4 0 514613144 409718784 32173 33554432000 4194304 4627427 140735408062672 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=400116 CPUtime=0.53 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 5485 0 0 0 50 3 0 0 18 0 4 0 514613144 409718784 32173 33554432000 4194304 4627427 140735408062672 18446744073709551615 4306576 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 393856

[startup+1.22557 s]
/proc/loadavg: 7.92 7.99 6.35 5/180 31296
/proc/meminfo: memFree=13750320/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=397988 CPUtime=4.78 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 42581 0 0 0 460 18 0 0 18 0 4 0 514613144 407539712 34086 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 99497 34086 385 106 0 94468 0
[pid=31296/tid=31297] ppid=31294 vsize=397988 CPUtime=1.18 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 11228 0 0 0 114 4 0 0 18 0 4 0 514613144 407539712 34086 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=397988 CPUtime=1.19 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 12498 0 0 0 114 5 0 0 19 0 4 0 514613144 407539712 34086 33554432000 4194304 4627427 140735408062672 18446744073709551615 4507185 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=397988 CPUtime=1.19 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 5992 0 0 0 116 3 0 0 19 0 4 0 514613144 407539712 34086 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 397988

[startup+1.50052 s]
/proc/loadavg: 7.92 7.99 6.35 5/180 31296
/proc/meminfo: memFree=13750320/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=397988 CPUtime=5.89 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 43320 0 0 0 570 19 0 0 19 0 4 0 514613144 407539712 34825 33554432000 4194304 4627427 140735408062672 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 99497 34825 385 106 0 94468 0
[pid=31296/tid=31297] ppid=31294 vsize=397988 CPUtime=1.46 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 11420 0 0 0 142 4 0 0 19 0 4 0 514613144 407539712 34825 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=397988 CPUtime=1.47 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 12673 0 0 0 142 5 0 0 19 0 4 0 514613144 407539712 34825 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=397988 CPUtime=1.46 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 6156 0 0 0 143 3 0 0 19 0 4 0 514613144 407539712 34825 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 397988

[startup+3.10623 s]
/proc/loadavg: 7.92 7.99 6.35 9/184 31300
/proc/meminfo: memFree=13571860/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=529252 CPUtime=12.3 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 47458 0 0 0 1210 20 0 0 23 0 4 0 514613144 541954048 38937 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308752 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 132313 38937 385 106 0 127284 0
[pid=31296/tid=31297] ppid=31294 vsize=529252 CPUtime=3.06 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 12416 0 0 0 302 4 0 0 23 0 4 0 514613144 541954048 38937 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=529252 CPUtime=3.06 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 13613 0 0 0 301 5 0 0 23 0 4 0 514613144 541954048 38937 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=529252 CPUtime=3.07 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 7429 0 0 0 304 3 0 0 24 0 4 0 514613144 541954048 38937 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 529252

[startup+6.30065 s]
/proc/loadavg: 7.93 7.99 6.36 9/184 31301
/proc/meminfo: memFree=13545952/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=529252 CPUtime=25.07 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 54644 0 0 0 2486 21 0 0 25 0 4 0 514613144 541954048 46123 33554432000 4194304 4627427 140735408062672 18446744073709551615 4327583 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 132313 46123 385 106 0 127284 0
[pid=31296/tid=31297] ppid=31294 vsize=529252 CPUtime=6.26 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 14222 0 0 0 622 4 0 0 25 0 4 0 514613144 541954048 46123 33554432000 4194304 4627427 140735408062672 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=529252 CPUtime=6.24 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 15423 0 0 0 619 5 0 0 25 0 4 0 514613144 541954048 46123 33554432000 4194304 4627427 140735408062672 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=529252 CPUtime=6.27 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 9274 0 0 0 623 4 0 0 25 0 4 0 514613144 541954048 46124 33554432000 4194304 4627427 140735408062672 18446744073709551615 4334192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 529252

[startup+12.7005 s]
/proc/loadavg: 8.02 8.00 6.37 9/184 31301
/proc/meminfo: memFree=13594860/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=424320 CPUtime=50.62 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 75559 0 0 0 5035 27 0 0 25 0 4 0 514613144 434503680 44940 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 106080 44940 387 106 0 101051 0
[pid=31296/tid=31297] ppid=31294 vsize=424320 CPUtime=12.65 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 19566 0 0 0 1260 5 0 0 25 0 4 0 514613144 434503680 44940 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=424320 CPUtime=12.61 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 20589 0 0 0 1254 7 0 0 25 0 4 0 514613144 434503680 44940 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=424320 CPUtime=12.67 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 14427 0 0 0 1262 5 0 0 25 0 4 0 514613144 434503680 44940 33554432000 4194304 4627427 140735408062672 18446744073709551615 4321678 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) 424320

[startup+25.5011 s]
/proc/loadavg: 8.01 8.00 6.40 9/184 31301
/proc/meminfo: memFree=13289428/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=747772 CPUtime=101.73 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 168848 0 0 0 10122 51 0 0 25 0 4 0 514613144 765718528 106235 33554432000 4194304 4627427 140735408062672 18446744073709551615 4299569 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 186943 106235 390 106 0 181914 0
[pid=31296/tid=31297] ppid=31294 vsize=747772 CPUtime=25.45 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 50498 0 0 0 2531 14 0 0 25 0 4 0 514613144 765718528 106235 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=747772 CPUtime=25.33 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 34221 0 0 0 2523 10 0 0 25 0 4 0 514613144 765718528 106235 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=747772 CPUtime=25.46 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 34885 0 0 0 2537 9 0 0 25 0 4 0 514613144 765718528 106235 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 747772

[startup+51.1004 s]
/proc/loadavg: 8.07 8.02 6.45 9/184 31302
/proc/meminfo: memFree=12716548/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=981460 CPUtime=204 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 238861 0 0 0 20328 72 0 0 25 0 4 0 514613144 1005015040 132381 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 245365 132381 390 106 0 240336 0
[pid=31296/tid=31297] ppid=31294 vsize=981460 CPUtime=51.05 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 67481 0 0 0 5086 19 0 0 25 0 4 0 514613144 1005015040 132381 33554432000 4194304 4627427 140735408062672 18446744073709551615 4332696 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=981460 CPUtime=50.8 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 57420 0 0 0 5063 17 0 0 25 0 4 0 514613144 1005015040 132381 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=981460 CPUtime=51.06 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 51073 0 0 0 5092 14 0 0 25 0 4 0 514613144 1005015040 132381 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 981460

[startup+102.301 s]
/proc/loadavg: 8.15 8.04 6.54 9/184 31303
/proc/meminfo: memFree=12114392/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=1061312 CPUtime=408.53 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 379022 0 0 0 40741 112 0 0 25 0 4 0 514613144 1086783488 185198 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 265328 185198 390 106 0 260299 0
[pid=31296/tid=31297] ppid=31294 vsize=1061312 CPUtime=102.25 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 91216 0 0 0 10199 26 0 0 25 0 4 0 514613144 1086783488 185198 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=1061312 CPUtime=101.74 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 93218 0 0 0 10148 26 0 0 25 0 4 0 514613144 1086783488 185198 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=1061312 CPUtime=102.26 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 89376 0 0 0 10201 25 0 0 25 0 4 0 514613144 1086783488 185198 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.53
Current children cumulated vsize (KiB) 1061312

[startup+162.301 s]

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

[pid=31296] ppid=31294 vsize=1597432 CPUtime=2565.6 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 1383240 0 0 0 256132 428 0 0 25 0 4 0 514613144 1635770368 314979 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 399358 314979 390 106 0 394329 0
[pid=31296/tid=31297] ppid=31294 vsize=1597432 CPUtime=642.22 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 359282 0 0 0 64117 105 0 0 25 0 4 0 514613144 1635770368 314979 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=1597432 CPUtime=638.93 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 345434 0 0 0 63786 107 0 0 25 0 4 0 514613144 1635770368 314979 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=1597432 CPUtime=642.24 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 349833 0 0 0 64114 110 0 0 25 0 4 0 514613144 1635770368 314979 33554432000 4194304 4627427 140735408062672 18446744073709551615 4326744 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.6
Current children cumulated vsize (KiB) 1597432

[startup+702.3 s]
/proc/loadavg: 8.11 8.08 7.25 9/184 31319
/proc/meminfo: memFree=9530332/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=1584404 CPUtime=2805.28 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 1485326 0 0 0 280069 459 0 0 25 0 4 0 514613144 1622429696 310625 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 396101 310625 390 106 0 391072 0
[pid=31296/tid=31297] ppid=31294 vsize=1584404 CPUtime=702.22 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 389141 0 0 0 70109 113 0 0 25 0 4 0 514613144 1622429696 310625 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=1584404 CPUtime=698.62 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 369415 0 0 0 69747 115 0 0 25 0 4 0 514613144 1622429696 310625 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=1584404 CPUtime=702.24 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 371198 0 0 0 70107 117 0 0 25 0 4 0 514613144 1622429696 310625 33554432000 4194304 4627427 140735408062672 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.28
Current children cumulated vsize (KiB) 1584404

[startup+762.3 s]
/proc/loadavg: 8.09 8.08 7.30 9/184 31321
/proc/meminfo: memFree=9302040/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=1536712 CPUtime=3044.96 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 1589037 0 0 0 304005 491 0 0 25 0 4 0 514613144 1573593088 318214 33554432000 4194304 4627427 140735408062672 18446744073709551615 4332667 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 384178 318214 390 106 0 379149 0
[pid=31296/tid=31297] ppid=31294 vsize=1536712 CPUtime=762.22 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 416388 0 0 0 76102 120 0 0 25 0 4 0 514613144 1573593088 318214 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=1536712 CPUtime=758.3 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 397721 0 0 0 75706 124 0 0 25 0 4 0 514613144 1573593088 318214 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=1536712 CPUtime=762.24 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 398202 0 0 0 76099 125 0 0 25 0 4 0 514613144 1573593088 318214 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.96
Current children cumulated vsize (KiB) 1536712

[startup+822.3 s]
/proc/loadavg: 8.03 8.06 7.34 9/184 31322
/proc/meminfo: memFree=9138588/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=1697076 CPUtime=3284.65 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 1688984 0 0 0 327944 521 0 0 25 0 4 0 514613144 1737805824 357458 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308588 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 424269 357458 390 106 0 419240 0
[pid=31296/tid=31297] ppid=31294 vsize=1697076 CPUtime=822.22 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 442075 0 0 0 82095 127 0 0 25 0 4 0 514613144 1737805824 357458 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308156 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=1697076 CPUtime=817.99 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 421466 0 0 0 81667 132 0 0 25 0 4 0 514613144 1737805824 357458 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=1697076 CPUtime=822.24 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 423968 0 0 0 82091 133 0 0 25 0 4 0 514613144 1737805824 357458 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 1697076

[startup+882.3 s]
/proc/loadavg: 8.09 8.08 7.39 9/184 31324
/proc/meminfo: memFree=8980216/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=1638188 CPUtime=3524.3 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 1785073 0 0 0 351876 554 0 0 25 0 4 0 514613144 1677504512 349139 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 409547 349139 390 106 0 404518 0
[pid=31296/tid=31297] ppid=31294 vsize=1638188 CPUtime=882.21 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 469348 0 0 0 88086 135 0 0 25 0 4 0 514613144 1677504512 349139 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=1638188 CPUtime=877.67 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 443367 0 0 0 87627 140 0 0 25 0 4 0 514613144 1677504512 349139 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=1638188 CPUtime=882.24 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 447264 0 0 0 88081 143 0 0 25 0 4 0 514613144 1677504512 349140 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.3
Current children cumulated vsize (KiB) 1638188

[startup+942.3 s]
/proc/loadavg: 8.14 8.09 7.44 9/184 31326
/proc/meminfo: memFree=8950436/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=1639376 CPUtime=3763.98 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 1877638 0 0 0 375810 588 0 0 25 0 4 0 514613144 1678721024 321584 33554432000 4194304 4627427 140735408062672 18446744073709551615 4332696 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 409844 321584 390 106 0 404815 0
[pid=31296/tid=31297] ppid=31294 vsize=1639376 CPUtime=942.21 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 492443 0 0 0 94078 143 0 0 25 0 4 0 514613144 1678721024 321584 33554432000 4194304 4627427 140735408062672 18446744073709551615 4321656 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=1639376 CPUtime=937.35 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 467007 0 0 0 93587 148 0 0 25 0 4 0 514613144 1678721024 321584 33554432000 4194304 4627427 140735408062672 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=1639376 CPUtime=942.23 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 469988 0 0 0 94070 153 0 0 25 0 4 0 514613144 1678721024 321584 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.98
Current children cumulated vsize (KiB) 1639376

[startup+1002.3 s]
/proc/loadavg: 8.10 8.09 7.47 9/184 31358
/proc/meminfo: memFree=14811092/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=1640064 CPUtime=4003.63 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 1963663 0 0 0 399745 618 0 0 25 0 4 0 514613144 1679425536 333278 33554432000 4194304 4627427 140735408062672 18446744073709551615 4299583 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 410016 333278 390 106 0 404987 0
[pid=31296/tid=31297] ppid=31294 vsize=1640064 CPUtime=1002.2 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 515534 0 0 0 100070 150 0 0 25 0 4 0 514613144 1679425536 333278 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=1640064 CPUtime=997.04 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 486203 0 0 0 99548 156 0 0 25 0 4 0 514613144 1679425536 333278 33554432000 4194304 4627427 140735408062672 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=1640064 CPUtime=1002.23 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 489596 0 0 0 100062 161 0 0 25 0 4 0 514613144 1679425536 333278 33554432000 4194304 4627427 140735408062672 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.63
Current children cumulated vsize (KiB) 1640064

[startup+1062.3 s]
/proc/loadavg: 8.13 8.10 7.52 9/184 31360
/proc/meminfo: memFree=14570984/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=1656536 CPUtime=4243.3 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 2060318 0 0 0 423681 649 0 0 25 0 4 0 514613144 1696292864 328517 33554432000 4194304 4627427 140735408062672 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 414134 328517 390 106 0 409105 0
[pid=31296/tid=31297] ppid=31294 vsize=1656536 CPUtime=1062.2 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 541836 0 0 0 106062 158 0 0 25 0 4 0 514613144 1696292864 328518 33554432000 4194304 4627427 140735408062672 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=1656536 CPUtime=1056.71 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 507660 0 0 0 105508 163 0 0 25 0 4 0 514613144 1696292864 328518 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=1656536 CPUtime=1062.23 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 511856 0 0 0 106053 170 0 0 25 0 4 0 514613144 1696292864 328518 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.3
Current children cumulated vsize (KiB) 1656536

[startup+1122.3 s]
/proc/loadavg: 8.14 8.11 7.55 9/184 31361
/proc/meminfo: memFree=14109548/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=1819440 CPUtime=4482.96 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 2181006 0 0 0 447608 688 0 0 25 0 4 0 514613144 1863106560 395525 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 454860 395525 390 106 0 449831 0
[pid=31296/tid=31297] ppid=31294 vsize=1819440 CPUtime=1122.2 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 566543 0 0 0 112053 167 0 0 25 0 4 0 514613144 1863106560 395525 33554432000 4194304 4627427 140735408062672 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=1819440 CPUtime=1116.38 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 553978 0 0 0 111461 177 0 0 25 0 4 0 514613144 1863106560 395525 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=1819440 CPUtime=1122.23 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 536707 0 0 0 112045 178 0 0 25 0 4 0 514613144 1863106560 395525 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.96
Current children cumulated vsize (KiB) 1819440

[startup+1182.31 s]
/proc/loadavg: 8.13 8.11 7.59 9/184 31363
/proc/meminfo: memFree=14336084/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=1651780 CPUtime=4722.64 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 2270622 0 0 0 471545 719 0 0 25 0 4 0 514613144 1691422720 341871 33554432000 4194304 4627427 140735408062672 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 412945 341872 390 106 0 407916 0
[pid=31296/tid=31297] ppid=31294 vsize=1651780 CPUtime=1182.2 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 588697 0 0 0 118045 175 0 0 25 0 4 0 514613144 1691422720 341873 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=1651780 CPUtime=1176.07 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 573129 0 0 0 117423 184 0 0 25 0 4 0 514613144 1691422720 341873 33554432000 4194304 4627427 140735408062672 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=1651780 CPUtime=1182.22 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 558483 0 0 0 118036 186 0 0 25 0 4 0 514613144 1691422720 341873 33554432000 4194304 4627427 140735408062672 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.64
Current children cumulated vsize (KiB) 1651780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.16 8.12 7.60 9/184 31363
/proc/meminfo: memFree=14100728/32951124 swapFree=67111528/67111528
[pid=31296] ppid=31294 vsize=1775172 CPUtime=4800.13 cores=0,2,4,6
/proc/31296/stat : 31296 (strangenight2-m) R 31294 31296 31124 0 -1 4202496 2300947 0 0 0 479283 730 0 0 25 0 4 0 514613144 1817776128 372196 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31296/statm: 443793 372196 390 106 0 438764 0
[pid=31296/tid=31297] ppid=31294 vsize=1775172 CPUtime=1201.6 cores=0,2,4,6
/proc/31296/task/31297/stat : 31297 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 596256 0 0 0 119982 178 0 0 25 0 4 0 514613144 1817776128 372196 33554432000 4194304 4627427 140735408062672 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31296/tid=31298] ppid=31294 vsize=1775172 CPUtime=1195.36 cores=0,2,4,6
/proc/31296/task/31298/stat : 31298 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 580425 0 0 0 119349 187 0 0 25 0 4 0 514613144 1817776128 372196 33554432000 4194304 4627427 140735408062672 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31296/tid=31299] ppid=31294 vsize=1775172 CPUtime=1201.63 cores=0,2,4,6
/proc/31296/task/31299/stat : 31299 (strangenight2-m) R 31294 31296 31124 0 -1 4202560 566265 0 0 0 119974 189 0 0 25 0 4 0 514613144 1817776128 372196 33554432000 4194304 4627427 140735408062672 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 1775172

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): 1201.78
CPU time (s): 4800.23
CPU user time (s): 4792.86
CPU system time (s): 7.37588
CPU usage (%): 399.425
Max. virtual memory (cumulated for all children) (KiB): 1819580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.86
system time used= 7.37588
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2300952
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= 15084
involuntary context switches= 34047

runsolver used 1.90771 second user time and 4.39233 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 00:35:27
IDJOB=3173729
IDBENCH=82547
IDSOLVER=1586
FILE ID=node104/3173729-1304030127
RUNJOBID= node104-1304028687-31142
PBS_JOBID= 13170348
Free space on /tmp= 71512 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3173729-1304030127/watcher-3173729-1304030127 -o /tmp/evaluation-result-3173729-1304030127/solver-3173729-1304030127 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173729-1304030127.cnf

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

MD5SUM BENCH= 30037b76a2fd7877580e038a49317f67
RANDOM SEED=1590204659

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13750484 kB
Buffers:       2207056 kB
Cached:       13453512 kB
SwapCached:          0 kB
Active:        6488340 kB
Inactive:     12117532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13750484 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8372 kB
Writeback:           0 kB
AnonPages:     2944300 kB
Mapped:          15504 kB
Slab:           523660 kB
PageTables:      11200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3627500 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= 71532 MiB
End job on node104 at 2011-04-29 00:55:31