Trace number 3251067

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-1-mt? (TO) 4800.37 1201.76

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
MD5SUMbfa662ff57088c54e0febd091ce11e5c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.39763
Satisfiable
(Un)Satisfiability was proved
Number of variables1985
Number of clauses409171
Sum of the clauses size820237
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2409126
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3251067-1304182069.cnf'
0.00/0.00	c -- header says num vars:           1985
0.00/0.00	c -- header says num clauses:      409171
0.22/0.09	c -- clauses added:            0 learnts,       409171 normals,            0 xors
0.22/0.09	c -- vars added       1985
0.22/0.09	c Parsing time:  0.27 s
0.22/0.09	c  N st     0         0      1985        45    409126         0    820237         0   no data   no data  --
0.22/0.09	c asymm  cl-useful: 0/45/45 lits-rem:0 time: 0.00
0.22/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.24
0.22/0.31	c bin-w-bin subsume rem            0 bins  time:  0.33 s
0.22/0.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.23 s
1.23/0.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1985 time:  0.16 s
1.23/0.41	c Removed useless bin:       0  fixed:     0  props:   2.05M  time:  0.16 s
1.23/0.58	c lits-rem:       198  cl-subs:        0  v-elim:     45  v-fix:    0  time:  0.62 s
1.23/0.58	c Finding binary XORs  T:     0.03 s  found:       0
1.23/0.58	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
1.23/0.58	c calculated reachability. Time: 0.01
1.23/0.58	c Calc default polars -  time:   0.02 s pos:       0 undec:      45 neg:    1940
1.23/0.58	c =========================================================================================
1.23/0.58	c types(t): F = full restart, N = normal restart
1.23/0.58	c types(t): S = simplification begin/end, E = solution found
1.23/0.58	c restart types(rt): st = static, dy = dynamic
1.23/0.58	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.23/0.58	c  B st     0         0      1940      8673    398513         0   1219390         0   no data   no data  --
1.66/1.22	c  N dy    16      4193      1940      8673    398515      4073   1219384    370435      9.54     10.07  --
5.40/1.44	c  N dy    38      8247      1940      8673    398515      5620   1219384    364975      9.38     10.23  --
7.14/1.86	c  N dy    56     12319      1940      8673    398516      5449   1219383    292239      9.40      9.90  --
9.14/2.39	c  N dy    73     17128      1940      8673    398517     10112   1219383    580789      9.28      9.88  --
11.14/2.84	c  N dy    99     21178      1940      8673    398517      8592   1219374    486371      9.42      9.96  --
13.14/3.33	c  F st   118     25000      1940      8673    398518     12291   1219359    846731      9.50      7.04  --
13.54/3.42	c  N st   119     25250      1940      8673    398518     12537   1219359    906073      9.50   no data  --
15.94/4.01	c  N dy   124     30001      1940      8673    398518     10533   1219354    693665      9.50   no data  --
15.94/4.01	c  S st   124     30001      1940      8673    398518     10533   1219354    693665      9.50   no data  --
15.94/4.06	c  S st   124     30506      1940      8673    398518     11035   1219354    733149      9.50   no data  --
15.94/4.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
15.94/4.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.33/4.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 27.5M T:  2.43
18.73/4.77	c bin-w-bin subsume rem            0 bins  time:  0.20 s
23.93/6.08	c subs with bin:        0  lits-rem:      1308  v-fix:    0  time:  5.23 s
24.33/6.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.16 s
24.33/6.16	c Removed useless bin:       0  fixed:     0  props:   2.00M  time:  0.15 s
27.91/7.04	c lits-rem:      2961  cl-subs:     1028  v-elim:      0  v-fix:    0  time:  3.53 s
28.71/7.26	c asymm  cl-useful: 550/1430/8673 lits-rem:7082 time: 0.87
28.71/7.27	c calculated reachability. Time: 0.01
28.71/7.27	c  N dy   124     30506      1940      8673    398518     10007   1205459    699252      9.50   no data  --
31.11/7.82	c  N dy   140     34538      1940      8673    398518     13938   1205457   1098170      9.53     10.54  --
33.11/8.35	c  N dy   161     38608      1940      8673    398518     10225   1205454    577475      9.65     10.17  --
35.51/8.91	c  N dy   193     42705      1940      8673    398519     14208   1205450    905593      9.92     11.11  --
37.10/9.31	c  S st   208     45759      1940      8673    398519     17199   1205450   1198922      9.92   no data  --
37.51/9.41	c  S st   208     46262      1940      8673    398519      8971   1205450    472484      9.92   no data  --
37.51/9.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
37.51/9.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.50/9.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 25.2M T:  2.29
39.90/10.07	c bin-w-bin subsume rem            0 bins  time:  0.19 s
45.09/11.32	c subs with bin:        0  lits-rem:      5082  v-fix:    0  time:  5.02 s
45.09/11.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.16 s
45.50/11.40	c Removed useless bin:       0  fixed:     0  props:   2.00M  time:  0.16 s
55.89/14.04	c lits-rem:      2582  cl-subs:      245  v-elim:      0  v-fix:    0  time: 10.53 s
55.89/14.07	c vivif2 --  cl tried     8673 cl shrink     6550 lits rem      83294 time: 0.09
55.89/14.08	c vivif2 --  cl tried     8726 cl shrink      148 lits rem        148 time: 0.06
56.68/14.28	c asymm  cl-useful: 0/2079/8673 lits-rem:0 time: 0.77
56.68/14.29	c calculated reachability. Time: 0.01
56.68/14.29	c  N dy   208     46262      1940      8673    398519      8726   1114265    464011      9.92   no data  --
58.68/14.77	c  N dy   237     50274      1940      8673    398521     12658   1114265    787850     10.08     12.88  --
61.07/15.32	c  N dy   260     54277      1940      8673    398521     16548   1114265   1093181     10.16     10.70  --
63.47/15.95	c  N dy   279     58570      1940      8673    398521     10993   1114265    602060     10.17     10.95  --
65.46/16.49	c  N dy   299     62627      1940      8673    398521     14912   1114265    867795     10.20     11.67  --
67.87/17.09	c  N dy   324     66669      1940      8673    398521     18834   1114265   1286527     10.31     10.87  --
70.25/17.60	c  S st   336     69395      1940      8673    398522     10786   1114265    570300     10.32     10.75  --
70.25/17.66	c  S st   336     69895      1940      8673    398522     11286   1114265    625606     10.32   no data  --
70.25/17.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
70.25/17.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.06/18.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 27.5M T:  2.67
73.47/18.41	c bin-w-bin subsume rem            0 bins  time:  0.18 s
78.27/19.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.94 s
78.27/19.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.16 s
78.65/19.73	c Removed useless bin:       0  fixed:     0  props:   2.00M  time:  0.16 s
90.63/22.73	c lits-rem:       767  cl-subs:      169  v-elim:      0  v-fix:    0  time: 11.98 s
90.63/22.73	c vivif2 --  cl tried     8673 cl shrink        1 lits rem          1 time: 0.03
90.63/22.75	c vivif2 --  cl tried    11117 cl shrink       76 lits rem         76 time: 0.08
91.46/22.96	c asymm  cl-useful: 0/887/8673 lits-rem:0 time: 0.79
91.46/22.97	c calculated reachability. Time: 0.01
91.46/22.97	c  N dy   336     69895      1940      8673    398522     11117   1114231    621107     10.32   no data  --
93.83/23.53	c  N dy   354     74472      1940      8673    398522     15561   1114231   1057666     10.29     10.85  --
96.62/24.22	c  N dy   373     79244      1940      8673    398523     20207   1114231   1625840     10.29     10.87  --
99.83/25.02	c  N dy   403     84350      1940      8673    398523     13524   1114231    726827     10.38     12.37  --
101.42/25.41	c  F st   413     87500      1940      8673    398523     16619   1114231   1094775     10.36      9.27  --
103.42/25.95	c  N st   418     90797      1940      8673    398523     19851   1114231   1420713     10.36   no data  --
107.41/26.97	c  N dy   435     96589      1940      8673    398523     12816   1114231    582405     10.34     11.09  --
111.00/27.80	c  N dy   466    102907      1940      8673    398523     18977   1114231   1091993     10.34     11.09  --
111.81/28.04	c  S st   476    104843      1940      8673    398523     20865   1114231   1239597     10.34      8.04  --
112.21/28.10	c  S st   476    105347      1940      8673    398523     21367   1114231   1292150     10.34   no data  --
112.21/28.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
112.21/28.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
115.00/28.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 31.1M T:  3.11
115.40/28.98	c bin-w-bin subsume rem            0 bins  time:  0.19 s
120.99/30.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.40 s
120.99/30.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.16 s
121.39/30.42	c Removed useless bin:       0  fixed:     0  props:   2.00M  time:  0.16 s
126.20/31.69	c lits-rem:       693  cl-subs:      360  v-elim:      0  v-fix:    0  time:  5.09 s
126.61/31.70	c vivif2 --  cl tried     8673 cl shrink        0 lits rem          0 time: 0.03
126.61/31.74	c vivif2 --  cl tried    21007 cl shrink       16 lits rem         16 time: 0.15
127.38/31.95	c asymm  cl-useful: 0/773/8673 lits-rem:0 time: 0.83
127.38/31.96	c calculated reachability. Time: 0.01
127.38/31.96	c  N dy   476    105347      1940      8673    398523     21007   1114231   1270169     10.34   no data  --
131.78/33.01	c  N dy   511    112294      1940      8673    398524     14136   1114231    640900     10.37     11.08  --
136.17/34.13	c  N dy   541    120175      1940      8673    398524     21804   1114231   1166569     10.37     10.92  --
141.36/35.48	c  N dy   578    128639      1940      8673    398524     15417   1114231    695621     10.39     11.05  --
146.15/36.68	c  N dy   623    136881      1940      8673    398524     23415   1114231   1421164     10.48     11.04  --
152.97/38.39	c  N dy   676    146392      1940      8673    398525     17097   1114231    803359     10.60     11.20  --
158.94/39.89	c  N dy   712    156576      1940      8673    398527     27028   1114231   1613619     10.60     11.21  --
160.14/40.15	c  S st   721    158020      1940      8673    398528     28423   1114231   1737135     10.62   no data  --
160.54/40.23	c  S st   721    158522      1940      8673    398528     28925   1114231   1783837     10.62   no data  --
160.54/40.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
160.54/40.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
163.73/41.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 35.6M T:  3.36
164.13/41.19	c bin-w-bin subsume rem            0 bins  time:  0.19 s
169.73/42.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.21 s
169.73/42.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.16 s
169.73/42.58	c Removed useless bin:       0  fixed:     0  props:   2.00M  time:  0.15 s
181.71/45.53	c lits-rem:      1340  cl-subs:      856  v-elim:      0  v-fix:    0  time: 11.77 s
181.71/45.53	c vivif2 --  cl tried     8673 cl shrink        0 lits rem          0 time: 0.03
181.71/45.59	c vivif2 --  cl tried    28069 cl shrink      147 lits rem        213 time: 0.22
182.91/45.81	c asymm  cl-useful: 0/1384/8673 lits-rem:0 time: 0.87
182.91/45.82	c calculated reachability. Time: 0.01
182.91/45.82	c  N dy   721    158522      1940      8673    398528     28069   1114231   1748551     10.62   no data  --
189.69/47.55	c  N dy   774    168675      1940      8673    398528     21413   1114231   1079462     10.65     14.09  --
198.08/49.69	c  N dy   827    180075      1940      8673    398528     32400   1114231   1824906     10.69     11.35  --
206.47/51.76	c  N dy   885    192153      1940      8673    398529     26629   1114231   1409541     10.76     11.40  --
215.26/53.95	c  N dy   937    204733      1940      8673    398529     20413   1114231    904520     10.75     11.34  --
223.66/56.08	c  N dy  1000    217804      1940      8673    398529     33108   1114231   1904062     10.78     11.38  --
234.04/58.63	c  N dy  1070    231709      1940      8673    398530     27117   1114231   1438010     10.85     11.47  --
238.43/59.71	c  S st  1096    237784      1940      8673    398530     33018   1114231   1954408     10.85     10.97  --
238.83/59.80	c  S st  1096    238287      1940      8673    398530     33516   1114231   1999900     10.85   no data  --
238.83/59.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
238.83/59.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
242.43/60.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 37.2M T:  3.65
242.83/60.84	c bin-w-bin subsume rem            0 bins  time:  0.19 s
248.42/62.21	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  5.44 s
248.42/62.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.16 s
248.42/62.29	c Removed useless bin:       0  fixed:     0  props:   2.00M  time:  0.16 s
264.80/66.34	c lits-rem:      2438  cl-subs:     1329  v-elim:      0  v-fix:    0  time: 16.17 s
264.80/66.35	c vivif2 --  cl tried     8673 cl shrink        2 lits rem          2 time: 0.03
265.20/66.41	c vivif2 --  cl tried    32185 cl shrink       19 lits rem         21 time: 0.25
266.00/66.64	c asymm  cl-useful: 0/820/8673 lits-rem:0 time: 0.92
266.00/66.65	c calculated reachability. Time: 0.01
266.00/66.65	c  N dy  1096    238287      1940      8673    398530     32185   1114229   1960857     10.85   no data  --
278.78/69.82	c  N dy  1171    254428      1940      8673    398532     27511   1114228   1547561     10.88     11.47  --
289.56/72.50	c  N dy  1247    270679      1940      8673    398533     21993   1114228    947700     10.92     11.72  --
301.15/75.49	c  N dy  1343    288048      1940      8673    398534     38848   1114228   2177983     11.03     15.41  --
313.94/78.61	c  F st  1424    306250      1940      8673    398534     34197   1114228   1998745     11.06   no data  --
314.34/78.72	c  N st  1425    306500      1940      8673    398534     34441   1114228   2012687     11.06   no data  --
329.51/82.52	c  N dy  1489    326142      1940      8673    398534     30210   1114228   1423057     11.07     12.22  --
346.31/86.72	c  N dy  1567    347923      1940      8673    398534     27091   1114228   1202880     11.08     11.79  --
352.68/88.32	c  S st  1609    357430      1940      8673    398534     36264   1114228   1909185     11.08      9.57  --
353.08/88.40	c  S st  1609    357931      1940      8673    398534     36765   1114228   1972195     11.08   no data  --
353.08/88.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
353.08/88.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
356.68/89.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 37.0M T:  3.67
357.08/89.44	c bin-w-bin subsume rem            0 bins  time:  0.19 s
362.67/90.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.49 s
362.67/90.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.15 s
362.67/90.89	c Removed useless bin:       0  fixed:     0  props:   1.99M  time:  0.16 s
377.06/94.42	c lits-rem:      1386  cl-subs:     1588  v-elim:      0  v-fix:    0  time: 14.08 s
377.06/94.43	c vivif2 --  cl tried     8673 cl shrink        0 lits rem          0 time: 0.03
377.45/94.50	c vivif2 --  cl tried    35177 cl shrink      248 lits rem        378 time: 0.28
378.25/94.72	c asymm  cl-useful: 0/1124/8673 lits-rem:0 time: 0.87
378.25/94.73	c calculated reachability. Time: 0.01
378.25/94.73	c  N dy  1609    357931      1940      8673    398534     35177   1114228   1930429     11.08   no data  --
394.65/98.89	c  N dy  1706    378191      1940      8673    398534     29614   1114228   1404630     11.12     11.84  --
409.41/102.54	c  N dy  1777    398226      1940      8673    398534     49016   1114228   2888701     11.11     12.59  --
424.58/106.40	c  N dy  1869    418437      1940      8673    398535     42324   1114228   2145571     11.13     11.74  --
441.76/110.64	c  N dy  1950    438680      1940      8673    398536     34780   1114228   1642975     11.15     12.23  --
461.33/115.57	c  N dy  2038    459210      1940      8673    398536     54501   1114228   2911500     11.15     12.02  --
476.91/119.44	c  N dy  2115    479222      1940      8673    398537     45849   1114228   2383231     11.15     14.65  --
494.09/123.79	c  N dy  2204    499312      1940      8673    398540     36373   1114228   1713340     11.17     11.77  --
510.86/127.96	c  N dy  2279    519945      1940      8673    398541     56123   1114228   3178348     11.16     11.86  --
524.85/131.40	c  S st  2364    536897      1940      8673    398543     42602   1114228   1985205     11.19   no data  --
524.85/131.47	c  S st  2364    537397      1940      8673    398543     43100   1114228   2056771     11.19   no data  --
524.85/131.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
524.85/131.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
528.44/132.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 36.4M T:  3.62
529.24/132.50	c bin-w-bin subsume rem            0 bins  time:  0.19 s
534.84/133.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.63 s
534.84/133.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.16 s
534.84/134.00	c Removed useless bin:       0  fixed:     0  props:   1.99M  time:  0.16 s
551.61/138.17	c lits-rem:      1383  cl-subs:     2992  v-elim:      0  v-fix:    0  time: 16.65 s
551.61/138.18	c vivif2 --  cl tried     8673 cl shrink        1 lits rem          1 time: 0.03
552.01/138.26	c vivif2 --  cl tried    40108 cl shrink      276 lits rem        292 time: 0.32
553.20/138.51	c asymm  cl-useful: 0/780/8673 lits-rem:0 time: 0.99
553.20/138.52	c calculated reachability. Time: 0.01
553.20/138.52	c  N dy  2364    537397      1940      8673    398543     40108   1114227   2003958     11.19   no data  --
568.79/142.42	c  N dy  2414    557473      1940      8673    398543     59540   1114227   3505602     11.15     11.82  --
585.96/146.76	c  N dy  2530    577735      1940      8673    398543     48293   1114227   2885572     11.22     12.01  --
607.54/152.15	c  N dy  2641    597841      1940      8673    398543     36021   1114227   1746278     11.29     11.97  --
625.11/156.51	c  N dy  2722    618099      1940      8673    398543     55647   1114227   3721235     11.30     11.94  --
644.28/161.32	c  N dy  2812    638177      1940      8673    398544     42263   1114227   2346528     11.33     11.93  --
662.68/165.99	c  N dy  2905    658352      1940      8673    398544     61840   1114227   4408932     11.34     11.94  --
681.04/170.51	c  N dy  2983    678475      1940      8673    398544     47494   1114227   2663871     11.34     12.17  --
700.60/175.40	c  N dy  3092    698681      1940      8673    398545     67014   1114227   4404997     11.39     12.07  --
715.78/179.27	c  N dy  3145    718768      1940      8673    398546     51681   1114227   3017545     11.38     13.36  --
735.36/184.15	c  N dy  3220    739025      1940      8673    398546     71335   1114227   4869951     11.37     12.00  --
749.74/187.77	c  N dy  3275    759445      1940      8673    398546     55193   1114227   3086732     11.35     12.05  --
769.31/192.62	c  N dy  3364    779495      1940      8673    398548     37774   1114227   1702917     11.37     12.49  --
788.09/197.31	c  N dy  3469    799555      1940      8673    398549     57237   1114227   3787906     11.41     16.21  --
796.08/199.35	c  S st  3505    806096      1940      8673    398549     63561   1114227   4355833     11.42   no data  --
796.88/199.52	c  S st  3505    806600      1940      8673    398549     64063   1114227   4415567     11.42   no data  --
796.88/199.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
796.88/199.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
804.46/201.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 64.0M T:  7.48
805.26/201.62	c bin-w-bin subsume rem            0 bins  time:  0.19 s
812.08/203.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.74 s
812.08/203.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.16 s
812.08/203.39	c Removed useless bin:       0  fixed:     0  props:   1.99M  time:  0.16 s
907.53/227.21	c lits-rem:      1633  cl-subs:     3265  v-elim:      0  v-fix:    0  time: 95.01 s
907.53/227.22	c vivif2 --  cl tried     8673 cl shrink        2 lits rem          2 time: 0.03
907.93/227.35	c vivif2 --  cl tried    60798 cl shrink     1029 lits rem       1029 time: 0.54
909.12/227.63	c asymm  cl-useful: 0/1214/8673 lits-rem:0 time: 1.09
909.12/227.64	c calculated reachability. Time: 0.01
909.12/227.64	c  N dy  3505    806600      1940      8673    398549     60798   1114225   4325884     11.42   no data  --
934.70/234.10	c  N dy  3596    826609      1940      8673    398554     42390   1114225   2058548     11.45     26.86  --
952.69/238.59	c  N dy  3690    846627      1940      8673    398554     61754   1114225   3541825     11.47     12.08  --
975.43/244.26	c  N dy  3771    866825      1940      8673    398554     42461   1114225   1888232     11.47     12.30  --
995.01/249.16	c  N dy  3867    886914      1940      8673    398554     61831   1114225   3630651     11.50     21.49  --
1020.17/255.43	c  N dy  3957    907268      1940      8673    398555     41873   1114225   1938159     11.52     12.33  --
1038.95/260.19	c  N dy  4051    927372      1940      8673    398556     61218   1114225   3726895     11.54     12.25  --
1068.11/267.41	c  N dy  4139    947487      1940      8673    398557     80499   1114225   5099129     11.56     12.39  --
1087.28/272.22	c  N dy  4225    967626      1940      8673    398557     59562   1114225   3418664     11.57     12.30  --
1110.46/278.07	c  N dy  4324    987696      1940      8673    398557     78992   1114225   5605941     11.60     13.16  --
1131.22/283.22	c  N dy  4432   1007815      1940      8673    398559     57028   1114225   3329896     11.63     12.29  --
1156.79/289.60	c  N dy  4544   1028467      1940      8673    398559     77044   1114225   5047886     11.66     12.36  --
1176.78/294.62	c  N dy  4593   1049316      1940      8673    398559     54721   1114225   2832356     11.64     12.69  --
1197.93/299.96	c  N dy  4680   1069407      1940      8673    398561     74080   1114225   4329046     11.64     17.63  --
1200.72/300.60	c  F st  4691   1071876      1940      8673    398561     76463   1114225   4597982     11.64   no data  --
1223.09/306.22	c  N dy  4749   1089437      1940      8673    398562     49910   1114225   2530947     11.65     12.38  --
1246.27/312.01	c  N dy  4834   1109484      1940      8673    398563     69367   1114225   4295044     11.66     12.28  --
1273.83/318.90	c  N dy  4946   1129524      1940      8673    398563     88736   1114225   6015554     11.68     12.46  --
1293.00/323.77	c  N dy  5012   1149557      1940      8673    398563     63539   1114225   3255168     11.68     12.32  --
1316.57/329.61	c  N dy  5100   1169622      1940      8673    398563     83052   1114225   5095485     11.70     12.40  --
1339.73/335.43	c  N dy  5185   1190019      1940      8673    398564     57347   1114225   3156600     11.72     12.34  --
1362.91/341.25	c  S st  5274   1209900      1940      8673    398564     76630   1114225   4666916     11.73   no data  --
1363.71/341.42	c  S st  5274   1210400      1940      8673    398564     77130   1114225   4722327     11.73   no data  --
1363.71/341.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1363.71/341.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1373.30/343.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 66.0M T:  9.54
1374.10/344.02	c bin-w-bin subsume rem            0 bins  time:  0.18 s
1379.28/345.39	c subs with bin:       14  lits-rem:         0  v-fix:    0  time:  5.48 s
1379.68/345.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.16 s
1379.68/345.47	c Removed useless bin:       0  fixed:     0  props:   1.99M  time:  0.16 s
1501.12/375.85	c lits-rem:      1469  cl-subs:     4948  v-elim:      0  v-fix:    0  time: 121.21 s
1501.12/375.86	c vivif2 --  cl tried     8673 cl shrink        5 lits rem          5 time: 0.03
1501.93/376.04	c vivif2 --  cl tried    72168 cl shrink     2457 lits rem       2966 time: 0.72
1503.11/376.36	c asymm  cl-useful: 0/482/8673 lits-rem:0 time: 1.27
1503.11/376.37	c calculated reachability. Time: 0.01
1503.11/376.37	c  N dy  5274   1210400      1940      8673    398564     72168   1114220   4611894     11.73   no data  --
1530.68/383.28	c  N dy  5350   1230458      1940      8673    398564     91599   1114220   6224226     11.73     15.37  --
1553.45/388.91	c  N dy  5444   1250886      1940      8673    398564     65037   1114220   3977808     11.75     12.53  --
1587.00/397.32	c  N dy  5565   1273078      1940      8673    398564     86623   1114220   6148561     11.80     12.75  --
1612.16/403.69	c  N dy  5649   1293116      1940      8673    398565     58560   1114220   3421772     11.81     12.58  --
1636.93/409.87	c  N dy  5721   1313141      1940      8673    398565     77942   1114220   5031905     11.81     12.47  --
1667.69/417.52	c  N dy  5814   1333142      1940      8673    398566     48836   1114220   2280848     11.83     26.87  --
1686.86/422.37	c  N dy  5899   1353233      1940      8673    398566     68340   1114220   3825450     11.84     12.48  --
1709.24/427.95	c  N dy  5980   1373290      1940      8673    398567     87712   1114220   5370784     11.84     20.69  --
1734.42/434.27	c  N dy  6075   1394192      1940      8673    398567     58490   1114220   2960369     11.85     12.51  --
1756.38/439.79	c  N dy  6163   1414876      1940      8673    398567     78513   1114220   4809732     11.87     12.57  --
1784.73/446.83	c  N dy  6261   1435395      1940      8673    398567     98419   1114220   6534094     11.88     12.54  --
1807.50/452.59	c  N dy  6366   1455530      1940      8673    398567     67499   1114220   3954376     11.91     12.59  --
1835.48/459.53	c  N dy  6459   1475749      1940      8673    398569     87049   1114220   5778457     11.93     12.66  --
1868.22/467.79	c  N dy  6555   1496459      1940      8673    398569     55781   1114220   2735074     11.94     12.89  --
1890.18/473.25	c  N dy  6651   1516485      1940      8673    398569     75183   1114220   4393553     11.96     16.67  --
1918.55/480.39	c  N dy  6744   1536628      1940      8673    398569     94712   1114220   6222876     11.98     12.62  --
1948.91/487.96	c  N dy  6818   1556738      1940      8673    398570     61935   1114220   3362438     11.99     12.74  --
1974.07/494.23	c  N dy  6910   1576835      1940      8673    398570     81419   1114220   5015705     12.00     12.95  --
2009.63/503.19	c  N dy  7058   1596954      1940      8673    398571    100974   1114220   7104321     12.05     12.79  --
2035.99/509.78	c  N dy  7164   1617001      1940      8673    398573     67017   1114220   3796411     12.09     16.76  --
2063.15/516.54	c  N dy  7246   1638202      1940      8673    398574     87679   1114220   6045228     12.09     12.77  --
2098.30/525.34	c  N dy  7326   1658346      1940      8673    398575    107123   1114220   7758875     12.10     12.77  --
2120.28/530.83	c  N dy  7385   1678439      1940      8673    398575     72259   1114220   3877950     12.10     12.74  --
2143.06/536.57	c  N dy  7456   1698518      1940      8673    398576     91574   1114220   5470646     12.10     24.74  --
2159.82/540.73	c  S st  7508   1710400      1940      8673    398576    103017   1114220   6373313     12.10     10.73  --
2160.63/540.93	c  S st  7508   1710901      1940      8673    398576    103516   1114220   6436829     12.10   no data  --
2160.63/540.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2160.63/540.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2171.00/543.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 79.3M T: 10.37
2172.20/543.80	c bin-w-bin subsume rem            0 bins  time:  0.18 s
2178.99/545.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.88 s
2178.99/545.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.16 s
2179.39/545.60	c Removed useless bin:       0  fixed:     0  props:   1.99M  time:  0.15 s
2410.68/603.57	c lits-rem:      1856  cl-subs:     8768  v-elim:      0  v-fix:    0  time: 231.34 s
2410.68/603.57	c vivif2 --  cl tried     8673 cl shrink        5 lits rem          5 time: 0.03
2411.87/603.81	c vivif2 --  cl tried    94748 cl shrink     2878 lits rem       3051 time: 0.95
2413.07/604.12	c asymm  cl-useful: 0/466/8673 lits-rem:0 time: 1.23
2413.07/604.13	c calculated reachability. Time: 0.01
2413.07/604.13	c  N dy  7508   1710901      1940      8673    398577     94747   1114215   6238693     12.10   no data  --
2444.63/612.09	c  N dy  7596   1730939      1940      8673    398579     59096   1114215   2959830     12.11     12.92  --
2467.39/617.78	c  N dy  7691   1750951      1940      8673    398580     78439   1114215   4638820     12.12     19.64  --
2498.55/625.60	c  N dy  7816   1770989      1940      8673    398580     97844   1114215   6494774     12.16     18.16  --
2533.71/634.38	c  N dy  7916   1793979      1940      8673    398580     64077   1114215   3311344     12.17     13.26  --
2558.07/640.47	c  N dy  8014   1814010      1940      8673    398580     83371   1114215   4909461     12.18     12.85  --
2587.26/647.72	c  N dy  8111   1834102      1940      8673    398580    102740   1114215   6619248     12.20     18.54  --
2616.39/655.06	c  N dy  8210   1854214      1940      8673    398580     65357   1114215   3650113     12.21     12.89  --
2641.96/661.44	c  N dy  8300   1874225      1940      8673    398580     84701   1114215   5269693     12.22     26.55  --
2671.92/668.99	c  N dy  8383   1894247      1940      8673    398580    104095   1114215   7012648     12.24     14.34  --
2701.88/676.49	c  N dy  8442   1914304      1940      8673    398581     65520   1114215   3605829     12.23     13.43  --
2730.64/683.60	c  N dy  8543   1934589      1940      8673    398581     85269   1114215   5798209     12.26     12.97  --
2772.57/694.13	c  N dy  8644   1955118      1940      8673    398583    105239   1114215   8116703     12.28     14.34  --
2814.13/704.55	c  N dy  8754   1975428      1940      8673    398583     65823   1114215   3464651     12.30     12.99  --
2839.69/710.90	c  N dy  8850   1995497      1940      8673    398583     85303   1114215   5351753     12.31     13.00  --
2878.04/720.56	c  N dy  8958   2015727      1940      8673    398583    104824   1114215   7281586     12.34     13.06  --
2918.78/730.71	c  N dy  9044   2035768      1940      8673    398583     64169   1114215   3402372     12.35     13.09  --
2948.74/738.26	c  N dy  9146   2056327      1940      8673    398583     84113   1114215   5366694     12.36     13.09  --
2984.69/747.23	c  N dy  9236   2076365      1940      8673    398584    103520   1114215   7001960     12.37     15.56  --
3025.44/757.49	c  N dy  9327   2096441      1940      8673    398584     61898   1114215   3101454     12.38     13.12  --
3052.62/764.29	c  N dy  9461   2116452      1940      8673    398584     81315   1114215   5134246     12.42     25.34  --
3085.76/772.56	c  N dy  9540   2136527      1940      8673    398584    100706   1114215   6731517     12.42     18.57  --
3125.70/782.50	c  N dy  9645   2156572      1940      8673    398584    120118   1114215   8609272     12.44     18.26  --
3157.26/790.44	c  N dy  9753   2176762      1940      8673    398584     77688   1114215   4567977     12.46     13.20  --
3189.59/798.59	c  N dy  9843   2197057      1940      8673    398585     97372   1114215   6516690     12.48     13.14  --
3217.16/805.41	c  S st  9892   2210901      1940      8673    398585    110817   1114215   7718817     12.48      9.21  --
3218.36/805.70	c  S st  9892   2211403      1940      8673    398585    111316   1114215   7762091     12.48   no data  --
3218.36/805.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
3218.36/805.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3232.75/809.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 98.5M T: 14.60
3233.93/809.67	c bin-w-bin subsume rem            1 bins  time:  0.19 s
3240.32/811.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.24 s
3240.32/811.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.16 s
3240.72/811.32	c Removed useless bin:       0  fixed:     0  props:   1.99M  time:  0.16 s
3565.09/892.56	c lits-rem:      3536  cl-subs:     5745  v-elim:      0  v-fix:    0  time: 323.91 s
3565.09/892.57	c vivif2 --  cl tried     8673 cl shrink        2 lits rem          2 time: 0.03
3565.89/892.79	c vivif2 --  cl tried   105571 cl shrink      778 lits rem        874 time: 0.89
3567.48/893.11	c asymm  cl-useful: 0/658/8673 lits-rem:0 time: 1.27
3567.48/893.12	c calculated reachability. Time: 0.01
3567.48/893.12	c  N dy  9892   2211403      1940      8673    398584    105571   1114213   7604518     12.48   no data  --
3607.42/903.13	c  N dy  9950   2231952      1940      8673    398590    125402   1114213   9288683     12.47     13.15  --
3633.79/909.77	c  N dy 10043   2252525      1940      8673    398590     82505   1114213   5121333     12.49     13.20  --
3667.36/918.20	c  N dy 10146   2272534      1940      8673    398590    101862   1114213   7305929     12.50     21.75  --
3711.29/929.16	c  N dy 10247   2292687      1940      8673    398590    121413   1114213   9312581     12.52     13.23  --
3744.84/937.52	c  N dy 10368   2312691      1940      8673    398590     76831   1114213   4489293     12.56     18.66  --
3776.00/945.39	c  N dy 10468   2332936      1940      8673    398591     96455   1114213   6519786     12.58     13.34  --
3819.15/956.14	c  N dy 10564   2352960      1940      8673    398591    115900   1114213   8715547     12.59     17.18  --
3862.69/967.05	c  N dy 10646   2373029      1940      8673    398592     70454   1114213   4037279     12.61     17.37  --
3893.84/974.85	c  N dy 10717   2393031      1940      8673    398593     89791   1114213   5749289     12.61     19.12  --
3932.18/984.42	c  N dy 10801   2413200      1940      8673    398593    109432   1114213   7898401     12.62     13.32  --
3986.11/997.95	c  N dy 10913   2433623      1940      8673    398593    129247   1114213  10131822     12.64     13.56  --
4022.06/1006.97	c  N dy 10998   2454480      1940      8673    398593     83548   1114213   4922927     12.65     13.38  --
4054.43/1015.10	c  N dy 11059   2474580      1940      8673    398593    102955   1114213   6708454     12.65     18.76  --
4101.16/1026.77	c  N dy 11180   2494802      1940      8673    398593    122512   1114213   8619781     12.68     13.44  --
4142.73/1037.11	c  N dy 11267   2514881      1940      8673    398593     75108   1114213   4281208     12.69     14.86  --
4178.26/1046.09	c  N dy 11349   2535619      1940      8673    398593     95205   1114213   6317844     12.70     13.88  --
4220.21/1056.54	c  N dy 11446   2555780      1940      8673    398593    114625   1114213   7978277     12.71     13.40  --
4266.55/1068.17	c  N dy 11522   2576268      1940      8673    398593    134488   1114213  10076459     12.72     14.28  --
4297.31/1075.82	c  N dy 11607   2596327      1940      8673    398593     86052   1114213   5402877     12.73     13.54  --
4336.46/1085.63	c  N dy 11704   2616353      1940      8673    398594    105465   1114213   7675115     12.75     13.44  --
4393.60/1099.94	c  N dy 11823   2637662      1940      8673    398594    126128   1114213  10064765     12.76     13.66  --
4446.73/1113.20	c  N dy 11909   2657850      1940      8673    398594     76854   1114213   4350831     12.77     13.45  --
4481.89/1122.07	c  N dy 11993   2678055      1940      8673    398594     96337   1114213   6323773     12.77     13.49  --
4525.06/1132.85	c  N dy 12077   2698121      1940      8673    398594    115697   1114213   8268920     12.78     19.97  --
4560.59/1141.79	c  S st 12138   2711403      1940      8673    398594    128613   1114213   9783727     12.78   no data  --
4562.19/1142.18	c  S st 12138   2711903      1940      8673    398594    129111   1114213   9845075     12.78   no data  --
4562.59/1142.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4562.59/1142.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4581.78/1147.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 121.6M T: 19.22
4582.96/1147.38	c bin-w-bin subsume rem            0 bins  time:  0.19 s
4592.55/1149.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  9.33 s
4592.55/1149.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1940 time:  0.16 s
4592.95/1149.80	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.16 s

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-3251067-1304182069/watcher-3251067-1304182069 -o /tmp/evaluation-result-3251067-1304182069/solver-3251067-1304182069 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3251067-1304182069.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.08 8.08 8.01 5/180 1354
/proc/meminfo: memFree=22704036/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 608437571 52465664 352 33554432000 4194304 4650419 140734439374768 18446744073709551615 47143163627442 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 12809 352 303 112 0 7774 0
[pid=1354/tid=1355] ppid=1352 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 608437571 52465664 352 33554432000 4194304 4650419 140734439374768 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 608437571 52465664 352 33554432000 4194304 4650419 140734439374768 18446744073709551615 216746976310 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 608437571 52465664 352 33554432000 4194304 4650419 140734439374768 18446744073709551615 47143163627442 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0626431 s]
/proc/loadavg: 8.08 8.08 8.01 5/180 1354
/proc/meminfo: memFree=22704036/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=354808 CPUtime=0.22 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 8285 0 0 0 19 3 0 0 18 0 4 0 608437571 363323392 8189 33554432000 4194304 4650419 140734439374768 18446744073709551615 216734839841 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 88801 8610 343 112 0 83766 0
[pid=1354/tid=1355] ppid=1352 vsize=355736 CPUtime=0.05 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) D 1352 1354 510 0 -1 4202560 2112 0 0 0 5 0 0 0 18 0 4 0 608437571 364273664 8912 33554432000 4194304 4650419 140734439374768 18446744073709551615 216734839841 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=356000 CPUtime=0.06 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 2172 0 0 0 5 1 0 0 18 0 4 0 608437571 364544000 9175 33554432000 4194304 4650419 140734439374768 18446744073709551615 216735221943 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=356528 CPUtime=0.07 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 2402 0 0 0 6 1 0 0 18 0 4 0 608437571 365084672 9477 33554432000 4194304 4650419 140734439374768 18446744073709551615 4545773 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 354808

[startup+0.12695 s]
/proc/loadavg: 8.08 8.08 8.01 5/180 1354
/proc/meminfo: memFree=22704036/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=357228 CPUtime=1.23 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) D 1352 1354 510 0 -1 4202496 14356 0 0 0 117 6 0 0 18 0 4 0 608437571 365801472 14248 33554432000 4194304 4650419 140734439374768 18446744073709551615 216735221943 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 89307 14320 383 112 0 84272 0
[pid=1354/tid=1355] ppid=1352 vsize=357228 CPUtime=0.3 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) D 1352 1354 510 0 -1 4202560 3496 0 0 0 29 1 0 0 18 0 4 0 608437571 365801472 14342 33554432000 4194304 4650419 140734439374768 18446744073709551615 216734839841 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=357228 CPUtime=0.3 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 3678 0 0 0 29 1 0 0 18 0 4 0 608437571 365801472 14390 33554432000 4194304 4650419 140734439374768 18446744073709551615 216734834695 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=357228 CPUtime=0.31 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 3078 0 0 0 30 1 0 0 18 0 4 0 608437571 365801472 14414 33554432000 4194304 4650419 140734439374768 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 357228

[startup+0.404086 s]
/proc/loadavg: 8.08 8.08 8.01 5/180 1354
/proc/meminfo: memFree=22704036/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=366836 CPUtime=1.66 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 18842 0 0 0 159 7 0 0 18 0 4 0 608437571 375640064 18734 33554432000 4194304 4650419 140734439374768 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 89657 18761 389 112 0 84622 0
[pid=1354/tid=1355] ppid=1352 vsize=358628 CPUtime=0.43 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 5272 0 0 0 41 2 0 0 18 0 4 0 608437571 367235072 19432 33554432000 4194304 4650419 140734439374768 18446744073709551615 216735221943 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=358628 CPUtime=0.46 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 5994 0 0 0 44 2 0 0 18 0 4 0 608437571 367235072 21489 33554432000 4194304 4650419 140734439374768 18446744073709551615 216734839841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=358760 CPUtime=0.58 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 3804 0 0 0 57 1 0 0 18 0 4 0 608437571 367370240 23340 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 366836

[startup+1.2634 s]
/proc/loadavg: 8.08 8.08 8.01 5/180 1354
/proc/meminfo: memFree=22704036/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=365320 CPUtime=5 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 28736 0 0 0 490 10 0 0 19 0 4 0 608437571 374087680 25604 33554432000 4194304 4650419 140734439374768 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 91330 25604 392 112 0 86295 0
[pid=1354/tid=1355] ppid=1352 vsize=365320 CPUtime=1.24 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 7749 0 0 0 122 2 0 0 19 0 4 0 608437571 374087680 25604 33554432000 4194304 4650419 140734439374768 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=365320 CPUtime=1.24 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 7207 0 0 0 122 2 0 0 19 0 4 0 608437571 374087680 25604 33554432000 4194304 4650419 140734439374768 18446744073709551615 4328924 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=365320 CPUtime=1.25 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 5147 0 0 0 124 1 0 0 19 0 4 0 608437571 374087680 25604 33554432000 4194304 4650419 140734439374768 18446744073709551615 4313443 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 365320

[startup+1.50037 s]
/proc/loadavg: 8.08 8.08 8.01 5/180 1354
/proc/meminfo: memFree=22704036/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=368308 CPUtime=5.95 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 30401 0 0 0 584 11 0 0 19 0 4 0 608437571 377147392 25499 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 92077 25500 392 112 0 87042 0
[pid=1354/tid=1355] ppid=1352 vsize=368308 CPUtime=1.47 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 7898 0 0 0 145 2 0 0 19 0 4 0 608437571 377147392 25500 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=368308 CPUtime=1.47 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 7915 0 0 0 145 2 0 0 19 0 4 0 608437571 377147392 25500 33554432000 4194304 4650419 140734439374768 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=368308 CPUtime=1.48 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 5782 0 0 0 147 1 0 0 20 0 4 0 608437571 377147392 25500 33554432000 4194304 4650419 140734439374768 18446744073709551615 4328474 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 368308

[startup+3.10609 s]
/proc/loadavg: 8.07 8.08 8.01 9/184 1358
/proc/meminfo: memFree=22586700/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=347716 CPUtime=12.36 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 39653 0 0 0 1223 13 0 0 23 0 4 0 608437571 356061184 28688 33554432000 4194304 4650419 140734439374768 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 86929 28688 393 112 0 81894 0
[pid=1354/tid=1355] ppid=1352 vsize=347716 CPUtime=3.07 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 10404 0 0 0 304 3 0 0 23 0 4 0 608437571 356061184 28688 33554432000 4194304 4650419 140734439374768 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=347716 CPUtime=3.08 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 9383 0 0 0 305 3 0 0 23 0 4 0 608437571 356061184 28689 33554432000 4194304 4650419 140734439374768 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=347716 CPUtime=3.09 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 8408 0 0 0 307 2 0 0 25 0 4 0 608437571 356061184 28689 33554432000 4194304 4650419 140734439374768 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 347716

[startup+6.30053 s]
/proc/loadavg: 8.07 8.08 8.01 9/184 1359
/proc/meminfo: memFree=22539228/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=382516 CPUtime=25.13 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 59635 0 0 0 2497 16 0 0 25 0 4 0 608437571 391696384 45373 33554432000 4194304 4650419 140734439374768 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 95629 45373 394 112 0 90594 0
[pid=1354/tid=1355] ppid=1352 vsize=382516 CPUtime=6.25 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 15489 0 0 0 621 4 0 0 25 0 4 0 608437571 391696384 45373 33554432000 4194304 4650419 140734439374768 18446744073709551615 4436464 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=382516 CPUtime=6.28 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 14031 0 0 0 624 4 0 0 25 0 4 0 608437571 391696384 45373 33554432000 4194304 4650419 140734439374768 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=382516 CPUtime=6.29 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 13712 0 0 0 626 3 0 0 25 0 4 0 608437571 391696384 45373 33554432000 4194304 4650419 140734439374768 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 382516

[startup+12.7004 s]
/proc/loadavg: 8.07 8.08 8.01 9/184 1359
/proc/meminfo: memFree=22538088/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=399352 CPUtime=50.68 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 78283 0 0 0 5049 19 0 0 25 0 4 0 608437571 408936448 50709 33554432000 4194304 4650419 140734439374768 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 99838 50709 394 112 0 94803 0
[pid=1354/tid=1355] ppid=1352 vsize=399352 CPUtime=12.62 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 19742 0 0 0 1257 5 0 0 25 0 4 0 608437571 408936448 50709 33554432000 4194304 4650419 140734439374768 18446744073709551615 4363720 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=399352 CPUtime=12.68 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 18264 0 0 0 1263 5 0 0 25 0 4 0 608437571 408936448 50709 33554432000 4194304 4650419 140734439374768 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=399352 CPUtime=12.68 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 19794 0 0 0 1265 3 0 0 25 0 4 0 608437571 408936448 50709 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 399352

[startup+25.5012 s]
/proc/loadavg: 8.12 8.09 8.01 9/184 1359
/proc/meminfo: memFree=22420280/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=452896 CPUtime=101.82 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 113720 0 0 0 10155 27 0 0 25 0 4 0 608437571 463765504 66080 33554432000 4194304 4650419 140734439374768 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 113224 66080 394 112 0 108189 0
[pid=1354/tid=1355] ppid=1352 vsize=452896 CPUtime=25.34 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 30921 0 0 0 2527 7 0 0 25 0 4 0 608437571 463765504 66080 33554432000 4194304 4650419 140734439374768 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=452896 CPUtime=25.47 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 26255 0 0 0 2541 6 0 0 25 0 4 0 608437571 463765504 66080 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=452896 CPUtime=25.48 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 28275 0 0 0 2543 5 0 0 25 0 4 0 608437571 463765504 66080 33554432000 4194304 4650419 140734439374768 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 452896

[startup+51.1007 s]
/proc/loadavg: 8.14 8.10 8.01 9/184 1360
/proc/meminfo: memFree=22317824/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=603992 CPUtime=204.08 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 173018 0 0 0 20367 41 0 0 25 0 4 0 608437571 618487808 86518 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 150998 86519 394 112 0 145963 0
[pid=1354/tid=1355] ppid=1352 vsize=603992 CPUtime=50.81 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 40660 0 0 0 5072 9 0 0 25 0 4 0 608437571 618487808 86519 33554432000 4194304 4650419 140734439374768 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=603992 CPUtime=51.07 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 39160 0 0 0 5098 9 0 0 25 0 4 0 608437571 618487808 86519 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=603992 CPUtime=51.09 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 47558 0 0 0 5099 10 0 0 25 0 4 0 608437571 618487808 86519 33554432000 4194304 4650419 140734439374768 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 603992

[startup+102.301 s]
/proc/loadavg: 8.05 8.08 8.01 9/184 1361
/proc/meminfo: memFree=22144632/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=704580 CPUtime=408.61 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 278599 0 0 0 40792 69 0 0 25 0 4 0 608437571 721489920 109835 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 176145 109835 394 112 0 171110 0
[pid=1354/tid=1355] ppid=1352 vsize=704580 CPUtime=101.73 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 61349 0 0 0 10158 15 0 0 25 0 4 0 608437571 721489920 109835 33554432000 4194304 4650419 140734439374768 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=704580 CPUtime=102.27 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 69868 0 0 0 10209 18 0 0 25 0 4 0 608437571 721489920 109835 33554432000 4194304 4650419 140734439374768 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=704580 CPUtime=102.28 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 78166 0 0 0 10210 18 0 0 25 0 4 0 608437571 721489920 109835 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 704580

[startup+162.3 s]

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

[pid=1354] ppid=1352 vsize=1215528 CPUtime=2565.66 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 1136272 0 0 0 256238 328 0 0 25 0 4 0 608437571 1244700672 204556 33554432000 4194304 4650419 140734439374768 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 303882 204556 394 112 0 298847 0
[pid=1354/tid=1355] ppid=1352 vsize=1215528 CPUtime=638.79 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 262229 0 0 0 63800 79 0 0 25 0 4 0 608437571 1244700672 204556 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=1215528 CPUtime=642.28 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 279994 0 0 0 64144 84 0 0 25 0 4 0 608437571 1244700672 204556 33554432000 4194304 4650419 140734439374768 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=1215528 CPUtime=642.29 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 266217 0 0 0 64148 81 0 0 25 0 4 0 608437571 1244700672 204556 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.66
Current children cumulated vsize (KiB) 1215528

[startup+702.3 s]
/proc/loadavg: 8.04 8.06 8.01 9/184 1377
/proc/meminfo: memFree=21252280/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=1395408 CPUtime=2805.34 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 1212013 0 0 0 280177 357 0 0 25 0 4 0 608437571 1428897792 239087 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 348852 239087 394 112 0 343817 0
[pid=1354/tid=1355] ppid=1352 vsize=1395408 CPUtime=698.46 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 282081 0 0 0 69760 86 0 0 25 0 4 0 608437571 1428897792 239087 33554432000 4194304 4650419 140734439374768 18446744073709551615 4304267 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=1395408 CPUtime=702.28 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 301002 0 0 0 70136 92 0 0 25 0 4 0 608437571 1428897792 239087 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=1395408 CPUtime=702.29 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 286519 0 0 0 70141 88 0 0 25 0 4 0 608437571 1428897792 239087 33554432000 4194304 4650419 140734439374768 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 1395408

[startup+762.301 s]
/proc/loadavg: 8.01 8.05 8.00 9/184 1379
/proc/meminfo: memFree=21083620/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=1330640 CPUtime=3045.01 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 1277058 0 0 0 304120 381 0 0 25 0 4 0 608437571 1362575360 257215 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 332660 257215 394 112 0 327625 0
[pid=1354/tid=1355] ppid=1352 vsize=1330640 CPUtime=758.13 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 301734 0 0 0 75721 92 0 0 25 0 4 0 608437571 1362575360 257215 33554432000 4194304 4650419 140734439374768 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=1330640 CPUtime=762.28 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 322838 0 0 0 76127 101 0 0 25 0 4 0 608437571 1362575360 257215 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=1330640 CPUtime=762.29 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 286797 0 0 0 76141 88 0 0 25 0 4 0 608437571 1362575360 257215 33554432000 4194304 4650419 140734439374768 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 1330640

[startup+822.3 s]
/proc/loadavg: 8.06 8.05 8.00 9/184 1389
/proc/meminfo: memFree=21012348/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=1461812 CPUtime=3284.67 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 1329501 0 0 0 328067 400 0 0 25 0 4 0 608437571 1496895488 261497 33554432000 4194304 4650419 140734439374768 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 365453 261497 394 112 0 360418 0
[pid=1354/tid=1355] ppid=1352 vsize=1461812 CPUtime=817.81 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 318068 0 0 0 81682 99 0 0 25 0 4 0 608437571 1496895488 261497 33554432000 4194304 4650419 140734439374768 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=1461812 CPUtime=822.29 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 336912 0 0 0 82123 106 0 0 25 0 4 0 608437571 1496895488 261497 33554432000 4194304 4650419 140734439374768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=1461812 CPUtime=822.29 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 293624 0 0 0 82138 91 0 0 25 0 4 0 608437571 1496895488 261497 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 1461812

[startup+882.301 s]
/proc/loadavg: 8.15 8.07 8.01 9/184 1391
/proc/meminfo: memFree=20868612/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=1419436 CPUtime=3524.35 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 1581002 0 0 0 351982 453 0 0 25 0 4 0 608437571 1453502464 268241 33554432000 4194304 4650419 140734439374768 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 354859 268241 394 112 0 349824 0
[pid=1354/tid=1355] ppid=1352 vsize=1419436 CPUtime=877.48 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 333022 0 0 0 87640 108 0 0 25 0 4 0 608437571 1453502464 268241 33554432000 4194304 4650419 140734439374768 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=1419436 CPUtime=882.28 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 550217 0 0 0 88088 140 0 0 25 0 4 0 608437571 1453502464 268241 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=1419436 CPUtime=882.29 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 304816 0 0 0 88131 98 0 0 25 0 4 0 608437571 1453502464 268241 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 1419436

[startup+942.3 s]
/proc/loadavg: 8.18 8.09 8.01 9/184 1393
/proc/meminfo: memFree=20902072/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=1419924 CPUtime=3764.01 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 1647604 0 0 0 375922 479 0 0 25 0 4 0 608437571 1454002176 270602 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 354981 270602 394 112 0 349946 0
[pid=1354/tid=1355] ppid=1352 vsize=1419924 CPUtime=937.15 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 353749 0 0 0 93599 116 0 0 25 0 4 0 608437571 1454002176 270602 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=1419924 CPUtime=942.29 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 569203 0 0 0 94082 147 0 0 25 0 4 0 608437571 1454002176 270602 33554432000 4194304 4650419 140734439374768 18446744073709551615 4331050 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=1419924 CPUtime=942.3 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 314366 0 0 0 94126 104 0 0 25 0 4 0 608437571 1454002176 270602 33554432000 4194304 4650419 140734439374768 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 1419924

[startup+1002.3 s]
/proc/loadavg: 8.17 8.10 8.02 9/184 1394
/proc/meminfo: memFree=21000884/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=1513300 CPUtime=4003.7 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 1715445 0 0 0 399868 502 0 0 25 0 4 0 608437571 1549619200 274165 33554432000 4194304 4650419 140734439374768 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 378325 274165 394 112 0 373290 0
[pid=1354/tid=1355] ppid=1352 vsize=1513300 CPUtime=996.83 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 367592 0 0 0 99561 122 0 0 25 0 4 0 608437571 1549619200 274165 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=1513300 CPUtime=1002.29 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 594233 0 0 0 100078 151 0 0 25 0 4 0 608437571 1549619200 274165 33554432000 4194304 4650419 140734439374768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=1513300 CPUtime=1002.3 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 327833 0 0 0 100120 110 0 0 25 0 4 0 608437571 1549619200 274165 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 1513300

[startup+1062.3 s]
/proc/loadavg: 5.99 7.53 7.83 5/175 1414
/proc/meminfo: memFree=22310156/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=1433760 CPUtime=4243.38 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 2035103 0 0 0 423774 564 0 0 25 0 4 0 608437571 1468170240 270951 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 358440 270951 394 112 0 353405 0
[pid=1354/tid=1355] ppid=1352 vsize=1433760 CPUtime=1056.52 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 386805 0 0 0 105519 133 0 0 25 0 4 0 608437571 1468170240 270952 33554432000 4194304 4650419 140734439374768 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=1433760 CPUtime=1062.29 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 885259 0 0 0 106035 194 0 0 25 0 4 0 608437571 1468170240 270952 33554432000 4194304 4650419 140734439374768 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=1433760 CPUtime=1062.31 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 329471 0 0 0 106120 111 0 0 25 0 4 0 608437571 1468170240 270952 33554432000 4194304 4650419 140734439374768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.38
Current children cumulated vsize (KiB) 1433760

[startup+1122.3 s]
/proc/loadavg: 4.77 6.90 7.59 5/175 1415
/proc/meminfo: memFree=22316224/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=1303276 CPUtime=4483.09 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 2067937 0 0 0 447725 584 0 0 25 0 4 0 608437571 1334554624 269301 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 325819 269301 394 112 0 320784 0
[pid=1354/tid=1355] ppid=1352 vsize=1303276 CPUtime=1116.22 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 390983 0 0 0 111486 136 0 0 25 0 4 0 608437571 1334554624 269301 33554432000 4194304 4650419 140734439374768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=1303276 CPUtime=1122.28 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 894280 0 0 0 112028 200 0 0 25 0 4 0 608437571 1334554624 269301 33554432000 4194304 4650419 140734439374768 18446744073709551615 4366253 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=1303276 CPUtime=1122.3 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 329471 0 0 0 112119 111 0 0 25 0 4 0 608437571 1334554624 269301 33554432000 4194304 4650419 140734439374768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.09
Current children cumulated vsize (KiB) 1303276

[startup+1182.31 s]
/proc/loadavg: 4.31 6.38 7.37 5/175 1417
/proc/meminfo: memFree=22228796/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=1565960 CPUtime=4722.8 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 2113757 0 0 0 471677 603 0 0 25 0 4 0 608437571 1603543040 291307 33554432000 4194304 4650419 140734439374768 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 391490 291307 394 112 0 386455 0
[pid=1354/tid=1355] ppid=1352 vsize=1565960 CPUtime=1175.92 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 403342 0 0 0 117448 144 0 0 25 0 4 0 608437571 1603543040 291307 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=1565960 CPUtime=1182.3 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 896294 0 0 0 118028 202 0 0 25 0 4 0 608437571 1603543040 291307 33554432000 4194304 4650419 140734439374768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=1565960 CPUtime=1182.31 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 340735 0 0 0 118115 116 0 0 25 0 4 0 608437571 1603543040 291307 33554432000 4194304 4650419 140734439374768 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 1565960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.29 6.25 7.30 5/175 1417
/proc/meminfo: memFree=22237332/32951124 swapFree=67102140/67111528
[pid=1354] ppid=1352 vsize=1500812 CPUtime=4800.28 cores=1,3,5,7
/proc/1354/stat : 1354 (strangenight1-m) R 1352 1354 510 0 -1 4202496 2131594 0 0 0 479419 609 0 0 25 0 4 0 608437571 1536831488 289169 33554432000 4194304 4650419 140734439374768 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1354/statm: 375203 289169 394 112 0 370168 0
[pid=1354/tid=1355] ppid=1352 vsize=1500812 CPUtime=1195.22 cores=1,3,5,7
/proc/1354/task/1355/stat : 1355 (strangenight1-m) R 1352 1354 510 0 -1 4202560 406028 0 0 0 119375 147 0 0 25 0 4 0 608437571 1536831488 289169 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1354/tid=1356] ppid=1352 vsize=1500812 CPUtime=1201.7 cores=1,3,5,7
/proc/1354/task/1356/stat : 1356 (strangenight1-m) R 1352 1354 510 0 -1 4202560 896294 0 0 0 119968 202 0 0 25 0 4 0 608437571 1536831488 289169 33554432000 4194304 4650419 140734439374768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1354/tid=1357] ppid=1352 vsize=1500812 CPUtime=1201.71 cores=1,3,5,7
/proc/1354/task/1357/stat : 1357 (strangenight1-m) R 1352 1354 510 0 -1 4202560 347636 0 0 0 120052 119 0 0 25 0 4 0 608437571 1536831488 289169 33554432000 4194304 4650419 140734439374768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 1500812

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.76
CPU time (s): 4800.37
CPU user time (s): 4794.23
CPU system time (s): 6.14606
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 1644380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.23
system time used= 6.14607
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2131595
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= 6501
involuntary context switches= 32213

runsolver used 1.83272 second user time and 4.65529 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-30 18:47:49
IDJOB=3251067
IDBENCH=88209
IDSOLVER=1588
FILE ID=node119/3251067-1304182069
RUNJOBID= node119-1304180865-1177
PBS_JOBID= 13172435
Free space on /tmp= 73000 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251067-1304182069/watcher-3251067-1304182069 -o /tmp/evaluation-result-3251067-1304182069/solver-3251067-1304182069 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3251067-1304182069.cnf

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

MD5SUM BENCH= bfa662ff57088c54e0febd091ce11e5c
RANDOM SEED=1574645973

node119.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.815
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.63
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.815
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.815
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.815
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.83
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.815
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.67
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.815
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22704440 kB
Buffers:       1954640 kB
Cached:        6980424 kB
SwapCached:       3688 kB
Active:        1178584 kB
Inactive:      8492500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22704440 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           11280 kB
Writeback:           0 kB
AnonPages:      734972 kB
Mapped:          15380 kB
Slab:           512060 kB
PageTables:       6232 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1058300 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= 73008 MiB
End job on node119 at 2011-04-30 19:07:53