Trace number 3400789

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 27172.7 857.35

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
MD5SUM7886cd26d6e0801ea382a1ffd6224023
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark18047.5
Satisfiable
(Un)Satisfiability was proved
Number of variables192503
Number of clauses564953
Sum of the clauses size1318221
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2376634
Number of clauses of size 3188317
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3400789-1306784046.cnf'
0.00/0.06	c -- header says num vars:         192503
0.00/0.06	c -- header says num clauses:      564953
91.27/5.80	c -- clauses added:            0 learnts,       564953 normals,            0 xors
91.27/5.80	c -- vars added     192503
91.27/5.80	c Parsing time:  0.84 s
91.27/5.80	c  N st     0         0    192503    188317    376634         0   1318219         0   no data   no data
111.59/6.51	c asymm  cl-useful: 0/188316/188316 lits-rem:0 time: 0.70
159.40/7.93	c Flit:     1 Blit:   1956 bXBeca:    0 bXProp: 1678 Bins:      0 BRemL:      0 BRemN:      0 P: 13.7M T:  1.41
159.40/7.98	c Cleaning up after failed var search:     0.05 s 
165.32/8.10	c Replacing     1678 vars Replaced    20908 lits Time:     0.11 s 
187.09/10.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
190.24/10.12	c bin-w-bin subsume rem         1752 bins  time:  0.10 s
199.58/10.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.35 s
213.00/10.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 136563 time:  0.34 s
221.65/11.23	c Removed useless bin:       3  fixed:     0  props:  11.20M  time:  0.25 s
347.02/16.34	c lits-rem:         0  cl-subs:     7922  v-elim:  62955  v-fix:    0  time:  2.56 s
347.02/16.43	c Finding binary XORs  T:     0.09 s  found:       0
358.22/16.72	c Finding non-binary XORs:     0.16 s (found:   14022, avg size: 3.0)
358.22/16.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   2993 locsubst:   221 time:   0.10
358.22/16.77	c calculated reachability. Time: 0.01
361.38/16.82	c Calc default polars -  time:   0.05 s pos:    5112 undec:   72874 neg:  114517
361.38/16.82	c =========================================================================================
361.38/16.82	c types(t): F = full restart, N = normal restart
361.38/16.82	c types(t): S = simplification begin/end, E = solution found
361.38/16.82	c restart types(rt): st = static, dy = dynamic
361.38/16.82	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
361.38/16.82	c  B st     0         0    122918    143317    210502         0    913752         0   no data   no data
387.50/17.66	c  N dy    17      4196    122918    143317    210726      3930    913752     40909      5.83      6.21
422.61/18.79	c  N dy    45      8251    122906    143317    213290      7805    913752     89020      6.07      7.95
463.54/20.02	c  N dy    72     12335    122891    143317    215347     11771    913752    143264      6.25      6.74
517.87/21.76	c  N dy    93     16923    122885    143317    215505     16153    913752    195790      6.22      6.66
581.74/23.74	c  N dy   121     21016    122883    143317    217484     10560    913752     68261      6.32      6.87
660.75/26.53	c  F st   146     25000    122874    143317    219446     14418    913752    122908      6.41   no data
663.65/26.67	c Replacing      110 vars Replaced      665 lits Time:     0.09 s 
683.81/27.32	c Found part    18243 vars:         37 clauses:        90 lits size:       208
683.81/27.32	c Found part    18245 vars:         73 clauses:       178 lits size:       412
683.81/27.32	c Found part    18265 vars:         37 clauses:        90 lits size:       208
683.81/27.32	c Found part    18306 vars:         37 clauses:        90 lits size:       208
683.81/27.32	c Found part    19136 vars:     122572 clauses:    364076 lits size:    911808
683.81/27.32	c Found parts:          5 time: 0.78 s
683.81/27.32	c Solving part 18243
689.73/27.53	c  N st     0         0        37        28        72         0       208        20   no data   no data
689.73/27.53	c asymm  cl-useful: 0/28/28 lits-rem:0 time: 0.00
689.73/27.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
689.73/27.55	c Finding binary XORs  T:     0.02 s  found:       0
689.73/27.56	c Replacing        2 vars Replaced       38 lits Time:     0.00 s 
689.73/27.56	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
689.73/27.56	c calculated reachability. Time: 0.00
689.73/27.56	c Calc default polars -  time:   0.00 s pos:       0 undec:  192470 neg:      33
689.73/27.56	c =========================================================================================
689.73/27.56	c types(t): F = full restart, N = normal restart
689.73/27.56	c types(t): S = simplification begin/end, E = solution found
689.73/27.56	c restart types(rt): st = static, dy = dynamic
689.73/27.56	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
689.73/27.56	c  B st     0         0        35        28        66         0       204        12   no data   no data
689.73/27.56	c  E st     1         0         0        28        66         0       204        12   no data   no data
689.73/27.57	c Verified 28 clauses.
689.73/27.57	c Verified 28 clauses.
689.73/27.57	c Solved part
689.73/27.57	c =========================================================================================
689.73/27.58	c Solving part 18265
694.00/27.78	c  N st     0         0        37        28        68         0       208        12   no data   no data
694.00/27.78	c asymm  cl-useful: 0/28/28 lits-rem:0 time: 0.00
694.00/27.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
694.00/27.80	c Finding binary XORs  T:     0.02 s  found:       0
696.82/27.80	c Replacing        1 vars Replaced       17 lits Time:     0.01 s 
696.82/27.81	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
696.82/27.81	c calculated reachability. Time: 0.00
696.82/27.81	c Calc default polars -  time:   0.00 s pos:       0 undec:  192468 neg:      35
696.82/27.81	c =========================================================================================
696.82/27.81	c types(t): F = full restart, N = normal restart
696.82/27.81	c types(t): S = simplification begin/end, E = solution found
696.82/27.81	c restart types(rt): st = static, dy = dynamic
696.82/27.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
696.82/27.81	c  B st     0         0        36        28        64         0       204         8   no data   no data
696.82/27.81	c  E st     1         0         0        28        64         0       204         8   no data   no data
696.82/27.82	c Verified 28 clauses.
696.82/27.82	c Verified 28 clauses.
696.82/27.82	c Solved part
696.82/27.82	c =========================================================================================
696.82/27.83	c Solving part 18306
702.31/28.04	c  N st     0         0        37        28        68         0       208        12   no data   no data
702.31/28.04	c asymm  cl-useful: 0/28/28 lits-rem:0 time: 0.00
702.31/28.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
702.31/28.06	c Finding binary XORs  T:     0.02 s  found:       0
702.31/28.06	c Replacing        1 vars Replaced       17 lits Time:     0.01 s 
702.31/28.07	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
702.31/28.07	c calculated reachability. Time: 0.00
702.31/28.07	c Calc default polars -  time:   0.00 s pos:       0 undec:  192468 neg:      35
702.31/28.07	c =========================================================================================
702.31/28.07	c types(t): F = full restart, N = normal restart
702.31/28.07	c types(t): S = simplification begin/end, E = solution found
702.31/28.07	c restart types(rt): st = static, dy = dynamic
702.31/28.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
702.31/28.07	c  B st     0         0        36        28        64         0       204         8   no data   no data
702.31/28.07	c  E st     1         0         0        28        64         0       204         8   no data   no data
702.31/28.08	c Verified 28 clauses.
702.31/28.08	c Verified 28 clauses.
702.31/28.08	c Solved part
702.31/28.08	c =========================================================================================
702.31/28.09	c Solving part 18245
711.03/28.30	c  N st     0         0        73        56       146         0       412        48   no data   no data
711.03/28.30	c asymm  cl-useful: 0/56/56 lits-rem:0 time: 0.00
711.03/28.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
711.03/28.33	c Finding binary XORs  T:     0.02 s  found:       0
711.03/28.33	c Replacing        8 vars Replaced      148 lits Time:     0.01 s 
711.03/28.34	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
711.03/28.34	c calculated reachability. Time: 0.00
711.03/28.34	c Calc default polars -  time:   0.01 s pos:       0 undec:  192444 neg:      59
711.03/28.34	c =========================================================================================
711.03/28.34	c types(t): F = full restart, N = normal restart
711.03/28.34	c types(t): S = simplification begin/end, E = solution found
711.03/28.34	c restart types(rt): st = static, dy = dynamic
711.03/28.34	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
711.03/28.34	c  B st     0         0        65        56       130         0       408        20   no data   no data
711.03/28.34	c  E st     1         0         0        56       130         0       408        20   no data   no data
711.03/28.35	c Verified 56 clauses.
711.03/28.35	c Verified 56 clauses.
711.03/28.35	c Solved part
711.03/28.35	c =========================================================================================
711.03/28.36	c Coming back to original instance
711.03/28.36	c =========================================================================================
713.90/28.41	c  N st   147     25250    122572    143125    218818     14667    911808    126990      6.41   no data
790.24/30.82	c  N dy   152     30001    122570    143125    218920     19283    911808    196277      6.41   no data
790.24/30.82	c  S st   152     30001    122570    143125    218920     19283    911808    196277      6.41   no data
802.40/31.25	c  S st   152     30503    122569    143125    220364     19720    911808    203322      6.41   no data
805.59/31.33	c x-sub:   110 x-cut:      0 vfix:      0 v-elim:    680 locsubst:   182 time:   0.08
863.11/33.18	c Flit:     1 Blit:     45 bXBeca:    0 bXProp: 5172 Bins: 115781 BRemL:  67775 BRemN:      7 P: 17.9M T:  1.84
869.51/33.36	c Replacing     5224 vars Replaced   128622 lits Time:     0.17 s 
872.71/33.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
875.91/33.54	c bin-w-bin subsume rem         9872 bins  time:  0.06 s
882.29/33.71	c subs with bin:      744  lits-rem:      1901  v-fix:    0  time:  0.17 s
888.69/33.92	c Subs w/ non-existent bins:     13 l-rem:      6 v-fix:     0 done: 116613 time:  0.20 s
892.48/34.10	c Removed useless bin:      11  fixed:     0  props:   3.37M  time:  0.18 s
946.15/35.79	c lits-rem:       409  cl-subs:    15934  v-elim:  61656  v-fix:    6  time:  1.66 s
949.34/35.88	c subs with bin:       78  lits-rem:       216  v-fix:    0  time:  0.05 s
955.74/36.06	c lits-rem:        54  cl-subs:      461  v-elim:      0  v-fix:    0  time:  0.11 s
968.47/36.49	c asymm  cl-useful: 1121/160494/160494 lits-rem:1121 time: 0.43
971.66/36.53	c calculated reachability. Time: 0.01
971.66/36.53	c  N dy   152     30503     54951    160494     44579      5916    654463     45688      6.41   no data
971.66/36.57	c Finding binary XORs  T:     0.05 s  found:      10
1003.61/37.51	c  N dy   179     34605     54951    160494     44600      9922    654463     91477      6.47      6.83
1029.20/38.37	c  N dy   207     38790     54950    160494     45020     14009    654463    140628      6.54      7.02
1068.00/39.53	c  N dy   237     42815     54948    160494     45035      9614    654463     58957      6.62      8.90
1155.30/42.57	c  S st   260     45754     54946    160494     50987     12499    654463    108357      6.72      5.90
1161.69/42.76	c  S st   260     46255     54945    160494     50994     12988    654463    113190      6.72   no data
1161.69/42.82	c x-sub:    52 x-cut:      0 vfix:      0 v-elim:    358 locsubst:   494 time:   0.06
1180.85/43.31	c Flit:     0 Blit:     94 bXBeca:    0 bXProp:  681 Bins:   1398 BRemL:   2766 BRemN:     23 P:  3.9M T:  0.49
1184.05/43.41	c Replacing      797 vars Replaced    18143 lits Time:     0.09 s 
1187.25/43.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1187.25/43.54	c bin-w-bin subsume rem         4069 bins  time:  0.03 s
1190.45/43.69	c subs with bin:      259  lits-rem:       339  v-fix:    0  time:  0.15 s
1193.63/43.76	c Subs w/ non-existent bins:      9 l-rem:      4 v-fix:     0 done:  53696 time:  0.07 s
1196.83/43.84	c Removed useless bin:       6  fixed:     0  props:   0.92M  time:  0.08 s
1225.58/44.72	c lits-rem:       165  cl-subs:     1060  v-elim:    447  v-fix:    0  time:  0.88 s
1228.78/44.81	c subs with bin:       59  lits-rem:       242  v-fix:    0  time:  0.05 s
1231.98/45.01	c lits-rem:        96  cl-subs:      213  v-elim:      0  v-fix:    0  time:  0.12 s
1235.76/45.06	c vivif2 --  cl tried   159562 cl shrink       27 lits rem         27 time: 0.05
1235.76/45.07	c vivif2 --  cl tried    12242 cl shrink      364 lits rem        505 time: 0.01
1251.14/45.58	c asymm  cl-useful: 26/159562/159562 lits-rem:26 time: 0.51
1254.35/45.62	c calculated reachability. Time: 0.02
1254.35/45.62	c  N dy   260     46255     53249    159562     42469     12242    644573     94787      6.72   no data
1270.93/46.17	c  N dy   264     50959     53249    159562     43283     16838    644573    141267      6.61      6.99
1289.50/46.72	c  N dy   282     55133     53245    159562     43296     20960    644573    186061      6.59      6.97
1306.07/47.25	c  N dy   296     59145     53245    159562     43900     24925    644573    230149      6.55      6.97
1315.04/47.58	c Finding binary XORs  T:     0.06 s  found:     129
1327.84/47.91	c  N dy   311     63296     53244    159554     43993     29028    644504    274486      6.53      7.08
1347.00/48.58	c  N dy   332     67969     53244    159554     44058     18917    644503    119629      6.53      6.93
1353.40/48.78	c  S st   338     69382     53244    159554     44061     20319    644503    134875      6.52      5.70
1362.99/49.00	c  S st   338     69887     53242    159554     44071     20810    644503    138910      6.52   no data
1362.99/49.06	c x-sub:   110 x-cut:     48 vfix:      0 v-elim:    227 locsubst:    36 time:   0.06
1379.61/49.53	c Flit:     0 Blit:     42 bXBeca:    0 bXProp:  316 Bins:   1020 BRemL:    743 BRemN:      0 P:  3.9M T:  0.47
1382.16/49.62	c Replacing      483 vars Replaced    11956 lits Time:     0.09 s 
1385.36/49.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1385.36/49.76	c bin-w-bin subsume rem         1122 bins  time:  0.03 s
1391.76/49.90	c subs with bin:       44  lits-rem:         0  v-fix:    0  time:  0.14 s
1391.76/49.98	c Subs w/ non-existent bins:      9 l-rem:      0 v-fix:     0 done:  52490 time:  0.07 s
1394.96/50.06	c Removed useless bin:       0  fixed:     0  props:   0.89M  time:  0.08 s
1407.75/50.46	c lits-rem:        18  cl-subs:      541  v-elim:     52  v-fix:    0  time:  0.41 s
1411.53/50.56	c subs with bin:      144  lits-rem:       184  v-fix:    0  time:  0.05 s
1417.33/50.77	c lits-rem:       159  cl-subs:      233  v-elim:      0  v-fix:    0  time:  0.13 s
1420.52/50.82	c vivif2 --  cl tried   158802 cl shrink        0 lits rem          0 time: 0.05
1420.52/50.84	c vivif2 --  cl tried    20250 cl shrink      743 lits rem       1221 time: 0.01
1436.52/51.34	c asymm  cl-useful: 35/158802/158802 lits-rem:43 time: 0.51
1436.52/51.39	c calculated reachability. Time: 0.01
1436.52/51.39	c  N dy   338     69887     52438    158798     42172     20245    638900    132160      6.52   no data
1458.88/52.01	c  N dy   357     74421     52438    158798     44449     24730    638900    189221      6.51      6.92
1478.07/52.68	c  N dy   382     79189     52438    158798     44459     29433    638900    245130      6.52      6.90
1503.64/53.46	c  N dy   407     84274     52437    158798     44726     34467    638900    304605      6.52      6.96
1520.25/53.99	c  F st   425     87500     52437    158798     44794     19072    638900     95619      6.52   no data
1552.14/55.01	c  N st   430     90796     52437    158797     44798     22339    638887    147994      6.52   no data
1580.23/55.86	c  N dy   449     96681     52437    158797     44982     28168    638887    216592      6.52      8.53
1605.01/56.66	c  N dy   477    102917     52437    158797     45043     34316    638887    295506      6.53      6.90
1614.60/56.96	c  S st   488    104830     52437    158797     45047     36205    638887    318248      6.53   no data
1624.84/57.26	c  S st   488    105330     52436    158797     45056     36687    638887    321463      6.53   no data
1627.36/57.32	c x-sub:    18 x-cut:      0 vfix:      0 v-elim:    201 locsubst:    38 time:   0.06
1643.35/57.82	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:  571 Bins:   1092 BRemL:    991 BRemN:      1 P:  4.2M T:  0.49
1646.56/57.92	c Replacing      590 vars Replaced    14097 lits Time:     0.09 s 
1649.76/58.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1649.76/58.06	c bin-w-bin subsume rem         2275 bins  time:  0.03 s
1656.74/58.22	c subs with bin:       21  lits-rem:         4  v-fix:    0  time:  0.14 s
1656.74/58.30	c Subs w/ non-existent bins:      6 l-rem:      0 v-fix:     0 done:  51643 time:  0.07 s
1659.97/58.38	c Removed useless bin:       1  fixed:     0  props:   0.87M  time:  0.08 s
1672.11/58.80	c lits-rem:        19  cl-subs:      627  v-elim:     27  v-fix:    0  time:  0.41 s
1678.50/58.94	c subs with bin:      178  lits-rem:       427  v-fix:    0  time:  0.06 s
1688.10/59.20	c lits-rem:       376  cl-subs:      471  v-elim:      0  v-fix:    0  time:  0.18 s
1688.10/59.24	c vivif2 --  cl tried   158091 cl shrink        0 lits rem          0 time: 0.05
1688.10/59.28	c vivif2 --  cl tried    35798 cl shrink     2497 lits rem       3871 time: 0.03
1707.26/59.86	c asymm  cl-useful: 12/158091/158091 lits-rem:12 time: 0.56
1710.45/59.91	c calculated reachability. Time: 0.02
1710.45/59.91	c  N dy   488    105330     51616    158091     41685     35796    634417    304529      6.53   no data
1747.72/61.14	c  N dy   520    112377     51616    158091     42403     22810    634417    109965      6.52      6.91
1757.03/61.40	c Finding binary XORs  T:     0.06 s  found:     123
1785.78/62.36	c  N dy   557    119641     51613    158087     42896     29994    634373    194170      6.52      7.27
1826.88/63.66	c  N dy   603    127294     51613    158087     43189     37588    634373    285404      6.54      7.00
1874.76/65.14	c  N dy   657    135691     51611    158087     43298     45889    634373    386331      6.57      6.97
1925.89/66.72	c  N dy   701    144763     51609    158087     43663     34933    634373    221051      6.57      6.94
1980.15/68.43	c  N dy   752    154783     51608    158087     43754     44837    634373    335386      6.58      7.03
1996.13/68.97	c  S st   769    157996     51608    158087     43927     48029    634373    373205      6.58   no data
2006.32/69.24	c  S st   769    158498     51608    158087     43930     48524    634373    377648      6.58   no data
2006.32/69.30	c x-sub:    20 x-cut:      0 vfix:      0 v-elim:    200 locsubst:    40 time:   0.06
2024.90/69.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  580 Bins:    715 BRemL:    533 BRemN:      0 P:  4.4M T:  0.50
2028.09/69.91	c Replacing      723 vars Replaced    18275 lits Time:     0.10 s 
2031.29/70.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2031.29/70.04	c bin-w-bin subsume rem         1338 bins  time:  0.03 s
2034.49/70.18	c subs with bin:       22  lits-rem:         0  v-fix:    0  time:  0.14 s
2037.69/70.26	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  50684 time:  0.07 s
2041.48/70.34	c Removed useless bin:       1  fixed:     0  props:   0.86M  time:  0.08 s
2053.62/70.76	c lits-rem:        35  cl-subs:      814  v-elim:     71  v-fix:    0  time:  0.42 s
2060.02/70.90	c subs with bin:       92  lits-rem:       288  v-fix:    0  time:  0.06 s
2066.42/71.17	c lits-rem:       485  cl-subs:      537  v-elim:      0  v-fix:    0  time:  0.19 s
2069.61/71.21	c vivif2 --  cl tried   157132 cl shrink        0 lits rem          0 time: 0.05
2069.61/71.25	c vivif2 --  cl tried    47697 cl shrink     2759 lits rem       4152 time: 0.04
2088.77/71.86	c asymm  cl-useful: 27/157132/157132 lits-rem:27 time: 0.61
2091.97/71.91	c calculated reachability. Time: 0.01
2091.97/71.91	c  N dy   769    158498     50613    157132     41240     47697    628638    362566      6.58   no data
2136.72/73.37	c  N dy   815    168624     50611    157132     41835     36469    628638    207609      6.58      6.96
2194.24/75.19	c  N dy   868    179410     50611    157132     41895     47160    628638    337009      6.59      6.95
2210.22/75.61	c Finding binary XORs  T:     0.06 s  found:     224
2267.71/77.44	c  N dy   931    191066     50609    157130     42284     36516    628612    175281      6.60      7.00
2334.77/79.51	c  N dy  1002    203315     50608    157130     42584     48646    628612    323084      6.61      7.10
2408.29/81.85	c  N dy  1077    216312     50607    157130     43281     61484    628612    477508      6.63      8.62
2481.77/84.11	c  N dy  1152    230193     50605    157130     43543     52088    628612    333922      6.64      7.07
2523.30/85.41	c  S st  1206    237749     50605    157130     43773     59569    628612    432756      6.66      6.51
2529.69/85.66	c  S st  1206    238251     50604    157130     43776     60066    628612    437185      6.66   no data
2529.69/85.71	c x-sub:    25 x-cut:      0 vfix:      0 v-elim:     80 locsubst:    52 time:   0.06
2548.84/86.22	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  428 Bins:    327 BRemL:    498 BRemN:      2 P:  4.6M T:  0.50
2552.05/86.33	c Replacing      663 vars Replaced    15959 lits Time:     0.10 s 
2555.24/86.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2555.24/86.46	c bin-w-bin subsume rem         1132 bins  time:  0.03 s
2561.64/86.60	c subs with bin:       37  lits-rem:        12  v-fix:    0  time:  0.14 s
2561.64/86.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  49857 time:  0.08 s
2564.83/86.76	c Removed useless bin:       0  fixed:     0  props:   0.84M  time:  0.08 s
2580.79/87.20	c lits-rem:       431  cl-subs:      880  v-elim:    154  v-fix:    0  time:  0.43 s
2583.99/87.35	c subs with bin:      311  lits-rem:       290  v-fix:    0  time:  0.07 s
2593.59/87.64	c lits-rem:       493  cl-subs:      634  v-elim:      0  v-fix:    0  time:  0.21 s
2593.59/87.69	c vivif2 --  cl tried   155457 cl shrink        3 lits rem          3 time: 0.05
2596.78/87.73	c vivif2 --  cl tried    58911 cl shrink     2847 lits rem       4453 time: 0.05
2615.94/88.39	c asymm  cl-useful: 25/155455/155455 lits-rem:25 time: 0.66
2619.13/88.44	c calculated reachability. Time: 0.01
2619.13/88.44	c  N dy  1206    238251     49703    155455     41066     58911    621662    419805      6.66   no data
2705.45/91.19	c  N dy  1289    253906     49700    155455     41626     49769    621662    274732      6.67      7.07
2731.01/91.96	c Finding binary XORs  T:     0.06 s  found:     127
2791.68/93.82	c  N dy  1377    270263     49699    155452     41846     65942    621623    486289      6.68      7.09
2890.73/96.91	c  N dy  1474    287675     49694    155452     42217     57830    621623    341644      6.69      7.06
3005.75/100.58	c  N dy  1597    306159     49689    155452     42678     76125    621622    570431      6.71      7.09
3008.94/100.62	c  F st  1598    306250     49689    155452     42678     76216    621622    571371      6.71   no data
3012.14/100.72	c Replacing      127 vars Replaced     3933 lits Time:     0.07 s 
3134.12/104.55	c  N dy  1697    325792     49559    155435     42819     69336    621434    470691      6.73      7.97
3251.73/108.27	c Finding binary XORs  T:     0.06 s  found:     511
3254.93/108.34	c Replacing      511 vars Replaced    10440 lits Time:     0.07 s 
3267.71/108.81	c  N dy  1823    345821     49043    155405     42551     61672    621214    330349      6.75      8.14
3341.82/111.03	c  S st  1897    357376     49040    155405     43013     73065    621214    474873      6.76   no data
3347.61/111.26	c  S st  1897    357883     49040    155405     43015     73566    621214    480296      6.76   no data
3350.80/111.32	c x-sub:    82 x-cut:      0 vfix:      0 v-elim:     99 locsubst:    16 time:   0.06
3366.79/111.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   93 Bins:     53 BRemL:    617 BRemN:      2 P:  4.8M T:  0.52
3369.98/111.95	c Replacing      101 vars Replaced     2567 lits Time:     0.10 s 
3373.18/112.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3373.18/112.09	c bin-w-bin subsume rem          975 bins  time:  0.03 s
3380.17/112.23	c subs with bin:       45  lits-rem:         6  v-fix:    0  time:  0.14 s
3382.76/112.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48840 time:  0.08 s
3382.76/112.39	c Removed useless bin:       0  fixed:     0  props:   0.83M  time:  0.08 s
3401.93/112.96	c lits-rem:       246  cl-subs:      855  v-elim:    189  v-fix:    0  time:  0.57 s
3408.33/113.12	c subs with bin:      257  lits-rem:       297  v-fix:    0  time:  0.07 s
3417.90/113.44	c lits-rem:       728  cl-subs:     1012  v-elim:      0  v-fix:    0  time:  0.25 s
3417.90/113.49	c vivif2 --  cl tried   154043 cl shrink        0 lits rem          0 time: 0.05
3421.09/113.55	c vivif2 --  cl tried    72263 cl shrink     2306 lits rem       3483 time: 0.06
3447.27/114.34	c asymm  cl-useful: 44/154043/154043 lits-rem:44 time: 0.78
3447.27/114.38	c calculated reachability. Time: 0.02
3447.27/114.39	c  N dy  1897    357883     48651    154043     41133     72263    615149    463981      6.76   no data
3593.64/118.96	c  N dy  2032    378043     48644    154043     41906     63525    615149    324800      6.78      7.30
3737.44/123.47	c  N dy  2170    398073     48637    154043     42603     83368    615149    580617      6.80      7.25
3791.76/125.18	c Finding binary XORs  T:     0.06 s  found:     454
3878.01/127.88	c  N dy  2309    418170     48629    154021     43154     73728    614911    423150      6.82      7.20
4018.60/132.30	c  N dy  2428    438312     48625    154021     43779     93688    614911    680798      6.83      7.20
4156.02/136.52	c  N dy  2566    458508     48615    154021     44404     83491    614910    518950      6.86      7.23
4232.73/138.98	c Finding binary XORs  T:     0.06 s  found:     628
4235.93/139.07	c Replacing     1082 vars Replaced    26767 lits Time:     0.09 s 
4306.23/141.24	c  N dy  2700    478607     47518    153984     43045    102829    614428    773862      6.88      7.29
4446.85/145.64	c  N dy  2835    498793     47507    153984     43651     91810    614428    589279      6.89      7.36
4587.49/150.01	c  N dy  2967    518811     47486    153984     44456     79474    614427    399455      6.91      7.35
4683.38/153.05	c Finding binary XORs  T:     0.06 s  found:     623
4686.58/153.13	c Replacing      623 vars Replaced    14778 lits Time:     0.08 s 
4708.97/153.81	c  S st  3072    536825     46853    153933     43606     96686    613707    621005      6.92   no data
4715.95/154.06	c  S st  3072    537326     46853    153933     43606     97186    613707    625992      6.92   no data
4718.54/154.12	c x-sub:    76 x-cut:      0 vfix:      0 v-elim:     29 locsubst:   166 time:   0.06
4734.53/154.66	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:   76 Bins:     89 BRemL:    668 BRemN:      4 P:  5.3M T:  0.54
4737.73/154.77	c Replacing      144 vars Replaced     2668 lits Time:     0.10 s 
4740.93/154.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4744.12/154.91	c bin-w-bin subsume rem         1492 bins  time:  0.03 s
4747.92/155.04	c subs with bin:       24  lits-rem:        16  v-fix:    0  time:  0.13 s
4747.92/155.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  46670 time:  0.07 s
4751.12/155.20	c Removed useless bin:       1  fixed:     0  props:   0.82M  time:  0.08 s
4766.46/155.66	c lits-rem:       674  cl-subs:     1695  v-elim:    371  v-fix:    0  time:  0.46 s
4772.89/155.85	c subs with bin:      644  lits-rem:       689  v-fix:    0  time:  0.08 s
4786.27/156.24	c lits-rem:      1104  cl-subs:     1753  v-elim:      0  v-fix:    0  time:  0.31 s
4786.27/156.29	c vivif2 --  cl tried   151175 cl shrink        0 lits rem          0 time: 0.05
4788.83/156.37	c vivif2 --  cl tried    94712 cl shrink     2635 lits rem       4001 time: 0.08
4814.42/157.15	c asymm  cl-useful: 51/140569/151175 lits-rem:54 time: 0.78
4814.42/157.20	c calculated reachability. Time: 0.01
4814.42/157.20	c  N dy  3072    537326     46299    151174     41004     94712    603174    600992      6.92   no data
4967.84/161.99	c  N dy  3206    557357     46265    151174     42062    114457    603174    852118      6.93      7.96
5114.88/166.52	c  N dy  3326    577361     46241    151174     42640    100153    603174    636249      6.94      7.33
5169.82/168.26	c Finding binary XORs  T:     0.06 s  found:     653
5173.05/168.35	c Replacing      653 vars Replaced    15644 lits Time:     0.08 s 
5287.47/171.90	c  N dy  3441    597495     45558    151107     42350     86189    602195    424576      6.94      7.55
5434.51/176.59	c  N dy  3552    617594     45528    151107     43195    106070    602195    672259      6.95      8.86
5539.98/179.80	c Finding binary XORs  T:     0.06 s  found:     822
5539.98/179.89	c Replacing      822 vars Replaced    21212 lits Time:     0.09 s 
5600.70/181.78	c  N dy  3680    637617     44662    151008     42588     90645    600756    449145      6.96      8.65
5763.71/186.80	c  N dy  3801    657854     44620    151008     43363    110643    600756    701627      6.97      7.58
5908.14/191.37	c Finding binary XORs  T:     0.06 s  found:     841
5911.37/191.47	c Replacing      841 vars Replaced    22402 lits Time:     0.10 s 
5943.30/192.43	c  N dy  3924    677914     43737    150917     42584    129640    599449    955232      6.98      9.48
6119.10/197.94	c  N dy  4061    697948     43659    150917     43883    113962    599449    723178      6.99      7.38
6271.94/202.78	c Finding binary XORs  T:     0.06 s  found:     827
6275.14/202.88	c Replacing      827 vars Replaced    20272 lits Time:     0.09 s 
6300.71/203.67	c  N dy  4191    718005     42766    150764     42776    133194    597255    980629      7.00      7.45
6454.14/208.44	c  N dy  4298    738113     42715    150764     43566    116362    597255    717337      7.00      7.77
6629.96/213.92	c  N dy  4424    758143     42656    150764     44375    136126    597255    971958      7.01     10.37
6661.88/214.91	c Finding binary XORs  T:     0.06 s  found:     740
6665.07/215.01	c Replacing      740 vars Replaced    24893 lits Time:     0.10 s 
6802.51/219.32	c  N dy  4556    778154     41833    150631     43913    117773    595318    711677      7.02      7.41
6962.93/224.36	c  N dy  4680    798244     41772    150631     44887    137529    595318    968915      7.02      7.44
6991.11/225.28	c Finding binary XORs  T:     0.06 s  found:     834
6994.30/225.37	c Replacing      834 vars Replaced    25013 lits Time:     0.09 s 
7039.04/226.75	c  S st  4731    805989     40915    150474     43099    143899    593081   1054369      7.03   no data
7048.64/227.07	c  S st  4731    806490     40914    150474     43100    144394    593081   1059592      7.03   no data
7051.84/227.14	c x-sub:   545 x-cut:      0 vfix:      0 v-elim:     59 locsubst:   282 time:   0.07
7071.65/227.73	c Flit:     1 Blit:     11 bXBeca:    0 bXProp:   22 Bins:    118 BRemL:    817 BRemN:     32 P:  6.4M T:  0.59
7074.21/227.85	c Replacing      101 vars Replaced     1848 lits Time:     0.11 s 
7077.40/227.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7077.40/227.99	c bin-w-bin subsume rem         2576 bins  time:  0.03 s
7080.60/228.09	c subs with bin:        6  lits-rem:         0  v-fix:    0  time:  0.09 s
7083.79/228.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40742 time:  0.07 s
7087.00/228.23	c Removed useless bin:      20  fixed:     0  props:   0.76M  time:  0.07 s
7099.79/228.70	c lits-rem:       766  cl-subs:     3555  v-elim:   1031  v-fix:    2  time:  0.47 s
7112.56/229.01	c subs with bin:     1376  lits-rem:      1455  v-fix:    0  time:  0.10 s
7134.95/229.76	c lits-rem:      2462  cl-subs:     4275  v-elim:      0  v-fix:    0  time:  0.67 s
7134.95/229.81	c vivif2 --  cl tried   144243 cl shrink       38 lits rem         38 time: 0.05
7141.97/229.95	c vivif2 --  cl tried   138532 cl shrink     6919 lits rem      11044 time: 0.14
7141.97/229.98	c asymm  cl-useful: 0/3674/144243 lits-rem:0 time: 0.03
7144.52/230.03	c calculated reachability. Time: 0.01
7144.52/230.03	c  N dy  4731    806490     39709    144243     38929    138532    567959   1004525      7.03   no data
7297.95/234.86	c  N dy  4850    826522     39622    144243     40623    117276    567959    686673      7.03      7.43
7400.20/238.04	c Finding binary XORs  T:     0.06 s  found:     760
7403.40/238.14	c Replacing      760 vars Replaced    22504 lits Time:     0.10 s 
7473.71/240.40	c  N dy  4960    846537     38784    144053     39904    136381    565795    936263      7.03      7.42
7652.68/245.98	c  N dy  5076    866786     38704    144053     41326    117740    565795    653413      7.04      7.44
7694.24/247.21	c Finding binary XORs  T:     0.06 s  found:     635
7697.44/247.30	c Replacing      635 vars Replaced    22455 lits Time:     0.09 s 
7828.48/251.44	c  N dy  5184    886921     37980    143892     40875    136381    563700    887134      7.03      7.57
8020.90/257.42	c  N dy  5307    906927     37893    143892     41890    116939    563700    611661      7.04      7.46
8045.84/258.26	c Finding binary XORs  T:     0.06 s  found:     531
8049.04/258.35	c Replacing      531 vars Replaced    18202 lits Time:     0.08 s 
8180.08/262.45	c  N dy  5396    927017     37311    143718     41141    135327    561270    842755      7.04      8.82
8352.65/267.86	c  N dy  5506    947190     37260    143718     42211    155233    561270   1094231      7.04      7.41
8381.41/268.78	c Finding binary XORs  T:     0.06 s  found:     611
8384.61/268.88	c Replacing      611 vars Replaced    30669 lits Time:     0.10 s 
8541.20/273.72	c  N dy  5603    967195     36588    143575     42086    133772    559503    789327      7.03      7.41
8701.02/278.78	c  N dy  5693    987348     36528    143575     42801    153473    559503   1025560      7.03      7.54
8768.15/280.88	c Finding binary XORs  T:     0.06 s  found:     417
8771.35/280.99	c Replacing      417 vars Replaced    35545 lits Time:     0.10 s 
8899.84/284.97	c  N dy  5813   1007435     36066    143419     42045    131471    557455    726630      7.03      8.87
9091.01/290.98	c  N dy  5945   1027667     36038    143419     42359    151539    557455    987952      7.04      7.46
9305.18/297.66	c Finding binary XORs  T:     0.06 s  found:     286
9318.53/298.04	c  N dy  6074   1047685     36013    143348     42712    128558    556484    650545      7.04      7.86
9512.93/304.19	c  N dy  6199   1067703     36004    143348     42924    148410    556484    913294      7.05      9.54
9560.86/305.66	c  F st  6224   1071875     36000    143348     42967    152565    556484    967111      7.05   no data
9564.66/305.79	c Replacing      286 vars Replaced    15846 lits Time:     0.09 s 
9573.64/306.05	c Found part     3019 vars:          5 clauses:        16 lits size:        56
9573.64/306.05	c Found part     4694 vars:      35545 clauses:    180397 lits size:    556044
9573.64/306.05	c Found parts:          2 time: 0.39 s
9573.64/306.05	c Solving part 3019
9580.04/306.24	c  N st     0         0         5        16         0         0        56         0   no data   no data
9580.04/306.24	c asymm  cl-useful: 0/16/16 lits-rem:0 time: 0.00
9580.04/306.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
9580.04/306.26	c Finding binary XORs  T:     0.01 s  found:       0
9580.04/306.26	c Finding non-binary XORs:     0.00 s (found:       3, avg size: 3.3)
9580.04/306.26	c calculated reachability. Time: 0.00
9580.04/306.27	c Calc default polars -  time:   0.00 s pos:       0 undec:  192498 neg:       5
9580.04/306.27	c =========================================================================================
9580.04/306.27	c types(t): F = full restart, N = normal restart
9580.04/306.27	c types(t): S = simplification begin/end, E = solution found
9580.04/306.27	c restart types(rt): st = static, dy = dynamic
9580.04/306.27	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
9580.04/306.27	c  B st     0         0         5         0         0         0        10         0   no data   no data
9580.04/306.27	c  E st     1         0         0         0         0         0        10         0   no data   no data
9580.04/306.27	c Verified 3 clauses.
9580.04/306.27	c Verified 3 clauses.
9580.04/306.27	c Solved part
9580.04/306.27	c =========================================================================================
9580.04/306.28	c Coming back to original instance
9580.04/306.28	c =========================================================================================
9762.25/311.94	c  N dy  6290   1087785     35698    143292     42467    167603    556044   1172642      7.05      8.17
9995.60/319.21	c  N dy  6421   1107812     35686    143292     42675    143440    556044    804699      7.06      7.43
10181.00/325.04	c Finding binary XORs  T:     0.06 s  found:     213
10219.37/326.27	c  N dy  6541   1127887     35676    143258     42699    163316    555626   1059123      7.06      7.69
10471.86/334.16	c  N dy  6654   1148023     35668    143258     42898    183333    555626   1310472      7.06      7.62
10708.40/341.52	c  N dy  6775   1168071     35660    143258     43009    158307    555626    950001      7.07      7.68
10971.12/349.79	c  N dy  6899   1188138     35651    143258     43187    178302    555626   1203358      7.07      7.59
11133.55/354.88	c Finding binary XORs  T:     0.06 s  found:     194
11136.71/354.98	c Replacing      407 vars Replaced    21775 lits Time:     0.10 s 
11258.16/358.77	c  N dy  7026   1208169     35239    143219     42380    150858    555055    815031      7.08      7.46
11280.55/359.42	c  S st  7034   1209736     35239    143219     42380    152418    555055    833148      7.08      6.78
11290.77/359.77	c  S st  7034   1210238     35239    143219     42382    152918    555055    838531      7.08   no data
11293.36/359.84	c x-sub:   267 x-cut:      0 vfix:      0 v-elim:     15 locsubst:     0 time:   0.07
11312.52/360.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:     19 BRemL:   1057 BRemN:     51 P:  6.4M T:  0.59
11315.72/360.56	c Replacing       10 vars Replaced      417 lits Time:     0.12 s 
11318.92/360.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11318.92/360.70	c bin-w-bin subsume rem         3378 bins  time:  0.03 s
11322.70/360.76	c subs with bin:       38  lits-rem:         0  v-fix:    0  time:  0.06 s
11325.93/360.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35214 time:  0.08 s
11328.49/360.92	c Removed useless bin:      46  fixed:     0  props:   0.68M  time:  0.07 s
11338.08/361.28	c lits-rem:       945  cl-subs:     3400  v-elim:    515  v-fix:    0  time:  0.36 s
11347.68/361.53	c subs with bin:     1182  lits-rem:       705  v-fix:    0  time:  0.08 s
11363.65/362.10	c lits-rem:      1443  cl-subs:     4224  v-elim:      0  v-fix:    0  time:  0.49 s
11366.85/362.15	c vivif2 --  cl tried   137957 cl shrink       64 lits rem         64 time: 0.05
11370.04/362.29	c vivif2 --  cl tried   147349 cl shrink     1766 lits rem       2560 time: 0.14
11396.25/363.07	c asymm  cl-useful: 49/69743/137957 lits-rem:52 time: 0.78
11398.81/363.11	c calculated reachability. Time: 0.01
11398.81/363.12	c  N dy  7034   1210238     34699    137957     37674    147345    535470    801079      7.08   no data
11657.72/371.27	c  N dy  7136   1230581     34694    137957     37904    167617    535470   1048215      7.08      7.67
11926.22/379.63	c  N dy  7249   1250668     34692    137957     37981    187640    535470   1300104      7.08      7.51
12201.70/388.24	c  N dy  7364   1270926     34690    137957     38010    156522    535470    866663      7.08      7.47
12440.84/395.75	c  N dy  7487   1290935     34688    137957     38044    176448    535470   1115348      7.08      7.57
12677.38/403.11	c Finding binary XORs  T:     0.06 s  found:     560
12680.58/403.21	c Replacing      560 vars Replaced    14438 lits Time:     0.10 s 
12709.35/404.12	c  N dy  7594   1310954     34124    137932     37741    196037    535199   1359782      7.08      7.51
12961.84/412.10	c  N dy  7712   1331091     34123    137932     38561    168465    535199    978166      7.09      7.53
13233.54/420.54	c  N dy  7839   1351161     34122    137932     38627    188459    535198   1228167      7.09      7.49
13351.82/424.27	c Finding binary XORs  T:     0.06 s  found:     107
13530.84/429.88	c  N dy  7968   1371259     34119    137921     38686    159138    535103    822510      7.09      7.56
13799.35/438.23	c  N dy  8077   1391432     34117    137921     38705    179237    535103   1066968      7.10      7.51
14083.81/447.18	c  N dy  8190   1411768     34117    137921     38720    199494    535103   1313375      7.10      7.49
14381.68/456.42	c  N dy  8287   1431811     34116    137921     38756    169891    535103    907653      7.10      7.53
14643.21/464.68	c  N dy  8387   1451840     34116    137921     38790    189826    535103   1151575      7.10      7.49
14947.49/474.18	c  N dy  8513   1471904     34116    137921     38808    209813    535103   1396693      7.10      7.48
15237.75/483.27	c  N dy  8631   1491908     34115    137921     38825    179075    535102    978447      7.10      7.50
15519.03/492.06	c  N dy  8735   1512026     34115    137921     38829    199110    535102   1222789      7.10      7.48
15835.46/501.98	c  N dy  8863   1532117     34114    137921     38844    219127    535102   1467911      7.11      7.91
16139.76/511.48	c  N dy  8977   1552123     34113    137921     38853    187253    535102   1034400      7.11      7.62
16424.25/520.38	c  N dy  9097   1572207     34113    137921     38870    207263    535102   1278417      7.11      8.01
16733.68/530.09	c  N dy  9216   1592246     34113    137921     38889    227230    535102   1521576      7.11      7.57
17040.57/539.69	c  N dy  9335   1612322     34113    137921     38904    194851    535101   1085812      7.11      7.54
17363.43/549.77	c  N dy  9451   1632352     34112    137921     38911    214803    535101   1329950      7.12      7.58
17711.83/560.68	c  N dy  9582   1652437     34112    137921     38966    234823    535101   1580665      7.12      8.06
18047.47/571.11	c  N dy  9712   1672622     34111    137921     38970    200901    535100   1122388      7.12      7.53
18367.13/581.15	c  N dy  9841   1692724     34111    137921     38981    220934    535100   1375696      7.13      7.64
18658.01/590.22	c  S st  9965   1710239     34110    137921     38999    238400    535100   1601664      7.13   no data
18674.61/590.75	c  S st  9965   1710739     34110    137921     38999    238897    535100   1606608      7.13   no data
18677.17/590.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     2 time:   0.09
18702.76/591.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  231 Bins:      3 BRemL:    656 BRemN:      1 P:  8.4M T:  0.80
18709.77/591.82	c Replacing      338 vars Replaced    15090 lits Time:     0.18 s 
18712.33/591.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18712.33/591.96	c bin-w-bin subsume rem          803 bins  time:  0.03 s
18715.53/592.02	c subs with bin:       56  lits-rem:         0  v-fix:    0  time:  0.06 s
18718.73/592.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33771 time:  0.08 s
18718.73/592.18	c Removed useless bin:       1  fixed:     0  props:   0.68M  time:  0.07 s
18731.53/592.57	c lits-rem:       432  cl-subs:     3458  v-elim:    175  v-fix:    0  time:  0.39 s
18747.49/593.03	c subs with bin:      136  lits-rem:       161  v-fix:    0  time:  0.12 s
18785.86/594.25	c lits-rem:      1752  cl-subs:     2506  v-elim:      0  v-fix:    0  time:  1.14 s
18789.05/594.31	c vivif2 --  cl tried   133652 cl shrink        1 lits rem          1 time: 0.06
18798.65/594.63	c vivif2 --  cl tried   236032 cl shrink     9375 lits rem      14223 time: 0.32
18821.02/595.40	c asymm  cl-useful: 0/63909/133652 lits-rem:0 time: 0.77
18824.21/595.45	c calculated reachability. Time: 0.01
18824.21/595.45	c  N dy  9965   1710739     33596    133652     36784    236032    521127   1569679      7.13   no data
19156.67/605.86	c  N dy 10089   1730907     33596    133652     36859    199299    521127   1066496      7.14      7.57
19457.10/615.28	c  N dy 10209   1750957     33596    133652     36892    219279    521127   1312346      7.14      7.54
19796.56/625.84	c  N dy 10320   1772119     33596    133652     36908    240358    521127   1569461      7.14      7.55
20106.01/635.60	c  N dy 10417   1792165     33595    133652     36916    204998    521127   1088642      7.14      7.61
20400.06/644.74	c  N dy 10521   1812223     33595    133652     36929    224985    521127   1335348      7.14      7.61
20700.56/654.20	c  N dy 10637   1832323     33595    133652     36939    245015    521127   1583679      7.14      7.69
21023.41/664.27	c  N dy 10754   1852357     33595    133652     36953    209033    521127   1091223      7.14      7.53
21211.98/670.10	c Finding binary XORs  T:     0.06 s  found:     133
21330.24/673.86	c  N dy 10870   1872434     33595    133651     36961    229058    521118   1338919      7.15      7.62
21608.35/682.55	c  N dy 10991   1892535     33595    133651     36963    249097    521118   1593579      7.15      7.61
21944.59/693.10	c  N dy 11108   1912707     33593    133651     36976    211909    521118   1081018      7.15      7.70
22228.46/701.99	c  N dy 11226   1932761     33593    133651     36985    231886    521118   1327900      7.15      7.55
22525.74/711.23	c  N dy 11349   1952974     33593    133651     36989    252025    521118   1579215      7.15      7.88
22829.41/720.76	c  N dy 11491   1973076     33593    133651     36996    272056    521118   1838663      7.16      7.57
23155.44/730.91	c  N dy 11609   1993153     33592    133651     37001    233673    521117   1302120      7.16      7.64
23507.08/741.93	c  N dy 11712   2013189     33591    133651     37007    253635    521117   1545057      7.16      8.04
23858.70/752.98	c  N dy 11847   2033306     33591    133651     37019    273681    521117   1800463      7.16      7.61
24210.29/763.96	c  N dy 11974   2053332     33591    133651     37027    234322    521116   1267361      7.17      7.55
24539.53/774.20	c  N dy 12104   2073401     33590    133651     37044    254323    521116   1520012      7.17      7.59
24881.54/784.96	c  N dy 12243   2093499     33590    133651     37061    274327    521116   1773349      7.17      7.57
25233.15/795.95	c  N dy 12377   2113676     33590    133651     37074    234224    521116   1220397      7.18      7.64
25533.61/805.33	c  N dy 12510   2133772     33590    133651     37077    254257    521116   1477409      7.18      7.58
25834.07/814.77	c  N dy 12634   2153911     33590    133651     37081    274325    521116   1730418      7.18      7.64
26166.52/825.18	c  N dy 12758   2173946     33590    133651     37088    294293    521116   1978906      7.18      7.62
26457.42/834.28	c  N dy 12891   2194038     33590    133651     37100    253301    521116   1410384      7.19      7.63
26693.97/841.70	c  S st 12994   2210739     33590    133651     37119    269934    521116   1619370      7.19      7.02
26713.13/842.26	c  S st 12994   2211240     33590    133651     37119    270432    521116   1624388      7.19   no data
26716.33/842.34	c x-sub:     4 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     2 time:   0.09
26741.89/843.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  124 Bins:      0 BRemL:     69 BRemN:      0 P:  8.9M T:  0.77
26745.09/843.29	c Replacing      257 vars Replaced    10901 lits Time:     0.17 s 
26748.29/843.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26751.49/843.43	c bin-w-bin subsume rem           15 bins  time:  0.03 s
26751.49/843.49	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.06 s
26754.68/843.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33333 time:  0.07 s
26758.47/843.64	c Removed useless bin:       1  fixed:     0  props:   0.69M  time:  0.07 s
26767.46/843.99	c lits-rem:       127  cl-subs:      416  v-elim:     52  v-fix:    0  time:  0.35 s
26783.44/844.45	c subs with bin:       11  lits-rem:        77  v-fix:    0  time:  0.12 s
26812.21/845.34	c lits-rem:      1388  cl-subs:     1680  v-elim:      0  v-fix:    0  time:  0.81 s
26812.21/845.39	c vivif2 --  cl tried   132993 cl shrink        0 lits rem          0 time: 0.05
26825.00/845.71	c vivif2 --  cl tried   268627 cl shrink     5570 lits rem       8209 time: 0.32
26847.37/846.47	c asymm  cl-useful: 56/51709/132993 lits-rem:56 time: 0.76
26850.57/846.52	c calculated reachability. Time: 0.01
26850.57/846.53	c  N dy 12994   2211240     33281    132993     36505    268627    518768   1602854      7.19   no data
27167.04/856.47	c  N dy 13130   2231282     33277    132993     36518    288592    518768   1859273      7.19      7.64
27170.24/856.55	c Following stats are for *FIRST FINISHED THREAD ONLY*
27170.24/856.55	c num threads              : 32         
27170.24/856.55	c restarts                 : 9152       
27170.24/856.55	c dynamic restarts         : 9122       
27170.24/856.55	c static restarts          : 30         
27170.24/856.55	c full restarts            : 4          
27170.24/856.55	c total simplify time      : 6.05       
27170.24/856.55	c learnts DL2              : 0          
27170.24/856.55	c learnts size 2           : 725037     
27170.24/856.55	c learnts size 1           : 3919        (2.04      % of vars)
27170.24/856.55	c filedLit time            : 6.46        (0.76      % time)
27170.24/856.55	c v-elim SatELite          : 124049      (64.44     % vars)
27170.24/856.55	c SatELite time            : 7.50        (0.89      % time)
27170.24/856.55	c v-elim xor               : 4617        (2.40      % vars)
27170.24/856.55	c xor elim time            : 0.55        (0.06      % time)
27170.24/856.55	c num binary xor trees     : 23893      
27170.24/856.55	c binxor trees' crown      : 25582       (1.07      leafs/tree)
27170.24/856.55	c bin xor find time        : 1.72       
27170.24/856.55	c OTF clause improved      : 13623       (0.01      clauses/conflict)
27170.24/856.55	c OTF impr. size diff      : 14226       (1.04       lits/clause)
27170.24/856.55	c OTF cl watch-shrink      : 1090395     (0.49      clauses/conflict)
27170.24/856.55	c OTF cl watch-sh-lit      : 2042412     (1.87       lits/clause)
27170.24/856.55	c tried to recurMin cls    : 442981      (20.03      % of conflicts)
27170.24/856.55	c updated cache            : 220890      (0.50       lits/tried recurMin)
27170.24/856.55	c unit cls recevied        : 1918        (48.94     % of units)
27170.24/856.55	c unit cls sent            : 12          (0.31      % of units)
27170.24/856.55	c bin cls recevied         : 245907     
27170.24/856.55	c bin cls sent             : 3742       
27170.24/856.55	c clauses over max glue    : 0           (0.00      % of all clauses)
27170.24/856.55	c conflicts                : 2211445     (2616.59   / sec)
27170.24/856.55	c decisions                : 34826774    (7.85      % random)
27170.24/856.55	c bogo-props               : 18501491290 (21891019.86 / sec)
27170.24/856.55	c conflict literals        : 31027398    (24.89     % deleted)
27170.24/856.55	c Memory used              : 11638.36    MB
27170.24/856.55	c single-thread CPU time   : 845.16      s
27170.24/856.55	c all-threads sum CPU time : 27055.75    s
27170.24/856.55	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-3400789-1306784046/watcher-3400789-1306784046 -o /tmp/evaluation-result-3400789-1306784046/solver-3400789-1306784046 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400789-1306784046.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 25.91 28.51 30.28 1/413 19439
/proc/meminfo: memFree=263692464/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=338000 CPUtime=0.79 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) R 19437 19439 19235 0 -1 4202496 469 0 0 0 79 0 0 0 22 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533552 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19439/statm: 84500 409 300 95 0 79482 0
[pid=19439/tid=19440] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19440/stat : 19440 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19439/tid=19441] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19441/stat : 19441 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 4 0 0 0 2 0 0 0 24 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19439/tid=19442] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19442/stat : 19442 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19439/tid=19443] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19443/stat : 19443 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533136 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19439/tid=19444] ppid=19437 vsize=338000 CPUtime=0 cores=0-31
/proc/19439/task/19444/stat : 19444 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533554 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19439/tid=19445] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19445/stat : 19445 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19439/tid=19446] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19446/stat : 19446 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19439/tid=19447] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19447/stat : 19447 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533149 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19439/tid=19448] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19448/stat : 19448 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19439/tid=19449] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19449/stat : 19449 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19439/tid=19450] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19450/stat : 19450 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19439/tid=19451] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19451/stat : 19451 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533136 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19439/tid=19452] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19452/stat : 19452 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19439/tid=19453] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19453/stat : 19453 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533136 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19439/tid=19454] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19454/stat : 19454 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19439/tid=19455] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19455/stat : 19455 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19439/tid=19456] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19456/stat : 19456 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19439/tid=19457] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19457/stat : 19457 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19439/tid=19458] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19458/stat : 19458 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533136 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19439/tid=19459] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19459/stat : 19459 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19439/tid=19460] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19460/stat : 19460 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19439/tid=19462] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19462/stat : 19462 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19439/tid=19463] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19463/stat : 19463 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19439/tid=19464] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19464/stat : 19464 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533136 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=19439/tid=19465] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19465/stat : 19465 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=19439/tid=19466] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19466/stat : 19466 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=19439/tid=19467] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19467/stat : 19467 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19439/tid=19468] ppid=19437 vsize=338000 CPUtime=0.01 cores=0-31
/proc/19439/task/19468/stat : 19468 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19439/tid=19469] ppid=19437 vsize=338000 CPUtime=0.01 cores=0-31
/proc/19439/task/19469/stat : 19469 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19439/tid=19470] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19470/stat : 19470 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 24 0 0 0

[startup+0.069867 s]
/proc/loadavg: 25.91 28.51 30.28 1/413 19439
/proc/meminfo: memFree=263692464/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=732572 CPUtime=1.54 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) R 19437 19439 19235 0 -1 4202496 8260 0 0 0 92 62 0 0 18 0 32 0 4370681 750153728 8097 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650616632 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/19439/statm: 183143 8097 331 95 0 178125 0
[pid=19439/tid=19440] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19440/stat : 19440 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 251 0 0 0 3 1 0 0 18 0 32 0 4370681 750153728 8097 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19439/tid=19441] ppid=19437 vsize=732572 CPUtime=0.05 cores=0-31
/proc/19439/task/19441/stat : 19441 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 274 0 0 0 3 2 0 0 18 0 32 0 4370681 750153728 8112 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19439/tid=19442] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19442/stat : 19442 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 258 0 0 0 3 1 0 0 18 0 32 0 4370681 750153728 8152 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19439/tid=19443] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19443/stat : 19443 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 218 0 0 0 3 1 0 0 19 0 32 0 4370681 750153728 8152 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19439/tid=19444] ppid=19437 vsize=732572 CPUtime=0.02 cores=0-31
/proc/19439/task/19444/stat : 19444 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 258 0 0 0 0 2 0 0 18 0 32 0 4370681 750153728 8152 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=19439/tid=19445] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19445/stat : 19445 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 267 0 0 0 3 1 0 0 19 0 32 0 4370681 750153728 8182 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446744071566931384 0 0 -1 6 0 0 0
[pid=19439/tid=19446] ppid=19437 vsize=732572 CPUtime=0.05 cores=0-31
/proc/19439/task/19446/stat : 19446 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 235 0 0 0 3 2 0 0 19 0 32 0 4370681 750153728 8204 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19439/tid=19447] ppid=19437 vsize=732572 CPUtime=0.03 cores=0-31
/proc/19439/task/19447/stat : 19447 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 306 0 0 0 2 1 0 0 18 0 32 0 4370681 750153728 8209 268435456000 4194304 4580107 140733864111888 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19439/tid=19448] ppid=19437 vsize=732572 CPUtime=0.03 cores=0-31
/proc/19439/task/19448/stat : 19448 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 215 0 0 0 2 1 0 0 17 0 32 0 4370681 750153728 8228 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19439/tid=19449] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19449/stat : 19449 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 290 0 0 0 2 2 0 0 18 0 32 0 4370681 750153728 8237 268435456000 4194304 4580107 140733864111888 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19439/tid=19450] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19450/stat : 19450 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 218 0 0 0 2 2 0 0 20 0 32 0 4370681 750153728 8282 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19439/tid=19451] ppid=19437 vsize=732572 CPUtime=0.03 cores=0-31
/proc/19439/task/19451/stat : 19451 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 266 0 0 0 2 1 0 0 18 0 32 0 4370681 750153728 8283 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19439/tid=19452] ppid=19437 vsize=732572 CPUtime=0.05 cores=0-31
/proc/19439/task/19452/stat : 19452 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 221 0 0 0 3 2 0 0 20 0 32 0 4370681 750153728 8307 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19439/tid=19453] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19453/stat : 19453 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 251 0 0 0 3 1 0 0 21 0 32 0 4370681 750153728 8324 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19439/tid=19454] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19454/stat : 19454 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 232 0 0 0 3 1 0 0 22 0 32 0 4370681 750153728 8367 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19439/tid=19455] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19455/stat : 19455 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 274 0 0 0 3 1 0 0 18 0 32 0 4370681 750153728 8369 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19439/tid=19456] ppid=19437 vsize=863644 CPUtime=0.04 cores=0-31
/proc/19439/task/19456/stat : 19456 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 256 0 0 0 3 1 0 0 18 0 32 0 4370681 884371456 8395 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19439/tid=19457] ppid=19437 vsize=863644 CPUtime=0.04 cores=0-31
/proc/19439/task/19457/stat : 19457 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 269 0 0 0 3 1 0 0 18 0 32 0 4370681 884371456 8400 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19439/tid=19458] ppid=19437 vsize=863644 CPUtime=0.05 cores=0-31
/proc/19439/task/19458/stat : 19458 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 232 0 0 0 3 2 0 0 18 0 32 0 4370682 884371456 8400 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19439/tid=19459] ppid=19437 vsize=798140 CPUtime=0.04 cores=0-31
/proc/19439/task/19459/stat : 19459 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 270 0 0 0 3 1 0 0 18 0 32 0 4370682 817295360 8414 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446744071566928224 0 0 -1 18 0 0 0
[pid=19439/tid=19460] ppid=19437 vsize=798140 CPUtime=0.04 cores=0-31
/proc/19439/task/19460/stat : 19460 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 267 0 0 0 3 1 0 0 18 0 32 0 4370682 817295360 8414 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446744071566926504 0 0 -1 15 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=798140 CPUtime=0.04 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 240 0 0 0 3 1 0 0 18 0 32 0 4370682 817295360 8416 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19439/tid=19462] ppid=19437 vsize=798140 CPUtime=0.05 cores=0-31
/proc/19439/task/19462/stat : 19462 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 279 0 0 0 3 2 0 0 18 0 32 0 4370682 817295360 8424 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19439/tid=19463] ppid=19437 vsize=798108 CPUtime=0.04 cores=0-31
/proc/19439/task/19463/stat : 19463 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 221 0 0 0 3 1 0 0 23 0 32 0 4370682 817262592 8437 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19439/tid=19464] ppid=19437 vsize=798108 CPUtime=0.05 cores=0-31
/proc/19439/task/19464/stat : 19464 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 243 0 0 0 3 2 0 0 23 0 32 0 4370682 817262592 8451 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=19439/tid=19465] ppid=19437 vsize=798108 CPUtime=0.05 cores=0-31
/proc/19439/task/19465/stat : 19465 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 269 0 0 0 3 2 0 0 23 0 32 0 4370682 817262592 8451 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446744071566931664 0 0 -1 26 0 0 0
[pid=19439/tid=19466] ppid=19437 vsize=798108 CPUtime=0.05 cores=0-31
/proc/19439/task/19466/stat : 19466 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 278 0 0 0 3 2 0 0 18 0 32 0 4370682 817262592 8454 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=19439/tid=19467] ppid=19437 vsize=798108 CPUtime=0.04 cores=0-31
/proc/19439/task/19467/stat : 19467 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 230 0 0 0 2 2 0 0 23 0 32 0 4370682 817262592 8466 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19439/tid=19468] ppid=19437 vsize=798108 CPUtime=0.02 cores=0-31
/proc/19439/task/19468/stat : 19468 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 229 0 0 0 1 1 0 0 18 0 32 0 4370682 817262592 8467 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19439/tid=19469] ppid=19437 vsize=798108 CPUtime=0.03 cores=0-31
/proc/19439/task/19469/stat : 19469 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 218 0 0 0 1 2 0 0 24 0 32 0 4370682 817262592 8485 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19439/tid=19470] ppid=19437 vsize=798108 CPUtime=0.03 cores=0-31
/proc/19439/task/19470/stat : 19470 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 233 0 0 0 2 1 0 0 24 0 32 0 4370682 817262592 8494 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 732572

[startup+0.104836 s]
/proc/loadavg: 25.91 28.51 30.28 1/413 19439
/proc/meminfo: memFree=263692464/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=1066420 CPUtime=1.89 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) R 19437 19439 19235 0 -1 4202496 12835 0 0 0 97 92 0 0 17 0 32 0 4370681 1092014080 12572 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650653023 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/19439/statm: 266605 12581 331 95 0 261587 0
[pid=19439/tid=19440] ppid=19437 vsize=1066420 CPUtime=0.06 cores=0-31
/proc/19439/task/19440/stat : 19440 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 386 0 0 0 3 3 0 0 17 0 32 0 4370681 1092014080 12604 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19439/tid=19441] ppid=19437 vsize=1066420 CPUtime=0.05 cores=0-31
/proc/19439/task/19441/stat : 19441 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 449 0 0 0 3 2 0 0 17 0 32 0 4370681 1092014080 12636 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19439/tid=19442] ppid=19437 vsize=1066420 CPUtime=0.05 cores=0-31
/proc/19439/task/19442/stat : 19442 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 459 0 0 0 3 2 0 0 17 0 32 0 4370681 1092014080 12636 268435456000 4194304 4580107 140733864111888 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19439/tid=19443] ppid=19437 vsize=1066680 CPUtime=0.05 cores=0-31
/proc/19439/task/19443/stat : 19443 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 378 0 0 0 3 2 0 0 17 0 32 0 4370681 1092280320 12640 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19439/tid=19444] ppid=19437 vsize=1066680 CPUtime=0.02 cores=0-31
/proc/19439/task/19444/stat : 19444 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 287 0 0 0 0 2 0 0 17 0 32 0 4370681 1092280320 12646 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446604452961877472 0 0 -1 31 0 0 0
[pid=19439/tid=19445] ppid=19437 vsize=1066548 CPUtime=0.06 cores=0-31
/proc/19439/task/19445/stat : 19445 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 395 0 0 0 3 3 0 0 17 0 32 0 4370681 1092145152 12616 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446604484265827808 0 0 -1 6 0 0 0
[pid=19439/tid=19446] ppid=19437 vsize=1066548 CPUtime=0.06 cores=0-31
/proc/19439/task/19446/stat : 19446 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 429 0 0 0 3 3 0 0 17 0 32 0 4370681 1092145152 12640 268435456000 4194304 4580107 140733864111888 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19439/tid=19447] ppid=19437 vsize=1066548 CPUtime=0.05 cores=0-31
/proc/19439/task/19447/stat : 19447 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 518 0 0 0 3 2 0 0 17 0 32 0 4370681 1092145152 12640 268435456000 4194304 4580107 140733864111888 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19439/tid=19448] ppid=19437 vsize=1066548 CPUtime=0.04 cores=0-31
/proc/19439/task/19448/stat : 19448 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 350 0 0 0 2 2 0 0 17 0 32 0 4370681 1092145152 12654 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19439/tid=19449] ppid=19437 vsize=1066548 CPUtime=0.05 cores=0-31
/proc/19439/task/19449/stat : 19449 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 479 0 0 0 2 3 0 0 17 0 32 0 4370681 1092145152 12694 268435456000 4194304 4580107 140733864111888 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19439/tid=19450] ppid=19437 vsize=1066548 CPUtime=0.05 cores=0-31
/proc/19439/task/19450/stat : 19450 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 469 0 0 0 3 2 0 0 17 0 32 0 4370681 1092145152 12695 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446604471182851552 0 0 -1 28 0 0 0
[pid=19439/tid=19451] ppid=19437 vsize=1066548 CPUtime=0.04 cores=0-31
/proc/19439/task/19451/stat : 19451 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 270 0 0 0 2 2 0 0 17 0 32 0 4370681 1092145152 12672 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446604490849132000 0 0 -1 12 0 0 0
[pid=19439/tid=19452] ppid=19437 vsize=1066416 CPUtime=0.05 cores=0-31
/proc/19439/task/19452/stat : 19452 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 352 0 0 0 3 2 0 0 17 0 32 0 4370681 1092009984 12683 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446604452961877472 0 0 -1 11 0 0 0
[pid=19439/tid=19453] ppid=19437 vsize=1066416 CPUtime=0.05 cores=0-31
/proc/19439/task/19453/stat : 19453 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 268 0 0 0 3 2 0 0 17 0 32 0 4370681 1092009984 12687 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446604499817643488 0 0 -1 7 0 0 0
[pid=19439/tid=19454] ppid=19437 vsize=1066676 CPUtime=0.06 cores=0-31
/proc/19439/task/19454/stat : 19454 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 438 0 0 0 3 3 0 0 17 0 32 0 4370681 1092276224 12689 268435456000 4194304 4580107 140733864111888 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19439/tid=19455] ppid=19437 vsize=1066676 CPUtime=0.05 cores=0-31
/proc/19439/task/19455/stat : 19455 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 512 0 0 0 3 2 0 0 17 0 32 0 4370681 1092276224 12704 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650616986 0 0 4096 2 1159168 0 0 -1 10 0 0 0
[pid=19439/tid=19456] ppid=19437 vsize=1066676 CPUtime=0.06 cores=0-31

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

/proc/19439/stat : 19439 (strangenight2-m) R 19437 19439 19235 0 -1 4202496 5915839 0 0 0 2698377 11614 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19439/statm: 2979418 2512096 667 95 0 2974400 0
[pid=19439/tid=19440] ppid=19437 vsize=11917672 CPUtime=846.74 cores=0-31
/proc/19439/task/19440/stat : 19440 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 207556 0 0 0 84299 375 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4339860 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19439/tid=19441] ppid=19437 vsize=11917672 CPUtime=847.84 cores=0-31
/proc/19439/task/19441/stat : 19441 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 174017 0 0 0 84411 373 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19439/tid=19442] ppid=19437 vsize=11917672 CPUtime=848.8 cores=0-31
/proc/19439/task/19442/stat : 19442 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 281503 0 0 0 84543 337 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19439/tid=19443] ppid=19437 vsize=11917672 CPUtime=847.61 cores=0-31
/proc/19439/task/19443/stat : 19443 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 187251 0 0 0 84380 381 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4295561 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19439/tid=19444] ppid=19437 vsize=11917672 CPUtime=846.68 cores=0-31
/proc/19439/task/19444/stat : 19444 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 154888 0 0 0 84305 363 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19439/tid=19445] ppid=19437 vsize=11917672 CPUtime=847.35 cores=0-31
/proc/19439/task/19445/stat : 19445 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 164371 0 0 0 84350 385 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19439/tid=19446] ppid=19437 vsize=11917672 CPUtime=846.99 cores=0-31
/proc/19439/task/19446/stat : 19446 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 120906 0 0 0 84333 366 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19439/tid=19447] ppid=19437 vsize=11917672 CPUtime=849.03 cores=0-31
/proc/19439/task/19447/stat : 19447 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 201636 0 0 0 84588 315 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19439/tid=19448] ppid=19437 vsize=11917672 CPUtime=848.88 cores=0-31
/proc/19439/task/19448/stat : 19448 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 209878 0 0 0 84545 343 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19439/tid=19449] ppid=19437 vsize=11917672 CPUtime=847.02 cores=0-31
/proc/19439/task/19449/stat : 19449 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 197972 0 0 0 84330 372 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19439/tid=19450] ppid=19437 vsize=11917672 CPUtime=848.5 cores=0-31
/proc/19439/task/19450/stat : 19450 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 167996 0 0 0 84513 337 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19439/tid=19451] ppid=19437 vsize=11917672 CPUtime=848.25 cores=0-31
/proc/19439/task/19451/stat : 19451 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 238536 0 0 0 84487 338 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=19439/tid=19452] ppid=19437 vsize=11917672 CPUtime=846.87 cores=0-31
/proc/19439/task/19452/stat : 19452 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 187387 0 0 0 84300 387 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4295051 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19439/tid=19453] ppid=19437 vsize=11917672 CPUtime=847.44 cores=0-31
/proc/19439/task/19453/stat : 19453 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 130630 0 0 0 84380 364 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19439/tid=19454] ppid=19437 vsize=11917672 CPUtime=846.45 cores=0-31
/proc/19439/task/19454/stat : 19454 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 181895 0 0 0 84258 387 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19439/tid=19455] ppid=19437 vsize=11917672 CPUtime=847.62 cores=0-31
/proc/19439/task/19455/stat : 19455 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 165300 0 0 0 84384 378 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19439/tid=19456] ppid=19437 vsize=11917672 CPUtime=846.55 cores=0-31
/proc/19439/task/19456/stat : 19456 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 135858 0 0 0 84275 380 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19439/tid=19457] ppid=19437 vsize=11917672 CPUtime=847.83 cores=0-31
/proc/19439/task/19457/stat : 19457 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 202671 0 0 0 84381 402 0 0 25 0 32 0 4370681 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=19439/tid=19458] ppid=19437 vsize=11917672 CPUtime=847.09 cores=0-31
/proc/19439/task/19458/stat : 19458 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 140658 0 0 0 84341 368 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19439/tid=19459] ppid=19437 vsize=11917672 CPUtime=846.82 cores=0-31
/proc/19439/task/19459/stat : 19459 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 172913 0 0 0 84305 377 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19439/tid=19460] ppid=19437 vsize=11917672 CPUtime=846.37 cores=0-31
/proc/19439/task/19460/stat : 19460 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 131687 0 0 0 84291 346 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4412053 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=11917672 CPUtime=829.7 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 202106 0 0 0 82607 363 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=19439/tid=19462] ppid=19437 vsize=11917672 CPUtime=847.73 cores=0-31
/proc/19439/task/19462/stat : 19462 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 170651 0 0 0 84383 390 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19439/tid=19463] ppid=19437 vsize=11917672 CPUtime=848.31 cores=0-31
/proc/19439/task/19463/stat : 19463 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 216519 0 0 0 84467 364 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19439/tid=19464] ppid=19437 vsize=11917672 CPUtime=846.36 cores=0-31
/proc/19439/task/19464/stat : 19464 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 233324 0 0 0 84252 384 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19439/tid=19465] ppid=19437 vsize=11917672 CPUtime=847.56 cores=0-31
/proc/19439/task/19465/stat : 19465 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 219724 0 0 0 84363 393 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19439/tid=19466] ppid=19437 vsize=11917672 CPUtime=844.8 cores=0-31
/proc/19439/task/19466/stat : 19466 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 200905 0 0 0 84097 383 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19439/tid=19467] ppid=19437 vsize=11917672 CPUtime=847.4 cores=0-31
/proc/19439/task/19467/stat : 19467 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 194292 0 0 0 84365 375 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19439/tid=19468] ppid=19437 vsize=11917672 CPUtime=848.3 cores=0-31
/proc/19439/task/19468/stat : 19468 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 180207 0 0 0 84578 252 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19439/tid=19469] ppid=19437 vsize=11917672 CPUtime=847.72 cores=0-31
/proc/19439/task/19469/stat : 19469 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 190769 0 0 0 84392 380 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19439/tid=19470] ppid=19437 vsize=11917672 CPUtime=849.15 cores=0-31
/proc/19439/task/19470/stat : 19470 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 204490 0 0 0 84655 260 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 27099.9
Current children cumulated vsize (KiB) 11917672

[startup+855.902 s]
/proc/loadavg: 32.07 31.82 31.25 33/445 19495
/proc/meminfo: memFree=253644748/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=11917672 CPUtime=27151 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) R 19437 19439 19235 0 -1 4202496 5918266 0 0 0 2703489 11615 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19439/statm: 2979418 2513609 667 95 0 2974400 0
[pid=19439/tid=19440] ppid=19437 vsize=11917672 CPUtime=848.34 cores=0-31
/proc/19439/task/19440/stat : 19440 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 207556 0 0 0 84459 375 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19439/tid=19441] ppid=19437 vsize=11917672 CPUtime=849.44 cores=0-31
/proc/19439/task/19441/stat : 19441 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 174061 0 0 0 84571 373 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19439/tid=19442] ppid=19437 vsize=11917672 CPUtime=850.4 cores=0-31
/proc/19439/task/19442/stat : 19442 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 281506 0 0 0 84703 337 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19439/tid=19443] ppid=19437 vsize=11917672 CPUtime=849.21 cores=0-31
/proc/19439/task/19443/stat : 19443 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 187293 0 0 0 84540 381 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19439/tid=19444] ppid=19437 vsize=11917672 CPUtime=848.28 cores=0-31
/proc/19439/task/19444/stat : 19444 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 154939 0 0 0 84465 363 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19439/tid=19445] ppid=19437 vsize=11917672 CPUtime=848.96 cores=0-31
/proc/19439/task/19445/stat : 19445 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 164414 0 0 0 84510 386 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19439/tid=19446] ppid=19437 vsize=11917672 CPUtime=848.59 cores=0-31
/proc/19439/task/19446/stat : 19446 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 120906 0 0 0 84493 366 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19439/tid=19447] ppid=19437 vsize=11917672 CPUtime=850.63 cores=0-31
/proc/19439/task/19447/stat : 19447 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 201636 0 0 0 84748 315 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19439/tid=19448] ppid=19437 vsize=11917672 CPUtime=850.48 cores=0-31
/proc/19439/task/19448/stat : 19448 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 209913 0 0 0 84705 343 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19439/tid=19449] ppid=19437 vsize=11917672 CPUtime=848.62 cores=0-31
/proc/19439/task/19449/stat : 19449 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 197975 0 0 0 84490 372 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19439/tid=19450] ppid=19437 vsize=11917672 CPUtime=850.1 cores=0-31
/proc/19439/task/19450/stat : 19450 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 167996 0 0 0 84673 337 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19439/tid=19451] ppid=19437 vsize=11917672 CPUtime=849.85 cores=0-31
/proc/19439/task/19451/stat : 19451 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 238596 0 0 0 84647 338 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=19439/tid=19452] ppid=19437 vsize=11917672 CPUtime=848.47 cores=0-31
/proc/19439/task/19452/stat : 19452 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 187387 0 0 0 84460 387 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19439/tid=19453] ppid=19437 vsize=11917672 CPUtime=849.04 cores=0-31
/proc/19439/task/19453/stat : 19453 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 130630 0 0 0 84540 364 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19439/tid=19454] ppid=19437 vsize=11917672 CPUtime=848.05 cores=0-31
/proc/19439/task/19454/stat : 19454 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 181895 0 0 0 84418 387 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19439/tid=19455] ppid=19437 vsize=11917672 CPUtime=849.22 cores=0-31
/proc/19439/task/19455/stat : 19455 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 165358 0 0 0 84544 378 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19439/tid=19456] ppid=19437 vsize=11917672 CPUtime=848.15 cores=0-31
/proc/19439/task/19456/stat : 19456 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 135858 0 0 0 84435 380 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19439/tid=19457] ppid=19437 vsize=11917672 CPUtime=849.43 cores=0-31
/proc/19439/task/19457/stat : 19457 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 202723 0 0 0 84541 402 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4302544 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=19439/tid=19458] ppid=19437 vsize=11917672 CPUtime=848.69 cores=0-31
/proc/19439/task/19458/stat : 19458 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 140712 0 0 0 84501 368 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19439/tid=19459] ppid=19437 vsize=11917672 CPUtime=848.42 cores=0-31
/proc/19439/task/19459/stat : 19459 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 172971 0 0 0 84465 377 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4316566 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19439/tid=19460] ppid=19437 vsize=11917672 CPUtime=847.97 cores=0-31
/proc/19439/task/19460/stat : 19460 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 132910 0 0 0 84451 346 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=11917672 CPUtime=831.24 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 202106 0 0 0 82761 363 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=19439/tid=19462] ppid=19437 vsize=11917672 CPUtime=849.33 cores=0-31
/proc/19439/task/19462/stat : 19462 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 170706 0 0 0 84543 390 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19439/tid=19463] ppid=19437 vsize=11917672 CPUtime=849.91 cores=0-31
/proc/19439/task/19463/stat : 19463 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 216578 0 0 0 84627 364 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19439/tid=19464] ppid=19437 vsize=11917672 CPUtime=847.97 cores=0-31
/proc/19439/task/19464/stat : 19464 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 233386 0 0 0 84412 385 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19439/tid=19465] ppid=19437 vsize=11917672 CPUtime=849.16 cores=0-31
/proc/19439/task/19465/stat : 19465 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 219779 0 0 0 84523 393 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19439/tid=19466] ppid=19437 vsize=11917672 CPUtime=846.4 cores=0-31
/proc/19439/task/19466/stat : 19466 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 200905 0 0 0 84257 383 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19439/tid=19467] ppid=19437 vsize=11917672 CPUtime=849 cores=0-31
/proc/19439/task/19467/stat : 19467 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 194340 0 0 0 84525 375 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19439/tid=19468] ppid=19437 vsize=11917672 CPUtime=849.9 cores=0-31
/proc/19439/task/19468/stat : 19468 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 180270 0 0 0 84738 252 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19439/tid=19469] ppid=19437 vsize=11917672 CPUtime=849.32 cores=0-31
/proc/19439/task/19469/stat : 19469 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 190769 0 0 0 84552 380 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19439/tid=19470] ppid=19437 vsize=11917672 CPUtime=850.75 cores=0-31
/proc/19439/task/19470/stat : 19470 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 204794 0 0 0 84815 260 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 27151
Current children cumulated vsize (KiB) 11917672

[startup+856.701 s]
/proc/loadavg: 32.07 31.82 31.25 33/445 19495
/proc/meminfo: memFree=253644748/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=0 CPUtime=27172.1 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) Z 19437 19439 19235 0 -1 4203548 5918651 0 0 0 2705574 11632 0 0 25 0 2 0 4370681 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19439/statm: 0 0 0 0 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=0 CPUtime=832.04 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) R 19437 19439 19235 0 -1 4203588 202106 0 0 0 82826 378 0 0 25 0 2 0 4370682 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 27172.1
Current children cumulated vsize (KiB) 0

[startup+857.101 s]
/proc/loadavg: 32.07 31.82 31.25 2/415 19495
/proc/meminfo: memFree=256998196/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=0 CPUtime=27172.5 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) Z 19437 19439 19235 0 -1 4203548 5918651 0 0 0 2705574 11672 0 0 25 0 2 0 4370681 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19439/statm: 0 0 0 0 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=0 CPUtime=832.44 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) R 19437 19439 19235 0 -1 4203588 202106 0 0 0 82826 418 0 0 25 0 2 0 4370682 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 27172.5
Current children cumulated vsize (KiB) 0

[startup+857.301 s]
/proc/loadavg: 32.07 31.82 31.25 2/415 19495
/proc/meminfo: memFree=256998196/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=0 CPUtime=27172.7 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) Z 19437 19439 19235 0 -1 4203548 5918651 0 0 0 2705574 11692 0 0 25 0 2 0 4370681 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19439/statm: 0 0 0 0 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=0 CPUtime=832.64 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) R 19437 19439 19235 0 -1 4203588 202106 0 0 0 82826 438 0 0 25 0 2 0 4370682 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 27172.7
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 857.35
CPU time (s): 27172.7
CPU user time (s): 27055.7
CPU system time (s): 116.97
CPU usage (%): 3169.38
Max. virtual memory (cumulated for all children) (KiB): 11917672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27055.7
system time used= 116.97
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5918651
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= 2823755
involuntary context switches= 87246

runsolver used 4.44632 second user time and 19.578 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-30 21:34:07
IDJOB=3400789
IDBENCH=82493
IDSOLVER=1886
FILE ID=node200/3400789-1306784046
RUNJOBID= node200-1306783903-19249
PBS_JOBID= 13471871
Free space on /tmp= 61568 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400789-1306784046/watcher-3400789-1306784046 -o /tmp/evaluation-result-3400789-1306784046/solver-3400789-1306784046 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400789-1306784046.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 7886cd26d6e0801ea382a1ffd6224023
RANDOM SEED=951386180

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3996.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263692744 kB
Buffers:         54068 kB
Cached:         314112 kB
SwapCached:      29816 kB
Active:         126132 kB
Inactive:       274260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263692744 kB
SwapTotal:    67111528 kB
SwapFree:     67044744 kB
Dirty:           15236 kB
Writeback:           0 kB
AnonPages:       27444 kB
Mapped:           8384 kB
Slab:            60128 kB
PageTables:       4536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   167864 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61564 MiB
End job on node200 at 2011-05-30 21:48:25