Trace number 3173861

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.89

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173861-1304072019.cnf'
0.00/0.00	c -- header says num vars:          40000
0.00/0.00	c -- header says num clauses:      168000
0.68/0.49	c -- clauses added:            0 learnts,       168000 normals,            0 xors
0.68/0.49	c -- vars added      40000
0.68/0.49	c Parsing time:  0.14 s
0.68/0.49	c  N st     0         0     40000    168000         0         0    504000         0   no data   no data
0.68/0.49	c asymm  cl-useful: 0/168000/168000 lits-rem:0 time: 0.16
0.68/0.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.10
2.59/0.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.59/0.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2.59/0.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2.59/0.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40000 time:  0.01 s
2.59/0.74	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
3.78/1.05	c lits-rem:         0  cl-subs:        0  v-elim:   1040  v-fix:    0  time:  0.30 s
3.78/1.06	c Finding binary XORs  T:     0.01 s  found:       0
4.20/1.12	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
4.20/1.12	c calculated reachability. Time: 0.00
4.20/1.14	c Calc default polars -  time:   0.02 s pos:   17967 undec:    4373 neg:   17660
4.20/1.14	c =========================================================================================
4.20/1.14	c types(t): F = full restart, N = normal restart
4.20/1.14	c types(t): S = simplification begin/end, E = solution found
4.20/1.14	c restart types(rt): st = static, dy = dynamic
4.20/1.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.20/1.14	c  B st     0         0     38960    166818         0         0    506887         0   no data   no data
12.58/3.26	c  N dy    20      4030     38960    166818         0      4030    506887   1168512    174.53    183.91
21.36/5.44	c  N dy    51      8076     38960    166818         0      8076    506887   2278939    180.26    194.91
30.15/7.65	c  N dy    78     12100     38960    166818         0     12100    506887   3384395    181.74    212.88
39.34/9.91	c  N dy   105     16153     38960    166818         0     16153    506887   4479870    180.83    203.63
48.53/12.24	c  N dy   130     20156     38960    166818         0     10159    506887    737475    180.26    191.99
57.32/14.43	c  N dy   155     24177     38960    166818         0     14180    506887   1805846    179.51    190.90
58.91/14.90	c  F st   162     25001     38960    166818         0     15004    506887   2030390    179.73   no data
66.89/16.81	c  N st   167     28296     38960    166818         0     18299    506887   3093035    179.73   no data
71.28/17.92	c  S st   168     30001     38960    166818         0     20004    506887   3920741    179.73   no data
72.48/18.21	c  S st   168     30503     38960    166818         0     20506    506887   4024466    179.73   no data
72.48/18.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
73.28/18.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
73.68/18.53	c blocked clauses removed:      884 vars:    143 tried:       38960 T: 0.02 s
73.68/18.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
73.68/18.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
73.68/18.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38817 time:  0.01 s
73.68/18.58	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
74.90/18.82	c lits-rem:         0  cl-subs:        0  v-elim:     27  v-fix:    0  time:  0.24 s
76.47/19.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.07/20.18	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.91 s
80.87/20.38	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.20
80.87/20.39	c calculated reachability. Time: 0.00
80.87/20.39	c  N dy   168     30503     38790    165909         0     20030    504356   3648605    179.73   no data
90.46/22.71	c  N dy   195     34544     38790    165909         0     24071    504356   4698925    179.24    201.30
100.04/25.15	c  N dy   220     38614     38790    165909         0     28141    504356   5777592    178.56    258.43
109.23/27.45	c  N dy   244     42624     38790    165909         0     16891    504356   1241989    178.07    188.69
116.41/29.23	c  S st   265     45754     38790    165909         0     20021    504356   2110081    178.17   no data
117.61/29.53	c  S st   265     46258     38790    165909         0     20525    504356   2203085    178.17   no data
117.61/29.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
118.42/29.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.23
118.83/29.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
118.83/29.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
118.83/29.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
118.83/29.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
119.20/29.90	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
119.60/30.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
120.41/30.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
122.00/30.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.34 s
122.00/30.65	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
122.00/30.69	c vivif2 --  cl tried    20525 cl shrink        0 lits rem          0 time: 0.04
122.81/30.89	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.20
123.22/30.90	c calculated reachability. Time: 0.00
123.22/30.91	c  N dy   265     46258     38790    165909         0     20525    504356   2203085    178.17   no data
132.39/33.27	c  N dy   294     50375     38790    165909         0     24642    504356   3304638    178.30    189.23
141.97/35.61	c  N dy   320     54384     38790    165909         0     28651    504356   4348880    177.90    188.89
151.56/38.03	c  N dy   349     58410     38790    165909         0     32677    504356   5466935    178.31    188.13
161.15/40.45	c  N dy   374     62484     38790    165909         0     36750    504356   6555742    178.20    221.33
170.73/42.89	c  N dy   405     66683     38790    165909         0     22315    504356   1812768    178.44    202.25
177.12/44.48	c  S st   423     69387     38790    165909         0     25019    504356   2540650    178.44   no data
178.33/44.76	c  S st   423     69892     38790    165909         0     25524    504356   2638566    178.44   no data
178.33/44.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
179.53/45.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.23
179.53/45.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
179.53/45.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
179.53/45.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
179.53/45.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
179.94/45.12	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
180.72/45.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
181.12/45.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
183.12/45.97	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.45 s
183.52/46.00	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
183.52/46.05	c vivif2 --  cl tried    25522 cl shrink        0 lits rem          0 time: 0.05
184.33/46.26	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.21
184.33/46.27	c calculated reachability. Time: 0.00
184.33/46.27	c  N dy   423     69892     38790    165909         0     25522    504356   2638067    178.44   no data
195.09/48.97	c  N dy   459     74467     38790    165909         0     30096    504356   3936083    179.21    208.52
206.71/51.87	c  N dy   492     79315     38790    165909         0     34944    504356   5258616    179.25    273.20
219.06/54.98	c  N dy   527     84480     38790    165909         0     40109    504356   6637751    179.36    195.48
226.25/56.78	c  F st   547     87501     38790    165909         0     22314    504356   1134114    179.16   no data
234.64/58.81	c  N st   552     90801     38790    165909         0     25614    504356   2265389    179.16   no data
248.63/62.36	c  N dy   582     96658     38790    165909         0     31471    504356   4143833    179.49    210.56
263.83/66.16	c  N dy   628    102874     38790    165909         0     37687    504356   5880235    179.89    191.36
268.60/67.37	c  S st   641    104839     38790    165909         0     39651    504356   6430488    179.88    151.83
269.79/67.68	c  S st   641    105342     38790    165909         0     40154    504356   6529029    179.88   no data
270.19/67.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
270.99/67.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
271.40/68.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
271.40/68.02	c bin-w-bin subsume rem            0 bins  time:  0.01 s
271.40/68.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
271.40/68.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
271.40/68.06	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
272.21/68.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
274.19/68.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
281.77/70.63	c lits-rem:         6  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.80 s
281.77/70.66	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
282.17/70.78	c vivif2 --  cl tried    40151 cl shrink        0 lits rem          0 time: 0.12
283.37/71.02	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.24
283.37/71.03	c calculated reachability. Time: 0.00
283.37/71.03	c  N dy   641    105342     38790    165909         0     40151    504356   6526506    179.88   no data
300.14/75.25	c  N dy   688    112071     38790    165909         0     24474    504356   1237831    179.56    191.94
317.33/79.57	c  N dy   738    119349     38790    165909         0     31751    504356   3201392    179.58    189.24
336.50/84.33	c  N dy   788    127140     38790    165909         0     39542    504356   5329584    179.64    205.91
357.27/89.56	c  N dy   847    135307     38790    165909         0     24004    504356    756490    180.00    259.32
379.24/95.03	c  N dy   902    144641     38790    165909         0     33338    504356   3283422    179.93    194.25
402.01/100.75	c  N dy   966    153907     38790    165909         0     42602    504356   5797706    179.94    197.72
412.40/103.31	c  S st   993    158015     38790    165909         0     46710    504356   6898154    179.84    185.23
413.59/103.63	c  S st   993    158516     38790    165909         0     47211    504356   6999270    179.84   no data
413.59/103.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
414.79/103.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
414.79/103.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
414.79/103.98	c bin-w-bin subsume rem            0 bins  time:  0.01 s
414.79/103.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
415.19/104.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
415.19/104.03	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
415.99/104.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
417.99/104.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
427.17/107.08	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.28 s
427.57/107.11	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
427.97/107.25	c vivif2 --  cl tried    47207 cl shrink        0 lits rem          0 time: 0.14
429.17/107.50	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.25
429.17/107.51	c calculated reachability. Time: 0.00
429.17/107.52	c  N dy   993    158516     38790    165909         0     47207    504356   6997992    179.84   no data
453.94/113.70	c  N dy  1062    168703     38790    165909         0     32545    504356   2715055    179.88    269.90
480.69/120.44	c  N dy  1133    179641     38790    165909         0     43483    504356   5716781    179.95    192.31
509.87/127.71	c  N dy  1208    191174     38790    165909         0     29097    504356   1468305    180.00    241.71
539.41/135.14	c  N dy  1293    203409     38790    165909         0     41332    504356   4788686    180.01    197.01
572.16/143.39	c  N dy  1379    216394     38790    165909         0     27349    504356    674131    179.97    198.65
605.72/151.70	c  N dy  1468    230214     38790    165909         0     41168    504356   4397614    179.79    190.82
624.49/156.44	c  S st  1517    237774     38790    165909         0     48727    504356   6441924    179.72   no data
625.69/156.79	c  S st  1517    238281     38790    165909         0     49234    504356   6539521    179.72   no data
626.09/156.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
626.88/157.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
627.28/157.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
627.28/157.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
627.28/157.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
627.28/157.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
627.28/157.18	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
628.50/157.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
630.08/157.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
639.67/160.22	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.34 s
639.67/160.24	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
640.06/160.37	c vivif2 --  cl tried    49233 cl shrink        0 lits rem          0 time: 0.13
641.28/160.63	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.26
641.28/160.64	c calculated reachability. Time: 0.00
641.28/160.64	c  N dy  1517    238281     38790    165909         0     49233    504356   6539297    179.72   no data
679.61/170.24	c  N dy  1622    253624     38790    165909         0     36596    504356   2922133    179.69    192.03
720.76/180.54	c  N dy  1737    269918     38790    165909         0     52888    504356   7407180    179.86    190.45
763.89/191.38	c  N dy  1852    287205     38790    165909         0     41185    504356   3916761    179.86    190.35
811.02/203.19	c  N dy  1979    305561     38790    165909         0     59541    504356   8918754    179.93    214.86
813.04/203.69	c  F st  1985    306250     38790    165909         0     30245    504356    592165    179.93   no data
860.55/215.51	c  N dy  2083    325087     38790    165909         0     49081    504356   6218090    179.90    189.95
911.28/228.25	c  N dy  2222    345121     38790    165909         0     38116    504356   2473499    180.00    190.22
942.44/236.00	c  S st  2306    357421     38790    165909         0     50416    504356   5840537    180.00   no data
943.64/236.32	c  S st  2306    357923     38790    165909         0     50918    504356   5933312    180.00   no data
943.64/236.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
944.86/236.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
944.86/236.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
944.86/236.67	c bin-w-bin subsume rem            0 bins  time:  0.01 s
944.86/236.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
945.23/236.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
945.23/236.72	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
946.04/236.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
947.64/237.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
956.82/239.61	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.24 s
956.82/239.63	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
957.22/239.75	c vivif2 --  cl tried    50916 cl shrink        0 lits rem          0 time: 0.12
958.42/240.01	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.26
958.42/240.02	c calculated reachability. Time: 0.00
958.42/240.02	c  N dy  2306    357923     38790    165909         0     50916    504356   5932568    180.00   no data
1009.94/252.92	c  N dy  2441    377960     38790    165909         0     38954    504356   2508036    180.07    202.36
1062.67/266.11	c  N dy  2579    398320     38790    165909         0     59312    504356   8066716    180.10    195.34
1114.19/279.07	c  N dy  2708    418469     38790    165909         0     46460    504356   4241823    180.06    192.60
1167.33/292.32	c  N dy  2854    438575     38790    165909         0     66560    504356   9747097    180.12    206.38
1218.45/305.17	c  N dy  2996    458591     38790    165909         0     52578    504356   5667259    180.30    192.32
1271.17/318.38	c  N dy  3128    478613     38790    165909         0     37603    504356   1243581    180.34    207.98
1322.32/331.18	c  N dy  3263    498712     38790    165909         0     57702    504356   6726389    180.34    192.77
1375.82/344.52	c  N dy  3397    518899     38790    165909         0     41890    504356   2125045    180.37    197.37
1421.76/356.00	c  S st  3517    536885     38790    165909         0     59876    504356   6984699    180.34    182.70
1422.96/356.36	c  S st  3517    537393     38790    165909         0     60384    504356   7092581    180.34   no data
1422.96/356.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1424.15/356.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
1424.55/356.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1424.55/356.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1424.55/356.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1424.55/356.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
1424.55/356.77	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
1425.75/357.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
1427.35/357.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1440.13/360.65	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.14 s
1440.13/360.68	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
1440.94/360.82	c vivif2 --  cl tried    60378 cl shrink        0 lits rem          0 time: 0.14
1442.13/361.10	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.28
1442.13/361.11	c calculated reachability. Time: 0.00
1442.13/361.11	c  N dy  3517    537393     38790    165909         0     60378    504356   7090304    180.34   no data
1494.86/374.39	c  N dy  3647    557396     38790    165909         0     43380    504356   2186559    180.28    205.77
1547.18/387.46	c  N dy  3787    577546     38790    165909         0     63528    504356   7714927    180.37    193.77
1601.11/400.94	c  N dy  3923    597763     38790    165909         0     45751    504356   2609410    180.40    192.88
1653.84/414.15	c  N dy  4060    617989     38790    165909         0     65974    504356   8110014    180.39    197.11
1707.37/427.53	c  N dy  4190    638033     38790    165909         0     47017    504356   2787344    180.43    197.31
1760.48/440.82	c  N dy  4334    658140     38790    165909         0     67124    504356   8348747    180.54    194.97
1814.83/454.44	c  N dy  4478    678289     38790    165909         0     47275    504356   2541023    180.58    191.41
1868.73/467.97	c  N dy  4613    698413     38790    165909         0     67398    504356   8032454    180.54    191.27
1922.65/481.48	c  N dy  4743    718461     38790    165909         0     46445    504356   2002153    180.48    193.25
1975.78/494.72	c  N dy  4887    738482     38790    165909         0     66464    504356   7528108    180.55    198.93
2031.69/508.77	c  N dy  5027    758660     38790    165909         0     44642    504356   1256026    180.58    192.20
2084.01/521.87	c  N dy  5167    778714     38790    165909         0     64695    504356   6725804    180.62    191.98
2140.33/535.99	c  N dy  5305    798802     38790    165909         0     84783    504356  12220641    180.62    191.78
2159.51/540.78	c  S st  5354    806090     38790    165909         0     49070    504356   2190560    180.64   no data
2161.10/541.10	c  S st  5354    806591     38790    165909         0     49571    504356   2276294    180.64   no data
2161.10/541.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2161.93/541.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2162.30/541.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2162.30/541.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2162.30/541.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2162.30/541.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
2162.30/541.50	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
2163.10/541.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2163.90/541.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2167.10/542.63	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.76 s
2167.10/542.66	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
2167.50/542.70	c vivif2 --  cl tried    49571 cl shrink        0 lits rem          0 time: 0.05
2168.30/542.96	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.26
2168.30/542.97	c calculated reachability. Time: 0.00
2168.30/542.97	c  N dy  5354    806591     38790    165909         0     49571    504356   2276292    180.64   no data
2222.22/556.40	c  N dy  5492    826730     38790    165909         0     69709    504356   7765445    180.66    194.97
2278.54/570.55	c  N dy  5626    846816     38790    165909         0     45800    504356    999854    180.68    190.89
2331.27/583.77	c  N dy  5753    866908     38790    165909         0     65892    504356   6481558    180.68    191.94
2387.98/597.94	c  N dy  5895    886960     38790    165909         0     85944    504356  12042519    180.71    192.31
2441.50/611.36	c  N dy  6030    907087     38790    165909         0     61076    504356   4966932    180.74    198.26
2496.63/625.19	c  N dy  6155    927187     38790    165909         0     81174    504356  10485473    180.66    197.18
2552.15/639.02	c  N dy  6286    947271     38790    165909         0     55256    504356   3047167    180.67    196.14
2606.47/652.66	c  N dy  6428    967364     38790    165909         0     75347    504356   8532776    180.67    193.86
2663.98/667.09	c  N dy  6564    987416     38790    165909         0     48412    504356    945550    180.70    192.48
2717.11/680.30	c  N dy  6697   1007513     38790    165909         0     68508    504356   6518790    180.69    193.66
2774.23/694.68	c  N dy  6834   1027695     38790    165909         0     88687    504356  12046507    180.72    191.15
2828.96/708.36	c  N dy  6971   1047767     38790    165909         0     60765    504356   4059975    180.71    190.93
2884.88/722.32	c  N dy  7116   1067784     38790    165909         0     80782    504356   9600025    180.77    232.37
2896.85/725.31	c  F st  7149   1071875     38790    165909         0     84872    504356  10724350    180.78   no data
2942.79/736.82	c  N dy  7230   1087870     38790    165909         0     51867    504356   1316255    180.78    190.72
2997.51/750.54	c  N dy  7377   1108109     38790    165909         0     72105    504356   6961104    180.85    192.42
3055.43/765.05	c  N dy  7511   1128234     38790    165909         0     92229    504356  12529825    180.88    192.05
3111.33/779.06	c  N dy  7651   1148292     38790    165909         0     62284    504356   3953020    180.93    237.57
3166.86/792.90	c  N dy  7779   1168420     38790    165909         0     82411    504356   9420876    180.87    193.61
3226.37/807.80	c  N dy  7913   1188658     38790    165909         0     51650    504356    711244    180.85    200.17
3279.89/821.21	c  N dy  8047   1208783     38790    165909         0     71774    504356   6212550    180.86    190.63
3282.69/821.98	c  S st  8055   1209886     38790    165909         0     72877    504356   6501898    180.85    174.65
3284.30/822.36	c  S st  8055   1210395     38790    165909         0     73386    504356   6602189    180.85   no data
3284.30/822.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3285.49/822.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
3285.89/822.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3285.89/822.74	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3285.89/822.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3285.89/822.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
3285.89/822.79	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
3287.08/823.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
3288.69/823.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3301.86/826.79	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.30 s
3302.26/826.82	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
3302.66/826.95	c vivif2 --  cl tried    73382 cl shrink        0 lits rem          0 time: 0.13
3303.87/827.26	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.30
3303.87/827.27	c calculated reachability. Time: 0.00
3303.87/827.27	c  N dy  8055   1210395     38790    165909         0     73382    504356   6600512    180.85   no data
3361.78/841.72	c  N dy  8190   1230405     38790    165909         0     93389    504356  12014107    180.83    194.23
3419.29/856.14	c  N dy  8331   1250656     38790    165909         0     61637    504356   3188840    180.85    191.29
3474.82/870.06	c  N dy  8467   1270743     38790    165909         0     81722    504356   8794376    180.88    232.66
3533.94/884.89	c  N dy  8601   1290951     38790    165909         0    101929    504356  14235661    180.87    192.27
3589.47/898.77	c  N dy  8737   1310957     38790    165909         0     68937    504356   4861686    180.84    196.89
3645.79/912.88	c  N dy  8866   1331006     38790    165909         0     88984    504356  10382744    180.85    195.39
3706.08/927.91	c  N dy  9001   1351076     38790    165909         0     55060    504356    843930    180.86    191.33
3760.83/941.63	c  N dy  9137   1371220     38790    165909         0     75203    504356   6466553    180.89    196.76
3818.73/956.10	c  N dy  9264   1391296     38790    165909         0     95278    504356  11961148    180.85    211.24
3877.44/970.86	c  N dy  9394   1411497     38790    165909         0     60483    504356   2083513    180.85    193.84
3932.96/984.75	c  N dy  9534   1431675     38790    165909         0     80659    504356   7669899    180.88    194.74
3992.48/999.61	c  N dy  9674   1451775     38790    165909         0    100758    504356  13177120    180.90    194.70
4050.80/1014.23	c  N dy  9818   1471847     38790    165909         0     64829    504356   2955863    180.93    192.40
4107.11/1028.37	c  N dy  9958   1492027     38790    165909         0     85009    504356   8439153    180.93    192.26
4167.83/1043.51	c  N dy 10105   1512307     38790    165909         0    105287    504356  14048596    180.96    191.10
4224.94/1057.82	c  N dy 10237   1532419     38790    165909         0     68403    504356   3666512    180.94    192.25
4281.65/1072.00	c  N dy 10373   1552473     38790    165909         0     88456    504356   9177398    180.95    208.05
4341.57/1087.00	c  N dy 10509   1572506     38790    165909         0    108489    504356  14655849    180.94    193.79
4399.09/1101.43	c  N dy 10645   1592647     38790    165909         0     70629    504356   4047372    180.95    193.21
4455.80/1115.63	c  N dy 10778   1612729     38790    165909         0     90710    504356   9580337    180.95    196.87
4516.94/1130.92	c  N dy 10917   1632851     38790    165909         0    110832    504356  15108811    180.95    195.38
4575.23/1145.51	c  N dy 11060   1653084     38790    165909         0     72061    504356   4167003    180.98    194.36
4633.15/1160.08	c  N dy 11196   1673356     38790    165909         0     92331    504356   9784204    180.99    192.36
4694.66/1175.46	c  N dy 11330   1693467     38790    165909         0    112440    504356  15453732    181.02    201.71
4744.19/1187.86	c  S st 11449   1710397     38790    165909         0     69373    504356   3158094    181.04   no data
4745.78/1188.23	c  S st 11449   1710903     38790    165909         0     69879    504356   3269312    181.04   no data
4745.78/1188.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4746.98/1188.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.27
4746.98/1188.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4746.98/1188.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4747.38/1188.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4747.38/1188.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
4747.38/1188.64	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
4748.18/1188.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
4748.98/1189.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4756.97/1191.03	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.93 s
4756.97/1191.06	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
4757.37/1191.13	c vivif2 --  cl tried    69879 cl shrink        0 lits rem          0 time: 0.07
4758.59/1191.42	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.29
4758.59/1191.43	c calculated reachability. Time: 0.00
4758.59/1191.44	c  N dy 11449   1710903     38790    165909         0     69879    504356   3269310    181.04   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173861-1304072019/watcher-3173861-1304072019 -o /tmp/evaluation-result-3173861-1304072019/solver-3173861-1304072019 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173861-1304072019.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.43 7.97 7.96 6/180 2865
/proc/meminfo: memFree=27112256/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 407 0 0 0 0 0 0 0 21 0 4 0 518800445 52441088 347 33554432000 4194304 4627427 140737474753424 18446744073709551615 47491292260274 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 12803 347 299 106 0 7774 0
[pid=2865/tid=2866] ppid=2863 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 518800445 52441088 347 33554432000 4194304 4627427 140737474753424 18446744073709551615 47491292260274 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 518800445 52441088 347 33554432000 4194304 4627427 140737474753424 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 518800445 52441088 347 33554432000 4194304 4627427 140737474753424 18446744073709551615 210216444982 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0715119 s]
/proc/loadavg: 7.43 7.97 7.96 6/180 2865
/proc/meminfo: memFree=27112256/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=386464 CPUtime=0.22 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 20218 0 0 0 18 4 0 0 18 0 4 0 518800445 395739136 15874 33554432000 4194304 4627427 140737474753424 18446744073709551615 210204315889 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 96616 15904 339 106 0 91587 0
[pid=2865/tid=2866] ppid=2863 vsize=386464 CPUtime=0.06 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 5012 0 0 0 5 1 0 0 18 0 4 0 518800445 395739136 15932 33554432000 4194304 4627427 140737474753424 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=386464 CPUtime=0.04 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) S 2863 2865 2397 0 -1 4202560 5086 0 0 0 4 0 0 0 18 0 4 0 518800445 395739136 15950 33554432000 4194304 4627427 140737474753424 18446744073709551615 210204752366 0 0 4096 2 18446604446780024960 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=386464 CPUtime=0.05 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 5069 0 0 0 4 1 0 0 18 0 4 0 518800445 395739136 15972 33554432000 4194304 4627427 140737474753424 18446744073709551615 210204344431 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 386464

[startup+0.103435 s]
/proc/loadavg: 7.43 7.97 7.96 6/180 2865
/proc/meminfo: memFree=27112256/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=387632 CPUtime=0.33 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 22117 0 0 0 26 7 0 0 18 0 4 0 518800445 396935168 17773 33554432000 4194304 4627427 140737474753424 18446744073709551615 210204752366 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 96908 17799 339 106 0 91879 0
[pid=2865/tid=2866] ppid=2863 vsize=387632 CPUtime=0.08 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) S 2863 2865 2397 0 -1 4202560 5537 0 0 0 7 1 0 0 18 0 4 0 518800445 396935168 17825 33554432000 4194304 4627427 140737474753424 18446744073709551615 210204752366 0 0 4096 2 18446604446780024960 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=387632 CPUtime=0.07 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) S 2863 2865 2397 0 -1 4202560 5556 0 0 0 5 2 0 0 18 0 4 0 518800445 396935168 17838 33554432000 4194304 4627427 140737474753424 18446744073709551615 210204752366 0 0 4096 2 18446604446780024960 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=387632 CPUtime=0.08 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 5589 0 0 0 6 2 0 0 18 0 4 0 518800445 396935168 17858 33554432000 4194304 4627427 140737474753424 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 387632

[startup+0.49608 s]
/proc/loadavg: 7.43 7.97 7.96 6/180 2865
/proc/meminfo: memFree=27112256/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=400452 CPUtime=1.83 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 29792 0 0 0 164 19 0 0 18 0 4 0 518800445 410062848 25208 33554432000 4194304 4627427 140737474753424 18446744073709551615 4457627 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 100113 25208 371 106 0 95084 0
[pid=2865/tid=2866] ppid=2863 vsize=400452 CPUtime=0.45 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) D 2863 2865 2397 0 -1 4202560 7790 0 0 0 42 3 0 0 18 0 4 0 518800445 410062848 25208 33554432000 4194304 4627427 140737474753424 18446744073709551615 210204690615 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=400452 CPUtime=0.44 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 7470 0 0 0 39 5 0 0 18 0 4 0 518800445 410062848 25208 33554432000 4194304 4627427 140737474753424 18446744073709551615 210204344075 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=400452 CPUtime=0.46 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 7413 0 0 0 41 5 0 0 18 0 4 0 518800445 410062848 25208 33554432000 4194304 4627427 140737474753424 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 400452

[startup+0.700312 s]
/proc/loadavg: 7.43 7.97 7.96 6/180 2865
/proc/meminfo: memFree=27112256/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=425480 CPUtime=2.59 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 46055 0 0 0 227 32 0 0 17 0 4 0 518800445 435691520 40707 33554432000 4194304 4627427 140737474753424 18446744073709551615 4461371 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 106370 40707 379 106 0 101341 0
[pid=2865/tid=2866] ppid=2863 vsize=425480 CPUtime=0.65 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 15129 0 0 0 60 5 0 0 18 0 4 0 518800445 435691520 40707 33554432000 4194304 4627427 140737474753424 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=425480 CPUtime=0.62 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 11538 0 0 0 51 11 0 0 17 0 4 0 518800445 435691520 40707 33554432000 4194304 4627427 140737474753424 18446744073709551615 4425797 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=425480 CPUtime=0.66 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 7557 0 0 0 61 5 0 0 18 0 4 0 518800445 435691520 40707 33554432000 4194304 4627427 140737474753424 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 425480

[startup+1.50118 s]
/proc/loadavg: 7.43 7.97 7.96 9/184 2869
/proc/meminfo: memFree=26914144/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=427064 CPUtime=5.78 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 55635 0 0 0 544 34 0 0 18 0 4 0 518800445 437313536 42791 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 106766 42791 385 106 0 101737 0
[pid=2865/tid=2866] ppid=2863 vsize=427064 CPUtime=1.46 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 17007 0 0 0 140 6 0 0 18 0 4 0 518800445 437313536 42791 33554432000 4194304 4627427 140737474753424 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=427064 CPUtime=1.41 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 14352 0 0 0 130 11 0 0 19 0 4 0 518800445 437313536 42791 33554432000 4194304 4627427 140737474753424 18446744073709551615 4302447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=427064 CPUtime=1.46 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 8041 0 0 0 141 5 0 0 19 0 4 0 518800445 437313536 42791 33554432000 4194304 4627427 140737474753424 18446744073709551615 4306552 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 427064

[startup+3.10091 s]
/proc/loadavg: 7.43 7.97 7.96 9/184 2869
/proc/meminfo: memFree=26903608/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=558328 CPUtime=12.18 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 59434 0 0 0 1183 35 0 0 22 0 4 0 518800445 571727872 46426 33554432000 4194304 4627427 140737474753424 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 139582 46427 385 106 0 134553 0
[pid=2865/tid=2866] ppid=2863 vsize=558328 CPUtime=3.06 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 17932 0 0 0 300 6 0 0 22 0 4 0 518800445 571727872 46427 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=558328 CPUtime=3 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 15457 0 0 0 289 11 0 0 22 0 4 0 518800445 571727872 46427 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=558328 CPUtime=3.06 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 8887 0 0 0 301 5 0 0 23 0 4 0 518800445 571727872 46427 33554432000 4194304 4627427 140737474753424 18446744073709551615 4327752 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 558328

[startup+6.30038 s]
/proc/loadavg: 7.48 7.97 7.96 9/184 2869
/proc/meminfo: memFree=26813584/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=558328 CPUtime=24.95 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 66605 0 0 0 2457 38 0 0 25 0 4 0 518800445 571727872 53597 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308588 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 139582 53597 385 106 0 134553 0
[pid=2865/tid=2866] ppid=2863 vsize=558328 CPUtime=6.26 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 19566 0 0 0 619 7 0 0 25 0 4 0 518800445 571727872 53597 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=558328 CPUtime=6.19 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 17108 0 0 0 607 12 0 0 25 0 4 0 518800445 571727872 53597 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=558328 CPUtime=6.26 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 11093 0 0 0 620 6 0 0 25 0 4 0 518800445 571727872 53597 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 558328

[startup+12.7003 s]
/proc/loadavg: 7.52 7.97 7.96 9/184 2869
/proc/meminfo: memFree=26747488/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=459380 CPUtime=50.51 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 86875 0 0 0 5008 43 0 0 25 0 4 0 518800445 470405120 48119 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 114845 48119 386 106 0 109816 0
[pid=2865/tid=2866] ppid=2863 vsize=459380 CPUtime=12.65 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 24538 0 0 0 1257 8 0 0 25 0 4 0 518800445 470405120 48119 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=459380 CPUtime=12.55 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 22271 0 0 0 1242 13 0 0 25 0 4 0 518800445 470405120 48119 33554432000 4194304 4627427 140737474753424 18446744073709551615 4333558 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=459380 CPUtime=12.65 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 16171 0 0 0 1258 7 0 0 25 0 4 0 518800445 470405120 48119 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 459380

[startup+25.5012 s]
/proc/loadavg: 7.62 7.97 7.96 9/184 2878
/proc/meminfo: memFree=26508068/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=791812 CPUtime=101.64 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 168822 0 0 0 10100 64 0 0 25 0 4 0 518800445 810815488 104576 33554432000 4194304 4627427 140737474753424 18446744073709551615 4332667 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 197953 104576 390 106 0 192924 0
[pid=2865/tid=2866] ppid=2863 vsize=791812 CPUtime=25.45 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 61248 0 0 0 2529 16 0 0 25 0 4 0 518800445 810815488 104576 33554432000 4194304 4627427 140737474753424 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=791812 CPUtime=25.28 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 30480 0 0 0 2512 16 0 0 25 0 4 0 518800445 810815488 104576 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=791812 CPUtime=25.46 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 28428 0 0 0 2535 11 0 0 25 0 4 0 518800445 810815488 104576 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 791812

[startup+51.1009 s]
/proc/loadavg: 7.83 7.99 7.97 9/184 2878
/proc/meminfo: memFree=26349824/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=966364 CPUtime=203.88 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 254236 0 0 0 20303 85 0 0 25 0 4 0 518800445 989556736 135325 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308764 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 241591 135325 390 106 0 236562 0
[pid=2865/tid=2866] ppid=2863 vsize=966364 CPUtime=51.05 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 77314 0 0 0 5084 21 0 0 25 0 4 0 518800445 989556736 135325 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=966364 CPUtime=50.74 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 52015 0 0 0 5053 21 0 0 25 0 4 0 518800445 989556736 135325 33554432000 4194304 4627427 140737474753424 18446744073709551615 4327488 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=966364 CPUtime=51.05 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 55406 0 0 0 5088 17 0 0 25 0 4 0 518800445 989556736 135325 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 966364

[startup+102.3 s]
/proc/loadavg: 7.97 8.00 7.97 9/184 2880
/proc/meminfo: memFree=26053288/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=1077232 CPUtime=408.41 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 424046 0 0 0 40711 130 0 0 25 0 4 0 518800445 1103085568 196595 33554432000 4194304 4627427 140737474753424 18446744073709551615 4299634 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 269308 196595 390 106 0 264279 0
[pid=2865/tid=2866] ppid=2863 vsize=1077232 CPUtime=102.26 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 104335 0 0 0 10198 28 0 0 25 0 4 0 518800445 1103085568 196595 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=1077232 CPUtime=101.66 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 85878 0 0 0 10136 30 0 0 25 0 4 0 518800445 1103085568 196595 33554432000 4194304 4627427 140737474753424 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=1077232 CPUtime=102.26 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 119887 0 0 0 10192 34 0 0 25 0 4 0 518800445 1103085568 196595 33554432000 4194304 4627427 140737474753424 18446744073709551615 4332314 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.41
Current children cumulated vsize (KiB) 1077232

[startup+162.3 s]

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

[pid=2865] ppid=2863 vsize=1534152 CPUtime=2804.98 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 1460874 0 0 0 280027 471 0 0 25 0 4 0 518800445 1570971648 304319 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308335 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 383538 304319 390 106 0 378509 0
[pid=2865/tid=2866] ppid=2863 vsize=1534152 CPUtime=699.75 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 350146 0 0 0 69863 112 0 0 25 0 4 0 518800445 1570971648 304319 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=1534152 CPUtime=700.83 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 346291 0 0 0 69967 116 0 0 25 0 4 0 518800445 1570971648 304319 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=1534152 CPUtime=702.17 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 395988 0 0 0 70099 118 0 0 25 0 4 0 518800445 1570971648 304319 33554432000 4194304 4627427 140737474753424 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.98
Current children cumulated vsize (KiB) 1534152

[startup+762.301 s]
/proc/loadavg: 8.07 8.06 8.00 9/184 2899
/proc/meminfo: memFree=25193668/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=1664344 CPUtime=3044.65 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 1562107 0 0 0 303960 505 0 0 25 0 4 0 518800445 1704288256 338249 33554432000 4194304 4627427 140737474753424 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 416086 338249 390 106 0 411057 0
[pid=2865/tid=2866] ppid=2863 vsize=1664344 CPUtime=759.43 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 375514 0 0 0 75823 120 0 0 25 0 4 0 518800445 1704288256 338249 33554432000 4194304 4627427 140737474753424 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=1664344 CPUtime=760.83 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 371787 0 0 0 75959 124 0 0 25 0 4 0 518800445 1704288256 338249 33554432000 4194304 4627427 140737474753424 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=1664344 CPUtime=762.18 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 420309 0 0 0 76090 128 0 0 25 0 4 0 518800445 1704288256 338249 33554432000 4194304 4627427 140737474753424 18446744073709551615 4330958 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.65
Current children cumulated vsize (KiB) 1664344

[startup+822.301 s]
/proc/loadavg: 8.11 8.07 8.01 9/184 2900
/proc/meminfo: memFree=25300268/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=1664488 CPUtime=3284.3 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 1648911 0 0 0 327893 537 0 0 25 0 4 0 518800445 1704435712 322112 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 416122 322112 390 106 0 411093 0
[pid=2865/tid=2866] ppid=2863 vsize=1664488 CPUtime=819.17 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 397723 0 0 0 81788 129 0 0 25 0 4 0 518800445 1704435712 322112 33554432000 4194304 4627427 140737474753424 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=1664488 CPUtime=820.74 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 394318 0 0 0 81942 132 0 0 25 0 4 0 518800445 1704435712 322112 33554432000 4194304 4627427 140737474753424 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=1664488 CPUtime=822.16 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 443911 0 0 0 82080 136 0 0 25 0 4 0 518800445 1704435712 322112 33554432000 4194304 4627427 140737474753424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.3
Current children cumulated vsize (KiB) 1664488

[startup+882.307 s]
/proc/loadavg: 8.16 8.10 8.02 9/184 2901
/proc/meminfo: memFree=25230292/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=1568576 CPUtime=3523.97 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 1754366 0 0 0 351829 568 0 0 25 0 4 0 518800445 1606221824 336768 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 392144 336768 390 106 0 387115 0
[pid=2865/tid=2866] ppid=2863 vsize=1568576 CPUtime=879.18 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 433357 0 0 0 87780 138 0 0 25 0 4 0 518800445 1606221824 336768 33554432000 4194304 4627427 140737474753424 18446744073709551615 4321795 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=1568576 CPUtime=880.42 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 420564 0 0 0 87902 140 0 0 25 0 4 0 518800445 1606221824 336769 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=1568576 CPUtime=882.16 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 467106 0 0 0 88072 144 0 0 25 0 4 0 518800445 1606221824 336769 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.97
Current children cumulated vsize (KiB) 1568576

[startup+942.301 s]
/proc/loadavg: 8.21 8.13 8.03 9/184 2903
/proc/meminfo: memFree=24992924/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=1731704 CPUtime=3763.61 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 1855508 0 0 0 375761 600 0 0 25 0 4 0 518800445 1773264896 353352 33554432000 4194304 4627427 140737474753424 18446744073709551615 4305872 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 432926 353352 390 106 0 427897 0
[pid=2865/tid=2866] ppid=2863 vsize=1731704 CPUtime=939.17 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 459694 0 0 0 93770 147 0 0 25 0 4 0 518800445 1773264896 353352 33554432000 4194304 4627427 140737474753424 18446744073709551615 4332184 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=1731704 CPUtime=940.09 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 449363 0 0 0 93859 150 0 0 25 0 4 0 518800445 1773264896 353352 33554432000 4194304 4627427 140737474753424 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=1731704 CPUtime=942.14 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 490871 0 0 0 94064 150 0 0 25 0 4 0 518800445 1773264896 353352 33554432000 4194304 4627427 140737474753424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.61
Current children cumulated vsize (KiB) 1731704

[startup+1002.3 s]
/proc/loadavg: 8.19 8.13 8.03 9/184 2905
/proc/meminfo: memFree=24907464/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=1732592 CPUtime=4003.27 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 1941716 0 0 0 399699 628 0 0 25 0 4 0 518800445 1774174208 374639 33554432000 4194304 4627427 140737474753424 18446744073709551615 4333258 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 433148 374639 390 106 0 428119 0
[pid=2865/tid=2866] ppid=2863 vsize=1732592 CPUtime=999.17 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 479784 0 0 0 99764 153 0 0 25 0 4 0 518800445 1774174208 374639 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=1732592 CPUtime=999.75 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 469269 0 0 0 99819 156 0 0 25 0 4 0 518800445 1774174208 374639 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308780 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=1732592 CPUtime=1002.14 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 516775 0 0 0 100055 159 0 0 25 0 4 0 518800445 1774174208 374639 33554432000 4194304 4627427 140737474753424 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.27
Current children cumulated vsize (KiB) 1732592

[startup+1062.3 s]
/proc/loadavg: 8.17 8.13 8.04 9/184 2906
/proc/meminfo: memFree=25015420/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=1734020 CPUtime=4242.92 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 2020071 0 0 0 423635 657 0 0 25 0 4 0 518800445 1775636480 339249 33554432000 4194304 4627427 140737474753424 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 433505 339249 390 106 0 428476 0
[pid=2865/tid=2866] ppid=2863 vsize=1734020 CPUtime=1059.16 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 497739 0 0 0 105756 160 0 0 25 0 4 0 518800445 1775636480 339249 33554432000 4194304 4627427 140737474753424 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=1734020 CPUtime=1059.43 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 487188 0 0 0 105781 162 0 0 25 0 4 0 518800445 1775636480 339249 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=1734020 CPUtime=1062.12 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 537344 0 0 0 106045 167 0 0 25 0 4 0 518800445 1775636480 339249 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.92
Current children cumulated vsize (KiB) 1734020

[startup+1122.3 s]
/proc/loadavg: 8.10 8.12 8.04 9/184 2908
/proc/meminfo: memFree=24880488/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=1816452 CPUtime=4482.57 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 2112854 0 0 0 447569 688 0 0 25 0 4 0 518800445 1860046848 377372 33554432000 4194304 4627427 140737474753424 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 454113 377372 390 106 0 449084 0
[pid=2865/tid=2866] ppid=2863 vsize=1816452 CPUtime=1119.16 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 522103 0 0 0 111746 170 0 0 25 0 4 0 518800445 1860046848 377372 33554432000 4194304 4627427 140737474753424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=1816452 CPUtime=1119.1 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 511252 0 0 0 111739 171 0 0 25 0 4 0 518800445 1860046848 377372 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308141 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=1816452 CPUtime=1122.11 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 561309 0 0 0 112036 175 0 0 25 0 4 0 518800445 1860046848 377372 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.57
Current children cumulated vsize (KiB) 1816452

[startup+1182.3 s]
/proc/loadavg: 8.15 8.13 8.04 9/184 2909
/proc/meminfo: memFree=24925708/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=1702096 CPUtime=4722.22 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 2204670 0 0 0 471502 720 0 0 25 0 4 0 518800445 1742946304 349341 33554432000 4194304 4627427 140737474753424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 425524 349341 390 106 0 420495 0
[pid=2865/tid=2866] ppid=2863 vsize=1702096 CPUtime=1179.16 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 545695 0 0 0 117737 179 0 0 25 0 4 0 518800445 1742946304 349341 33554432000 4194304 4627427 140737474753424 18446744073709551615 4332987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=1702096 CPUtime=1178.77 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 536653 0 0 0 117697 180 0 0 25 0 4 0 518800445 1742946304 349341 33554432000 4194304 4627427 140737474753424 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=1702096 CPUtime=1182.11 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 578584 0 0 0 118030 181 0 0 25 0 4 0 518800445 1742946304 349341 33554432000 4194304 4627427 140737474753424 18446744073709551615 4527400 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.22
Current children cumulated vsize (KiB) 1702096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.10 8.12 8.04 5/179 2911
/proc/meminfo: memFree=25682388/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=1834116 CPUtime=4800.12 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 2229560 0 0 0 479281 731 0 0 25 0 4 0 518800445 1878134784 359692 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 458529 359692 390 106 0 453500 0
[pid=2865/tid=2866] ppid=2863 vsize=1834116 CPUtime=1198.66 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 550579 0 0 0 119685 181 0 0 25 0 4 0 518800445 1878134784 359694 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=1834116 CPUtime=1198.16 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 544202 0 0 0 119634 182 0 0 25 0 4 0 518800445 1878134784 359694 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=1834116 CPUtime=1201.61 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 584298 0 0 0 119978 183 0 0 25 0 4 0 518800445 1878134784 359694 33554432000 4194304 4627427 140737474753424 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1834116

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

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

[startup+1201.8 s]
/proc/loadavg: 8.10 8.12 8.04 5/179 2911
/proc/meminfo: memFree=25682388/32951124 swapFree=67088964/67111528
[pid=2865] ppid=2863 vsize=1834116 CPUtime=4800.12 cores=0,2,4,6
/proc/2865/stat : 2865 (strangenight2-m) R 2863 2865 2397 0 -1 4202496 2229560 0 0 0 479281 731 0 0 25 0 4 0 518800445 1878134784 359692 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2865/statm: 458529 359692 390 106 0 453500 0
[pid=2865/tid=2866] ppid=2863 vsize=1834116 CPUtime=1198.66 cores=0,2,4,6
/proc/2865/task/2866/stat : 2866 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 550579 0 0 0 119685 181 0 0 25 0 4 0 518800445 1878134784 359694 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2865/tid=2867] ppid=2863 vsize=1834116 CPUtime=1198.16 cores=0,2,4,6
/proc/2865/task/2867/stat : 2867 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 544202 0 0 0 119634 182 0 0 25 0 4 0 518800445 1878134784 359694 33554432000 4194304 4627427 140737474753424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2865/tid=2868] ppid=2863 vsize=1834116 CPUtime=1201.61 cores=0,2,4,6
/proc/2865/task/2868/stat : 2868 (strangenight2-m) R 2863 2865 2397 0 -1 4202560 584298 0 0 0 119978 183 0 0 25 0 4 0 518800445 1878134784 359694 33554432000 4194304 4627427 140737474753424 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1834116

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.89
CPU time (s): 4800.23
CPU user time (s): 4792.84
CPU system time (s): 7.38688
CPU usage (%): 399.391
Max. virtual memory (cumulated for all children) (KiB): 1864012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.84
system time used= 7.38688
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2229568
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= 34647
involuntary context switches= 20654

runsolver used 2.02269 second user time and 4.56031 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-29 12:13:39
IDJOB=3173861
IDBENCH=82679
IDSOLVER=1586
FILE ID=node130/3173861-1304072019
RUNJOBID= node130-1304072019-2842
PBS_JOBID= 13170469
Free space on /tmp= 71984 MiB

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

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

MD5SUM BENCH= eb4eadfedd2c4dc9b0ed7231ad324f1f
RANDOM SEED=1083902736

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27112536 kB
Buffers:       1163284 kB
Cached:        4143920 kB
SwapCached:      22432 kB
Active:         502544 kB
Inactive:      4904512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27112536 kB
SwapTotal:    67111528 kB
SwapFree:     67088964 kB
Dirty:           15648 kB
Writeback:           0 kB
AnonPages:       77000 kB
Mapped:          15008 kB
Slab:           369260 kB
PageTables:       5232 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   273948 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= 71984 MiB
End job on node130 at 2011-04-29 12:33:43