Trace number 3394760

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)UNSAT 1670.02 210.191

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
MD5SUM9edcffddbe07377cf6685697aafad673
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark622.811
Satisfiable
(Un)Satisfiability was proved
Number of variables8756
Number of clauses55571
Sum of the clauses size187746
Maximum clause length70
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 212786
Number of clauses of size 325852
Number of clauses of size 40
Number of clauses of size 516904
Number of clauses of size over 51

Solver Data 

0.00/0.00	c Outputting solution to console
0.14/0.03	c Using 8 threads
0.14/0.03	c This is CryptoMiniSat 3.0.0
0.14/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.14/0.03	c Reading file 'HOME/instance-3394760-1306105103.cnf'
0.14/0.03	c -- header says num vars:           8756
0.14/0.03	c -- header says num clauses:       55571
0.14/0.09	c -- clauses added:            0 learnts,        55571 normals,            0 xors
0.14/0.09	c -- vars added       8756
0.14/0.09	c Parsing time:  0.03 s
0.14/0.09	c  N st     0         0      8756     42719     12794         0    187620         0   no data   no data
6.17/0.83	c asymm  cl-useful: 22/8916/42701 lits-rem:29 time: 0.74
8.69/1.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.1M T:  0.32
8.69/1.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.69/1.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.69/1.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
9.33/1.21	c Subs w/ non-existent bins:      8 l-rem:      4 v-fix:     0 done:   8714 time:  0.02 s
9.33/1.22	c Removed useless bin:       0  fixed:     0  props:   2.44M  time:  0.02 s
9.33/1.29	c lits-rem:       108  cl-subs:      229  v-elim:    111  v-fix:    0  time:  0.06 s
10.09/1.30	c Finding binary XORs  T:     0.01 s  found:       0
10.09/1.32	c Finding non-binary XORs:     0.02 s (found:      53, avg size: 3.0)
10.09/1.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.09/1.33	c calculated reachability. Time: 0.00
10.09/1.33	c Calc default polars -  time:   0.00 s pos:    4239 undec:     158 neg:    4359
10.09/1.33	c =========================================================================================
10.09/1.33	c types(t): F = full restart, N = normal restart
10.09/1.33	c types(t): S = simplification begin/end, E = solution found
10.09/1.33	c restart types(rt): st = static, dy = dynamic
10.09/1.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
10.09/1.33	c  B st     0         0      8603     42243     12684         0    186454         0   no data   no data
15.69/2.02	c  N dy    19      4694      8597     42243     12766      4546    186454     61063      6.33      6.71
20.47/2.61	c  N dy    44      8789      8590     42243     12960      5063    186454     38195      6.53      7.06
24.46/3.16	c  N dy    66     12832      8578     42243     13529      8921    186454     98796      6.58      7.15
29.24/3.76	c  N dy    91     16852      8572     42243     13574      7239    186454     47803      6.71      9.57
31.64/4.07	c Finding binary XORs  T:     0.01 s  found:     109
31.64/4.08	c Replacing      128 vars Replaced     3838 lits Time:     0.01 s 
34.17/4.39	c  N dy   126     20881      8425     42061     13771     10570    185460    139399      7.05     11.71
38.82/4.99	c  N dy   154     24922      8420     42061     14143      7756    185460     44053      7.18      7.59
39.62/5.00	c  F st   155     25000      8420     42061     14145      7832    185460     45014      7.18   no data
39.62/5.01	c Replacing        5 vars Replaced       74 lits Time:     0.00 s 
45.19/5.75	c  N dy   161     30001      8412     42035     14162     12711    185305    236090      7.18   no data
45.19/5.75	c  S st   161     30001      8412     42035     14162     12711    185305    236090      7.18   no data
45.99/5.87	c  S st   161     30505      8411     42035     14187     13186    185305    244619      7.18   no data
45.99/5.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.80/6.51	c Flit:     9 Blit:      1 bXBeca:    0 bXProp:   62 Bins:  31875 BRemL:  13812 BRemN:     12 P: 14.4M T:  0.63
51.74/6.53	c Replacing       62 vars Replaced     4387 lits Time:     0.01 s 
51.74/6.54	c blocked clauses removed:       40 vars:      4 tried:        8261 T: 0.00 s
51.74/6.54	c bin-w-bin subsume rem          332 bins  time:  0.00 s
51.74/6.55	c subs with bin:      459  lits-rem:       399  v-fix:    0  time:  0.01 s
51.74/6.58	c Subs w/ non-existent bins:     54 l-rem:     67 v-fix:     0 done:   8335 time:  0.02 s
51.74/6.58	c Removed useless bin:      44  fixed:     0  props:   0.55M  time:  0.01 s
52.54/6.63	c lits-rem:         2  cl-subs:      883  v-elim:     85  v-fix:    0  time:  0.05 s
52.54/6.66	c subs with bin:      374  lits-rem:       945  v-fix:    0  time:  0.02 s
52.54/6.70	c lits-rem:       230  cl-subs:      196  v-elim:      0  v-fix:    0  time:  0.03 s
52.54/6.70	c Added XOR as norm:26
58.78/7.42	c asymm  cl-useful: 41/7800/40826 lits-rem:49 time: 0.72
58.78/7.43	c calculated reachability. Time: 0.00
58.78/7.43	c  N dy   161     30505      8250     40824     23654     10616    180483    144087      7.18   no data
58.78/7.43	c Finding binary XORs  T:     0.01 s  found:       3
63.56/8.05	c  N dy   185     34579      8234     40824     24390     14582    180471    229406      7.13      7.51
68.36/8.68	c  N dy   209     38613      8229     40824     32405     11964    180471    150229      7.11      8.35
70.74/8.93	c Finding binary XORs  T:     0.01 s  found:     169
70.74/8.93	c Replacing      172 vars Replaced     7671 lits Time:     0.01 s 
73.93/9.35	c  N dy   237     42712      8057     40715     31159     15803    179975    245489      7.18      7.66
76.34/9.60	c Finding binary XORs  T:     0.01 s  found:      50
78.07/9.92	c  S st   263     45757      8054     40693     43241     18784    179884    358336      7.29   no data
79.50/10.09	c  S st   263     46259      8054     40693     43263     10839    179884    105581      7.29   no data
80.30/10.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.10/10.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:  11800 BRemL:  20292 BRemN:     14 P: 13.4M T:  0.68
85.10/10.78	c Replacing       58 vars Replaced     2060 lits Time:     0.01 s 
85.10/10.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.90/10.80	c bin-w-bin subsume rem         1991 bins  time:  0.01 s
85.90/10.81	c subs with bin:      213  lits-rem:       230  v-fix:    0  time:  0.01 s
85.90/10.83	c Subs w/ non-existent bins:     29 l-rem:     34 v-fix:     0 done:   7996 time:  0.02 s
85.90/10.84	c Removed useless bin:      21  fixed:     0  props:   0.65M  time:  0.01 s
85.90/10.89	c lits-rem:        19  cl-subs:     1117  v-elim:     57  v-fix:    0  time:  0.05 s
85.90/10.90	c subs with bin:      225  lits-rem:       128  v-fix:    0  time:  0.01 s
85.90/10.91	c lits-rem:        39  cl-subs:      115  v-elim:      0  v-fix:    0  time:  0.01 s
86.84/10.93	c vivif2 --  cl tried    39483 cl shrink       98 lits rem        117 time: 0.02
86.84/10.94	c vivif2 --  cl tried    10193 cl shrink       97 lits rem        110 time: 0.00
93.08/11.70	c asymm  cl-useful: 0/9289/39478 lits-rem:0 time: 0.77
93.08/11.71	c calculated reachability. Time: 0.00
93.08/11.71	c  N dy   263     46259      7939     39478     25699     10188    174689     67554      7.29   no data
93.08/11.72	c Finding binary XORs  T:     0.01 s  found:       4
97.86/12.37	c  N dy   297     50342      7937     39478     34314     14213    174689    186888      7.38      7.84
98.66/12.41	c Finding binary XORs  T:     0.01 s  found:     122
98.66/12.42	c Replacing      126 vars Replaced     5868 lits Time:     0.01 s 
103.47/13.07	c  N dy   328     54605      7806     39445     33992     18225    174502    299199      7.46      7.93
109.85/13.80	c  N dy   362     58742      7804     39445     34620     12457    174502     96477      7.57      8.10
115.42/14.51	c  N dy   389     62790      7804     39445     35951     16448    174502    219591      7.59     10.25
121.03/15.28	c  N dy   419     66931      7804     39445     35961     20549    174502    327439      7.65      8.20
125.01/15.74	c  S st   430     69388      7804     39445     46099     22977    174502    416003      7.65      7.20
125.01/15.78	c Finding binary XORs  T:     0.01 s  found:      94
125.01/15.80	c Replacing       94 vars Replaced     7088 lits Time:     0.01 s 
125.80/15.89	c  S st   430     69891      7706     39392     45804     23328    174279    426044      7.65   no data
125.80/15.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
132.18/16.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:   5918 BRemL:  14416 BRemN:     12 P: 15.4M T:  0.73
132.18/16.63	c Replacing        3 vars Replaced      246 lits Time:     0.01 s 
132.18/16.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
132.18/16.65	c bin-w-bin subsume rem         1351 bins  time:  0.01 s
132.18/16.66	c subs with bin:      138  lits-rem:       100  v-fix:    0  time:  0.01 s
132.18/16.68	c Subs w/ non-existent bins:     11 l-rem:     18 v-fix:     0 done:   7703 time:  0.02 s
132.18/16.69	c Removed useless bin:      14  fixed:     0  props:   0.70M  time:  0.01 s
132.98/16.73	c lits-rem:        14  cl-subs:     1092  v-elim:     31  v-fix:    0  time:  0.05 s
133.78/16.80	c subs with bin:      260  lits-rem:      2440  v-fix:    0  time:  0.06 s
133.78/16.85	c lits-rem:       544  cl-subs:      380  v-elim:      0  v-fix:    0  time:  0.04 s
133.78/16.87	c vivif2 --  cl tried    38212 cl shrink       50 lits rem         56 time: 0.02
133.78/16.90	c vivif2 --  cl tried    20109 cl shrink     2657 lits rem      10527 time: 0.02
140.33/17.67	c asymm  cl-useful: 29/7351/38210 lits-rem:87 time: 0.77
140.33/17.67	c calculated reachability. Time: 0.00
140.33/17.67	c  N dy   430     69891      7672     38181     31665     20107    169278    259890      7.65   no data
140.33/17.68	c Finding binary XORs  T:     0.01 s  found:       6
145.76/18.35	c Finding binary XORs  T:     0.01 s  found:     115
145.76/18.36	c Replacing      121 vars Replaced     5073 lits Time:     0.01 s 
146.56/18.49	c  N dy   463     74478      7549     38173     36077     15886    169214    154740      7.70      8.15
152.94/19.26	c  N dy   504     79307      7549     38173     36095     20663    169214    291578      7.79     11.05
160.12/20.16	c  N dy   539     84414      7549     38173     36890     25710    169214    444776      7.86     10.68
164.92/20.76	c  F st   566     87500      7549     38173     37014     16823    169214    150489      7.90   no data
168.91/21.24	c  N st   571     90799      7548     38172     36997     20105    169191    285508      7.90   no data
177.68/22.39	c  N dy   598     96667      7548     38172     37122     25869    169191    543050      7.92      8.92
181.68/22.87	c Finding binary XORs  T:     0.01 s  found:     134
181.68/22.89	c Replacing      134 vars Replaced    12785 lits Time:     0.02 s 
187.26/23.56	c  N dy   643    103019      7411     38155     51887     18661    169101    188510      7.98      8.44
189.66/23.84	c  S st   648    104836      7411     38155     51901     20436    169101    223685      7.96      6.13
190.46/23.96	c  S st   648    105338      7411     38155     52016     20924    169101    233858      7.96   no data
190.46/23.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
196.84/24.73	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:   28 Bins:   7784 BRemL:  17290 BRemN:      9 P: 14.8M T:  0.76
196.84/24.74	c Replacing       28 vars Replaced     2006 lits Time:     0.01 s 
196.84/24.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
196.84/24.75	c bin-w-bin subsume rem         1121 bins  time:  0.01 s
196.84/24.77	c subs with bin:      125  lits-rem:       109  v-fix:    0  time:  0.01 s
196.84/24.79	c Subs w/ non-existent bins:     10 l-rem:     17 v-fix:     0 done:   7379 time:  0.02 s
196.84/24.79	c Removed useless bin:      15  fixed:     0  props:   0.68M  time:  0.01 s
197.64/24.84	c lits-rem:        16  cl-subs:     1357  v-elim:     35  v-fix:    0  time:  0.05 s
197.64/24.87	c subs with bin:      316  lits-rem:       441  v-fix:    0  time:  0.02 s
198.44/24.90	c lits-rem:       365  cl-subs:      498  v-elim:      0  v-fix:    0  time:  0.03 s
198.44/24.92	c vivif2 --  cl tried    36740 cl shrink       63 lits rem         70 time: 0.02
198.44/24.93	c vivif2 --  cl tried    19564 cl shrink     1166 lits rem       3727 time: 0.01
200.98/25.31	c asymm  cl-useful: 7/3383/36739 lits-rem:21 time: 0.38
201.78/25.32	c calculated reachability. Time: 0.00
201.78/25.32	c  N dy   648    105338      7344     36732     35431     19564    162984    178146      7.96   no data
201.78/25.33	c Finding binary XORs  T:     0.01 s  found:       5
210.56/26.42	c  N dy   692    112140      7343     36732     35640     26280    162984    368914      7.99      8.53
222.38/27.93	c  N dy   742    120013      7343     36732     37554     19917    162984    173753      8.04      8.56
225.57/28.36	c Finding binary XORs  T:     0.01 s  found:      73
225.57/28.37	c Replacing       78 vars Replaced     4317 lits Time:     0.01 s 
234.36/29.43	c  N dy   787    127710      7264     36730     41760     27427    162962    456565      8.06      8.63
239.94/30.14	c Finding binary XORs  T:     0.01 s  found:      88
239.94/30.16	c Replacing       88 vars Replaced     7210 lits Time:     0.02 s 
247.12/31.09	c  N dy   854    136188      7174     36705     40956     20573    162863    156496      8.15      8.65
259.90/32.61	c  N dy   908    144911      7174     36705     41218     29216    162863    422123      8.18      8.65
275.06/34.58	c  N dy   978    154285      7174     36705     41313     22280    162862    176072      8.25      8.80
279.99/35.14	c  S st   988    158009      7172     36705     41413     25939    162862    259183      8.23      7.65
280.80/35.28	c  S st   988    158510      7172     36705     41418     26435    162862    273659      8.23   no data
280.80/35.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
287.05/36.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  130 Bins:  17207 BRemL:  15538 BRemN:     27 P: 15.7M T:  0.80
287.85/36.10	c Replacing      130 vars Replaced     9070 lits Time:     0.02 s 
287.85/36.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
287.85/36.12	c bin-w-bin subsume rem          859 bins  time:  0.01 s
287.85/36.13	c subs with bin:      193  lits-rem:       151  v-fix:    0  time:  0.01 s
287.85/36.15	c Subs w/ non-existent bins:     15 l-rem:     36 v-fix:     0 done:   7042 time:  0.02 s
287.85/36.16	c Removed useless bin:      12  fixed:     0  props:   0.65M  time:  0.01 s
287.85/36.20	c lits-rem:        15  cl-subs:     1434  v-elim:     28  v-fix:    0  time:  0.05 s
288.79/36.24	c subs with bin:      662  lits-rem:      1647  v-fix:    0  time:  0.03 s
288.79/36.28	c lits-rem:       676  cl-subs:      508  v-elim:      0  v-fix:    0  time:  0.03 s
288.79/36.29	c vivif2 --  cl tried    35130 cl shrink       66 lits rem         74 time: 0.02
288.79/36.31	c vivif2 --  cl tried    24114 cl shrink     1277 lits rem       2913 time: 0.02
295.02/37.09	c asymm  cl-useful: 166/5151/35130 lits-rem:216 time: 0.78
295.02/37.09	c calculated reachability. Time: 0.00
295.02/37.09	c  N dy   988    158510      7014     35125     37984     24109    155990    212364      8.23   no data
295.82/37.10	c Finding binary XORs  T:     0.01 s  found:      12
300.60/37.72	c Finding binary XORs  T:     0.01 s  found:      47
310.98/39.06	c  N dy  1042    168676      7009     35103     46732     33703    155885    534761      8.23     10.18
326.94/41.03	c  N dy  1092    179482      7009     35103     46791     28089    155883    311459      8.24     10.20
329.34/41.30	c Finding binary XORs  T:     0.01 s  found:      57
329.34/41.32	c Replacing      116 vars Replaced     9955 lits Time:     0.01 s 
346.11/43.41	c  N dy  1142    190992      6893     35098     46584     39383    155852    658767      8.23      9.05
352.48/44.25	c Finding binary XORs  T:     0.01 s  found:      32
369.23/46.39	c  N dy  1195    204179      6891     35093     59298     34160    155826    570795      8.22      8.67
370.04/46.41	c Finding binary XORs  T:     0.01 s  found:      34
396.39/49.79	c  N dy  1271    217228      6890     35086     59522     27585    155789    279473      8.26      8.86
427.52/53.66	c  N dy  1345    231267      6885     35086     67831     41402    155789    787446      8.29      8.76
427.52/53.68	c Finding binary XORs  T:     0.01 s  found:      75
428.31/53.71	c Replacing      141 vars Replaced    15952 lits Time:     0.03 s 
443.47/55.65	c  S st  1401    237765      6743     35056     69410     27131    155577    265504      8.35      7.61
445.07/55.80	c  S st  1401    238269      6742     35056     69415     27629    155577    282065      8.35   no data
445.07/55.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
451.44/56.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   33 Bins:   5228 BRemL:  24223 BRemN:      9 P: 15.8M T:  0.85
451.44/56.68	c Replacing       33 vars Replaced     1953 lits Time:     0.01 s 
451.44/56.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
451.44/56.69	c bin-w-bin subsume rem         2468 bins  time:  0.01 s
452.24/56.71	c subs with bin:      152  lits-rem:       122  v-fix:    0  time:  0.01 s
452.24/56.73	c Subs w/ non-existent bins:     20 l-rem:     18 v-fix:     0 done:   6709 time:  0.02 s
452.24/56.73	c Removed useless bin:       8  fixed:     0  props:   0.66M  time:  0.01 s
452.24/56.78	c lits-rem:         7  cl-subs:     1427  v-elim:     38  v-fix:    0  time:  0.05 s
453.04/56.82	c subs with bin:      327  lits-rem:       668  v-fix:    0  time:  0.03 s
453.04/56.85	c lits-rem:       295  cl-subs:      476  v-elim:      0  v-fix:    0  time:  0.02 s
453.04/56.86	c vivif2 --  cl tried    33540 cl shrink       48 lits rem         50 time: 0.02
453.04/56.88	c vivif2 --  cl tried    26244 cl shrink      470 lits rem       1571 time: 0.02
459.42/57.64	c asymm  cl-useful: 181/4750/33538 lits-rem:202 time: 0.76
459.42/57.64	c calculated reachability. Time: 0.00
459.42/57.64	c  N dy  1401    238269      6671     33534     42376     26242    148843    206416      8.35   no data
459.42/57.65	c Finding binary XORs  T:     0.01 s  found:       5
489.76/61.49	c Finding binary XORs  T:     0.01 s  found:      33
490.70/61.52	c  N dy  1479    253479      6669     33524     43067     39158    148793    779280      8.36     11.56
525.83/66.00	c  N dy  1588    269742      6668     33524     43226     35543    148793    560789      8.44      8.91
538.44/67.52	c Finding binary XORs  T:     0.01 s  found:     106
538.44/67.55	c Replacing      144 vars Replaced    13699 lits Time:     0.03 s 
567.18/71.17	c  N dy  1710    287043      6521     33514     45899     30343    148744    280248      8.53     10.77
594.33/74.52	c Finding binary XORs  T:     0.01 s  found:     106
594.33/74.54	c Replacing      106 vars Replaced    12793 lits Time:     0.03 s 
609.48/76.42	c  N dy  1843    305658      6411     33494     48127     48294    148626   1071204      8.63      9.09
610.28/76.60	c  F st  1849    306250      6411     33494     48128     48880    148626   1093968      8.64   no data
654.99/82.10	c  N dy  1957    325219      6406     33491     47653     44237    148607    825747      8.71      9.96
702.87/88.18	c  N dy  2095    345295      6405     33491     47775     39510    148607    567496      8.81      9.97
727.77/91.25	c Finding binary XORs  T:     0.01 s  found:      97
727.77/91.28	c Replacing       97 vars Replaced    14007 lits Time:     0.04 s 
733.21/91.98	c  S st  2196    357403      6307     33460     44584     51251    148425   1039295      8.88   no data
735.61/92.21	c  S st  2196    357903      6307     33460     44589     51746    148425   1059108      8.88   no data
735.61/92.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
742.78/93.15	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    3 Bins:   3890 BRemL:   8934 BRemN:      6 P: 18.6M T:  0.93
742.78/93.17	c Replacing        3 vars Replaced      330 lits Time:     0.02 s 
742.78/93.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
742.78/93.18	c bin-w-bin subsume rem         2642 bins  time:  0.01 s
742.78/93.19	c subs with bin:       54  lits-rem:        35  v-fix:    0  time:  0.01 s
743.59/93.21	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:   6303 time:  0.02 s
743.59/93.22	c Removed useless bin:       1  fixed:     0  props:   0.60M  time:  0.01 s
743.59/93.27	c lits-rem:         8  cl-subs:     1561  v-elim:     23  v-fix:    0  time:  0.05 s
745.33/93.44	c subs with bin:      601  lits-rem:      3127  v-fix:    0  time:  0.15 s
746.13/93.57	c lits-rem:      1328  cl-subs:      783  v-elim:      0  v-fix:    0  time:  0.12 s
746.13/93.58	c vivif2 --  cl tried    31888 cl shrink       26 lits rem         32 time: 0.02
746.77/93.63	c vivif2 --  cl tried    38894 cl shrink     4309 lits rem      14403 time: 0.05
749.96/94.04	c asymm  cl-useful: 43/1771/31888 lits-rem:43 time: 0.42
749.96/94.05	c calculated reachability. Time: 0.00
749.96/94.05	c  N dy  2196    357903      6280     31888     35530     38892    141270    452249      8.88   no data
754.10/94.56	c Finding binary XORs  T:     0.01 s  found:       9
787.49/98.78	c Finding binary XORs  T:     0.01 s  found:      49
794.65/99.69	c  N dy  2284    379153      6280     31888     36664     44190    141270    803851      8.88      9.37
841.89/105.58	c  N dy  2416    399495      6276     31888     39092     37589    141270    497877      8.93      9.41
842.69/105.68	c Finding binary XORs  T:     0.01 s  found:      77
843.33/105.71	c Replacing      135 vars Replaced    15481 lits Time:     0.02 s 
888.83/111.42	c  N dy  2531    419601      6139     31875     37388     57224    141148   1330108      8.98      9.49
900.01/112.89	c Finding binary XORs  T:     0.01 s  found:      83
900.81/112.90	c Replacing       83 vars Replaced     6540 lits Time:     0.01 s 
926.36/116.18	c Finding binary XORs  T:     0.01 s  found:      40
935.93/117.30	c  N dy  2700    439827      6055     31866     40656     49209    141072    948596      9.08      9.78
983.81/123.31	c  N dy  2866    459927      6055     31866     40830     39992    141072    529630      9.16     12.71
1032.51/129.42	c  N dy  3034    480001      6055     31866     40917     59994    141072   1397895      9.26      9.76
1055.66/132.32	c Finding binary XORs  T:     0.01 s  found:      54
1055.66/132.34	c Replacing       94 vars Replaced    12011 lits Time:     0.02 s 
1077.21/135.01	c  N dy  3125    500157      5961     31866     40703     49698    141072    936120      9.27      9.81
1122.85/140.79	c  N dy  3215    520656      5960     31866     40792     39226    141072    459499      9.28      9.79
1158.76/145.22	c  S st  3307    536855      5960     31866     40872     55348    141072   1107008      9.30   no data
1160.20/145.43	c  S st  3307    537358      5960     31866     40878     55843    141072   1124787      9.30   no data
1160.20/145.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1166.74/146.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   38 Bins:   5115 BRemL:   9919 BRemN:     13 P: 18.1M T:  0.79
1166.74/146.26	c Replacing       38 vars Replaced     5178 lits Time:     0.03 s 
1166.74/146.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1166.74/146.28	c bin-w-bin subsume rem         2724 bins  time:  0.00 s
1166.74/146.29	c subs with bin:       63  lits-rem:        60  v-fix:    0  time:  0.01 s
1166.74/146.30	c Subs w/ non-existent bins:      6 l-rem:      6 v-fix:     0 done:   5921 time:  0.01 s
1166.74/146.31	c Removed useless bin:       5  fixed:     0  props:   0.50M  time:  0.00 s
1167.55/146.35	c lits-rem:         2  cl-subs:     1691  v-elim:     22  v-fix:    0  time:  0.05 s
1168.98/146.57	c subs with bin:      616  lits-rem:      3350  v-fix:    0  time:  0.20 s
1170.58/146.76	c lits-rem:      1427  cl-subs:     1003  v-elim:      0  v-fix:    0  time:  0.18 s
1170.58/146.77	c vivif2 --  cl tried    30129 cl shrink       28 lits rem         31 time: 0.01
1171.38/146.83	c vivif2 --  cl tried    44858 cl shrink     6441 lits rem      25016 time: 0.06
1174.57/147.22	c asymm  cl-useful: 85/2021/30129 lits-rem:98 time: 0.39
1174.57/147.23	c calculated reachability. Time: 0.00
1174.57/147.23	c  N dy  3307    537358      5899     30124     31363     44858    133339    570012      9.30   no data
1174.57/147.24	c Finding binary XORs  T:     0.01 s  found:      22
1200.92/150.50	c Finding binary XORs  T:     0.01 s  found:      14
1217.67/152.62	c  N dy  3391    557453      5897     30124     32045     40533    133325    483526      9.29      9.79
1261.57/158.14	c  N dy  3489    577529      5895     30124     32156     60469    133325   1200241      9.29     11.61
1302.23/163.28	c Finding binary XORs  T:     0.01 s  found:      96
1303.03/163.31	c Replacing      132 vars Replaced    22108 lits Time:     0.04 s 
1307.98/163.92	c  N dy  3560    598279      5760     30097     34218     48397    133173    694154      9.27      9.84
1356.51/170.04	c  N dy  3671    618329      5758     30097     34362     68231    133173   1305999      9.30     12.90
1398.01/175.24	c  N dy  3780    638653      5757     30097     34428     55052    133173    799203      9.31      9.91
1417.97/177.78	c Finding binary XORs  T:     0.01 s  found:      52
1445.11/181.12	c  N dy  3904    658712      5757     30081     33704     40362    133095    320586      9.34     11.59
1485.82/186.20	c  N dy  4028    678723      5757     30081     33786     60246    133095    945684      9.36     14.27
1532.11/192.03	c  N dy  4155    699318      5756     30081     33853     44871    133095    442599      9.39      9.94
1576.01/197.55	c  N dy  4240    721201      5754     30081     33923     66510    133095   1031458      9.38      9.90
1607.92/201.51	c Finding binary XORs  T:     0.01 s  found:     103
1607.92/201.53	c Replacing      155 vars Replaced    16787 lits Time:     0.02 s 
1621.50/203.26	c  N dy  4315    741773      5576     29935     40573     49969    132480    563683      9.36      9.89
1648.64/206.65	c Finding binary XORs  T:     0.01 s  found:      44
1658.37/207.90	c  N dy  4347    762272      5457     28469     34826     57209    126340    676138      9.33      9.84
1666.20/208.87	c  E dy  4348    766749      5374     26619     33567     46139    119273    434035      9.31      3.73
1669.88/210.17	c Following stats are for *FIRST FINISHED THREAD ONLY*
1669.88/210.17	c num threads              : 8          
1669.88/210.17	c restarts                 : 4348       
1669.88/210.17	c dynamic restarts         : 4324       
1669.88/210.17	c static restarts          : 24         
1669.88/210.17	c full restarts            : 3          
1669.88/210.17	c total simplify time      : 1.00       
1669.88/210.17	c learnts DL2              : 0          
1669.88/210.17	c learnts size 2           : 242923     
1669.88/210.17	c learnts size 1           : 1767        (20.18     % of vars)
1669.88/210.17	c filedLit time            : 6.50        (3.10      % time)
1669.88/210.17	c v-elim SatELite          : 434         (4.96      % vars)
1669.88/210.17	c SatELite time            : 0.83        (0.40      % time)
1669.88/210.17	c v-elim xor               : 0           (0.00      % vars)
1669.88/210.17	c xor elim time            : 0.05        (0.02      % time)
1669.88/210.17	c num binary xor trees     : 516        
1669.88/210.17	c binxor trees' crown      : 2548        (4.94      leafs/tree)
1669.88/210.17	c bin xor find time        : 0.35       
1669.88/210.17	c OTF clause improved      : 6770        (0.01      clauses/conflict)
1669.88/210.17	c OTF impr. size diff      : 8399        (1.24       lits/clause)
1669.88/210.17	c OTF cl watch-shrink      : 572187      (0.75      clauses/conflict)
1669.88/210.17	c OTF cl watch-sh-lit      : 3334168     (5.83       lits/clause)
1669.88/210.17	c tried to recurMin cls    : 265903      (34.68      % of conflicts)
1669.88/210.17	c updated cache            : 2291        (0.01       lits/tried recurMin)
1669.88/210.17	c unit cls recevied        : 153         (8.66      % of units)
1669.88/210.17	c unit cls sent            : 547         (30.96     % of units)
1669.88/210.17	c bin cls recevied         : 138643     
1669.88/210.17	c bin cls sent             : 68983      
1669.88/210.17	c clauses over max glue    : 0           (0.00      % of all clauses)
1669.88/210.17	c conflicts                : 766749      (3651.90   / sec)
1669.88/210.17	c decisions                : 1308878     (0.70      % random)
1669.88/210.17	c bogo-props               : 12730805722 (60634699.21 / sec)
1669.88/210.17	c conflict literals        : 26468908    (45.19     % deleted)
1669.88/210.17	c Memory used              : 736.26      MB
1669.88/210.17	c single-thread CPU time   : 209.96      s
1669.88/210.17	c all-threads sum CPU time : 1668.81     s
1669.88/210.17	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3394760-1306105103/watcher-3394760-1306105103 -o /tmp/evaluation-result-3394760-1306105103/solver-3394760-1306105103 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394760-1306105103.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.53 7.97 7.98 2/554 26934
/proc/meminfo: memFree=24577892/32950928 swapFree=41934328/67111528
[pid=26934] ppid=26932 vsize=92144 CPUtime=0.08 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 412 0 0 0 8 0 0 0 24 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361328 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26934/statm: 23036 352 299 95 0 18018 0
[pid=26934/tid=26935] ppid=26932 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=92144 CPUtime=0 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=92144 CPUtime=0 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361330 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.029322 s]
/proc/loadavg: 7.53 7.97 7.98 2/554 26934
/proc/meminfo: memFree=24577892/32950928 swapFree=41934328/67111528
[pid=26934] ppid=26932 vsize=92144 CPUtime=0.14 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 412 0 0 0 14 0 0 0 24 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361328 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 23036 352 299 95 0 18018 0
[pid=26934/tid=26935] ppid=26932 vsize=92144 CPUtime=0.02 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361328 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=92144 CPUtime=0.02 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=92144 CPUtime=0.02 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=92144 CPUtime=0.02 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=92144 CPUtime=0 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=92144 CPUtime=0 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=92144 CPUtime=0.02 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 722109047 94355456 352 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793361324 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 92144

[startup+0.100384 s]
/proc/loadavg: 7.53 7.97 7.98 2/554 26934
/proc/meminfo: memFree=24577892/32950928 swapFree=41934328/67111528
[pid=26934] ppid=26932 vsize=633244 CPUtime=0.58 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) S 26932 26934 26908 0 -1 4202496 15361 0 0 0 44 14 0 0 17 0 8 0 722109047 648441856 13568 33554432000 4194304 4580107 140737279485456 18446744073709551615 251814345198 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 158311 13583 353 95 0 153293 0
[pid=26934/tid=26935] ppid=26932 vsize=633244 CPUtime=0.07 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1920 0 0 0 6 1 0 0 17 0 8 0 722109047 648441856 13587 33554432000 4194304 4580107 140737279485456 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=633244 CPUtime=0.07 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1832 0 0 0 6 1 0 0 17 0 8 0 722109047 648441856 13603 33554432000 4194304 4580107 140737279485456 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=633244 CPUtime=0.07 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1519 0 0 0 5 2 0 0 17 0 8 0 722109047 648441856 13613 33554432000 4194304 4580107 140737279485456 18446744073709551615 4510861 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=633244 CPUtime=0.06 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 1948 0 0 0 5 1 0 0 17 0 8 0 722109047 648441856 13622 33554432000 4194304 4580107 140737279485456 18446744073709551615 251814345198 0 0 4096 2 18446604440480925632 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=633244 CPUtime=0.05 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 1942 0 0 0 4 1 0 0 17 0 8 0 722109047 648441856 13622 33554432000 4194304 4580107 140737279485456 18446744073709551615 251814345198 0 0 4096 2 18446604440480925632 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=633244 CPUtime=0.06 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 1949 0 0 0 5 1 0 0 17 0 8 0 722109047 648441856 13624 33554432000 4194304 4580107 140737279485456 18446744073709551615 251814345198 0 0 4096 2 18446604440480925632 0 0 -1 7 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=633244 CPUtime=0.07 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 1803 0 0 0 6 1 0 0 17 0 8 0 722109047 648441856 13637 33554432000 4194304 4580107 140737279485456 18446744073709551615 251814345198 0 0 4096 2 18446604440480925632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 633244

[startup+0.301286 s]
/proc/loadavg: 7.53 7.97 7.98 2/554 26934
/proc/meminfo: memFree=24577892/32950928 swapFree=41934328/67111528
[pid=26934] ppid=26932 vsize=634068 CPUtime=2.17 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 16577 0 0 0 200 17 0 0 18 0 8 0 722109047 649285632 14783 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 158517 14783 359 95 0 153499 0
[pid=26934/tid=26935] ppid=26932 vsize=634068 CPUtime=0.27 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 2109 0 0 0 26 1 0 0 18 0 8 0 722109047 649285632 14783 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=634068 CPUtime=0.27 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1996 0 0 0 25 2 0 0 18 0 8 0 722109047 649285632 14783 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=634068 CPUtime=0.26 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1786 0 0 0 24 2 0 0 18 0 8 0 722109047 649285632 14783 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=634068 CPUtime=0.26 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 2191 0 0 0 24 2 0 0 18 0 8 0 722109047 649285632 14783 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=634068 CPUtime=0.24 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1943 0 0 0 23 1 0 0 18 0 8 0 722109047 649285632 14783 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=634068 CPUtime=0.25 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1956 0 0 0 24 1 0 0 18 0 8 0 722109047 649285632 14783 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=634068 CPUtime=0.27 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 2095 0 0 0 25 2 0 0 18 0 8 0 722109047 649285632 14783 33554432000 4194304 4580107 140737279485456 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 634068

[startup+0.701219 s]
/proc/loadavg: 7.53 7.97 7.98 2/554 26934
/proc/meminfo: memFree=24577892/32950928 swapFree=41934328/67111528
[pid=26934] ppid=26932 vsize=634068 CPUtime=5.37 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 16687 0 0 0 520 17 0 0 18 0 8 0 722109047 649285632 14893 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 158517 14893 359 95 0 153499 0
[pid=26934/tid=26935] ppid=26932 vsize=634068 CPUtime=0.67 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 2119 0 0 0 66 1 0 0 18 0 8 0 722109047 649285632 14893 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=634068 CPUtime=0.67 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1998 0 0 0 65 2 0 0 18 0 8 0 722109047 649285632 14893 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=634068 CPUtime=0.66 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1788 0 0 0 64 2 0 0 18 0 8 0 722109047 649285632 14893 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=634068 CPUtime=0.66 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 2191 0 0 0 64 2 0 0 18 0 8 0 722109047 649285632 14893 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=634068 CPUtime=0.64 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1943 0 0 0 63 1 0 0 18 0 8 0 722109047 649285632 14893 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=634068 CPUtime=0.65 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 1958 0 0 0 64 1 0 0 18 0 8 0 722109047 649285632 14893 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=634068 CPUtime=0.67 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 2178 0 0 0 65 2 0 0 18 0 8 0 722109047 649285632 14893 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 634068

[startup+1.50108 s]
/proc/loadavg: 7.53 7.97 7.98 9/562 26942
/proc/meminfo: memFree=24503800/32950928 swapFree=41934328/67111528
[pid=26934] ppid=26932 vsize=651232 CPUtime=11.68 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 40421 0 0 0 1145 23 0 0 19 0 8 0 722109047 666861568 32115 33554432000 4194304 4580107 140737279485456 18446744073709551615 4305984 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 162808 32115 378 95 0 157790 0
[pid=26934/tid=26935] ppid=26932 vsize=651232 CPUtime=1.47 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 5813 0 0 0 144 3 0 0 19 0 8 0 722109047 666861568 32115 33554432000 4194304 4580107 140737279485456 18446744073709551615 4292952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=651232 CPUtime=1.46 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 5186 0 0 0 144 2 0 0 19 0 8 0 722109047 666861568 32115 33554432000 4194304 4580107 140737279485456 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=651232 CPUtime=1.46 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 5001 0 0 0 142 4 0 0 19 0 8 0 722109047 666861568 32115 33554432000 4194304 4580107 140737279485456 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=651232 CPUtime=1.45 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 5196 0 0 0 143 2 0 0 19 0 8 0 722109047 666861568 32115 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=651232 CPUtime=1.43 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 5353 0 0 0 141 2 0 0 19 0 8 0 722109047 666861568 32115 33554432000 4194304 4580107 140737279485456 18446744073709551615 4302571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=651232 CPUtime=1.43 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 5364 0 0 0 141 2 0 0 18 0 8 0 722109047 666861568 32115 33554432000 4194304 4580107 140737279485456 18446744073709551615 4302485 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=651232 CPUtime=1.46 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 2450 0 0 0 144 2 0 0 19 0 8 0 722109047 666861568 32115 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294840 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.68
Current children cumulated vsize (KiB) 651232

[startup+3.10081 s]
/proc/loadavg: 7.53 7.97 7.98 9/562 26942
/proc/meminfo: memFree=24445892/32950928 swapFree=41934328/67111528
[pid=26934] ppid=26932 vsize=652788 CPUtime=24.46 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 42865 0 0 0 2422 24 0 0 24 0 8 0 722109047 668454912 34008 33554432000 4194304 4580107 140737279485456 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 163197 34008 378 95 0 158179 0
[pid=26934/tid=26935] ppid=26932 vsize=652788 CPUtime=3.07 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 6059 0 0 0 304 3 0 0 25 0 8 0 722109047 668454912 34008 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=652788 CPUtime=3.06 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 5434 0 0 0 304 2 0 0 24 0 8 0 722109047 668454912 34008 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=652788 CPUtime=3.06 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 5296 0 0 0 302 4 0 0 24 0 8 0 722109047 668454912 34008 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=652788 CPUtime=3.06 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 5424 0 0 0 303 3 0 0 24 0 8 0 722109047 668454912 34009 33554432000 4194304 4580107 140737279485456 18446744073709551615 4301389 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=652788 CPUtime=3.03 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 5682 0 0 0 301 2 0 0 25 0 8 0 722109047 668454912 34009 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=652788 CPUtime=3.01 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 5597 0 0 0 299 2 0 0 21 0 8 0 722109047 668454912 34009 33554432000 4194304 4580107 140737279485456 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=652788 CPUtime=3.06 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 3019 0 0 0 304 2 0 0 24 0 8 0 722109047 668454912 34009 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.46
Current children cumulated vsize (KiB) 652788

[startup+6.30128 s]
/proc/loadavg: 7.57 7.97 7.98 9/562 26942
/proc/meminfo: memFree=24430660/32950928 swapFree=41934328/67111528
[pid=26934] ppid=26932 vsize=606012 CPUtime=50.01 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 53393 0 0 0 4975 26 0 0 25 0 8 0 722109047 620556288 38458 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293121 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 151503 38458 380 95 0 146485 0
[pid=26934/tid=26935] ppid=26932 vsize=606012 CPUtime=6.27 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 7330 0 0 0 624 3 0 0 25 0 8 0 722109047 620556288 38458 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=606012 CPUtime=6.27 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 6768 0 0 0 624 3 0 0 25 0 8 0 722109047 620556288 38458 33554432000 4194304 4580107 140737279485456 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=606012 CPUtime=6.26 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 6540 0 0 0 622 4 0 0 25 0 8 0 722109047 620556288 38458 33554432000 4194304 4580107 140737279485456 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=606012 CPUtime=6.26 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 6662 0 0 0 623 3 0 0 25 0 8 0 722109047 620556288 38458 33554432000 4194304 4580107 140737279485456 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=606012 CPUtime=6.23 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 7111 0 0 0 621 2 0 0 25 0 8 0 722109047 620556288 38458 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=606012 CPUtime=6.14 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 6839 0 0 0 612 2 0 0 25 0 8 0 722109047 620556288 38458 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=606012 CPUtime=6.26 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 4406 0 0 0 624 2 0 0 25 0 8 0 722109047 620556288 38458 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0

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

/proc/26934/task/26938/stat : 26938 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 37484 0 0 0 17891 14 0 0 25 0 8 0 722109047 749314048 110237 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=731752 CPUtime=179 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 32472 0 0 0 17889 11 0 0 25 0 8 0 722109047 749314048 110237 33554432000 4194304 4580107 140737279485456 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=731752 CPUtime=175.81 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 39974 0 0 0 17568 13 0 0 25 0 8 0 722109047 749314048 110237 33554432000 4194304 4580107 140737279485456 18446744073709551615 4318807 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=731752 CPUtime=179.07 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 37755 0 0 0 17893 14 0 0 25 0 8 0 722109047 749314048 110237 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1429.16
Current children cumulated vsize (KiB) 731752

[startup+191.901 s]
/proc/loadavg: 7.99 8.00 7.99 9/562 26956
/proc/meminfo: memFree=24118020/32950928 swapFree=41934332/67111528
[pid=26934] ppid=26932 vsize=753564 CPUtime=1531.31 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 320682 0 0 0 153019 112 0 0 25 0 8 0 722109047 771649536 115215 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 188391 115215 380 95 0 183373 0
[pid=26934/tid=26935] ppid=26932 vsize=753564 CPUtime=191.78 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 40688 0 0 0 19167 11 0 0 25 0 8 0 722109047 771649536 115215 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=753564 CPUtime=191.86 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 39886 0 0 0 19174 12 0 0 25 0 8 0 722109047 771649536 115215 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=753564 CPUtime=191.86 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 43526 0 0 0 19170 16 0 0 25 0 8 0 722109047 771649536 115215 33554432000 4194304 4580107 140737279485456 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=753564 CPUtime=191.86 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 39169 0 0 0 19171 15 0 0 25 0 8 0 722109047 771649536 115215 33554432000 4194304 4580107 140737279485456 18446744073709551615 4321020 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=753564 CPUtime=191.8 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 34109 0 0 0 19169 11 0 0 25 0 8 0 722109047 771649536 115215 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=753564 CPUtime=188.37 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 41788 0 0 0 18824 13 0 0 25 0 8 0 722109047 771649536 115215 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=753564 CPUtime=191.86 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 39613 0 0 0 19172 14 0 0 25 0 8 0 722109047 771649536 115215 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1531.31
Current children cumulated vsize (KiB) 753564

[startup+198.301 s]
/proc/loadavg: 7.99 8.00 7.99 9/562 26957
/proc/meminfo: memFree=24124956/32950928 swapFree=41934332/67111528
[pid=26934] ppid=26932 vsize=677208 CPUtime=1582.39 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 325253 0 0 0 158125 114 0 0 25 0 8 0 722109047 693460992 113081 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 169302 113081 380 95 0 164284 0
[pid=26934/tid=26935] ppid=26932 vsize=677208 CPUtime=198.18 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 40791 0 0 0 19807 11 0 0 25 0 8 0 722109047 693460992 113081 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=677208 CPUtime=198.26 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 40488 0 0 0 19813 13 0 0 25 0 8 0 722109047 693460992 113081 33554432000 4194304 4580107 140737279485456 18446744073709551615 4318699 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=677208 CPUtime=198.26 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 43530 0 0 0 19810 16 0 0 25 0 8 0 722109047 693460992 113081 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=677208 CPUtime=198.26 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 39198 0 0 0 19811 15 0 0 25 0 8 0 722109047 693460992 113081 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=677208 CPUtime=198.2 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 34846 0 0 0 19808 12 0 0 25 0 8 0 722109047 693460992 113081 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=677208 CPUtime=194.64 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 42899 0 0 0 19451 13 0 0 25 0 8 0 722109047 693460992 113081 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=677208 CPUtime=198.26 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 40873 0 0 0 19812 14 0 0 25 0 8 0 722109047 693460992 113081 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1582.39
Current children cumulated vsize (KiB) 677208

[startup+204.701 s]
/proc/loadavg: 7.99 8.00 7.99 9/562 26957
/proc/meminfo: memFree=24117608/32950928 swapFree=41934332/67111528
[pid=26934] ppid=26932 vsize=753844 CPUtime=1633.46 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 329957 0 0 0 163230 116 0 0 25 0 8 0 722109047 771936256 115155 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293918 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 188461 115155 380 95 0 183443 0
[pid=26934/tid=26935] ppid=26932 vsize=753844 CPUtime=204.58 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 41368 0 0 0 20447 11 0 0 25 0 8 0 722109047 771936256 115155 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=753844 CPUtime=204.66 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 41599 0 0 0 20453 13 0 0 25 0 8 0 722109047 771936256 115155 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=753844 CPUtime=204.66 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 43564 0 0 0 20450 16 0 0 25 0 8 0 722109047 771936256 115155 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=753844 CPUtime=204.65 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 39851 0 0 0 20450 15 0 0 25 0 8 0 722109047 771936256 115155 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=753844 CPUtime=204.6 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 34860 0 0 0 20448 12 0 0 25 0 8 0 722109047 771936256 115155 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=753844 CPUtime=200.93 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 43441 0 0 0 20079 14 0 0 25 0 8 0 722109047 771936256 115155 33554432000 4194304 4580107 140737279485456 18446744073709551615 4317056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=753844 CPUtime=204.66 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 41423 0 0 0 20451 15 0 0 25 0 8 0 722109047 771936256 115155 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1633.46
Current children cumulated vsize (KiB) 753844

[startup+207.921 s]
/proc/loadavg: 7.99 8.00 7.99 9/562 26957
/proc/meminfo: memFree=24119468/32950928 swapFree=41934332/67111528
[pid=26934] ppid=26932 vsize=753928 CPUtime=1659.17 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 332786 0 0 0 165800 117 0 0 25 0 8 0 722109047 772022272 114646 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 188482 114646 380 95 0 183464 0
[pid=26934/tid=26935] ppid=26932 vsize=753928 CPUtime=207.8 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 41368 0 0 0 20769 11 0 0 25 0 8 0 722109047 772022272 114646 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=753928 CPUtime=207.88 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 41906 0 0 0 20775 13 0 0 25 0 8 0 722109047 772022272 114646 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=753928 CPUtime=207.88 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 43593 0 0 0 20772 16 0 0 25 0 8 0 722109047 772022272 114646 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=753928 CPUtime=207.87 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 40183 0 0 0 20772 15 0 0 25 0 8 0 722109047 772022272 114646 33554432000 4194304 4580107 140737279485456 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=753928 CPUtime=207.82 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 34861 0 0 0 20770 12 0 0 25 0 8 0 722109047 772022272 114646 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=753928 CPUtime=204.09 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 44313 0 0 0 20395 14 0 0 25 0 8 0 722109047 772022272 114646 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=753928 CPUtime=207.88 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 42438 0 0 0 20773 15 0 0 25 0 8 0 722109047 772022272 114646 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1659.17
Current children cumulated vsize (KiB) 753928

[startup+209.501 s]
/proc/loadavg: 7.99 8.00 7.99 9/562 26957
/proc/meminfo: memFree=24117980/32950928 swapFree=41934332/67111528
[pid=26934] ppid=26932 vsize=753928 CPUtime=1668.64 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 333140 0 0 0 166747 117 0 0 25 0 8 0 722109047 772022272 115000 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793336516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 188482 115000 380 95 0 183464 0
[pid=26934/tid=26935] ppid=26932 vsize=753928 CPUtime=208.85 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 41368 0 0 0 20874 11 0 0 25 0 8 0 722109047 772022272 115000 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=753928 CPUtime=208.94 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 41969 0 0 0 20881 13 0 0 25 0 8 0 722109047 772022272 115000 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=753928 CPUtime=208.93 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 43593 0 0 0 20877 16 0 0 25 0 8 0 722109047 772022272 115000 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=753928 CPUtime=208.93 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 40261 0 0 0 20878 15 0 0 25 0 8 0 722109047 772022272 115000 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=753928 CPUtime=208.88 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 34861 0 0 0 20876 12 0 0 25 0 8 0 722109047 772022272 115000 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=753928 CPUtime=205.65 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 44381 0 0 0 20551 14 0 0 25 0 8 0 722109047 772022272 115000 33554432000 4194304 4580107 140737279485456 18446744073709551615 4443645 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=753928 CPUtime=208.94 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 42517 0 0 0 20879 15 0 0 25 0 8 0 722109047 772022272 115000 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1668.64
Current children cumulated vsize (KiB) 753928

[startup+209.901 s]
/proc/loadavg: 7.99 8.00 7.99 9/562 26957
/proc/meminfo: memFree=24117980/32950928 swapFree=41934332/67111528
[pid=26934] ppid=26932 vsize=753928 CPUtime=1669.44 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 333789 0 0 0 166827 117 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793336363 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 188482 115649 380 95 0 183464 0
[pid=26934/tid=26935] ppid=26932 vsize=753928 CPUtime=208.85 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 41368 0 0 0 20874 11 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=753928 CPUtime=208.94 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 41969 0 0 0 20881 13 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=753928 CPUtime=208.93 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 43593 0 0 0 20877 16 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=753928 CPUtime=208.93 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 40261 0 0 0 20878 15 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=753928 CPUtime=208.88 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 34861 0 0 0 20876 12 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=753928 CPUtime=206.05 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 45030 0 0 0 20591 14 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=753928 CPUtime=208.94 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 42517 0 0 0 20879 15 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1669.44
Current children cumulated vsize (KiB) 753928

[startup+210.121 s]
/proc/loadavg: 7.51 7.90 7.95 3/562 26957
/proc/meminfo: memFree=24115252/32950928 swapFree=41934332/67111528
[pid=26934] ppid=26932 vsize=753928 CPUtime=1669.88 cores=0-7
/proc/26934/stat : 26934 (strangenight2-m) R 26932 26934 26908 0 -1 4202496 333789 0 0 0 166871 117 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793336516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26934/statm: 188482 115649 380 95 0 183464 0
[pid=26934/tid=26935] ppid=26932 vsize=753928 CPUtime=208.85 cores=0-7
/proc/26934/task/26935/stat : 26935 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 41368 0 0 0 20874 11 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 2 0 0 0
[pid=26934/tid=26936] ppid=26932 vsize=753928 CPUtime=208.94 cores=0-7
/proc/26934/task/26936/stat : 26936 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 41969 0 0 0 20881 13 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 4 0 0 0
[pid=26934/tid=26937] ppid=26932 vsize=753928 CPUtime=208.93 cores=0-7
/proc/26934/task/26937/stat : 26937 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 43593 0 0 0 20877 16 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 1 0 0 0
[pid=26934/tid=26938] ppid=26932 vsize=753928 CPUtime=208.93 cores=0-7
/proc/26934/task/26938/stat : 26938 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 40261 0 0 0 20878 15 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 3 0 0 0
[pid=26934/tid=26939] ppid=26932 vsize=753928 CPUtime=208.88 cores=0-7
/proc/26934/task/26939/stat : 26939 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 34861 0 0 0 20876 12 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 0 0 0 0
[pid=26934/tid=26940] ppid=26932 vsize=753928 CPUtime=206.27 cores=0-7
/proc/26934/task/26940/stat : 26940 (strangenight2-m) R 26932 26934 26908 0 -1 4202560 45030 0 0 0 20613 14 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26934/tid=26941] ppid=26932 vsize=753928 CPUtime=208.94 cores=0-7
/proc/26934/task/26941/stat : 26941 (strangenight2-m) S 26932 26934 26908 0 -1 4202560 42517 0 0 0 20879 15 0 0 25 0 8 0 722109047 772022272 115649 33554432000 4194304 4580107 140737279485456 18446744073709551615 46950793360948 0 0 4096 2 18446604440480925632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1669.88
Current children cumulated vsize (KiB) 753928

Child status: 20
Real time (s): 210.191
CPU time (s): 1670.02
CPU user time (s): 1668.81
CPU system time (s): 1.20082
CPU usage (%): 794.521
Max. virtual memory (cumulated for all children) (KiB): 906252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1668.81
system time used= 1.20082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333792
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= 21292
involuntary context switches= 7488

runsolver used 1.12483 second user time and 2.73858 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-23 00:58:23
IDJOB=3394760
IDBENCH=84211
IDSOLVER=1878
FILE ID=node126/3394760-1306105103
RUNJOBID= node126-1306105103-26922
PBS_JOBID= 13388019
Free space on /tmp= 73280 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394760-1306105103/watcher-3394760-1306105103 -o /tmp/evaluation-result-3394760-1306105103/solver-3394760-1306105103 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394760-1306105103.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 9edcffddbe07377cf6685697aafad673
RANDOM SEED=1214361134

node126.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.783
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.56
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.783
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.783
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.783
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.74
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.783
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.80
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.783
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.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24578172 kB
Buffers:        297468 kB
Cached:        5564832 kB
SwapCached:      49796 kB
Active:        3747364 kB
Inactive:      4309784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24578172 kB
SwapTotal:    67111528 kB
SwapFree:     41934328 kB
Dirty:            6600 kB
Writeback:           0 kB
AnonPages:     2158888 kB
Mapped:          24072 kB
Slab:           142424 kB
PageTables:      99916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 176373628 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= 73276 MiB
End job on node126 at 2011-05-23 01:01:54