Trace number 3366708

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.13 1203.68

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
MD5SUM71638ad618721ad48c6bd2d48b828020
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.2785
Satisfiable
(Un)Satisfiability was proved
Number of variables2377
Number of clauses566749
Sum of the clauses size1135775
Maximum clause length52
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2566699
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data 

0.00/0.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366708-1305434215.cnf'
0.00/0.01	c -- header says num vars:           2377
0.00/0.01	c -- header says num clauses:      566749
0.15/0.11	c -- clauses added:            0 learnts,       566749 normals,            0 xors
0.15/0.11	c -- vars added       2377
0.15/0.11	c Parsing time:  0.07 s
0.15/0.11	c  N st     0         0      2377        50    566699         0   1135775         0   no data   no data
0.15/0.11	c asymm  cl-useful: 0/50/50 lits-rem:0 time: 0.00
0.43/0.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.1M T:  0.07
0.43/0.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.43/0.39	c bin-w-bin subsume rem            0 bins  time:  0.09 s
0.43/0.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
1.85/0.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2377 time:  0.05 s
1.85/0.48	c Removed useless bin:       0  fixed:     0  props:   2.84M  time:  0.05 s
2.35/0.68	c lits-rem:       533  cl-subs:        0  v-elim:     50  v-fix:    0  time:  0.21 s
2.35/0.69	c Finding binary XORs  T:     0.01 s  found:       0
2.75/0.72	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
2.75/0.72	c calculated reachability. Time: 0.00
2.75/0.72	c Calc default polars -  time:   0.00 s pos:       0 undec:      50 neg:    2327
2.75/0.72	c =========================================================================================
2.75/0.72	c types(t): F = full restart, N = normal restart
2.75/0.72	c types(t): S = simplification begin/end, E = solution found
2.75/0.72	c restart types(rt): st = static, dy = dynamic
2.75/0.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.75/0.72	c  B st     0         0      2327     11199    553173         0   1690095         0   no data   no data
5.13/1.33	c  N dy     9      4154      2327     11199    553173      4020   1690079    814154     11.30     11.94
7.94/2.05	c  N dy    28      8345      2327     11199    553173      5678   1690077    889379     11.01     11.60
10.72/2.79	c  N dy    47     12433      2327     11199    553173      5529   1690074    646078     11.01     11.81
13.91/3.50	c  N dy    65     16468      2327     11199    553173      9416   1690071   1000115     10.99     11.72
16.70/4.22	c  N dy    87     20648      2327     11199    553173      8025   1690070    790909     11.17     11.78
19.49/4.97	c  N dy   105     24886      2327     11199    553173     12156   1690068   1216648     11.19     11.80
19.49/4.99	c  F st   106     25002      2327     11199    553173     12272   1690068   1222612     11.17      7.70
23.48/5.96	c  N dy   112     30001      2327     11199    553173     10536   1690064   1200535     11.17   no data
23.48/5.96	c  S st   112     30001      2327     11199    553173     10536   1690064   1200535     11.17   no data
23.87/6.06	c  S st   112     30504      2327     11199    553173     11037   1690064   1247713     11.17   no data
23.87/6.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
28.26/7.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 47.6M T:  1.10
28.26/7.19	c blocked clauses removed:        0 vars:      0 tried:        2327 T: 0.00 s
28.66/7.23	c bin-w-bin subsume rem            0 bins  time:  0.05 s
47.81/12.07	c subs with bin:        0  lits-rem:     37159  v-fix:    0  time:  4.84 s
48.24/12.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.04 s
48.24/12.17	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.05 s
49.80/12.51	c lits-rem:      4687  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.34 s
54.99/13.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.29 s
63.37/15.92	c lits-rem:      2791  cl-subs:      602  v-elim:      0  v-fix:    0  time:  2.06 s
64.16/16.17	c asymm  cl-useful: 103/1278/11199 lits-rem:1650 time: 0.25
64.16/16.18	c calculated reachability. Time: 0.00
64.16/16.18	c  N dy   112     30504      2327     11199    553173     10435   1643306   1202449     11.17   no data
67.75/17.05	c  N dy   138     34527      2327     11199    553173     14342   1643306   1769505     11.49     15.56
71.33/17.94	c  N dy   152     39116      2327     11199    553173     11107   1643306   1147479     11.36     12.04
74.97/18.82	c  N dy   168     43123      2327     11199    553173     15007   1643306   1772080     11.37     12.48
77.32/19.48	c  S st   184     45757      2327     11199    553173      8866   1643306    823682     11.47   no data
77.72/19.56	c  S st   184     46261      2327     11199    553173      9369   1643306    894810     11.47   no data
77.72/19.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
81.71/20.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 44.2M T:  1.02
82.11/20.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.11/20.65	c bin-w-bin subsume rem            0 bins  time:  0.05 s
102.85/25.84	c subs with bin:        0  lits-rem:     37141  v-fix:    0  time:  5.18 s
102.85/25.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.05 s
103.25/25.94	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.05 s
103.65/26.00	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
108.82/27.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.29 s
110.41/27.71	c lits-rem:       317  cl-subs:      152  v-elim:      0  v-fix:    0  time:  0.40 s
110.41/27.74	c vivif2 --  cl tried    11199 cl shrink     4554 lits rem      61914 time: 0.02
110.41/27.76	c vivif2 --  cl tried     9217 cl shrink        0 lits rem          0 time: 0.02
111.21/27.95	c asymm  cl-useful: 0/1379/11199 lits-rem:0 time: 0.19
111.21/27.96	c calculated reachability. Time: 0.00
111.21/27.96	c  N dy   184     46261      2327     11199    553173      9217   1543772    889330     11.47   no data
114.45/28.72	c  N dy   202     50272      2327     11199    553173     13123   1543772   1339774     11.48     16.60
117.99/29.65	c  N dy   214     54618      2327     11199    553173     17361   1543772   1883637     11.40     12.06
121.58/30.53	c  N dy   235     58710      2327     11199    553173     11640   1543772   1029077     11.45     12.07
124.77/31.31	c  N dy   253     62896      2327     11199    553173     15714   1543772   1558001     11.54     12.27
129.15/32.45	c  N dy   276     68193      2327     11199    553173     20874   1543772   2342617     11.64     12.37
130.35/32.76	c  S st   285     69391      2327     11199    553173     11334   1543772    900223     11.74      8.82
130.75/32.85	c  S st   285     69894      2327     11199    553173     11835   1543772    959107     11.74   no data
130.75/32.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
135.97/34.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 45.5M T:  1.25
135.97/34.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.97/34.17	c bin-w-bin subsume rem            0 bins  time:  0.05 s
154.27/38.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.60 s
154.67/38.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.05 s
154.67/38.87	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.05 s
155.07/38.95	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
160.26/40.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.29 s
162.29/40.73	c lits-rem:       148  cl-subs:      108  v-elim:      0  v-fix:    0  time:  0.45 s
162.29/40.74	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.01
162.29/40.77	c vivif2 --  cl tried    11727 cl shrink        0 lits rem          0 time: 0.02
163.05/40.99	c asymm  cl-useful: 0/672/11199 lits-rem:0 time: 0.22
163.45/41.00	c calculated reachability. Time: 0.00
163.45/41.00	c  N dy   285     69894      2327     11199    553173     11727   1543770    953927     11.74   no data
166.67/41.85	c  N dy   305     74380      2327     11199    553173     16092   1543770   1644599     11.79     12.44
170.64/42.91	c  N dy   328     79179      2327     11199    553173     20742   1543770   2276594     11.81     28.84
175.86/44.17	c  N dy   353     85133      2327     11199    553173     14907   1543770   1328870     11.82     12.54
177.81/44.65	c  F st   369     87501      2327     11199    553173     17220   1543770   1699480     11.87   no data
181.00/45.41	c  N st   374     90801      2327     11199    553173     20413   1543770   2175119     11.87   no data
186.97/46.92	c  N dy   399     97118      2327     11199    553173     13894   1543770   1156658     12.02     12.74
191.77/48.15	c  N dy   425    103479      2327     11199    553173     20122   1543770   2135709     12.00     12.64
192.99/48.49	c  S st   433    104841      2327     11199    553173     21448   1543770   2344471     12.00   no data
193.75/48.62	c  S st   433    105343      2327     11199    553173     21948   1543770   2418765     12.00   no data
193.75/48.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
199.75/50.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 61.3M T:  1.53
199.75/50.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
200.14/50.21	c bin-w-bin subsume rem            0 bins  time:  0.05 s
218.49/54.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.61 s
218.49/54.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.05 s
218.89/54.92	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.05 s
218.89/54.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
224.47/56.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.39 s
242.01/60.74	c lits-rem:       978  cl-subs:      436  v-elim:      0  v-fix:    0  time:  4.34 s
242.01/60.75	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.01
242.41/60.80	c vivif2 --  cl tried    21512 cl shrink        0 lits rem          0 time: 0.05
243.21/61.05	c asymm  cl-useful: 0/436/11199 lits-rem:0 time: 0.25
243.21/61.06	c calculated reachability. Time: 0.00
243.21/61.06	c  N dy   433    105343      2327     11199    553173     21512   1543770   2381428     12.00   no data
250.78/62.92	c  N dy   463    112073      2327     11199    553173     14430   1543770   1185886     12.07     19.28
257.17/64.54	c  N dy   495    119998      2327     11199    553173     22174   1543770   2412703     12.11     12.80
266.75/66.94	c  N dy   533    128040      2327     11199    553173     15361   1543770   1242850     12.14     12.79
274.72/68.98	c  N dy   567    136839      2327     11199    553173     24003   1543770   2404694     12.10     12.74
284.69/71.46	c  N dy   596    146000      2327     11199    553173     17299   1543770   1398189     12.06     12.82
293.06/73.53	c  N dy   626    155446      2327     11199    553173     26485   1543770   2477874     12.02     12.75
295.45/74.10	c  S st   635    158014      2327     11199    553173     28979   1543770   2818769     12.03      9.62
295.85/74.24	c  S st   635    158516      2327     11199    553173     29478   1543770   2881786     12.03   no data
295.85/74.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
303.07/76.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 66.1M T:  1.79
303.07/76.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
303.42/76.10	c bin-w-bin subsume rem            0 bins  time:  0.05 s
322.97/81.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.92 s
322.97/81.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.05 s
323.37/81.12	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.05 s
323.37/81.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
330.14/82.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.65 s
351.68/88.28	c lits-rem:      1478  cl-subs:      633  v-elim:      0  v-fix:    0  time:  5.39 s
351.68/88.29	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.01
352.08/88.36	c vivif2 --  cl tried    28845 cl shrink        0 lits rem          0 time: 0.07
353.28/88.60	c asymm  cl-useful: 0/744/11199 lits-rem:0 time: 0.25
353.28/88.62	c calculated reachability. Time: 0.00
353.28/88.62	c  N dy   635    158516      2327     11199    553173     28845   1543770   2826260     12.03   no data
363.25/91.18	c  N dy   680    168792      2327     11199    553173     22306   1543770   2145248     12.08     12.80
377.24/94.68	c  N dy   726    179884      2327     11199    553173     33112   1543770   3730576     12.08     12.73
389.18/97.65	c  N dy   752    191837      2327     11199    553173     27238   1543770   2868167     12.00     12.75
407.94/102.33	c  N dy   802    204565      2327     11199    553173     21123   1543770   1813417     12.04     12.71
421.87/105.82	c  N dy   840    217688      2327     11199    553173     33831   1543770   2959585     11.96     13.24
436.62/109.57	c  N dy   887    231894      2327     11199    553173     28234   1543770   2790551     11.93     12.56
443.80/111.38	c  S st   918    237774      2327     11199    553173     33963   1543770   3566900     11.95     12.09
444.60/111.52	c  S st   918    238276      2327     11199    553173     34462   1543770   3641985     11.95   no data
444.60/111.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
452.98/113.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 71.8M T:  2.06
452.98/113.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
452.98/113.66	c bin-w-bin subsume rem            0 bins  time:  0.05 s
471.31/118.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.61 s
471.71/118.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.05 s
471.71/118.36	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.05 s
471.71/118.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
478.12/119.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.42 s
511.59/128.33	c lits-rem:      1905  cl-subs:      969  v-elim:      0  v-fix:    0  time:  8.41 s
511.59/128.35	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.01
511.99/128.43	c vivif2 --  cl tried    33493 cl shrink        0 lits rem          0 time: 0.08
512.79/128.71	c asymm  cl-useful: 0/598/11199 lits-rem:0 time: 0.28
513.21/128.72	c calculated reachability. Time: 0.00
513.21/128.72	c  N dy   918    238276      2327     11199    553173     33493   1543770   3586726     11.95   no data
530.77/133.14	c  N dy   988    254159      2327     11199    553174     28513   1543770   2807324     11.96     12.76
551.08/138.25	c  N dy  1056    270618      2327     11199    553174     23100   1543770   2048491     11.99     12.83
571.82/143.42	c  N dy  1131    288157      2327     11199    553174     40182   1543770   4329055     12.02     12.96
592.95/148.75	c  F st  1224    306250      2327     11199    553174     35409   1543770   3589123     12.13   no data
594.15/149.04	c  N st  1226    306875      2327     11199    553174     36022   1543770   3696023     12.13   no data
619.27/155.36	c  N dy  1303    326503      2327     11199    553174     31689   1543770   2756306     12.18     15.25
644.82/161.74	c  N dy  1415    346524      2327     11199    553174     26866   1543770   2131457     12.25     13.11
656.77/164.77	c  S st  1465    357414      2327     11199    553174     37409   1543770   3440699     12.29     10.14
657.56/164.95	c  S st  1465    357917      2327     11199    553174     37910   1543770   3494537     12.29   no data
657.56/164.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
666.76/167.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 77.5M T:  2.32
666.76/167.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
667.17/167.35	c bin-w-bin subsume rem            0 bins  time:  0.05 s
685.47/171.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.64 s
685.87/172.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.05 s
685.87/172.08	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.05 s
686.27/172.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
691.85/173.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.34 s
726.16/182.11	c lits-rem:      1718  cl-subs:     1375  v-elim:      0  v-fix:    0  time:  8.56 s
726.16/182.12	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.01
726.56/182.21	c vivif2 --  cl tried    36535 cl shrink       17 lits rem         17 time: 0.08
727.75/182.51	c asymm  cl-useful: 0/323/11199 lits-rem:0 time: 0.30
727.75/182.52	c calculated reachability. Time: 0.00
727.75/182.52	c  N dy  1465    357917      2327     11199    553174     36535   1543770   3439218     12.29   no data
755.66/189.53	c  N dy  1548    378102      2327     11199    553175     30903   1543770   2662202     12.31     12.98
783.18/196.43	c  N dy  1621    398486      2327     11199    553175     50761   1543770   5445259     12.28     12.98
808.31/202.73	c  N dy  1706    418509      2327     11199    553175     44093   1543770   4458727     12.33     19.72
833.87/209.15	c  N dy  1772    438645      2327     11199    553175     36470   1543770   3100300     12.32     12.97
860.54/215.84	c  N dy  1849    458707      2327     11199    553175     56053   1543770   5566437     12.34     15.92
884.07/221.71	c  N dy  1920    478798      2327     11199    553175     47314   1543770   4598740     12.35     13.07
911.59/228.68	c  N dy  1997    499414      2327     11199    553175     38159   1543770   3136436     12.36     13.20
941.10/236.02	c  N dy  2094    519466      2327     11199    553175     57768   1543770   5827063     12.40     13.60
964.24/241.81	c  S st  2184    536876      2327     11199    553175     44538   1543770   4030719     12.44     10.96
964.64/241.97	c  S st  2184    537381      2327     11199    553175     45042   1543770   4103506     12.44   no data
964.64/241.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
975.40/244.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 89.0M T:  2.70
975.80/244.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
975.80/244.75	c bin-w-bin subsume rem            0 bins  time:  0.05 s
995.35/249.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.92 s
995.77/249.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.05 s
995.77/249.77	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.05 s
995.77/249.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1002.51/251.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.52 s
1035.66/259.75	c lits-rem:      2028  cl-subs:     1594  v-elim:      0  v-fix:    0  time:  8.31 s
1035.66/259.76	c vivif2 --  cl tried    11199 cl shrink        1 lits rem          1 time: 0.01
1036.01/259.86	c vivif2 --  cl tried    43448 cl shrink       76 lits rem         76 time: 0.10
1037.21/260.17	c asymm  cl-useful: 0/283/11199 lits-rem:0 time: 0.31
1037.21/260.19	c calculated reachability. Time: 0.00
1037.21/260.19	c  N dy  2184    537381      2327     11199    553175     43448   1543769   4045025     12.44   no data
1068.71/268.02	c  N dy  2267    557389      2327     11199    553175     31719   1543769   2219953     12.45     13.28
1092.27/273.95	c  N dy  2338    577482      2327     11199    553175     51271   1543769   4718582     12.45     14.48
1121.36/281.28	c  N dy  2424    597490      2327     11199    553175     38599   1543769   2935964     12.46     13.25
1148.88/288.11	c  N dy  2522    617580      2327     11199    553175     58153   1543769   5529369     12.50     13.21
1174.00/294.45	c  N dy  2597    637609      2327     11199    553175     44474   1543769   3651419     12.51     22.32
1204.71/302.17	c  N dy  2671    657682      2327     11199    553175     63961   1543769   6255126     12.51     18.17
1232.22/309.05	c  N dy  2773    677834      2327     11199    553175     49579   1543769   4213707     12.56     13.28
1266.11/317.52	c  N dy  2848    698883      2327     11199    553175     35020   1543769   2214396     12.55     13.50
1288.05/323.01	c  N dy  2916    718905      2327     11199    553175     54395   1543769   4527703     12.54     20.46
1321.16/331.33	c  N dy  3001    739592      2327     11199    553175     38555   1543769   2523956     12.56     13.24
1347.13/337.88	c  N dy  3095    760168      2327     11199    553175     58417   1543769   4598950     12.58     13.26
1376.99/345.41	c  N dy  3184    780318      2327     11199    553175     41148   1543769   2748937     12.59     13.81
1401.31/351.40	c  N dy  3254    800540      2327     11199    553175     60855   1543769   4985980     12.58     13.53
1408.53/353.24	c  S st  3276    806071      2327     11199    553175     66239   1543769   5587308     12.58      9.21
1409.28/353.43	c  S st  3276    806574      2327     11199    553175     66742   1543769   5646408     12.58   no data
1409.28/353.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1421.69/356.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 96.7M T:  3.07
1421.69/356.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1421.69/356.57	c bin-w-bin subsume rem            0 bins  time:  0.05 s
1440.39/361.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.63 s
1440.39/361.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.05 s
1440.79/361.30	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.05 s
1440.79/361.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1448.76/363.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.80 s
1506.19/377.79	c lits-rem:      2990  cl-subs:     2848  v-elim:      0  v-fix:    0  time: 14.48 s
1506.59/377.81	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.01
1506.99/377.95	c vivif2 --  cl tried    63894 cl shrink        0 lits rem          0 time: 0.15
1508.19/378.29	c asymm  cl-useful: 0/263/11199 lits-rem:0 time: 0.33
1508.59/378.30	c calculated reachability. Time: 0.00
1508.59/378.30	c  N dy  3276    806574      2327     11199    553175     63894   1543769   5545132     12.58   no data
1537.71/385.64	c  N dy  3353    826967      2327     11199    553177     45833   1543769   3455140     12.57     13.32
1568.00/393.21	c  N dy  3432    847322      2327     11199    553178     65637   1543769   5908733     12.58     13.43
1598.71/400.91	c  N dy  3499    867503      2327     11199    553178     46394   1543769   3323214     12.58     13.38
1629.02/408.59	c  N dy  3568    888066      2327     11199    553178     66426   1543769   6135543     12.58     13.42
1662.97/417.05	c  N dy  3644    908901      2327     11199    553178     46810   1543769   3324165     12.59     13.39
1690.85/424.01	c  N dy  3700    928932      2327     11199    553178     66232   1543769   5380885     12.56     13.26
1723.14/432.11	c  N dy  3775    949834      2327     11199    553178     45759   1543769   3078659     12.56     13.26
1750.70/439.10	c  N dy  3841    970024      2327     11199    553178     65391   1543769   5437050     12.55     13.27
1788.15/448.48	c  N dy  3918    990120      2327     11199    553178     43188   1543769   2670866     12.55     17.24
1813.27/454.76	c  N dy  3993   1010162      2327     11199    553178     62664   1543769   4947340     12.54     13.31
1849.17/463.72	c  N dy  4073   1032017      2327     11199    553178     83877   1543769   7486795     12.55     13.22
1875.49/470.38	c  N dy  4159   1052043      2327     11199    553179     60646   1543769   4639990     12.55     13.29
1907.79/478.50	c  F st  4237   1071875      2327     11199    553179     79889   1543769   6962093     12.55   no data
1908.63/478.64	c  N st  4238   1072125      2327     11199    553179     80137   1543769   7008556     12.55   no data
1942.49/487.12	c  N dy  4302   1092329      2327     11199    553179     56000   1543769   4062942     12.55     13.33
1977.18/495.82	c  N dy  4367   1112340      2327     11199    553179     75399   1543769   6491377     12.54     13.29
2015.46/505.43	c  N dy  4439   1132802      2327     11199    553179     50580   1543769   3276689     12.54     13.22
2040.99/511.81	c  N dy  4496   1152868      2327     11199    553180     70010   1543769   5214345     12.54     13.27
2077.68/521.05	c  N dy  4575   1172905      2327     11199    553180     89392   1543769   7302674     12.54     13.32
2104.40/527.71	c  N dy  4663   1192937      2327     11199    553180     63336   1543769   4799321     12.56     19.40
2133.11/534.92	c  S st  4722   1209862      2327     11199    553180     79805   1543769   7001500     12.56   no data
2133.91/535.17	c  S st  4722   1210363      2327     11199    553180     80305   1543769   7069513     12.56   no data
2133.91/535.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2150.25/539.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 116.3M T:  4.08
2150.25/539.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2150.65/539.33	c bin-w-bin subsume rem            0 bins  time:  0.05 s
2169.00/543.98	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  4.65 s
2169.40/544.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.05 s
2169.40/544.07	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.05 s
2169.80/544.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2175.82/545.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.33 s
2242.38/562.37	c lits-rem:      2207  cl-subs:     3949  v-elim:      0  v-fix:    0  time: 16.71 s
2242.38/562.38	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.01
2243.18/562.58	c vivif2 --  cl tried    76356 cl shrink     1572 lits rem       1573 time: 0.20
2244.79/562.95	c asymm  cl-useful: 0/187/11199 lits-rem:0 time: 0.37
2244.79/562.96	c calculated reachability. Time: 0.00
2244.79/562.96	c  N dy  4722   1210363      2327     11199    553180     76356   1543768   6959702     12.56   no data
2285.06/573.00	c  N dy  4792   1230457      2327     11199    553180     49294   1543768   3049525     12.56     13.35
2311.38/579.62	c  N dy  4883   1250534      2327     11199    553180     68779   1543768   5530234     12.57     13.30
2347.66/588.71	c  N dy  4943   1271073      2327     11199    553180     88652   1543768   7527336     12.56     13.25
2379.98/596.80	c  N dy  5031   1292221      2327     11199    553180     61698   1543768   4592739     12.58     13.32
2411.49/604.79	c  N dy  5118   1312282      2327     11199    553180     81239   1543768   7024384     12.59     13.39
2451.35/614.76	c  N dy  5206   1332361      2327     11199    553180     52175   1543768   3233897     12.61     30.28
2478.08/621.49	c  N dy  5296   1352631      2327     11199    553180     71918   1543768   5781014     12.62     13.34
2517.56/631.37	c  N dy  5384   1373155      2327     11199    553180     91779   1543768   8083881     12.64     13.32
2550.65/639.67	c  N dy  5442   1394516      2327     11199    553180     62995   1543768   4314866     12.63     13.44
2578.97/646.74	c  N dy  5511   1414541      2327     11199    553180     82410   1543768   6533352     12.63     13.57
2616.46/656.14	c  N dy  5607   1434643      2327     11199    553180     51490   1543768   3001714     12.65     18.10
2642.77/662.77	c  N dy  5700   1454778      2327     11199    553180     70993   1543768   5276995     12.66     13.53
2677.46/671.40	c  N dy  5795   1474851      2327     11199    553180     90434   1543768   7561714     12.67     24.63
2712.97/680.35	c  N dy  5874   1494984      2327     11199    553180     58484   1543768   3895351     12.68     13.46
2746.51/688.79	c  N dy  5934   1516635      2327     11199    553180     79490   1543768   5807191     12.67     13.39
2785.16/698.47	c  N dy  5980   1536899      2327     11199    553180     99057   1543768   7489276     12.65     13.37
2814.27/705.71	c  N dy  6065   1556926      2327     11199    553180     66139   1543768   4465991     12.66     14.63
2843.78/713.11	c  N dy  6135   1577730      2327     11199    553180     86394   1543768   6864558     12.66     13.35
2888.05/724.23	c  N dy  6228   1597751      2327     11199    553180    105826   1543768   8987885     12.67     20.95
2916.37/731.39	c  N dy  6303   1618459      2327     11199    553180     72593   1543768   5302229     12.67     13.34
2951.86/740.28	c  N dy  6397   1638508      2327     11199    553180     92054   1543768   7719355     12.69     21.33
2995.74/751.29	c  N dy  6475   1658666      2327     11199    553180     57298   1543768   3387843     12.69     13.43
3024.44/758.49	c  N dy  6565   1678737      2327     11199    553181     76700   1543768   5499580     12.70     29.21
3059.53/767.28	c  N dy  6633   1698804      2327     11199    553181     96144   1543768   7491139     12.69     13.49
3081.47/772.79	c  S st  6681   1710363      2327     11199    553181    107369   1543768   8751958     12.69     12.06
3082.67/773.09	c  S st  6681   1710866      2327     11199    553181    107866   1543768   8820441     12.69   no data
3083.07/773.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3102.21/777.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 132.8M T:  4.80
3102.21/777.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3102.21/777.98	c bin-w-bin subsume rem            0 bins  time:  0.05 s
3120.96/782.65	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  4.67 s
3121.36/782.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.05 s
3121.36/782.75	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.05 s
3121.76/782.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
3130.93/785.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.10 s
3233.82/810.96	c lits-rem:      3704  cl-subs:     5605  v-elim:      0  v-fix:    0  time: 25.79 s
3233.82/810.97	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.01
3235.02/811.24	c vivif2 --  cl tried   102261 cl shrink     2029 lits rem       2029 time: 0.27
3236.62/811.62	c asymm  cl-useful: 0/178/11199 lits-rem:0 time: 0.38
3236.62/811.64	c calculated reachability. Time: 0.00
3236.62/811.64	c  N dy  6681   1710866      2327     11199    553181    102261   1543767   8649948     12.69   no data
3272.11/820.54	c  N dy  6790   1730904      2327     11199    553181     66624   1543767   4699540     12.71     23.61
3306.42/829.18	c  N dy  6876   1751394      2327     11199    553182     86501   1543767   7017622     12.71     13.40
3353.07/840.89	c  N dy  6972   1771521      2327     11199    553182    106077   1543767   9302333     12.72     13.41
3388.57/849.79	c  N dy  7052   1791924      2327     11199    553182     69540   1543767   4731289     12.73     13.47
3425.27/858.90	c  N dy  7169   1812026      2327     11199    553182     89056   1543767   7057711     12.76     19.27
3468.34/869.72	c  N dy  7250   1832038      2327     11199    553182    108346   1543767   9197986     12.76     13.49
3499.44/877.56	c  N dy  7322   1852137      2327     11199    553182     70731   1543767   4877007     12.76     30.99
3533.34/886.00	c  N dy  7403   1872355      2327     11199    553182     90299   1543767   7066277     12.76     13.52
3574.82/896.46	c  N dy  7469   1892403      2327     11199    553182    109660   1543767   9195087     12.76     16.74
3605.53/904.20	c  N dy  7538   1912659      2327     11199    553182     71131   1543767   4554503     12.75     13.53
3640.63/912.91	c  N dy  7652   1932668      2327     11199    553182     90526   1543767   6827159     12.78     14.80
3682.90/923.53	c  N dy  7743   1952842      2327     11199    553182    110014   1543767   8839821     12.78     13.53
3717.99/932.33	c  N dy  7835   1972863      2327     11199    553182     70312   1543767   4663783     12.80     20.11
3748.71/940.05	c  N dy  7899   1992951      2327     11199    553182     89846   1543767   6860614     12.79     13.48
3786.99/949.62	c  N dy  7977   2013035      2327     11199    553183    109355   1543767   9095139     12.80     16.87
3824.89/959.14	c  N dy  8060   2033519      2327     11199    553183     69081   1543767   4252524     12.80     13.52
3858.78/967.63	c  N dy  8117   2055052      2327     11199    553183     89998   1543767   6221891     12.79     13.53
3901.06/978.28	c  N dy  8211   2076113      2327     11199    553183    110358   1543767   8448762     12.80     13.52
3937.76/987.43	c  N dy  8298   2096339      2327     11199    553183     68851   1543767   4208174     12.81     13.49
3970.09/995.58	c  N dy  8366   2116576      2327     11199    553183     88444   1543767   6634592     12.80     13.53
4013.13/1006.30	c  N dy  8440   2136613      2327     11199    553183    107856   1543767   8808927     12.80     13.72
4058.99/1017.86	c  N dy  8518   2156866      2327     11199    553183     65492   1543767   3600024     12.81     13.54
4089.29/1025.47	c  N dy  8620   2177111      2327     11199    553183     85154   1543767   5933627     12.82     13.69
4128.43/1035.26	c  N dy  8710   2197164      2327     11199    553183    104589   1543767   8095716     12.83     13.51
4158.31/1042.76	c  S st  8756   2210868      2327     11199    553183    117836   1543767   9573347     12.82     11.95
4159.50/1043.07	c  S st  8756   2211370      2327     11199    553183    118338   1543767   9646584     12.82   no data
4159.90/1043.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4179.84/1048.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 140.0M T:  5.08
4179.84/1048.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4180.24/1048.24	c bin-w-bin subsume rem            0 bins  time:  0.05 s
4199.77/1053.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.91 s
4199.77/1053.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.05 s
4200.18/1053.24	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.05 s
4200.58/1053.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
4209.75/1055.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.04 s
4291.11/1076.07	c lits-rem:      4412  cl-subs:     6209  v-elim:      0  v-fix:    0  time: 20.45 s
4291.11/1076.08	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.01
4292.30/1076.36	c vivif2 --  cl tried   112129 cl shrink       96 lits rem        103 time: 0.28
4293.90/1076.75	c asymm  cl-useful: 0/166/11199 lits-rem:0 time: 0.39
4293.90/1076.77	c calculated reachability. Time: 0.00
4293.90/1076.77	c  N dy  8756   2211370      2327     11199    553183    112129   1543767   9477189     12.82   no data
4342.56/1088.96	c  N dy  8864   2232433      2327     11199    553183     69645   1543767   4370651     12.84     13.52
4373.27/1096.62	c  N dy  8942   2252797      2327     11199    553183     89382   1543767   6638707     12.84     13.59
4417.14/1107.63	c  N dy  9009   2274074      2327     11199    553183    109961   1543767   8971624     12.84     13.54
4466.98/1120.12	c  N dy  9097   2294148      2327     11199    553183     65514   1543767   3711968     12.84     14.08
4495.71/1127.37	c  N dy  9180   2314547      2327     11199    553183     85266   1543767   5745756     12.84     13.68
4530.80/1136.14	c  N dy  9257   2334645      2327     11199    553183    104739   1543767   8200763     12.84     13.61
4580.65/1148.68	c  N dy  9337   2354847      2327     11199    553183    124228   1543767  10291884     12.84     13.67
4614.56/1157.16	c  N dy  9419   2375012      2327     11199    553183     78974   1543767   5054532     12.85     13.58
4643.27/1164.34	c  N dy  9476   2395325      2327     11199    553183     98708   1543767   7195273     12.84     13.59
4684.75/1174.80	c  N dy  9559   2415355      2327     11199    553183    118085   1543767   9400177     12.84     19.39
4727.42/1185.44	c  N dy  9643   2435614      2327     11199    553183     71795   1543767   4247180     12.85     13.64
4760.52/1193.76	c  N dy  9719   2457372      2327     11199    553183     92803   1543767   6515345     12.85     13.62
4799.65/1203.57	c  N dy  9796   2477630      2327     11199    553183    112495   1543767   8860573     12.84     13.58

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366708-1305434215/watcher-3366708-1305434215 -o /tmp/evaluation-result-3366708-1305434215/solver-3366708-1305434215 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366708-1305434215.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: 3.81 4.27 5.67 7/373 26791
/proc/meminfo: memFree=22577888/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 406 0 0 0 1 0 0 0 21 0 4 0 655019274 52396032 347 33554432000 4194304 4580107 140734021491216 18446744073709551615 47288623335340 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 12792 347 299 95 0 7774 0
[pid=26791/tid=26792] ppid=26789 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 655019275 52396032 347 33554432000 4194304 4580107 140734021491216 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 655019275 52396032 347 33554432000 4194304 4580107 140734021491216 18446744073709551615 47288623335346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 655019275 52396032 347 33554432000 4194304 4580107 140734021491216 18446744073709551615 47288623335346 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0461849 s]
/proc/loadavg: 3.81 4.27 5.67 7/373 26791
/proc/meminfo: memFree=22577888/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=287512 CPUtime=0.15 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) D 26789 26791 26007 0 -1 4202496 6330 0 0 0 14 1 0 0 18 0 4 0 655019274 294412288 6108 33554432000 4194304 4580107 140734021491216 18446744073709551615 212687336481 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 71911 6218 336 95 0 66893 0
[pid=26791/tid=26792] ppid=26789 vsize=287776 CPUtime=0.03 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) D 26789 26791 26007 0 -1 4202560 1545 0 0 0 3 0 0 0 18 0 4 0 655019275 294682624 6368 33554432000 4194304 4580107 140734021491216 18446744073709551615 212687336133 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=287908 CPUtime=0.03 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 1558 0 0 0 3 0 0 0 18 0 4 0 655019275 294817792 6449 33554432000 4194304 4580107 140734021491216 18446744073709551615 212687718583 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=288176 CPUtime=0.04 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 1617 0 0 0 4 0 0 0 18 0 4 0 655019275 295092224 6620 33554432000 4194304 4580107 140734021491216 18446744073709551615 212687336481 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 287512

[startup+0.119747 s]
/proc/loadavg: 3.81 4.27 5.67 7/373 26791
/proc/meminfo: memFree=22577888/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=296920 CPUtime=0.43 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 15377 0 0 0 38 5 0 0 18 0 4 0 655019274 304046080 15155 33554432000 4194304 4580107 140734021491216 18446744073709551615 4293248 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 74230 15156 359 95 0 69212 0
[pid=26791/tid=26792] ppid=26789 vsize=296920 CPUtime=0.09 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 3670 0 0 0 9 0 0 0 18 0 4 0 655019275 304046080 15157 33554432000 4194304 4580107 140734021491216 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=296920 CPUtime=0.1 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 3684 0 0 0 9 1 0 0 18 0 4 0 655019275 304046080 15158 33554432000 4194304 4580107 140734021491216 18446744073709551615 212687336481 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=296920 CPUtime=0.1 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 3747 0 0 0 10 0 0 0 18 0 4 0 655019275 304046080 15159 33554432000 4194304 4580107 140734021491216 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 296920

[startup+0.383836 s]
/proc/loadavg: 3.81 4.27 5.67 7/373 26791
/proc/meminfo: memFree=22577888/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=302068 CPUtime=1.52 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) D 26789 26791 26007 0 -1 4202496 21466 0 0 0 146 6 0 0 18 0 4 0 655019274 309317632 21245 33554432000 4194304 4580107 140734021491216 18446744073709551615 212687336481 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 75550 21354 369 95 0 70532 0
[pid=26791/tid=26792] ppid=26789 vsize=302200 CPUtime=0.37 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) D 26789 26791 26007 0 -1 4202560 6010 0 0 0 36 1 0 0 18 0 4 0 655019275 309452800 21391 33554432000 4194304 4580107 140734021491216 18446744073709551615 212687336133 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=302200 CPUtime=0.37 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 5234 0 0 0 36 1 0 0 18 0 4 0 655019275 309452800 21466 33554432000 4194304 4580107 140734021491216 18446744073709551615 4516084 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=302464 CPUtime=0.38 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 4655 0 0 0 37 1 0 0 18 0 4 0 655019275 309723136 21526 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 302068

[startup+0.701057 s]
/proc/loadavg: 3.81 4.27 5.67 7/373 26791
/proc/meminfo: memFree=22577888/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=308136 CPUtime=2.75 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 33774 0 0 0 265 10 0 0 18 0 4 0 655019274 315531264 32235 33554432000 4194304 4580107 140734021491216 18446744073709551615 4252701 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 77034 32235 375 95 0 72016 0
[pid=26791/tid=26792] ppid=26789 vsize=308136 CPUtime=0.67 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 9266 0 0 0 65 2 0 0 18 0 4 0 655019275 315531264 32235 33554432000 4194304 4580107 140734021491216 18446744073709551615 4252752 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=308136 CPUtime=0.68 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 9567 0 0 0 66 2 0 0 18 0 4 0 655019275 315531264 32235 33554432000 4194304 4580107 140734021491216 18446744073709551615 4252822 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=308136 CPUtime=0.68 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 5559 0 0 0 67 1 0 0 18 0 4 0 655019275 315531264 32235 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 308136

[startup+1.50091 s]
/proc/loadavg: 3.81 4.27 5.67 10/377 26795
/proc/meminfo: memFree=22404388/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=313076 CPUtime=5.94 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 39163 0 0 0 583 11 0 0 19 0 4 0 655019274 320589824 35115 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 78269 35115 376 95 0 73251 0
[pid=26791/tid=26792] ppid=26789 vsize=313076 CPUtime=1.45 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 9833 0 0 0 143 2 0 0 19 0 4 0 655019275 320589824 35115 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=313076 CPUtime=1.48 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 10793 0 0 0 146 2 0 0 19 0 4 0 655019275 320589824 35115 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=313076 CPUtime=1.48 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 7198 0 0 0 147 1 0 0 20 0 4 0 655019275 320589824 35115 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 313076

[startup+3.10062 s]
/proc/loadavg: 4.15 4.33 5.68 9/377 26795
/proc/meminfo: memFree=22389136/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=314384 CPUtime=12.32 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 51607 0 0 0 1219 13 0 0 22 0 4 0 655019274 321929216 36429 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 78596 36429 377 95 0 73578 0
[pid=26791/tid=26792] ppid=26789 vsize=314384 CPUtime=3.04 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 12953 0 0 0 301 3 0 0 22 0 4 0 655019275 321929216 36429 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=314384 CPUtime=3.08 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 14312 0 0 0 305 3 0 0 22 0 4 0 655019275 321929216 36429 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=314384 CPUtime=3.09 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 10553 0 0 0 307 2 0 0 24 0 4 0 655019275 321929216 36429 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 314384

[startup+6.30104 s]
/proc/loadavg: 4.15 4.33 5.68 9/377 26795
/proc/meminfo: memFree=22317720/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=329036 CPUtime=25.08 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 71715 0 0 0 2491 17 0 0 25 0 4 0 655019274 336932864 44602 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 82259 44602 378 95 0 77241 0
[pid=26791/tid=26792] ppid=26789 vsize=329036 CPUtime=6.21 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 17479 0 0 0 617 4 0 0 25 0 4 0 655019275 336932864 44602 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=329036 CPUtime=6.28 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 18899 0 0 0 624 4 0 0 25 0 4 0 655019275 336932864 44602 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=329036 CPUtime=6.29 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 16940 0 0 0 626 3 0 0 25 0 4 0 655019275 336932864 44602 33554432000 4194304 4580107 140734021491216 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 329036

[startup+12.7009 s]
/proc/loadavg: 4.74 4.45 5.71 9/377 26795
/proc/meminfo: memFree=22258396/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=353036 CPUtime=50.6 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 89523 0 0 0 5040 20 0 0 25 0 4 0 655019274 361508864 52767 33554432000 4194304 4580107 140734021491216 18446744073709551615 4413346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 88259 52767 378 95 0 83241 0
[pid=26791/tid=26792] ppid=26789 vsize=353036 CPUtime=12.53 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 19870 0 0 0 1249 4 0 0 25 0 4 0 655019275 361508864 52767 33554432000 4194304 4580107 140734021491216 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=353036 CPUtime=12.67 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 21041 0 0 0 1263 4 0 0 25 0 4 0 655019275 361508864 52767 33554432000 4194304 4580107 140734021491216 18446744073709551615 4413276 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=353036 CPUtime=12.68 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 24167 0 0 0 1264 4 0 0 25 0 4 0 655019275 361508864 52767 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 353036

[startup+25.5005 s]
/proc/loadavg: 5.32 4.58 5.74 9/377 26795
/proc/meminfo: memFree=22022156/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=514844 CPUtime=101.64 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 131800 0 0 0 10137 27 0 0 25 0 4 0 655019274 527200256 80222 33554432000 4194304 4580107 140734021491216 18446744073709551615 4413338 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 128711 80222 378 95 0 123693 0
[pid=26791/tid=26792] ppid=26789 vsize=514844 CPUtime=25.17 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 29758 0 0 0 2512 5 0 0 25 0 4 0 655019275 527200256 80222 33554432000 4194304 4580107 140734021491216 18446744073709551615 4413328 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=514844 CPUtime=25.47 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 38459 0 0 0 2540 7 0 0 25 0 4 0 655019275 527200256 80222 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=514844 CPUtime=25.48 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 32727 0 0 0 2542 6 0 0 25 0 4 0 655019275 527200256 80222 33554432000 4194304 4580107 140734021491216 18446744073709551615 4413351 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 514844

[startup+51.1009 s]
/proc/loadavg: 6.29 4.87 5.80 9/377 26796
/proc/meminfo: memFree=21901340/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=530732 CPUtime=203.73 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 179923 0 0 0 20337 36 0 0 25 0 4 0 655019274 543469568 102859 33554432000 4194304 4580107 140734021491216 18446744073709551615 4413356 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 132683 102859 378 95 0 127665 0
[pid=26791/tid=26792] ppid=26789 vsize=530732 CPUtime=50.46 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 41826 0 0 0 5039 7 0 0 25 0 4 0 655019275 543469568 102859 33554432000 4194304 4580107 140734021491216 18446744073709551615 4401345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=530732 CPUtime=51.08 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 53717 0 0 0 5098 10 0 0 25 0 4 0 655019275 543469568 102859 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=530732 CPUtime=51.08 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 50056 0 0 0 5099 9 0 0 25 0 4 0 655019275 543469568 102859 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 530732

[startup+102.301 s]
/proc/loadavg: 7.32 5.40 5.93 9/377 26798
/proc/meminfo: memFree=21663168/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=777072 CPUtime=407.94 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 259094 0 0 0 40739 55 0 0 25 0 4 0 655019274 795721728 133334 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 194268 133334 378 95 0 189250 0
[pid=26791/tid=26792] ppid=26789 vsize=777072 CPUtime=101.06 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 62479 0 0 0 10095 11 0 0 25 0 4 0 655019275 795721728 133338 33554432000 4194304 4580107 140734021491216 18446744073709551615 4416547 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=777072 CPUtime=102.29 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 74447 0 0 0 10214 15 0 0 25 0 4 0 655019275 795721728 133338 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=777072 CPUtime=102.29 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 82578 0 0 0 10211 18 0 0 25 0 4 0 655019275 795721728 133338 33554432000 4194304 4580107 140734021491216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.94
Current children cumulated vsize (KiB) 777072

[startup+162.301 s]

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

[pid=26791] ppid=26789 vsize=1382448 CPUtime=2800.71 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 1190918 0 0 0 279754 317 0 0 25 0 4 0 655019274 1415626752 239966 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 345612 239966 378 95 0 340594 0
[pid=26791/tid=26792] ppid=26789 vsize=1382448 CPUtime=693.94 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 291661 0 0 0 69321 73 0 0 25 0 4 0 655019275 1415626752 239966 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=1382448 CPUtime=702.27 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 302015 0 0 0 70147 80 0 0 25 0 4 0 655019275 1415626752 239966 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=1382448 CPUtime=702.17 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 352374 0 0 0 70119 98 0 0 25 0 4 0 655019275 1415626752 239966 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2800.71
Current children cumulated vsize (KiB) 1382448

[startup+762.301 s]
/proc/loadavg: 4.07 4.38 5.20 5/368 26832
/proc/meminfo: memFree=21701960/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=1351328 CPUtime=3040.03 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 1261727 0 0 0 303664 339 0 0 25 0 4 0 655019274 1383759872 229754 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 337832 229754 378 95 0 332814 0
[pid=26791/tid=26792] ppid=26789 vsize=1351328 CPUtime=753.24 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 311360 0 0 0 75245 79 0 0 25 0 4 0 655019275 1383759872 229760 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=1351328 CPUtime=762.29 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 314538 0 0 0 76146 83 0 0 25 0 4 0 655019275 1383759872 229760 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=1351328 CPUtime=762.19 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 374329 0 0 0 76113 106 0 0 25 0 4 0 655019275 1383759872 229760 33554432000 4194304 4580107 140734021491216 18446744073709551615 4320971 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.03
Current children cumulated vsize (KiB) 1351328

[startup+822.3 s]
/proc/loadavg: 4.08 4.33 5.13 5/368 26834
/proc/meminfo: memFree=21604848/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=1497228 CPUtime=3279.29 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 1340615 0 0 0 327564 365 0 0 25 0 4 0 655019274 1533161472 254513 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 374307 254513 378 95 0 369289 0
[pid=26791/tid=26792] ppid=26789 vsize=1497228 CPUtime=812.53 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 327006 0 0 0 81169 84 0 0 25 0 4 0 655019275 1533161472 254513 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=1497228 CPUtime=822.28 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 336278 0 0 0 82136 92 0 0 25 0 4 0 655019275 1533161472 254513 33554432000 4194304 4580107 140734021491216 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=1497228 CPUtime=822.18 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 395950 0 0 0 82103 115 0 0 25 0 4 0 655019275 1533161472 254513 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.29
Current children cumulated vsize (KiB) 1497228

[startup+882.314 s]
/proc/loadavg: 4.09 4.28 5.06 5/368 26835
/proc/meminfo: memFree=21617444/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=1569916 CPUtime=3518.63 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 1414708 0 0 0 351473 390 0 0 25 0 4 0 655019274 1607593984 250869 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 392479 250869 378 95 0 387461 0
[pid=26791/tid=26792] ppid=26789 vsize=1569916 CPUtime=871.82 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 335636 0 0 0 87094 88 0 0 25 0 4 0 655019275 1607593984 250869 33554432000 4194304 4580107 140734021491216 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=1569916 CPUtime=882.29 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 358350 0 0 0 88130 99 0 0 25 0 4 0 655019275 1607593984 250869 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=1569916 CPUtime=882.19 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 417291 0 0 0 88097 122 0 0 25 0 4 0 655019275 1607593984 250869 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3518.63
Current children cumulated vsize (KiB) 1569916

[startup+942.3 s]
/proc/loadavg: 4.08 4.24 4.99 5/368 26837
/proc/meminfo: memFree=21585908/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=1560912 CPUtime=3757.88 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 1485155 0 0 0 375379 409 0 0 25 0 4 0 655019274 1598373888 259423 33554432000 4194304 4580107 140734021491216 18446744073709551615 4296107 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 390228 259423 378 95 0 385210 0
[pid=26791/tid=26792] ppid=26789 vsize=1560912 CPUtime=931.11 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 350437 0 0 0 93020 91 0 0 25 0 4 0 655019275 1598373888 259423 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=1560912 CPUtime=942.28 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 373587 0 0 0 94125 103 0 0 25 0 4 0 655019275 1598373888 259423 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=1560912 CPUtime=942.17 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 435328 0 0 0 94090 127 0 0 25 0 4 0 655019275 1598373888 259423 33554432000 4194304 4580107 140734021491216 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.88
Current children cumulated vsize (KiB) 1560912

[startup+1002.3 s]
/proc/loadavg: 4.08 4.21 4.93 5/368 26839
/proc/meminfo: memFree=21562172/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=1530104 CPUtime=3997.16 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 1542695 0 0 0 399289 427 0 0 25 0 4 0 655019274 1566826496 264722 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 382526 264722 378 95 0 377508 0
[pid=26791/tid=26792] ppid=26789 vsize=1530104 CPUtime=990.39 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 366013 0 0 0 98943 96 0 0 25 0 4 0 655019275 1566826496 264722 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=1530104 CPUtime=1002.27 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 386331 0 0 0 100121 106 0 0 25 0 4 0 655019275 1566826496 264722 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=1530104 CPUtime=1002.18 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 455511 0 0 0 100085 133 0 0 25 0 4 0 655019275 1566826496 264722 33554432000 4194304 4580107 140734021491216 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.16
Current children cumulated vsize (KiB) 1530104

[startup+1062.3 s]
/proc/loadavg: 4.07 4.18 4.88 5/368 26840
/proc/meminfo: memFree=21536212/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=1606316 CPUtime=4236.47 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 1596949 0 0 0 423199 448 0 0 25 0 4 0 655019274 1644867584 271542 33554432000 4194304 4580107 140734021491216 18446744073709551615 4451900 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 401579 271542 378 95 0 396561 0
[pid=26791/tid=26792] ppid=26789 vsize=1606316 CPUtime=1049.7 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 380235 0 0 0 104869 101 0 0 25 0 4 0 655019275 1644867584 271542 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=1606316 CPUtime=1062.28 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 401640 0 0 0 106115 113 0 0 25 0 4 0 655019275 1644867584 271542 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=1606316 CPUtime=1062.18 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 473226 0 0 0 106077 141 0 0 25 0 4 0 655019275 1644867584 271542 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4236.47
Current children cumulated vsize (KiB) 1606316

[startup+1122.3 s]
/proc/loadavg: 4.07 4.16 4.83 5/368 26842
/proc/meminfo: memFree=21643224/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=1339680 CPUtime=4475.76 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 1657715 0 0 0 447107 469 0 0 25 0 4 0 655019274 1371832320 244519 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 334920 244519 378 95 0 329902 0
[pid=26791/tid=26792] ppid=26789 vsize=1339680 CPUtime=1108.98 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 387472 0 0 0 110794 104 0 0 25 0 4 0 655019275 1371832320 244519 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=1339680 CPUtime=1122.28 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 415972 0 0 0 112110 118 0 0 25 0 4 0 655019275 1371832320 244519 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=1339680 CPUtime=1122.18 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 494096 0 0 0 112070 148 0 0 25 0 4 0 655019275 1371832320 244519 33554432000 4194304 4580107 140734021491216 18446744073709551615 4317499 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4475.76
Current children cumulated vsize (KiB) 1339680

[startup+1182.3 s]
/proc/loadavg: 4.02 4.13 4.77 5/368 26843
/proc/meminfo: memFree=21540236/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=1611180 CPUtime=4715.06 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 1721956 0 0 0 471016 490 0 0 25 0 4 0 655019274 1649848320 269537 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 402795 269537 378 95 0 397777 0
[pid=26791/tid=26792] ppid=26789 vsize=1611180 CPUtime=1168.29 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 403474 0 0 0 116720 109 0 0 25 0 4 0 655019275 1649848320 269537 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=1611180 CPUtime=1182.28 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 432675 0 0 0 118104 124 0 0 25 0 4 0 655019275 1649848320 269537 33554432000 4194304 4580107 140734021491216 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=1611180 CPUtime=1182.18 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 514647 0 0 0 118064 154 0 0 25 0 4 0 655019275 1649848320 269537 33554432000 4194304 4580107 140734021491216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.06
Current children cumulated vsize (KiB) 1611180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 4.10 4.14 4.76 5/368 26844
/proc/meminfo: memFree=21486284/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=1640684 CPUtime=4800.03 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 1746275 0 0 0 479505 498 0 0 25 0 4 0 655019274 1680060416 283563 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 410171 283563 378 95 0 405153 0
[pid=26791/tid=26792] ppid=26789 vsize=1640684 CPUtime=1189.33 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 408015 0 0 0 118822 111 0 0 25 0 4 0 655019275 1680060416 283567 33554432000 4194304 4580107 140734021491216 18446744073709551615 4319797 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=1640684 CPUtime=1203.6 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 441857 0 0 0 120233 127 0 0 25 0 4 0 655019275 1680060416 283567 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=1640684 CPUtime=1203.5 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 515611 0 0 0 120195 155 0 0 25 0 4 0 655019275 1680060416 283567 33554432000 4194304 4580107 140734021491216 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 1640684

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

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

[startup+1203.6 s]
/proc/loadavg: 4.10 4.14 4.76 5/368 26844
/proc/meminfo: memFree=21486284/32951124 swapFree=67111348/67111528
[pid=26791] ppid=26789 vsize=1640684 CPUtime=4800.03 cores=0,2,4,6
/proc/26791/stat : 26791 (strangenight2-m) R 26789 26791 26007 0 -1 4202496 1746275 0 0 0 479505 498 0 0 25 0 4 0 655019274 1680060416 283563 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26791/statm: 410171 283563 378 95 0 405153 0
[pid=26791/tid=26792] ppid=26789 vsize=1640684 CPUtime=1189.33 cores=0,2,4,6
/proc/26791/task/26792/stat : 26792 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 408015 0 0 0 118822 111 0 0 25 0 4 0 655019275 1680060416 283567 33554432000 4194304 4580107 140734021491216 18446744073709551615 4319797 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26791/tid=26793] ppid=26789 vsize=1640684 CPUtime=1203.6 cores=0,2,4,6
/proc/26791/task/26793/stat : 26793 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 441857 0 0 0 120233 127 0 0 25 0 4 0 655019275 1680060416 283567 33554432000 4194304 4580107 140734021491216 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26791/tid=26794] ppid=26789 vsize=1640684 CPUtime=1203.5 cores=0,2,4,6
/proc/26791/task/26794/stat : 26794 (strangenight2-m) R 26789 26791 26007 0 -1 4202560 515611 0 0 0 120195 155 0 0 25 0 4 0 655019275 1680060416 283567 33554432000 4194304 4580107 140734021491216 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 1640684

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.68
CPU time (s): 4800.13
CPU user time (s): 4795.09
CPU system time (s): 5.04423
CPU usage (%): 398.789
Max. virtual memory (cumulated for all children) (KiB): 1706096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.09
system time used= 5.04423
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1746284
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= 7505
involuntary context switches= 20285

runsolver used 4.43832 second user time and 9.82551 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-15 06:36:55
IDJOB=3366708
IDBENCH=88228
IDSOLVER=1844
FILE ID=node139/3366708-1305434215
RUNJOBID= node139-1305434215-26768
PBS_JOBID= 13324610
Free space on /tmp= 73396 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366708-1305434215/watcher-3366708-1305434215 -o /tmp/evaluation-result-3366708-1305434215/solver-3366708-1305434215 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366708-1305434215.cnf

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

MD5SUM BENCH= 71638ad618721ad48c6bd2d48b828020
RANDOM SEED=885353008

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22578176 kB
Buffers:        305020 kB
Cached:        2883152 kB
SwapCached:          0 kB
Active:        8047664 kB
Inactive:      2021136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22578176 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           21380 kB
Writeback:           0 kB
AnonPages:     6880376 kB
Mapped:          28788 kB
Slab:           202524 kB
PageTables:      38620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 76886092 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= 73396 MiB
End job on node139 at 2011-05-15 06:57:01