Trace number 3320999

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-mtUNSAT 1677.93 210.045

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-03.cnf
MD5SUM8c67f78ca36ec96e662a91c74844da21
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark136.848
Satisfiable
(Un)Satisfiability was proved
Number of variables3114
Number of clauses10827
Sum of the clauses size28341
Maximum clause length119
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24934
Number of clauses of size 35378
Number of clauses of size 4408
Number of clauses of size 584
Number of clauses of size over 522

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.53/0.12	c This is CryptoMiniSat 3.0.0
0.53/0.12	c WARNING: for repeatability, setting FPU to use double precision
0.53/0.12	c Reading file 'HOME/instance-3320999-1304322184.cnf'
0.53/0.12	c -- header says num vars:           3114
0.53/0.12	c -- header says num clauses:       10827
0.53/0.13	c -- clauses added:            0 learnts,        10827 normals,            0 xors
0.53/0.13	c -- vars added       3114
0.53/0.13	c Parsing time:  0.01 s
0.53/0.13	c  N st     0         0      3114      5891      4689         0     27785         0   no data   no data
0.53/0.14	c asymm  cl-useful: 0/5891/5891 lits-rem:0 time: 0.01
0.53/0.15	c Flit:     9 Blit:      6 bXBeca:    0 bXProp:  138 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.53/0.15	c Replacing      138 vars Replaced     2761 lits Time:     0.00 s 
0.53/0.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.53/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.53/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.53/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2921 time:  0.00 s
0.53/0.15	c Removed useless bin:       0  fixed:     0  props:   0.06M  time:  0.00 s
0.53/0.17	c lits-rem:         0  cl-subs:      855  v-elim:    973  v-fix:    0  time:  0.01 s
0.53/0.17	c Finding binary XORs  T:     0.00 s  found:      40
0.53/0.17	c Replacing       40 vars Replaced      565 lits Time:     0.00 s 
0.53/0.17	c Finding non-binary XORs:     0.00 s (found:     976, avg size: 3.0)
0.53/0.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    330 locsubst:    22 time:   0.00
0.53/0.17	c calculated reachability. Time: 0.00
0.53/0.17	c Calc default polars -  time:   0.00 s pos:     420 undec:    1622 neg:    1072
0.53/0.17	c =========================================================================================
0.53/0.17	c types(t): F = full restart, N = normal restart
0.53/0.17	c types(t): S = simplification begin/end, E = solution found
0.53/0.17	c restart types(rt): st = static, dy = dynamic
0.53/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.53/0.17	c  B st     0         0      1578      2446      1702         0     13965         0   no data   no data
0.53/0.25	c Decided on static restart strategy
0.53/0.40	c  N st     8      4916      1578      2446      1825      4690     13965    146571   no data   no data
4.74/0.88	c  N st    10     11300      1578      2446      2042      4877     13965     90500   no data   no data
10.58/1.49	c  N st    11     17044      1578      2446      2053     10535     13965    465680   no data   no data
10.58/1.49	c Finding binary XORs  T:     0.00 s  found:       1
17.77/2.35	c  F st    12     25000      1578      2446      2340     13091     13965    552080   no data   no data
17.77/2.37	c Replacing       12 vars Replaced     7484 lits Time:     0.02 s 
17.77/2.37	c  N st    12     25000      1566      2446      2316     13091     13921    552064   no data   no data
21.82/2.83	c Decided on static restart strategy
21.82/2.83	c  N st    18     30001      1566      2446      2364     11531     13921    394493   no data   no data
21.82/2.83	c  S st    18     30001      1566      2446      2364     11531     13921    394493   no data   no data
21.82/2.87	c  S st    18     30504      1566      2446      2369     12028     13921    400981   no data   no data
21.82/2.88	c x-sub:    11 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.82/2.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    930 BRemL:    581 BRemN:      0 P:  0.6M T:  0.02
21.82/2.90	c Replacing        1 vars Replaced      397 lits Time:     0.00 s 
21.82/2.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
21.82/2.90	c bin-w-bin subsume rem          125 bins  time:  0.00 s
21.82/2.90	c subs with bin:      128  lits-rem:       233  v-fix:    0  time:  0.00 s
21.82/2.90	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done:   1565 time:  0.00 s
21.82/2.90	c Removed useless bin:       1  fixed:     0  props:   0.02M  time:  0.00 s
22.63/2.91	c lits-rem:         0  cl-subs:       29  v-elim:    206  v-fix:    0  time:  0.01 s
22.63/2.95	c subs with bin:       78  lits-rem:      5817  v-fix:    0  time:  0.04 s
23.36/3.07	c lits-rem:      2945  cl-subs:      333  v-elim:      0  v-fix:    0  time:  0.12 s
23.36/3.08	c asymm  cl-useful: 2/2485/2485 lits-rem:2 time: 0.01
23.36/3.08	c calculated reachability. Time: 0.00
23.36/3.08	c  N st    18     30504      1359      2485      1956      9019     12579    270521   no data   no data
25.76/3.38	c Finding binary XORs  T:     0.00 s  found:       0
28.96/3.78	c  N st    20     37614      1358      2483      1975      9618     12560    271942   no data   no data
34.55/4.45	c  N st    21     44013      1358      2483      1976     15964     12560    505680   no data   no data
34.55/4.45	c Finding binary XORs  T:     0.00 s  found:       1
36.15/4.65	c  S st    22     45757      1358      2483      2655      9656     12560    181194   no data   no data
36.15/4.69	c  S st    22     46260      1358      2483      2659     10152     12560    187831   no data   no data
36.15/4.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.94/4.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    136 BRemL:    625 BRemN:      0 P:  0.5M T:  0.02
36.94/4.71	c Replacing        1 vars Replaced       13 lits Time:     0.00 s 
36.94/4.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
36.94/4.71	c bin-w-bin subsume rem           52 bins  time:  0.00 s
36.94/4.71	c subs with bin:       95  lits-rem:         0  v-fix:    0  time:  0.00 s
36.94/4.71	c Subs w/ non-existent bins:      4 l-rem:      4 v-fix:     0 done:   1357 time:  0.00 s
36.94/4.71	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
36.94/4.72	c lits-rem:         0  cl-subs:        1  v-elim:      4  v-fix:    0  time:  0.00 s
36.94/4.74	c subs with bin:       23  lits-rem:       956  v-fix:    0  time:  0.02 s
36.94/4.77	c lits-rem:       766  cl-subs:      106  v-elim:      0  v-fix:    0  time:  0.03 s
36.94/4.77	c vivif2 --  cl tried     2390 cl shrink        7 lits rem          9 time: 0.00
36.94/4.77	c vivif2 --  cl tried    10005 cl shrink     1389 lits rem       2813 time: 0.01
36.94/4.79	c asymm  cl-useful: 1/2388/2388 lits-rem:1 time: 0.01
36.94/4.79	c calculated reachability. Time: 0.00
36.94/4.79	c  N st    22     46260      1353      2388      2118      9995     12393    180246   no data   no data
49.00/6.23	c  N st    23     60657      1353      2388      2121     14868     12393    319700   no data   no data
49.00/6.24	c Finding binary XORs  T:     0.00 s  found:       0
56.13/7.20	c  N st    24     69391      1353      2388      2337     13012     12393    237650   no data   no data
56.13/7.20	c  S st    24     69391      1353      2388      2337     13012     12393    237650   no data   no data
56.98/7.25	c  S st    24     69891      1353      2388      2373     13509     12393    244921   no data   no data
56.98/7.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
56.98/7.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:    206 BRemN:      4 P:  0.6M T:  0.02
56.98/7.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
56.98/7.27	c bin-w-bin subsume rem           13 bins  time:  0.00 s
56.98/7.27	c subs with bin:       15  lits-rem:         0  v-fix:    0  time:  0.00 s
56.98/7.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1353 time:  0.00 s
56.98/7.27	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
56.98/7.27	c lits-rem:         0  cl-subs:        0  v-elim:      4  v-fix:    0  time:  0.00 s
56.98/7.30	c subs with bin:       60  lits-rem:       202  v-fix:    0  time:  0.02 s
57.79/7.35	c lits-rem:       578  cl-subs:      141  v-elim:      0  v-fix:    0  time:  0.04 s
57.79/7.35	c vivif2 --  cl tried     2383 cl shrink        7 lits rem         10 time: 0.00
57.79/7.36	c vivif2 --  cl tried    13301 cl shrink      711 lits rem       1800 time: 0.01
57.79/7.37	c asymm  cl-useful: 2/2380/2380 lits-rem:4 time: 0.02
57.79/7.37	c calculated reachability. Time: 0.00
57.79/7.37	c  N st    24     69891      1349      2379      2146     13301     12362    239209   no data   no data
74.56/9.48	c  F st    25     87501      1349      2379      2146     19066     12362    523583   no data   no data
74.56/9.48	c  N st    25     87501      1349      2379      2146     19066     12362    523583   no data   no data
74.56/9.48	c Finding binary XORs  T:     0.00 s  found:       0
80.10/10.10	c Decided on static restart strategy
82.50/10.46	c  N st    32     95542      1349      2379      2306     26992     12362    844657   no data   no data
92.16/11.62	c  N st    34    104836      1349      2379      2327     23497     12362    730878   no data   no data
92.16/11.62	c  S st    34    104836      1349      2379      2327     23497     12362    730878   no data   no data
92.16/11.68	c  S st    34    105339      1349      2379      2347     23997     12362    737737   no data   no data
92.16/11.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
92.96/11.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     29 BRemL:    105 BRemN:      0 P:  0.8M T:  0.02
92.96/11.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92.96/11.71	c bin-w-bin subsume rem           51 bins  time:  0.00 s
92.96/11.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.96/11.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1349 time:  0.00 s
92.96/11.71	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
92.96/11.72	c lits-rem:         0  cl-subs:        2  v-elim:      3  v-fix:    0  time:  0.01 s
93.69/11.84	c subs with bin:       35  lits-rem:      3156  v-fix:    0  time:  0.10 s
96.88/12.22	c lits-rem:      1406  cl-subs:      716  v-elim:      0  v-fix:    0  time:  0.38 s
96.88/12.22	c vivif2 --  cl tried     2386 cl shrink        5 lits rem          6 time: 0.00
96.88/12.26	c vivif2 --  cl tried    23234 cl shrink     3428 lits rem      10354 time: 0.04
96.88/12.29	c asymm  cl-useful: 6/2385/2385 lits-rem:12 time: 0.03
96.88/12.29	c calculated reachability. Time: 0.00
96.88/12.29	c  N st    34    105339      1346      2382      2214     23234     12357    705129   no data   no data
106.47/13.41	c  N st    35    114939      1346      2382      2214     19023     12357    384213   no data   no data
106.47/13.41	c Finding binary XORs  T:     0.00 s  found:       0
122.45/15.44	c  N st    36    129336      1346      2382      2217     18578     12357    317463   no data   no data
144.90/18.26	c  N st    37    150933      1346      2382      2241     24245     12357    564789   no data   no data
144.90/18.26	c Finding binary XORs  T:     0.00 s  found:       0
152.83/19.20	c  S st    38    158008      1344      2374      2277     31155     12320   1107322   no data   no data
152.83/19.30	c  S st    38    158512      1344      2374      2277     31656     12320   1114077   no data   no data
152.83/19.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
153.69/19.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     38 BRemL:     68 BRemN:      1 P:  1.0M T:  0.03
153.69/19.34	c Replacing        3 vars Replaced      470 lits Time:     0.00 s 
153.69/19.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
153.69/19.34	c bin-w-bin subsume rem            7 bins  time:  0.00 s
153.69/19.34	c subs with bin:        7  lits-rem:         0  v-fix:    0  time:  0.00 s
153.69/19.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1341 time:  0.00 s
153.69/19.34	c Removed useless bin:       2  fixed:     0  props:   0.02M  time:  0.00 s
153.69/19.35	c lits-rem:         0  cl-subs:        3  v-elim:      4  v-fix:    0  time:  0.01 s
155.22/19.55	c subs with bin:       52  lits-rem:      8236  v-fix:    0  time:  0.16 s
162.47/20.44	c lits-rem:      4813  cl-subs:     1027  v-elim:      0  v-fix:    0  time:  0.89 s
162.47/20.44	c vivif2 --  cl tried     2371 cl shrink        5 lits rem          7 time: 0.00
162.47/20.49	c vivif2 --  cl tried    30578 cl shrink     4282 lits rem       9255 time: 0.05
163.28/20.52	c asymm  cl-useful: 0/2369/2369 lits-rem:0 time: 0.03
163.28/20.52	c calculated reachability. Time: 0.00
163.28/20.52	c  N st    38    158512      1337      2369      2224     30578     12273   1063186   no data   no data
211.17/26.52	c  N st    39    207101      1337      2369      2224     25565     12273    568462   no data   no data
211.17/26.53	c Finding binary XORs  T:     0.00 s  found:       6
250.39/31.43	c  N st    40    237769      1332      2363      2236     36104     12199   1235139   no data   no data
250.39/31.43	c  S st    40    237769      1332      2363      2236     36104     12199   1235139   no data   no data
251.20/31.54	c  S st    40    238273      1332      2363      2262     36604     12199   1241988   no data   no data
251.20/31.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
251.20/31.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     26 BRemL:     32 BRemN:      0 P:  1.2M T:  0.03
251.20/31.59	c Replacing        6 vars Replaced      631 lits Time:     0.00 s 
251.20/31.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
251.20/31.59	c bin-w-bin subsume rem           12 bins  time:  0.00 s
251.20/31.59	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
251.20/31.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1326 time:  0.00 s
251.20/31.59	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
251.92/31.60	c lits-rem:         4  cl-subs:       20  v-elim:     11  v-fix:    0  time:  0.02 s
252.72/31.78	c subs with bin:        5  lits-rem:      1175  v-fix:    0  time:  0.14 s
263.91/33.10	c lits-rem:      2979  cl-subs:     2229  v-elim:      0  v-fix:    0  time:  1.32 s
263.91/33.10	c vivif2 --  cl tried     2363 cl shrink        1 lits rem          1 time: 0.00
263.91/33.16	c vivif2 --  cl tried    34251 cl shrink     4099 lits rem       7806 time: 0.06
264.71/33.20	c asymm  cl-useful: 1/2363/2363 lits-rem:1 time: 0.04
264.71/33.20	c calculated reachability. Time: 0.00
264.71/33.20	c  N st    40    238273      1315      2363      2199     34251     12106   1161506   no data   no data
351.83/44.18	c  F st    41    306251      1315      2363      2199     36693     12106   1037693   no data   no data
351.83/44.18	c  N st    41    306251      1315      2363      2199     36693     12106   1037693   no data   no data
351.83/44.19	c Finding binary XORs  T:     0.00 s  found:       5
358.23/44.97	c Decided on static restart strategy
390.20/48.97	c  N st    51    334561      1307      2349      2573     40809     12030   1087094   no data   no data
390.20/48.98	c Finding binary XORs  T:     0.00 s  found:       3
420.57/52.76	c  N st    53    357409      1306      2349      2585     38787     12022   1083336   no data   no data
420.57/52.76	c  S st    53    357409      1306      2349      2585     38787     12022   1083336   no data   no data
421.37/52.86	c  S st    53    357910      1306      2349      2587     39283     12022   1089907   no data   no data
421.37/52.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.00
422.17/52.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    177 BRemL:    293 BRemN:      0 P:  1.2M T:  0.04
422.17/52.95	c Replacing       11 vars Replaced     7295 lits Time:     0.04 s 
422.17/52.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
422.17/52.95	c bin-w-bin subsume rem           26 bins  time:  0.00 s
422.17/52.95	c subs with bin:        5  lits-rem:         4  v-fix:    0  time:  0.00 s
422.17/52.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1293 time:  0.00 s
422.17/52.95	c Removed useless bin:       1  fixed:     0  props:   0.02M  time:  0.00 s
422.17/52.97	c lits-rem:         2  cl-subs:        1  v-elim:      2  v-fix:    0  time:  0.01 s
426.23/53.46	c subs with bin:      797  lits-rem:      7352  v-fix:    0  time:  0.47 s
431.76/54.15	c lits-rem:      2569  cl-subs:      697  v-elim:      0  v-fix:    0  time:  0.69 s
431.76/54.15	c vivif2 --  cl tried     2339 cl shrink        2 lits rem          2 time: 0.00
431.76/54.19	c vivif2 --  cl tried    36918 cl shrink     4280 lits rem      14525 time: 0.04
432.56/54.25	c asymm  cl-useful: 1/2339/2339 lits-rem:1 time: 0.05
432.56/54.25	c calculated reachability. Time: 0.00
432.56/54.25	c  N st    53    357910      1291      2339      2320     36918     11937    959039   no data   no data
470.99/59.05	c  N st    54    390302      1291      2339      2320     43841     11937   1200272   no data   no data
470.99/59.06	c Finding binary XORs  T:     0.00 s  found:       1
542.04/67.92	c  N st    55    438891      1289      2338      2316     37909     11924    804716   no data   no data
542.04/67.93	c Finding binary XORs  T:     0.00 s  found:       0
639.56/80.15	c  N st    56    511774      1286      2331      2367     51843     11890   1553169   no data   no data
639.56/80.16	c Finding binary XORs  T:     0.00 s  found:       6
676.31/84.76	c  N st    57    536867      1282      2315      2486     45873     11836   1200297   no data   no data
676.31/84.76	c  S st    57    536867      1282      2315      2486     45873     11836   1200297   no data   no data
677.93/84.90	c  S st    57    537368      1282      2315      2499     46372     11836   1206875   no data   no data
677.93/84.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.01
677.93/84.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    941 BRemL:    660 BRemN:      0 P:  1.7M T:  0.06
677.93/84.97	c Replacing       10 vars Replaced     3080 lits Time:     0.01 s 
677.93/84.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
677.93/84.97	c bin-w-bin subsume rem           43 bins  time:  0.00 s
677.93/84.98	c subs with bin:        3  lits-rem:         4  v-fix:    0  time:  0.00 s
677.93/84.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1270 time:  0.00 s
677.93/84.98	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
677.93/84.99	c lits-rem:         2  cl-subs:       10  v-elim:      8  v-fix:    0  time:  0.02 s
680.33/85.23	c subs with bin:      495  lits-rem:     12357  v-fix:    0  time:  0.21 s
689.11/86.34	c lits-rem:      2228  cl-subs:     2010  v-elim:      0  v-fix:    0  time:  1.10 s
689.11/86.34	c vivif2 --  cl tried     2312 cl shrink        0 lits rem          0 time: 0.00
689.11/86.39	c vivif2 --  cl tried    42007 cl shrink     6113 lits rem      12179 time: 0.06
689.96/86.47	c asymm  cl-useful: 2/2312/2312 lits-rem:4 time: 0.07
689.96/86.47	c calculated reachability. Time: 0.00
689.96/86.47	c  N st    57    537368      1262      2311      2680     42004     11739   1028495   no data   no data
941.65/117.94	c  N st    58    701352      1262      2311      2680     74162     11739   2514413   no data   no data
941.65/117.96	c Finding binary XORs  T:     0.00 s  found:      12
1060.02/132.77	c Finding binary XORs  T:     0.00 s  found:      24
1060.75/132.82	c Replacing       39 vars Replaced    21860 lits Time:     0.05 s 
1083.94/135.70	c  N st    59    806052      1194      2237      2488     66227     11313   1258138   no data   no data
1083.94/135.70	c  S st    59    806052      1194      2237      2488     66227     11313   1258138   no data   no data
1085.59/135.93	c  S st    59    806559      1192      2237      2507     66730     11313   1266541   no data   no data
1085.59/135.94	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      7 locsubst:     3 time:   0.01
1085.59/136.00	c Flit:     2 Blit:      1 bXBeca:    1 bXProp:    6 Bins:     66 BRemL:    352 BRemN:      2 P:  2.1M T:  0.07
1086.39/136.04	c Replacing       11 vars Replaced     6826 lits Time:     0.04 s 
1086.39/136.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1086.39/136.04	c bin-w-bin subsume rem          211 bins  time:  0.00 s
1086.39/136.04	c subs with bin:       21  lits-rem:        13  v-fix:    0  time:  0.00 s
1086.39/136.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1170 time:  0.00 s
1086.39/136.05	c Removed useless bin:       1  fixed:     0  props:   0.02M  time:  0.00 s
1086.39/136.06	c lits-rem:         7  cl-subs:       14  v-elim:      8  v-fix:    0  time:  0.02 s
1091.12/136.63	c subs with bin:     4186  lits-rem:      8258  v-fix:    0  time:  0.53 s
1102.31/138.06	c lits-rem:      6642  cl-subs:     4224  v-elim:      0  v-fix:    0  time:  1.43 s
1102.31/138.06	c vivif2 --  cl tried     2196 cl shrink        0 lits rem          0 time: 0.00
1103.17/138.11	c vivif2 --  cl tried    53818 cl shrink     7751 lits rem      12014 time: 0.05
1103.98/138.22	c asymm  cl-useful: 7/2196/2196 lits-rem:12 time: 0.11
1103.98/138.22	c calculated reachability. Time: 0.00
1103.98/138.22	c  N st    59    806559      1162      2194      1870     53814     11029    887324   no data   no data
1103.98/138.22	c Finding binary XORs  T:     0.00 s  found:       1
1524.30/190.87	c  F st    60   1071876      1162      2194      1872     75913     11029   2181096   no data   no data
1524.30/190.89	c Replacing        1 vars Replaced     2218 lits Time:     0.02 s 
1524.30/190.89	c  N st    60   1071876      1161      2192      1872     75910     11019   2181084   no data   no data
1525.16/190.92	c Finding binary XORs  T:     0.00 s  found:      34
1526.69/191.13	c Replacing       34 vars Replaced   139628 lits Time:     0.22 s 
1534.75/192.17	c Decided on static restart strategy
1540.28/192.80	c Finding binary XORs  T:     0.00 s  found:      26
1541.88/193.05	c Replacing       26 vars Replaced    44730 lits Time:     0.25 s 
1561.13/195.49	c Finding binary XORs  T:     0.00 s  found:       0
1576.25/197.32	c  N st    70   1100177      1068      2116      3064     57421     10494    943530   no data   no data
1602.62/200.61	c Finding binary XORs  T:     0.00 s  found:      14
1602.62/200.65	c Replacing       15 vars Replaced     9039 lits Time:     0.04 s 
1640.25/205.34	c  N st    72   1136170      1039      2091      2715     46230     10294    543865   no data   no data
1640.25/205.35	c Finding binary XORs  T:     0.00 s  found:       8
1677.75/210.01	c Following stats are for *FIRST FINISHED THREAD ONLY*
1677.75/210.02	c num threads              : 8          
1677.75/210.02	c restarts                 : 74         
1677.75/210.02	c dynamic restarts         : 0          
1677.75/210.02	c static restarts          : 74         
1677.75/210.02	c full restarts            : 4          
1677.75/210.02	c total simplify time      : 0.96       
1677.75/210.02	c learnts DL2              : 0          
1677.75/210.02	c learnts size 2           : 13013      
1677.75/210.02	c learnts size 1           : 645         (20.71     % of vars)
1677.75/210.02	c filedLit time            : 0.15        (0.07      % time)
1677.75/210.02	c v-elim SatELite          : 1214        (38.99     % vars)
1677.75/210.02	c SatELite time            : 2.06        (0.98      % time)
1677.75/210.02	c v-elim xor               : 336         (10.79     % vars)
1677.75/210.02	c xor elim time            : 0.01        (0.01      % time)
1677.75/210.02	c num binary xor trees     : 255        
1677.75/210.02	c binxor trees' crown      : 401         (1.57      leafs/tree)
1677.75/210.02	c bin xor find time        : 0.02       
1677.75/210.02	c OTF clause improved      : 16275       (0.01      clauses/conflict)
1677.75/210.02	c OTF impr. size diff      : 24079       (1.48       lits/clause)
1677.75/210.02	c OTF cl watch-shrink      : 915139      (0.78      clauses/conflict)
1677.75/210.02	c OTF cl watch-sh-lit      : 4141626     (4.53       lits/clause)
1677.75/210.02	c tried to recurMin cls    : 585816      (49.78      % of conflicts)
1677.75/210.02	c updated cache            : 8226        (0.01       lits/tried recurMin)
1677.75/210.02	c unit cls recevied        : 110         (17.05     % of units)
1677.75/210.02	c unit cls sent            : 23          (3.57      % of units)
1677.75/210.02	c bin cls recevied         : 6308       
1677.75/210.02	c bin cls sent             : 446        
1677.75/210.02	c clauses over max glue    : 0           (0.00      % of all clauses)
1677.75/210.02	c conflicts                : 1176836     (5612.48   / sec)
1677.75/210.02	c decisions                : 1613807     (1.20      % random)
1677.75/210.02	c bogo-props               : 26555960433 (126648662.52 / sec)
1677.75/210.02	c conflict literals        : 57407380    (40.95     % deleted)
1677.75/210.02	c Memory used              : 828.46      MB
1677.75/210.02	c single-thread CPU time   : 209.68      s
1677.75/210.02	c all-threads sum CPU time : 1676.45     s
1677.75/210.02	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: 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-3320999-1304322184/watcher-3320999-1304322184 -o /tmp/evaluation-result-3320999-1304322184/solver-3320999-1304322184 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3320999-1304322184.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: 0.00 0.00 0.00 2/248 22340
/proc/meminfo: memFree=29320436/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=92188 CPUtime=0.02 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 413 0 0 0 2 0 0 0 23 0 8 0 543816376 94400512 352 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418674 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 23047 352 299 106 0 18018 0
[pid=22340/tid=22341] ppid=22338 vsize=92188 CPUtime=0 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 543816377 94400512 352 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418674 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=92188 CPUtime=0 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543816377 94400512 352 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418674 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=92188 CPUtime=0 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543816377 94400512 352 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418674 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=92188 CPUtime=0 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543816377 94400512 352 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418674 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=92188 CPUtime=0 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543816377 94400512 352 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418674 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=92188 CPUtime=0 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543816377 94400512 352 33554432000 4194304 4627427 140735324662704 18446744073709551615 228256146486 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=92188 CPUtime=0 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543816377 94400512 352 33554432000 4194304 4627427 140735324662704 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.045286 s]
/proc/loadavg: 0.00 0.00 0.00 2/248 22340
/proc/meminfo: memFree=29320436/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=92188 CPUtime=0.19 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 420 0 0 0 19 0 0 0 23 0 8 0 543816376 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 23047 359 303 106 0 18018 0
[pid=22340/tid=22341] ppid=22338 vsize=92188 CPUtime=0.04 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 5 0 0 0 4 0 0 0 23 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=92188 CPUtime=0 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418674 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=92188 CPUtime=0 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418674 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=92188 CPUtime=0.04 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418269 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=92188 CPUtime=0.04 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=92188 CPUtime=0.02 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=92188 CPUtime=0.02 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 92188

[startup+0.101276 s]
/proc/loadavg: 0.00 0.00 0.00 2/248 22340
/proc/meminfo: memFree=29320436/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=92188 CPUtime=0.53 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 420 0 0 0 53 0 0 0 23 0 8 0 543816376 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 23047 359 303 106 0 18018 0
[pid=22340/tid=22341] ppid=22338 vsize=92188 CPUtime=0.09 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 5 0 0 0 9 0 0 0 23 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=92188 CPUtime=0 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418674 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=92188 CPUtime=0 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418674 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=92188 CPUtime=0.09 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1 0 0 0 9 0 0 0 25 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=92188 CPUtime=0.09 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=92188 CPUtime=0.08 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 0 0 0 0 8 0 0 0 24 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=92188 CPUtime=0.07 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 8 0 543816377 94400512 359 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 92188

[startup+0.408967 s]
/proc/loadavg: 0.00 0.00 0.00 2/248 22340
/proc/meminfo: memFree=29320436/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=496812 CPUtime=4.74 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 11670 0 0 0 469 5 0 0 18 0 8 0 543816376 508735488 9086 33554432000 4194304 4627427 140735324662704 18446744073709551615 4329764 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 124203 9087 389 106 0 119174 0
[pid=22340/tid=22341] ppid=22338 vsize=496812 CPUtime=0.54 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1376 0 0 0 54 0 0 0 18 0 8 0 543816377 508735488 9087 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309327 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=496812 CPUtime=0.54 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1652 0 0 0 54 0 0 0 18 0 8 0 543816377 508735488 9087 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=496812 CPUtime=0.52 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1352 0 0 0 52 0 0 0 18 0 8 0 543816377 508735488 9087 33554432000 4194304 4627427 140735324662704 18446744073709551615 4330127 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=496812 CPUtime=0.65 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1739 0 0 0 64 1 0 0 18 0 8 0 543816377 508735488 9087 33554432000 4194304 4627427 140735324662704 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=496812 CPUtime=0.63 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1540 0 0 0 63 0 0 0 18 0 8 0 543816377 508735488 9087 33554432000 4194304 4627427 140735324662704 18446744073709551615 4333536 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=496812 CPUtime=0.61 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1464 0 0 0 61 0 0 0 18 0 8 0 543816377 508735488 9087 33554432000 4194304 4627427 140735324662704 18446744073709551615 228244453870 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=496812 CPUtime=0.53 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 750 0 0 0 53 0 0 0 18 0 8 0 543816377 508735488 9087 33554432000 4194304 4627427 140735324662704 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 496812

[startup+1.07011 s]
/proc/loadavg: 0.00 0.00 0.00 2/248 22340
/proc/meminfo: memFree=29320436/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=498300 CPUtime=7.93 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 14789 0 0 0 788 5 0 0 18 0 8 0 543816376 510259200 9534 33554432000 4194304 4627427 140735324662704 18446744073709551615 4322609 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 124575 9536 389 106 0 119546 0
[pid=22340/tid=22341] ppid=22338 vsize=498300 CPUtime=0.94 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1768 0 0 0 94 0 0 0 18 0 8 0 543816377 510259200 9536 33554432000 4194304 4627427 140735324662704 18446744073709551615 4352204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=498300 CPUtime=0.95 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 2089 0 0 0 95 0 0 0 19 0 8 0 543816377 510259200 9537 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=498300 CPUtime=0.92 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1826 0 0 0 92 0 0 0 19 0 8 0 543816377 510259200 9537 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=498300 CPUtime=1.05 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 2140 0 0 0 104 1 0 0 19 0 8 0 543816377 510259200 9537 33554432000 4194304 4627427 140735324662704 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=498300 CPUtime=1.03 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1958 0 0 0 103 0 0 0 19 0 8 0 543816377 510259200 9537 33554432000 4194304 4627427 140735324662704 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=498300 CPUtime=1 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1782 0 0 0 100 0 0 0 19 0 8 0 543816377 510259200 9537 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=498300 CPUtime=0.93 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1041 0 0 0 93 0 0 0 18 0 8 0 543816377 510259200 9537 33554432000 4194304 4627427 140735324662704 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (KiB) 498300

[startup+1.50103 s]
/proc/loadavg: 0.00 0.00 0.00 2/248 22340
/proc/meminfo: memFree=29320436/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=490752 CPUtime=11.38 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 17800 0 0 0 1132 6 0 0 19 0 8 0 543816376 502530048 10169 33554432000 4194304 4627427 140735324662704 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 122688 10169 389 106 0 117659 0
[pid=22340/tid=22341] ppid=22338 vsize=490752 CPUtime=1.38 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 2025 0 0 0 137 1 0 0 19 0 8 0 543816377 502530048 10169 33554432000 4194304 4627427 140735324662704 18446744073709551615 4329590 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=490752 CPUtime=1.38 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 2522 0 0 0 138 0 0 0 19 0 8 0 543816377 502530048 10169 33554432000 4194304 4627427 140735324662704 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=490752 CPUtime=1.35 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 2337 0 0 0 135 0 0 0 19 0 8 0 543816377 502530048 10169 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=490752 CPUtime=1.48 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 2624 0 0 0 147 1 0 0 19 0 8 0 543816377 502530048 10169 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=490752 CPUtime=1.46 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 2371 0 0 0 146 0 0 0 19 0 8 0 543816377 502530048 10169 33554432000 4194304 4627427 140735324662704 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=490752 CPUtime=1.43 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 2148 0 0 0 143 0 0 0 19 0 8 0 543816377 502530048 10169 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=490752 CPUtime=1.36 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 1328 0 0 0 136 0 0 0 19 0 8 0 543816377 502530048 10170 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.38
Current children cumulated vsize (KiB) 490752

[startup+3.10075 s]
/proc/loadavg: 0.00 0.00 0.00 9/256 22348
/proc/meminfo: memFree=29271768/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=452376 CPUtime=24.16 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 29400 0 0 0 2407 9 0 0 23 0 8 0 543816376 463233024 14106 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 113094 14106 391 106 0 108065 0
[pid=22340/tid=22341] ppid=22338 vsize=452376 CPUtime=2.98 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 3374 0 0 0 297 1 0 0 23 0 8 0 543816377 463233024 14106 33554432000 4194304 4627427 140735324662704 18446744073709551615 4305993 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=452376 CPUtime=2.98 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 3640 0 0 0 297 1 0 0 24 0 8 0 543816377 463233024 14106 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=452376 CPUtime=2.94 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 3742 0 0 0 294 0 0 0 24 0 8 0 543816377 463233024 14106 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=452376 CPUtime=3.08 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 4088 0 0 0 307 1 0 0 24 0 8 0 543816377 463233024 14106 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309965 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=452376 CPUtime=3.05 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 3726 0 0 0 305 0 0 0 24 0 8 0 543816377 463233024 14106 33554432000 4194304 4627427 140735324662704 18446744073709551615 4348160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=452376 CPUtime=3.01 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 3375 0 0 0 301 0 0 0 24 0 8 0 543816377 463233024 14106 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=452376 CPUtime=2.96 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 2223 0 0 0 296 0 0 0 23 0 8 0 543816377 463233024 14106 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.16
Current children cumulated vsize (KiB) 452376

[startup+6.30119 s]
/proc/loadavg: 0.64 0.13 0.04 9/256 22348
/proc/meminfo: memFree=29209772/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=452372 CPUtime=49.73 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 47061 0 0 0 4960 13 0 0 25 0 8 0 543816376 463228928 27717 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308127 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 113093 27717 391 106 0 108064 0
[pid=22340/tid=22341] ppid=22338 vsize=452372 CPUtime=6.18 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 5308 0 0 0 617 1 0 0 25 0 8 0 543816377 463228928 27717 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=452372 CPUtime=6.18 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 6547 0 0 0 617 1 0 0 25 0 8 0 543816377 463228928 27717 33554432000 4194304 4627427 140735324662704 18446744073709551615 4329728 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=452372 CPUtime=6.15 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 6328 0 0 0 614 1 0 0 25 0 8 0 543816377 463228928 27717 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309607 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=452372 CPUtime=6.28 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 7053 0 0 0 625 3 0 0 25 0 8 0 543816377 463228928 27717 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309710 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=452372 CPUtime=6.26 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 6485 0 0 0 625 1 0 0 25 0 8 0 543816377 463228928 27717 33554432000 4194304 4627427 140735324662704 18446744073709551615 4327603 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=452372 CPUtime=6.19 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 5234 0 0 0 619 0 0 0 25 0 8 0 543816377 463228928 27717 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=452372 CPUtime=6.17 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 2873 0 0 0 616 1 0 0 25 0 8 0 543816377 463228928 27717 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0

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

/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 76751 0 0 0 17954 23 0 0 25 0 8 0 543816377 901808128 114755 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=880672 CPUtime=179.76 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 70196 0 0 0 17960 16 0 0 25 0 8 0 543816377 901808128 114755 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=880672 CPUtime=178.38 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 56301 0 0 0 17824 14 0 0 25 0 8 0 543816377 901808128 114755 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=880672 CPUtime=179.66 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 30673 0 0 0 17959 7 0 0 25 0 8 0 543816377 901808128 114755 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1436.39
Current children cumulated vsize (KiB) 880672

[startup+192.601 s]
/proc/loadavg: 7.68 3.78 1.48 9/256 22353
/proc/meminfo: memFree=28865756/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=804448 CPUtime=1538.68 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 524890 0 0 0 153731 137 0 0 25 0 8 0 543816376 823754752 114242 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 201112 114242 391 106 0 196083 0
[pid=22340/tid=22341] ppid=22338 vsize=804448 CPUtime=192.47 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 71803 0 0 0 19230 17 0 0 25 0 8 0 543816377 823754752 114242 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=804448 CPUtime=192.46 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 56312 0 0 0 19232 14 0 0 25 0 8 0 543816377 823754752 114242 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=804448 CPUtime=192.45 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 70266 0 0 0 19227 18 0 0 25 0 8 0 543816377 823754752 114242 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=804448 CPUtime=192.57 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 77234 0 0 0 19234 23 0 0 25 0 8 0 543816377 823754752 114242 33554432000 4194304 4627427 140735324662704 18446744073709551615 4327488 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=804448 CPUtime=192.56 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 73804 0 0 0 19239 17 0 0 25 0 8 0 543816377 823754752 114242 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=804448 CPUtime=191.07 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 59212 0 0 0 19092 15 0 0 25 0 8 0 543816377 823754752 114242 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=804448 CPUtime=192.47 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 30895 0 0 0 19239 8 0 0 25 0 8 0 543816377 823754752 114242 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1538.68
Current children cumulated vsize (KiB) 804448

[startup+199.001 s]
/proc/loadavg: 7.70 3.85 1.52 9/256 22354
/proc/meminfo: memFree=28826516/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=816260 CPUtime=1589.84 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 535557 0 0 0 158844 140 0 0 25 0 8 0 543816376 835850240 122193 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309284 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 204065 122193 391 106 0 199036 0
[pid=22340/tid=22341] ppid=22338 vsize=816260 CPUtime=198.88 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 73180 0 0 0 19870 18 0 0 25 0 8 0 543816377 835850240 122193 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=816260 CPUtime=198.86 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 58119 0 0 0 19872 14 0 0 25 0 8 0 543816377 835850240 122193 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=816260 CPUtime=198.85 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 72154 0 0 0 19866 19 0 0 25 0 8 0 543816377 835850240 122193 33554432000 4194304 4627427 140735324662704 18446744073709551615 4327407 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=816260 CPUtime=198.96 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 78878 0 0 0 19873 23 0 0 25 0 8 0 543816377 835850240 122193 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=816260 CPUtime=198.96 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 75142 0 0 0 19879 17 0 0 25 0 8 0 543816377 835850240 122193 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=816260 CPUtime=197.43 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 60244 0 0 0 19727 16 0 0 25 0 8 0 543816377 835850240 122193 33554432000 4194304 4627427 140735324662704 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=816260 CPUtime=198.87 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 30895 0 0 0 19879 8 0 0 25 0 8 0 543816377 835850240 122193 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1589.84
Current children cumulated vsize (KiB) 816260

[startup+205.401 s]
/proc/loadavg: 7.75 3.98 1.59 9/256 22354
/proc/meminfo: memFree=28862852/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=824068 CPUtime=1640.98 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 544581 0 0 0 163955 143 0 0 25 0 8 0 543816376 843845632 114058 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 206017 114058 391 106 0 200988 0
[pid=22340/tid=22341] ppid=22338 vsize=824068 CPUtime=205.27 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 74668 0 0 0 20509 18 0 0 25 0 8 0 543816377 843845632 114058 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=824068 CPUtime=205.25 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 58722 0 0 0 20511 14 0 0 25 0 8 0 543816377 843845632 114058 33554432000 4194304 4627427 140735324662704 18446744073709551615 4310154 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=824068 CPUtime=205.25 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 73215 0 0 0 20506 19 0 0 25 0 8 0 543816377 843845632 114058 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=824068 CPUtime=205.37 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 80485 0 0 0 20513 24 0 0 25 0 8 0 543816377 843845632 114058 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=824068 CPUtime=205.36 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 77171 0 0 0 20518 18 0 0 25 0 8 0 543816377 843845632 114058 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=824068 CPUtime=203.78 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 60244 0 0 0 20362 16 0 0 25 0 8 0 543816377 843845632 114058 33554432000 4194304 4627427 140735324662704 18446744073709551615 4321681 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=824068 CPUtime=205.27 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 31572 0 0 0 20519 8 0 0 25 0 8 0 543816377 843845632 114058 33554432000 4194304 4627427 140735324662704 18446744073709551615 4330000 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1640.98
Current children cumulated vsize (KiB) 824068

[startup+208.609 s]
/proc/loadavg: 7.75 3.98 1.59 9/256 22354
/proc/meminfo: memFree=28852432/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=824068 CPUtime=1666.62 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 547481 0 0 0 166518 144 0 0 25 0 8 0 543816376 843845632 116958 33554432000 4194304 4627427 140735324662704 18446744073709551615 4332984 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 206017 116958 391 106 0 200988 0
[pid=22340/tid=22341] ppid=22338 vsize=824068 CPUtime=208.48 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 75241 0 0 0 20830 18 0 0 25 0 8 0 543816377 843845632 116958 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=824068 CPUtime=208.46 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 58722 0 0 0 20832 14 0 0 25 0 8 0 543816377 843845632 116958 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=824068 CPUtime=208.46 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 73695 0 0 0 20827 19 0 0 25 0 8 0 543816377 843845632 116958 33554432000 4194304 4627427 140735324662704 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=824068 CPUtime=208.57 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 81093 0 0 0 20833 24 0 0 25 0 8 0 543816377 843845632 116958 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=824068 CPUtime=208.57 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 77575 0 0 0 20839 18 0 0 25 0 8 0 543816377 843845632 116958 33554432000 4194304 4627427 140735324662704 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=824068 CPUtime=206.96 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 60244 0 0 0 20680 16 0 0 25 0 8 0 543816377 843845632 116958 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=824068 CPUtime=208.47 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 31873 0 0 0 20839 8 0 0 25 0 8 0 543816377 843845632 116958 33554432000 4194304 4627427 140735324662704 18446744073709551615 4261795 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1666.62
Current children cumulated vsize (KiB) 824068

[startup+209.401 s]
/proc/loadavg: 7.75 3.98 1.59 9/256 22354
/proc/meminfo: memFree=28852432/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=848344 CPUtime=1672.96 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 549811 0 0 0 167151 145 0 0 25 0 8 0 543816376 868704256 119288 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 212086 119288 391 106 0 207057 0
[pid=22340/tid=22341] ppid=22338 vsize=848344 CPUtime=209.27 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 75369 0 0 0 20909 18 0 0 25 0 8 0 543816377 868704256 119288 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=848344 CPUtime=209.25 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 58722 0 0 0 20911 14 0 0 25 0 8 0 543816377 868704256 119288 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=848344 CPUtime=209.25 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 74547 0 0 0 20906 19 0 0 25 0 8 0 543816377 868704256 119288 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=848344 CPUtime=209.36 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 81218 0 0 0 20912 24 0 0 25 0 8 0 543816377 868704256 119288 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=848344 CPUtime=209.36 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 77686 0 0 0 20918 18 0 0 25 0 8 0 543816377 868704256 119288 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=848344 CPUtime=207.76 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 61140 0 0 0 20760 16 0 0 25 0 8 0 543816377 868704256 119288 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=848344 CPUtime=209.27 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 31955 0 0 0 20919 8 0 0 25 0 8 0 543816377 868704256 119288 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1672.96
Current children cumulated vsize (KiB) 848344

[startup+209.801 s]
/proc/loadavg: 7.77 4.05 1.62 9/256 22354
/proc/meminfo: memFree=28842140/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=848344 CPUtime=1676.15 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 550183 0 0 0 167470 145 0 0 25 0 8 0 543816376 868704256 119660 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 212086 119660 391 106 0 207057 0
[pid=22340/tid=22341] ppid=22338 vsize=848344 CPUtime=209.67 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 75421 0 0 0 20949 18 0 0 25 0 8 0 543816377 868704256 119660 33554432000 4194304 4627427 140735324662704 18446744073709551615 4333394 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=848344 CPUtime=209.65 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 58722 0 0 0 20951 14 0 0 25 0 8 0 543816377 868704256 119660 33554432000 4194304 4627427 140735324662704 18446744073709551615 4321694 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=848344 CPUtime=209.65 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 74615 0 0 0 20946 19 0 0 25 0 8 0 543816377 868704256 119660 33554432000 4194304 4627427 140735324662704 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=848344 CPUtime=209.76 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 81266 0 0 0 20952 24 0 0 25 0 8 0 543816377 868704256 119660 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308937 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=848344 CPUtime=209.76 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 77745 0 0 0 20958 18 0 0 25 0 8 0 543816377 868704256 119660 33554432000 4194304 4627427 140735324662704 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=848344 CPUtime=208.15 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 61203 0 0 0 20799 16 0 0 25 0 8 0 543816377 868704256 119660 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309961 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=848344 CPUtime=209.67 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 31985 0 0 0 20959 8 0 0 25 0 8 0 543816377 868704256 119660 33554432000 4194304 4627427 140735324662704 18446744073709551615 4309075 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1676.15
Current children cumulated vsize (KiB) 848344

[startup+210.001 s]
/proc/loadavg: 7.77 4.05 1.62 9/256 22354
/proc/meminfo: memFree=28842140/32951124 swapFree=67111364/67111528
[pid=22340] ppid=22338 vsize=848344 CPUtime=1677.75 cores=0-7
/proc/22340/stat : 22340 (strangenight2-m) R 22338 22340 22314 0 -1 4202496 550316 0 0 0 167630 145 0 0 25 0 8 0 543816376 868704256 119793 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22340/statm: 212086 119793 391 106 0 207057 0
[pid=22340/tid=22341] ppid=22338 vsize=848344 CPUtime=209.87 cores=0-7
/proc/22340/task/22341/stat : 22341 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 75436 0 0 0 20969 18 0 0 25 0 8 0 543816377 868704256 119793 33554432000 4194304 4627427 140735324662704 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22340/tid=22342] ppid=22338 vsize=848344 CPUtime=209.85 cores=0-7
/proc/22340/task/22342/stat : 22342 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 58722 0 0 0 20971 14 0 0 25 0 8 0 543816377 868704256 119793 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418269 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22340/tid=22343] ppid=22338 vsize=848344 CPUtime=209.85 cores=0-7
/proc/22340/task/22343/stat : 22343 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 74627 0 0 0 20966 19 0 0 25 0 8 0 543816377 868704256 119793 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785393860 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22340/tid=22344] ppid=22338 vsize=848344 CPUtime=209.96 cores=0-7
/proc/22340/task/22344/stat : 22344 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 81288 0 0 0 20972 24 0 0 25 0 8 0 543816377 868704256 119793 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22340/tid=22345] ppid=22338 vsize=848344 CPUtime=209.96 cores=0-7
/proc/22340/task/22345/stat : 22345 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 77765 0 0 0 20978 18 0 0 25 0 8 0 543816377 868704256 119793 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22340/tid=22346] ppid=22338 vsize=848344 CPUtime=208.35 cores=0-7
/proc/22340/task/22346/stat : 22346 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 61225 0 0 0 20819 16 0 0 25 0 8 0 543816377 868704256 119793 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22340/tid=22347] ppid=22338 vsize=848344 CPUtime=209.87 cores=0-7
/proc/22340/task/22347/stat : 22347 (strangenight2-m) R 22338 22340 22314 0 -1 4202560 31998 0 0 0 20979 8 0 0 25 0 8 0 543816377 868704256 119793 33554432000 4194304 4627427 140735324662704 18446744073709551615 46923785418265 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1677.75
Current children cumulated vsize (KiB) 848344

Child status: 20
Real time (s): 210.045
CPU time (s): 1677.93
CPU user time (s): 1676.45
CPU system time (s): 1.47678
CPU usage (%): 798.842
Max. virtual memory (cumulated for all children) (KiB): 927088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1676.45
system time used= 1.47677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550319
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= 4572
involuntary context switches= 7462

runsolver used 0.45993 second user time and 1.15482 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-02 09:43:04
IDJOB=3320999
IDBENCH=20401
IDSOLVER=1709
FILE ID=node136/3320999-1304322184
RUNJOBID= node136-1304322184-22328
PBS_JOBID= 13176790
Free space on /tmp= 73944 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-03.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3320999-1304322184/watcher-3320999-1304322184 -o /tmp/evaluation-result-3320999-1304322184/solver-3320999-1304322184 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3320999-1304322184.cnf

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

MD5SUM BENCH= 8c67f78ca36ec96e662a91c74844da21
RANDOM SEED=1223615711

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29320972 kB
Buffers:        660208 kB
Cached:        1235456 kB
SwapCached:          0 kB
Active:        1619244 kB
Inactive:      1564164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29320972 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5816 kB
Writeback:           4 kB
AnonPages:     1287348 kB
Mapped:          21316 kB
Slab:           370412 kB
PageTables:      15352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 40140572 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= 73940 MiB
End job on node136 at 2011-05-02 09:46:34