Trace number 3367079

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 2031.98 509.265

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor064.cnf
MD5SUM902b28046d424b16042ca612ddad48e0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark788.78
Satisfiable
(Un)Satisfiability was proved
Number of variables51064
Number of clauses152039
Sum of the clauses size354755
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2101358
Number of clauses of size 350679
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 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367079-1305390112.cnf'
0.00/0.01	c -- header says num vars:          51064
0.00/0.01	c -- header says num clauses:      152039
0.28/0.94	c -- clauses added:            0 learnts,       152039 normals,            0 xors
0.28/0.94	c -- vars added      51064
0.28/0.94	c Parsing time:  0.05 s
0.28/0.94	c  N st     0         0     51064     50679    101358         0    354753         0   no data   no data
4.66/1.28	c asymm  cl-useful: 0/6338/50662 lits-rem:0 time: 1.16
54.95/13.89	c Flit:     6 Blit:    123 bXBeca:    0 bXProp:  125 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 12.47
54.95/13.89	c Cleaning up after failed var search:     0.00 s 
55.37/13.91	c Replacing      125 vars Replaced     2382 lits Time:     0.02 s 
55.37/13.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
55.37/13.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
55.37/13.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
57.72/14.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  50792 time:  0.63 s
58.52/14.75	c Removed useless bin:      58  fixed:     0  props:  20.00M  time:  0.16 s
59.73/15.06	c lits-rem:         0  cl-subs:      396  v-elim:  16930  v-fix:    0  time:  0.27 s
61.29/15.41	c Finding binary XORs  T:     0.35 s  found:       0
61.29/15.44	c Finding non-binary XORs:     0.02 s (found:    2023, avg size: 3.0)
61.29/15.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
61.68/15.52	c calculated reachability. Time: 0.08
61.68/15.52	c Calc default polars -  time:   0.00 s pos:     638 undec:   20518 neg:   29908
61.68/15.52	c =========================================================================================
61.68/15.52	c types(t): F = full restart, N = normal restart
61.68/15.52	c types(t): S = simplification begin/end, E = solution found
61.68/15.52	c restart types(rt): st = static, dy = dynamic
61.68/15.52	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
61.68/15.52	c  B st     0         0     33862     45402     62791         0    293139         0   no data   no data
68.09/17.14	c  N dy     9      4998     33861     45402     62867      4871    293139    301362     15.25     16.10
72.90/18.33	c  N dy    17      9115     33860     45402     65011      4699    293139    103398     13.21     13.98
77.65/19.56	c Finding binary XORs  T:     0.21 s  found:     336
79.25/19.96	c  N dy    27     13893     33859     45396     65670      9251    293115    261962     11.95     12.87
84.03/21.18	c  N dy    47     17963     33859     45396     65780      6636    293115     68963     12.77     18.81
90.04/22.63	c  N dy    62     21971     33856     45396     66283     10455    293115    263178     13.18     14.17
93.61/23.55	c  F st    78     25000     33856     45396     66573     13370    293115    389746     13.54     11.02
93.61/23.57	c Replacing      336 vars Replaced     7939 lits Time:     0.02 s 
95.61/24.00	c  N st    81     26188     33519     44588     65963     14293    290668    453995     13.54   no data
99.60/25.05	c Decided on static restart strategy
99.60/25.05	c  S st    84     30001     33519     44588     65997      9894    290668    168355     13.54   no data
100.80/25.31	c  S st    84     30503     33519     44588     66048     10344    290668    186156     13.54   no data
100.80/25.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
147.10/36.97	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:  269 Bins:  15418 BRemL:     20 BRemN:      0 P: 181.8M T: 11.64
147.10/37.00	c Replacing      269 vars Replaced     9517 lits Time:     0.02 s 
147.52/37.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147.52/37.02	c bin-w-bin subsume rem          358 bins  time:  0.01 s
147.52/37.04	c subs with bin:      892  lits-rem:       230  v-fix:    0  time:  0.02 s
148.29/37.28	c Subs w/ non-existent bins:    316 l-rem:   1203 v-fix:     0 done:  33249 time:  0.24 s
148.69/37.34	c Removed useless bin:      74  fixed:     0  props:   5.40M  time:  0.06 s
149.49/37.55	c lits-rem:        80  cl-subs:      419  v-elim:  14176  v-fix:    0  time:  0.20 s
149.49/37.57	c subs with bin:      369  lits-rem:        74  v-fix:    0  time:  0.01 s
149.49/37.59	c lits-rem:        10  cl-subs:       40  v-elim:      0  v-fix:    0  time:  0.02 s
153.07/38.49	c asymm  cl-useful: 884/8868/50251 lits-rem:884 time: 0.90
153.48/38.54	c calculated reachability. Time: 0.04
153.48/38.54	c  N st    84     30503     19073     50251     32649      4918    263577     37288     13.54   no data
153.87/38.67	c Finding binary XORs  T:     0.14 s  found:       0
161.45/40.58	c  N st    86     37616     19073     50251     33255     11739    263577    486093     13.54   no data
169.05/42.44	c  N st    87     44016     19072     50251     33357     14578    263577    637668     13.54   no data
169.47/42.53	c Finding binary XORs  T:     0.07 s  found:     419
169.47/42.55	c Replacing      419 vars Replaced    16571 lits Time:     0.02 s 
171.03/42.99	c  S st    88     45754     18651     49328     39099     15422    260326    779976     13.54   no data
171.84/43.18	c  S st    88     46255     18651     49328     39142     15876    260326    793420     13.54   no data
171.84/43.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
195.82/49.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   22 Bins:   5679 BRemL:      6 BRemN:      0 P: 71.5M T:  5.94
195.82/49.15	c Replacing       22 vars Replaced      873 lits Time:     0.01 s 
195.82/49.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
195.82/49.17	c bin-w-bin subsume rem         1447 bins  time:  0.01 s
195.82/49.19	c subs with bin:     1009  lits-rem:       345  v-fix:    0  time:  0.02 s
196.17/49.25	c Subs w/ non-existent bins:    317 l-rem:    529 v-fix:     0 done:  18629 time:  0.06 s
196.17/49.27	c Removed useless bin:      75  fixed:     0  props:   0.94M  time:  0.02 s
196.57/49.33	c lits-rem:         0  cl-subs:        0  v-elim:    207  v-fix:    0  time:  0.06 s
196.97/49.43	c subs with bin:      350  lits-rem:      4130  v-fix:    0  time:  0.08 s
198.17/49.72	c lits-rem:       870  cl-subs:      810  v-elim:      0  v-fix:    0  time:  0.28 s
198.17/49.78	c vivif2 --  cl tried    48321 cl shrink      153 lits rem        153 time: 0.07
198.97/49.90	c vivif2 --  cl tried    11453 cl shrink     4587 lits rem      53415 time: 0.12
200.56/50.38	c asymm  cl-useful: 0/1999/48320 lits-rem:0 time: 0.47
200.96/50.41	c calculated reachability. Time: 0.03
200.96/50.41	c  N st    88     46255     18422     48320     42633     11443    261509    384821     13.54   no data
200.96/50.49	c Finding binary XORs  T:     0.08 s  found:       5
218.52/54.83	c  N st    89     60652     18418     48320     44908     19308    261508   1058967     13.54   no data
218.92/54.93	c Finding binary XORs  T:     0.08 s  found:     457
218.92/54.96	c Replacing      462 vars Replaced    16993 lits Time:     0.03 s 
228.10/57.27	c  N st    90     69382     17952     47373     44406     17873    257959    773226     13.54   no data
228.10/57.27	c  S st    90     69382     17952     47373     44406     17873    257959    773226     13.54   no data
228.90/57.49	c  S st    90     69884     17951     47373     44723     18343    257959    794565     13.54   no data
229.30/57.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
255.24/64.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  110 Bins:   6223 BRemL:   2227 BRemN:      0 P: 76.0M T:  6.54
255.24/64.07	c Replacing      110 vars Replaced     3747 lits Time:     0.02 s 
255.24/64.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
255.24/64.09	c bin-w-bin subsume rem          884 bins  time:  0.01 s
255.64/64.11	c subs with bin:      585  lits-rem:         9  v-fix:    0  time:  0.02 s
255.64/64.17	c Subs w/ non-existent bins:      3 l-rem:      0 v-fix:     0 done:  17841 time:  0.07 s
255.64/64.19	c Removed useless bin:       0  fixed:     0  props:   0.87M  time:  0.02 s
256.04/64.25	c lits-rem:         0  cl-subs:        2  v-elim:     36  v-fix:    0  time:  0.05 s
256.85/64.49	c subs with bin:      239  lits-rem:      1969  v-fix:    0  time:  0.21 s
258.03/64.74	c lits-rem:      1036  cl-subs:      697  v-elim:      0  v-fix:    0  time:  0.24 s
258.43/64.81	c vivif2 --  cl tried    46548 cl shrink      116 lits rem        116 time: 0.07
258.83/64.91	c vivif2 --  cl tried    16256 cl shrink     3608 lits rem      29723 time: 0.10
260.83/65.43	c asymm  cl-useful: 0/1540/46547 lits-rem:0 time: 0.52
260.83/65.46	c calculated reachability. Time: 0.03
260.83/65.46	c  N st    90     69884     17805     46547     47451     16255    255927    592094     13.54   no data
261.24/65.55	c Finding binary XORs  T:     0.09 s  found:       0
281.58/70.63	c  F st    91     87500     17805     46547     47526     22288    255927   1115166     13.54   no data
281.58/70.66	c  N st    91     87500     17805     46547     47526     22288    255927   1115166     13.54   no data
281.98/70.77	c Finding binary XORs  T:     0.09 s  found:     298
282.38/70.81	c Replacing      298 vars Replaced    14933 lits Time:     0.04 s 
290.36/72.86	c  N dy    99     96096     17502     45992     57928     30233    253766   1553634     13.05     13.80
297.54/74.67	c  N dy   108    103344     17499     45992     58339     21292    253766    622352     12.37     13.09
299.94/75.24	c  S st   112    104826     17499     45992     58351     22724    253766    742076     12.29      8.19
300.75/75.45	c  S st   112    105328     17499     45992     58402     23172    253766    752727     12.29   no data
300.75/75.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
329.07/82.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   82 Bins:   3297 BRemL:   5375 BRemN:      0 P: 78.5M T:  7.03
329.07/82.53	c Replacing       82 vars Replaced     3112 lits Time:     0.03 s 
329.07/82.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
329.07/82.55	c bin-w-bin subsume rem          874 bins  time:  0.01 s
329.07/82.57	c subs with bin:      475  lits-rem:        10  v-fix:    0  time:  0.02 s
329.47/82.63	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done:  17417 time:  0.06 s
329.47/82.64	c Removed useless bin:       1  fixed:     0  props:   0.68M  time:  0.01 s
329.87/82.70	c lits-rem:         0  cl-subs:        5  v-elim:     32  v-fix:    0  time:  0.05 s
330.67/82.92	c subs with bin:      215  lits-rem:      1194  v-fix:    0  time:  0.20 s
332.26/83.32	c lits-rem:      3054  cl-subs:     1663  v-elim:      0  v-fix:    0  time:  0.39 s
332.66/83.40	c vivif2 --  cl tried    45349 cl shrink        0 lits rem          0 time: 0.08
332.66/83.46	c vivif2 --  cl tried    20581 cl shrink     2828 lits rem      39020 time: 0.06
334.65/83.99	c asymm  cl-useful: 0/1248/45349 lits-rem:0 time: 0.53
335.06/84.03	c calculated reachability. Time: 0.03
335.06/84.03	c  N dy   112    105328     17385     45349     53482     20573    252170    585342     12.29   no data
335.46/84.12	c Finding binary XORs  T:     0.10 s  found:       0
342.63/85.95	c Finding binary XORs  T:     0.10 s  found:     268
342.63/85.98	c Replacing      268 vars Replaced    10721 lits Time:     0.03 s 
346.62/86.91	c  N dy   141    112115     17111     44865     60043     26550    250229    888817     12.19     13.08
354.21/88.82	c  N dy   173    119363     17110     44865     60407     18346    250227    308200     12.07     12.72
361.80/90.73	c  N dy   212    126986     17110     44865     60786     25791    250226    529161     12.05     19.27
370.99/93.06	c  N dy   265    135162     17108     44865     60977     17592    250226    220030     12.25     22.68
379.36/95.17	c  N dy   300    143823     17108     44865     61284     26061    250226    515109     12.19     15.91
381.75/95.79	c Finding binary XORs  T:     0.09 s  found:     438
382.15/95.81	c Replacing      438 vars Replaced    15563 lits Time:     0.02 s 
390.13/97.81	c  N dy   338    153158     16670     43988     60722     17880    247003    222307     12.14     12.87
395.32/99.12	c  S st   357    157993     16670     43988     60746     22634    247002    393947     12.13     10.54
396.12/99.31	c  S st   357    158494     16670     43988     60863     23119    247002    413539     12.13   no data
396.12/99.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
425.64/106.79	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  130 Bins:   2584 BRemL:   3471 BRemN:      0 P: 84.0M T:  7.46
426.04/106.82	c Replacing      130 vars Replaced     7205 lits Time:     0.02 s 
426.04/106.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
426.04/106.84	c bin-w-bin subsume rem         1511 bins  time:  0.01 s
426.04/106.86	c subs with bin:      470  lits-rem:        11  v-fix:    0  time:  0.02 s
426.44/106.93	c Subs w/ non-existent bins:      7 l-rem:     20 v-fix:     0 done:  16539 time:  0.07 s
426.44/106.94	c Removed useless bin:       7  fixed:     0  props:   0.66M  time:  0.01 s
426.84/107.00	c lits-rem:         0  cl-subs:       15  v-elim:     10  v-fix:    0  time:  0.05 s
427.24/107.10	c subs with bin:      388  lits-rem:      1325  v-fix:    0  time:  0.08 s
427.64/107.20	c lits-rem:       528  cl-subs:      737  v-elim:      0  v-fix:    0  time:  0.09 s
427.64/107.28	c vivif2 --  cl tried    43215 cl shrink        6 lits rem          6 time: 0.08
428.07/107.37	c vivif2 --  cl tried    21203 cl shrink     3893 lits rem      30506 time: 0.08
430.44/107.92	c asymm  cl-useful: 5/1359/43215 lits-rem:15 time: 0.55
430.44/107.95	c calculated reachability. Time: 0.03
430.44/107.96	c  N dy   357    158494     16529     43210     58183     21200    244981    340512     12.13   no data
435.22/109.13	c Finding binary XORs  T:     0.10 s  found:       4
441.65/110.73	c  N dy   376    168651     16523     43210     59718     31215    244981   1168097     11.86     12.60
454.81/114.06	c  N dy   401    179483     16519     43210     60227     24541    244981    672765     11.64     14.08
461.17/115.67	c Finding binary XORs  T:     0.10 s  found:     334
461.57/115.71	c Replacing      338 vars Replaced    19114 lits Time:     0.05 s 
471.55/118.28	c  N dy   434    191246     16179     42611     59691     35345    242558   1733096     11.45     12.19
486.30/121.95	c  N dy   510    204089     16179     42611     59912     30253    242557    562388     11.50     12.15
499.87/125.39	c Finding binary XORs  T:     0.10 s  found:     212
500.27/125.41	c Replacing      212 vars Replaced    10202 lits Time:     0.02 s 
501.88/125.80	c  N dy   596    217192     15965     42188     59442     24601    241011    348499     11.59     16.67
516.28/129.46	c  N dy   663    231057     15965     42188     59672     38314    241011    876902     11.57     12.20
523.83/131.38	c  S st   687    237741     15965     42188     59795     25534    241011    298011     11.54      9.23
524.64/131.58	c  S st   687    238244     15965     42188     59811     26017    241011    316674     11.54   no data
524.64/131.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
554.16/138.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  118 Bins:   1182 BRemL:   1147 BRemN:      0 P: 83.4M T:  7.31
554.16/138.92	c Replacing      118 vars Replaced     6516 lits Time:     0.02 s 
554.16/138.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
554.16/138.94	c bin-w-bin subsume rem         1418 bins  time:  0.01 s
554.16/138.96	c subs with bin:      256  lits-rem:        16  v-fix:    0  time:  0.02 s
554.55/139.03	c Subs w/ non-existent bins:      8 l-rem:     10 v-fix:     0 done:  15847 time:  0.06 s
554.55/139.04	c Removed useless bin:       5  fixed:     0  props:   0.63M  time:  0.01 s
554.96/139.10	c lits-rem:         0  cl-subs:       21  v-elim:     17  v-fix:    0  time:  0.05 s
554.96/139.18	c subs with bin:      273  lits-rem:      1648  v-fix:    0  time:  0.06 s
555.38/139.24	c lits-rem:       481  cl-subs:      515  v-elim:      0  v-fix:    0  time:  0.05 s
555.79/139.32	c vivif2 --  cl tried    41690 cl shrink        5 lits rem          6 time: 0.08
555.79/139.38	c vivif2 --  cl tried    24617 cl shrink     1830 lits rem       7398 time: 0.06
558.15/139.93	c asymm  cl-useful: 8/1525/41690 lits-rem:24 time: 0.55
558.15/139.97	c calculated reachability. Time: 0.03
558.15/139.97	c  N dy   687    238244     15830     41682     58157     24593    239551    290323     11.54   no data
562.94/141.13	c Finding binary XORs  T:     0.10 s  found:     134
574.10/143.94	c Finding binary XORs  T:     0.10 s  found:      82
574.10/143.97	c Replacing      216 vars Replaced    11983 lits Time:     0.03 s 
580.50/145.57	c  N dy   723    253528     15607     41307     69713     38729    238055   1191471     11.35     12.10
599.27/150.28	c  N dy   764    269917     15606     41307     69883     34689    238055    822151     11.20     11.90
622.39/156.06	c  N dy   842    287230     15603     41307     70122     30064    238055    471268     11.16     12.97
644.75/161.64	c  N dy   936    305653     15603     41307     70378     48240    238055   1521629     11.16     11.78
645.55/161.81	c Finding binary XORs  T:     0.10 s  found:      94
645.94/161.99	c  F st   939    306252     15603     41280     70361     48708    237974   1551581     11.15      7.88
646.34/162.02	c Replacing       94 vars Replaced     8102 lits Time:     0.04 s 
668.70/167.65	c  N dy  1001    325257     15509     41105     70321     44517    237325   1110101     11.12     16.11
695.04/174.25	c  N dy  1124    345351     15508     41105     70593     40976    237325    788783     11.23     11.94
711.40/178.39	c  S st  1199    357367     15506     41105     70706     52772    237325   1480571     11.31   no data
712.20/178.57	c  S st  1199    357870     15506     41105     70710     53267    237325   1504012     11.31   no data
712.20/178.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
743.73/186.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   41 Bins:   1787 BRemL:   1144 BRemN:      1 P: 93.5M T:  7.91
744.15/186.54	c Replacing       41 vars Replaced     5801 lits Time:     0.04 s 
744.15/186.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
744.15/186.56	c bin-w-bin subsume rem          681 bins  time:  0.01 s
744.15/186.58	c subs with bin:      102  lits-rem:        40  v-fix:    0  time:  0.02 s
744.56/186.65	c Subs w/ non-existent bins:     10 l-rem:      7 v-fix:     0 done:  15465 time:  0.07 s
744.56/186.67	c Removed useless bin:       2  fixed:     0  props:   0.62M  time:  0.01 s
744.92/186.73	c lits-rem:         0  cl-subs:       20  v-elim:     18  v-fix:    0  time:  0.07 s
749.71/187.94	c subs with bin:      382  lits-rem:      8306  v-fix:    0  time:  1.15 s
752.11/188.57	c lits-rem:      3286  cl-subs:     2025  v-elim:      0  v-fix:    0  time:  0.62 s
752.51/188.65	c vivif2 --  cl tried    40887 cl shrink       34 lits rem         41 time: 0.09
753.70/188.91	c vivif2 --  cl tried    47237 cl shrink    10502 lits rem     114593 time: 0.26
755.70/189.44	c asymm  cl-useful: 12/1335/40883 lits-rem:36 time: 0.53
755.70/189.48	c calculated reachability. Time: 0.03
755.70/189.48	c  N dy  1199    357870     15447     40871     68691     47125    236490   1069146     11.31   no data
756.10/189.59	c Finding binary XORs  T:     0.11 s  found:       8
773.26/193.83	c Finding binary XORs  T:     0.10 s  found:      55
784.43/196.64	c  N dy  1280    377964     15442     40831     72111     44746    236390   1263933     11.25     12.41
813.97/204.08	c  N dy  1382    398729     15439     40831     72294     40012    236389    591566     11.28     12.00
842.70/211.21	c  N dy  1492    418766     15436     40831     72490     59817    236389   2129786     11.32     15.18
868.64/217.73	c Finding binary XORs  T:     0.10 s  found:      41
870.64/218.23	c  N dy  1594    438803     15430     40766     72727     52034    236002   1505891     11.32     11.97
899.77/225.55	c  N dy  1726    458819     15426     40766     73242     44761    236002    741011     11.39     13.17
926.11/232.19	c  N dy  1837    478925     15406     40766     73467     64531    236002   1995169     11.41     12.20
936.49/234.70	c Finding binary XORs  T:     0.10 s  found:      24
953.25/238.92	c  N dy  1967    498981     15388     40693     73891     54207    235414   1355887     11.48     15.99
981.21/245.95	c  N dy  2110    519098     15386     40693     74094     74116    235413   2821878     11.56     12.48
991.56/248.52	c Finding binary XORs  T:     0.10 s  found:      20
1005.13/251.91	c  S st  2226    536805     15386     40647     74262     61716    235002   1880387     11.62     10.87
1005.94/252.14	c  S st  2226    537308     15386     40647     74266     62214    235002   1918632     11.62   no data
1005.94/252.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1055.02/264.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   67 Bins:   8275 BRemL:    113 BRemN:      2 P: 165.7M T: 12.29
1055.42/264.51	c Replacing      215 vars Replaced    24853 lits Time:     0.06 s 
1055.42/264.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1055.42/264.53	c bin-w-bin subsume rem         1260 bins  time:  0.01 s
1055.42/264.56	c subs with bin:      295  lits-rem:       880  v-fix:    0  time:  0.03 s
1055.84/264.63	c Subs w/ non-existent bins:     53 l-rem:    224 v-fix:     0 done:  15183 time:  0.07 s
1055.84/264.64	c Removed useless bin:       7  fixed:     0  props:   0.59M  time:  0.01 s
1056.26/264.71	c lits-rem:       163  cl-subs:      271  v-elim:    178  v-fix:    0  time:  0.07 s
1059.82/265.60	c subs with bin:     1934  lits-rem:     11679  v-fix:    0  time:  0.84 s
1062.20/266.25	c lits-rem:      2720  cl-subs:     1863  v-elim:      0  v-fix:    0  time:  0.64 s
1062.60/266.36	c vivif2 --  cl tried    39624 cl shrink     1170 lits rem       2253 time: 0.10
1063.80/266.62	c vivif2 --  cl tried    50550 cl shrink    10334 lits rem     105622 time: 0.26
1065.40/267.09	c asymm  cl-useful: 2/1439/39359 lits-rem:6 time: 0.47
1065.80/267.14	c calculated reachability. Time: 0.04
1065.80/267.14	c  N dy  2226    537308     15005     39357     79838     50223    227132   1122722     11.62   no data
1066.60/267.30	c Finding binary XORs  T:     0.16 s  found:     205
1066.60/267.32	c Replacing      205 vars Replaced    13701 lits Time:     0.02 s 
1101.71/276.13	c  N dy  2345    557335     14785     39357     81436     42952    227111    601944     11.68     21.87
1106.11/277.23	c Finding binary XORs  T:     0.14 s  found:      22
1130.47/283.31	c  N dy  2501    577367     14777     39313     81366     61759    226816   2008121     11.85     12.69
1158.39/290.30	c  N dy  2666    597370     14773     39313     81586     51624    226814   1015030     12.08     18.00
1186.73/297.45	c  N dy  2843    617414     14770     39313     81854     71436    226813   2825438     12.40     19.96
1192.34/298.85	c Finding binary XORs  T:     0.14 s  found:      33
1216.65/304.93	c  N dy  3019    637418     14770     39260     81042     59054    226590   1468442     12.71     13.60
1227.83/307.71	c Finding binary XORs  T:     0.14 s  found:      63
1250.18/313.38	c  N dy  3175    657446     14748     39230     95779     78573    226430   3603664     12.94     48.12
1261.36/316.11	c Finding binary XORs  T:     0.14 s  found:      27
1280.91/321.05	c  N dy  3334    677484     14727     39158     95585     64059    225958   1908719     13.13     14.08
1314.85/329.54	c  N dy  3504    697583     14714     39158     95759     83901    225957   3836920     13.38     27.28
1318.42/330.42	c Finding binary XORs  T:     0.14 s  found:      47
1318.82/330.56	c Replacing      192 vars Replaced    64508 lits Time:     0.15 s 
1346.00/337.37	c  N dy  3671    717702     14527     38882    102539     69178    224613   2387270     13.60     14.45
1382.28/346.43	c  N dy  3818    737803     14523     38882    102843     89070    224602   4560158     13.81     31.63
1389.90/348.36	c Finding binary XORs  T:     0.14 s  found:      30
1416.24/354.95	c  N dy  3972    758472     14518     38837    102872     74451    224340   2859002     13.97     14.97
1452.12/363.91	c  N dy  4129    778490     14510     38837    103108     94264    224337   5142843     14.19     14.97
1485.65/372.33	c  N dy  4291    798625     14501     38837    103409     78564    224336   3046311     14.39     15.35
1490.86/373.63	c Finding binary XORs  T:     0.12 s  found:      34
1500.01/375.94	c  S st  4345    805964     14500     38763    103028     83889    223832   3852312     14.46   no data
1501.21/376.21	c  S st  4345    806467     14500     38763    103028     84392    223832   3929210     14.46   no data
1501.21/376.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1551.50/388.85	c Flit:    12 Blit:     20 bXBeca:    0 bXProp:  204 Bins:   7849 BRemL:    169 BRemN:      0 P: 200.0M T: 12.61
1552.32/389.03	c Replacing      268 vars Replaced    96511 lits Time:     0.18 s 
1552.32/389.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1552.32/389.06	c bin-w-bin subsume rem         5992 bins  time:  0.01 s
1552.32/389.09	c subs with bin:      668  lits-rem:      1307  v-fix:    0  time:  0.03 s
1552.69/389.19	c Subs w/ non-existent bins:     90 l-rem:   1142 v-fix:     0 done:  14192 time:  0.10 s
1553.09/389.20	c Removed useless bin:      16  fixed:     0  props:   0.66M  time:  0.01 s
1553.09/389.29	c lits-rem:       233  cl-subs:      371  v-elim:    307  v-fix:    0  time:  0.08 s
1557.88/390.44	c subs with bin:     3627  lits-rem:     19745  v-fix:    0  time:  1.09 s
1561.46/391.33	c lits-rem:      4557  cl-subs:     2081  v-elim:      0  v-fix:    0  time:  0.88 s
1561.86/391.46	c vivif2 --  cl tried    37295 cl shrink     1923 lits rem       4301 time: 0.12
1563.47/391.82	c vivif2 --  cl tried    56641 cl shrink    17924 lits rem     221932 time: 0.36
1565.50/392.35	c asymm  cl-useful: 5/689/36872 lits-rem:15 time: 0.53
1565.86/392.41	c calculated reachability. Time: 0.05
1565.86/392.41	c  N dy  4345    806467     13885     36867    103910     54197    209845   1203080     14.46   no data
1566.66/392.63	c Finding binary XORs  T:     0.22 s  found:     459
1566.66/392.65	c Replacing      459 vars Replaced    24197 lits Time:     0.02 s 
1576.24/395.04	c Finding binary XORs  T:     0.19 s  found:      53
1599.39/400.84	c  N dy  4444    826622     13375     36774    114983     46606    209285    843800     14.46     15.28
1605.01/402.22	c Finding binary XORs  T:     0.19 s  found:      17
1628.52/408.11	c  N dy  4571    846701     13369     36704    114848     66014    208936   2623520     14.52     15.53
1660.85/416.29	c  N dy  4692    866740     13356     36704    115142     48229    208936    785014     14.58     16.35
1690.37/423.69	c  N dy  4794    886779     13342     36704    115270     68002    208936   2388982     14.59     15.50
1723.12/431.83	c  N dy  4928    906858     13319     36704    115442     87833    208934   4173871     14.68     26.97
1733.88/434.55	c Finding binary XORs  T:     0.19 s  found:      51
1752.24/439.18	c  N dy  5030    926902     13306     36493    114667     66945    207772   2225994     14.69     15.61
1784.17/447.13	c  N dy  5139    946909     13289     36493    115187     86659    207772   3903550     14.70     18.36
1812.50/454.23	c  N dy  5250    967006     13220     36493    115328     67434    207769   1950138     14.73     19.75
1825.27/457.48	c Finding binary XORs  T:     0.19 s  found:      68
1825.67/457.55	c Replacing      189 vars Replaced    32589 lits Time:     0.07 s 
1844.84/462.31	c  N dy  5390    987269     13024     35911    114260     78491    204706   3469482     14.80     15.67
1876.77/470.36	c  N dy  5495   1007360     13007     35911    115042     62517    204706   1667906     14.82     15.73
1885.56/472.60	c Finding binary XORs  T:     0.18 s  found:      58
1909.48/478.59	c  N dy  5626   1027522     12934     35790    114629     79788    203953   3344484     14.87     17.24
1940.21/486.24	c  N dy  5745   1047606     12887     35790    115333     59571    203953   1401154     14.92     47.97
1954.18/489.75	c Finding binary XORs  T:     0.18 s  found:     137
1954.58/489.83	c Replacing      195 vars Replaced    38609 lits Time:     0.08 s 
1969.39/493.52	c  N dy  5839   1067705     12580     34710    112544     73757    198682   2916504     14.93     19.72
1974.94/494.92	c  F st  5850   1071875     12571     34710    112553     77840    198682   3204223     14.93     14.29
1998.09/500.75	c Finding binary XORs  T:     0.18 s  found:     150
1998.49/500.89	c Replacing      150 vars Replaced    79121 lits Time:     0.13 s 
2001.68/501.69	c  N dy  5913   1088305     12330     33735    110297     77988    194270   3516879     14.93     15.73
2024.42/507.37	c  N dy  6009   1108408     12270     33735    111047     65889    194270   1938442     14.93     17.02
2031.60/509.16	c Following stats are for *FIRST FINISHED THREAD ONLY*
2031.60/509.16	c num threads              : 4          
2031.60/509.16	c restarts                 : 6187       
2031.60/509.16	c dynamic restarts         : 6151       
2031.60/509.16	c static restarts          : 36         
2031.60/509.16	c full restarts            : 4          
2031.60/509.16	c total simplify time      : 5.75       
2031.60/509.16	c learnts DL2              : 0          
2031.60/509.16	c learnts size 2           : 360882     
2031.60/509.16	c learnts size 1           : 3188        (6.24      % of vars)
2031.60/509.16	c filedLit time            : 59.82       (11.77     % time)
2031.60/509.16	c v-elim SatELite          : 31784       (62.24     % vars)
2031.60/509.16	c SatELite time            : 3.17        (0.62      % time)
2031.60/509.16	c v-elim xor               : 0           (0.00      % vars)
2031.60/509.16	c xor elim time            : 0.08        (0.02      % time)
2031.60/509.16	c num binary xor trees     : 1160       
2031.60/509.16	c binxor trees' crown      : 5677        (4.89      leafs/tree)
2031.60/509.16	c bin xor find time        : 4.68       
2031.60/509.16	c OTF clause improved      : 12423       (0.01      clauses/conflict)
2031.60/509.16	c OTF impr. size diff      : 20519       (1.65       lits/clause)
2031.60/509.16	c OTF cl watch-shrink      : 839383      (0.71      clauses/conflict)
2031.60/509.16	c OTF cl watch-sh-lit      : 8285953     (9.87       lits/clause)
2031.60/509.16	c tried to recurMin cls    : 605314      (51.08      % of conflicts)
2031.60/509.16	c updated cache            : 42245       (0.07       lits/tried recurMin)
2031.60/509.16	c unit cls recevied        : 347         (10.88     % of units)
2031.60/509.16	c unit cls sent            : 362         (11.36     % of units)
2031.60/509.16	c bin cls recevied         : 128354     
2031.60/509.16	c bin cls sent             : 33366      
2031.60/509.16	c clauses over max glue    : 0           (0.00      % of all clauses)
2031.60/509.16	c conflicts                : 1185080     (2330.88   / sec)
2031.60/509.16	c decisions                : 4469075     (0.57      % random)
2031.60/509.16	c bogo-props               : 17727069962 (34866520.03 / sec)
2031.60/509.16	c conflict literals        : 95180141    (40.28     % deleted)
2031.60/509.16	c Memory used              : 2559.12     MB
2031.60/509.16	c single-thread CPU time   : 508.43      s
2031.60/509.16	c all-threads sum CPU time : 2029.11     s
2031.60/509.16	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-3367079-1305390112/watcher-3367079-1305390112 -o /tmp/evaluation-result-3367079-1305390112/solver-3367079-1305390112 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367079-1305390112.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.07 8.04 6.93 2/289 3683
/proc/meminfo: memFree=16827680/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 407 0 0 0 0 0 0 0 21 0 4 0 650613956 52396032 347 33554432000 4194304 4580107 140734623549728 18446744073709551615 47730819598258 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 12792 347 299 95 0 7774 0
[pid=3683/tid=3684] ppid=3681 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 650613956 52396032 347 33554432000 4194304 4580107 140734623549728 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 650613956 52396032 347 33554432000 4194304 4580107 140734623549728 18446744073709551615 47730819598252 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 650613956 52396032 347 33554432000 4194304 4580107 140734623549728 18446744073709551615 47730819598258 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.059488 s]
/proc/loadavg: 8.07 8.04 6.93 2/289 3683
/proc/meminfo: memFree=16827680/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=300160 CPUtime=0.15 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 11426 0 0 0 9 6 0 0 17 0 4 0 650613956 307363840 9385 33554432000 4194304 4580107 140734623549728 18446744073709551615 218371000503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 75040 9386 337 95 0 70022 0
[pid=3683/tid=3684] ppid=3681 vsize=300160 CPUtime=0.02 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 2787 0 0 0 1 1 0 0 17 0 4 0 650613956 307363840 9457 33554432000 4194304 4580107 140734623549728 18446744073709551615 218371062254 0 0 4096 2 18446604461693346944 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=300160 CPUtime=0.03 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) D 3681 3683 3572 0 -1 4202560 2822 0 0 0 2 1 0 0 17 0 4 0 650613956 307363840 9523 33554432000 4194304 4580107 140734623549728 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=300480 CPUtime=0.03 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 2712 0 0 0 2 1 0 0 17 0 4 0 650613956 307691520 9526 33554432000 4194304 4580107 140734623549728 18446744073709551615 218371015082 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 300160

[startup+0.102202 s]
/proc/loadavg: 8.07 8.04 6.93 2/289 3683
/proc/meminfo: memFree=16827680/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=384364 CPUtime=0.28 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 20604 0 0 0 17 11 0 0 17 0 4 0 650613956 393588736 16432 33554432000 4194304 4580107 140734623549728 18446744073709551615 218371062303 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 96091 16529 337 95 0 91073 0
[pid=3683/tid=3684] ppid=3681 vsize=387084 CPUtime=0.06 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) S 3681 3683 3572 0 -1 4202560 5450 0 0 0 3 3 0 0 17 0 4 0 650613956 396374016 17457 33554432000 4194304 4580107 140734623549728 18446744073709551615 218371062254 0 0 4096 2 18446604461693346944 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=387084 CPUtime=0.06 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) S 3681 3683 3572 0 -1 4202560 5660 0 0 0 4 2 0 0 17 0 4 0 650613956 396374016 17457 33554432000 4194304 4580107 140734623549728 18446744073709551615 218371062254 0 0 4096 2 18446604461693346944 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=387084 CPUtime=0.06 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 4906 0 0 0 4 2 0 0 17 0 4 0 650613956 396374016 17457 33554432000 4194304 4580107 140734623549728 18446744073709551615 218371062303 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 384364

[startup+0.987971 s]
/proc/loadavg: 8.07 8.04 6.93 2/289 3683
/proc/meminfo: memFree=16827680/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=394884 CPUtime=3.81 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 25965 0 0 0 368 13 0 0 19 0 4 0 650613956 404361216 21531 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293301 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 98721 21531 359 95 0 93703 0
[pid=3683/tid=3684] ppid=3681 vsize=394884 CPUtime=0.93 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 6171 0 0 0 90 3 0 0 19 0 4 0 650613956 404361216 21531 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=394884 CPUtime=0.94 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 6419 0 0 0 92 2 0 0 18 0 4 0 650613956 404361216 21531 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=394884 CPUtime=0.95 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 6465 0 0 0 92 3 0 0 19 0 4 0 650613956 404361216 21531 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293789 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 394884

[startup+1.00097 s]
/proc/loadavg: 8.07 8.04 6.93 2/289 3683
/proc/meminfo: memFree=16827680/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=394884 CPUtime=3.86 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 25966 0 0 0 373 13 0 0 19 0 4 0 650613956 404361216 21532 33554432000 4194304 4580107 140734623549728 18446744073709551615 4292956 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 98721 21532 359 95 0 93703 0
[pid=3683/tid=3684] ppid=3681 vsize=394884 CPUtime=0.95 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 6171 0 0 0 92 3 0 0 19 0 4 0 650613956 404361216 21532 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=394884 CPUtime=0.95 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 6419 0 0 0 93 2 0 0 18 0 4 0 650613956 404361216 21532 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=394884 CPUtime=0.96 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 6466 0 0 0 93 3 0 0 19 0 4 0 650613956 404361216 21532 33554432000 4194304 4580107 140734623549728 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 394884

[startup+1.50088 s]
/proc/loadavg: 8.07 8.04 6.93 2/289 3683
/proc/meminfo: memFree=16827680/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=403964 CPUtime=5.85 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 33570 0 0 0 571 14 0 0 19 0 4 0 650613956 413659136 29136 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293110 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 100991 29136 360 95 0 95973 0
[pid=3683/tid=3684] ppid=3681 vsize=403964 CPUtime=1.45 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 8695 0 0 0 141 4 0 0 20 0 4 0 650613956 413659136 29136 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294248 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=403964 CPUtime=1.45 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 8924 0 0 0 143 2 0 0 19 0 4 0 650613956 413659136 29136 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=403964 CPUtime=1.46 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 6515 0 0 0 143 3 0 0 19 0 4 0 650613956 413659136 29136 33554432000 4194304 4580107 140734623549728 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 403964

[startup+3.1006 s]
/proc/loadavg: 8.06 8.04 6.93 9/298 3718
/proc/meminfo: memFree=16429440/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=594124 CPUtime=12.23 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 89178 0 0 0 1199 24 0 0 25 0 4 0 650613956 608382976 84161 33554432000 4194304 4580107 140734623549728 18446744073709551615 218371000503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 148531 84168 361 95 0 143513 0
[pid=3683/tid=3684] ppid=3681 vsize=594124 CPUtime=3.03 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 26748 0 0 0 296 7 0 0 20 0 4 0 650613956 608382976 84171 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=594124 CPUtime=3.05 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 27159 0 0 0 300 5 0 0 18 0 4 0 650613956 608382976 84171 33554432000 4194304 4580107 140734623549728 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=594124 CPUtime=3.06 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 7677 0 0 0 303 3 0 0 18 0 4 0 650613956 608382976 84171 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 594124

[startup+6.30102 s]
/proc/loadavg: 8.06 8.04 6.93 9/298 3718
/proc/meminfo: memFree=16021304/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=1074320 CPUtime=25 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 182750 0 0 0 2457 43 0 0 18 0 4 0 650613956 1100103680 177733 33554432000 4194304 4580107 140734623549728 18446744073709551615 4231584 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 268580 177738 361 95 0 263562 0
[pid=3683/tid=3684] ppid=3681 vsize=1074320 CPUtime=6.2 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 57477 0 0 0 607 13 0 0 18 0 4 0 650613956 1100103680 177738 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=1074320 CPUtime=6.25 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 58362 0 0 0 614 11 0 0 25 0 4 0 650613956 1100103680 177738 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=1074320 CPUtime=6.26 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 8103 0 0 0 623 3 0 0 25 0 4 0 650613956 1100103680 177738 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 1074320

[startup+12.7009 s]
/proc/loadavg: 8.13 8.05 6.95 9/298 3718
/proc/meminfo: memFree=15643104/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=1393992 CPUtime=50.56 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 261776 0 0 0 5000 56 0 0 25 0 4 0 650613956 1427447808 248156 33554432000 4194304 4580107 140734623549728 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 348498 248156 362 95 0 343480 0
[pid=3683/tid=3684] ppid=3681 vsize=1393992 CPUtime=12.55 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 81534 0 0 0 1238 17 0 0 25 0 4 0 650613956 1427447808 248156 33554432000 4194304 4580107 140734623549728 18446744073709551615 4288917 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=1393992 CPUtime=12.65 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 81127 0 0 0 1250 15 0 0 25 0 4 0 650613956 1427447808 248156 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=1393992 CPUtime=12.66 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 17275 0 0 0 1262 4 0 0 25 0 4 0 650613956 1427447808 248156 33554432000 4194304 4580107 140734623549728 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 1393992

[startup+25.5006 s]
/proc/loadavg: 8.11 8.05 6.96 9/298 3718
/proc/meminfo: memFree=15371052/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=1734300 CPUtime=101.59 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 346496 0 0 0 10079 80 0 0 25 0 4 0 650613956 1775923200 307618 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294213 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 433575 307618 381 95 0 428557 0
[pid=3683/tid=3684] ppid=3681 vsize=1734300 CPUtime=25.23 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 97380 0 0 0 2500 23 0 0 25 0 4 0 650613956 1775923200 307618 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=1734300 CPUtime=25.44 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 93163 0 0 0 2524 20 0 0 25 0 4 0 650613956 1775923200 307618 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=1734300 CPUtime=25.46 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 54220 0 0 0 2533 13 0 0 25 0 4 0 650613956 1775923200 307618 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 1734300

[startup+51.101 s]
/proc/loadavg: 8.07 8.04 6.99 9/298 3749
/proc/meminfo: memFree=15068060/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=2014196 CPUtime=203.76 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 428976 0 0 0 20278 98 0 0 25 0 4 0 650613956 2062536704 380293 33554432000 4194304 4580107 140734623549728 18446744073709551615 4296092 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 503549 380293 381 95 0 498531 0
[pid=3683/tid=3684] ppid=3681 vsize=2014196 CPUtime=50.6 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 111205 0 0 0 5033 27 0 0 25 0 4 0 650613956 2062536704 380293 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2014196 CPUtime=51.04 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 107410 0 0 0 5080 24 0 0 25 0 4 0 650613956 2062536704 380293 33554432000 4194304 4580107 140734623549728 18446744073709551615 4320872 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2014196 CPUtime=51.05 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 95747 0 0 0 5085 20 0 0 25 0 4 0 650613956 2062536704 380293 33554432000 4194304 4580107 140734623549728 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 2014196

[startup+102.301 s]
/proc/loadavg: 8.03 8.04 7.04 9/298 3750
/proc/meminfo: memFree=14816864/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=2258912 CPUtime=408.09 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 499860 0 0 0 40692 117 0 0 25 0 4 0 650613956 2313125888 429198 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294217 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 564728 429198 381 95 0 559710 0
[pid=3683/tid=3684] ppid=3681 vsize=2258912 CPUtime=101.31 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 125289 0 0 0 10100 31 0 0 25 0 4 0 650613956 2313125888 429198 33554432000 4194304 4580107 140734623549728 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2258912 CPUtime=102.24 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 117306 0 0 0 10198 26 0 0 25 0 4 0 650613956 2313125888 429198 33554432000 4194304 4580107 140734623549728 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2258912 CPUtime=102.25 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 124778 0 0 0 10198 27 0 0 25 0 4 0 650613956 2313125888 429198 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 2258912

[startup+162.3 s]

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

/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 148608 0 0 0 21984 40 0 0 25 0 4 0 650613956 2444234752 472496 33554432000 4194304 4580107 140734623549728 18446744073709551615 4316605 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2386948 CPUtime=222.24 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 143229 0 0 0 22188 36 0 0 25 0 4 0 650613956 2444234752 472496 33554432000 4194304 4580107 140734623549728 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2386948 CPUtime=222.25 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 148064 0 0 0 22190 35 0 0 25 0 4 0 650613956 2444234752 472496 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887
Current children cumulated vsize (KiB) 2386948

[startup+282.311 s]
/proc/loadavg: 8.00 8.01 7.20 9/298 3755
/proc/meminfo: memFree=14491808/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=2353972 CPUtime=1126.49 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 661567 0 0 0 112473 176 0 0 25 0 4 0 650613956 2410467328 471709 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 588493 471709 381 95 0 583475 0
[pid=3683/tid=3684] ppid=3681 vsize=2353972 CPUtime=279.69 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 163220 0 0 0 27925 44 0 0 25 0 4 0 650613956 2410467328 471709 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2353972 CPUtime=282.26 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 162396 0 0 0 28183 43 0 0 25 0 4 0 650613956 2410467328 471709 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2353972 CPUtime=282.25 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 164376 0 0 0 28184 41 0 0 25 0 4 0 650613956 2410467328 471709 33554432000 4194304 4580107 140734623549728 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1126.49
Current children cumulated vsize (KiB) 2353972

[startup+342.301 s]
/proc/loadavg: 8.03 8.02 7.25 9/298 3757
/proc/meminfo: memFree=14346440/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=2681396 CPUtime=1365.92 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 737805 0 0 0 136390 202 0 0 25 0 4 0 650613956 2745749504 505812 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 670349 505812 381 95 0 665331 0
[pid=3683/tid=3684] ppid=3681 vsize=2681396 CPUtime=339.14 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 186509 0 0 0 33864 50 0 0 25 0 4 0 650613956 2745749504 505812 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2681396 CPUtime=342.24 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 182340 0 0 0 34172 52 0 0 25 0 4 0 650613956 2745749504 505812 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2681396 CPUtime=342.25 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 182723 0 0 0 34178 47 0 0 25 0 4 0 650613956 2745749504 505812 33554432000 4194304 4580107 140734623549728 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1365.92
Current children cumulated vsize (KiB) 2681396

[startup+402.301 s]
/proc/loadavg: 8.12 8.05 7.31 9/298 3758
/proc/meminfo: memFree=14260068/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=2674980 CPUtime=1605.37 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 813456 0 0 0 160307 230 0 0 25 0 4 0 650613956 2739179520 519747 33554432000 4194304 4580107 140734623549728 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 668745 519747 381 95 0 663727 0
[pid=3683/tid=3684] ppid=3681 vsize=2674980 CPUtime=398.59 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 200933 0 0 0 39802 57 0 0 25 0 4 0 650613956 2739179520 519748 33554432000 4194304 4580107 140734623549728 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2674980 CPUtime=402.25 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 203759 0 0 0 40167 58 0 0 25 0 4 0 650613956 2739179520 519748 33554432000 4194304 4580107 140734623549728 18446744073709551615 4316709 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2674980 CPUtime=402.24 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 202650 0 0 0 40169 55 0 0 25 0 4 0 650613956 2739179520 519748 33554432000 4194304 4580107 140734623549728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1605.37
Current children cumulated vsize (KiB) 2674980

[startup+462.301 s]
/proc/loadavg: 8.09 8.05 7.35 9/298 3760
/proc/meminfo: memFree=14149164/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=2787504 CPUtime=1844.84 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 887387 0 0 0 184225 259 0 0 25 0 4 0 650613956 2854404096 540432 33554432000 4194304 4580107 140734623549728 18446744073709551615 4295687 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 696876 540432 381 95 0 691858 0
[pid=3683/tid=3684] ppid=3681 vsize=2787504 CPUtime=458.06 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 219675 0 0 0 45742 64 0 0 25 0 4 0 650613956 2854404096 540432 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2787504 CPUtime=462.25 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 221300 0 0 0 46160 65 0 0 25 0 4 0 650613956 2854404096 540432 33554432000 4194304 4580107 140734623549728 18446744073709551615 4295146 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2787504 CPUtime=462.24 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 223247 0 0 0 46161 63 0 0 25 0 4 0 650613956 2854404096 540432 33554432000 4194304 4580107 140734623549728 18446744073709551615 4316835 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1844.84
Current children cumulated vsize (KiB) 2787504

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

[startup+487 s]
/proc/loadavg: 8.20 8.08 7.38 9/298 3760
/proc/meminfo: memFree=14159072/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=2675460 CPUtime=1943.41 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 909360 0 0 0 194072 269 0 0 25 0 4 0 650613956 2739671040 535193 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 668865 535193 381 95 0 663847 0
[pid=3683/tid=3684] ppid=3681 vsize=2675460 CPUtime=482.53 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 224504 0 0 0 48186 67 0 0 25 0 4 0 650613956 2739671040 535193 33554432000 4194304 4580107 140734623549728 18446744073709551615 4325617 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2675460 CPUtime=486.95 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 228160 0 0 0 48628 67 0 0 25 0 4 0 650613956 2739671040 535193 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2675460 CPUtime=486.94 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 231078 0 0 0 48627 67 0 0 25 0 4 0 650613956 2739671040 535193 33554432000 4194304 4580107 140734623549728 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1943.41
Current children cumulated vsize (KiB) 2675460

[startup+499.801 s]
/proc/loadavg: 8.15 8.07 7.39 9/298 3761
/proc/meminfo: memFree=14133504/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=2794408 CPUtime=1994.5 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 919439 0 0 0 199177 273 0 0 25 0 4 0 650613956 2861473792 543174 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293261 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 698602 543174 381 95 0 693584 0
[pid=3683/tid=3684] ppid=3681 vsize=2794408 CPUtime=495.22 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 226877 0 0 0 49455 67 0 0 25 0 4 0 650613956 2861473792 543174 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2794408 CPUtime=499.75 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 232167 0 0 0 49906 69 0 0 25 0 4 0 650613956 2861473792 543174 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2794408 CPUtime=499.74 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 233420 0 0 0 49906 68 0 0 25 0 4 0 650613956 2861473792 543174 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1994.5
Current children cumulated vsize (KiB) 2794408

[startup+506.201 s]
/proc/loadavg: 8.14 8.07 7.39 9/298 3761
/proc/meminfo: memFree=14127304/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=2676624 CPUtime=2020.04 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 927909 0 0 0 201729 275 0 0 25 0 4 0 650613956 2740862976 543408 33554432000 4194304 4580107 140734623549728 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 669156 543408 381 95 0 664138 0
[pid=3683/tid=3684] ppid=3681 vsize=2676624 CPUtime=501.56 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 229369 0 0 0 50088 68 0 0 25 0 4 0 650613956 2740862976 543408 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2676624 CPUtime=506.15 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 233278 0 0 0 50546 69 0 0 25 0 4 0 650613956 2740862976 543408 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2676624 CPUtime=506.15 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 236007 0 0 0 50546 69 0 0 25 0 4 0 650613956 2740862976 543408 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2020.04
Current children cumulated vsize (KiB) 2676624

[startup+507.811 s]
/proc/loadavg: 8.13 8.07 7.39 9/298 3761
/proc/meminfo: memFree=14120236/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=2676624 CPUtime=2026.46 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 929034 0 0 0 202370 276 0 0 25 0 4 0 650613956 2740862976 544533 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 669156 544533 381 95 0 664138 0
[pid=3683/tid=3684] ppid=3681 vsize=2676624 CPUtime=503.15 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 229694 0 0 0 50247 68 0 0 25 0 4 0 650613956 2740862976 544533 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2676624 CPUtime=507.76 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 233528 0 0 0 50707 69 0 0 25 0 4 0 650613956 2740862976 544533 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2676624 CPUtime=507.75 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 236254 0 0 0 50706 69 0 0 25 0 4 0 650613956 2740862976 544533 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2026.46
Current children cumulated vsize (KiB) 2676624

[startup+508.601 s]
/proc/loadavg: 8.13 8.07 7.39 9/298 3761
/proc/meminfo: memFree=14120236/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=2620536 CPUtime=2029.61 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 929497 0 0 0 202685 276 0 0 25 0 4 0 650613956 2683428864 543854 33554432000 4194304 4580107 140734623549728 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 655134 543854 381 95 0 650116 0
[pid=3683/tid=3684] ppid=3681 vsize=2620536 CPUtime=503.94 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 229834 0 0 0 50325 69 0 0 25 0 4 0 650613956 2683428864 543854 33554432000 4194304 4580107 140734623549728 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2620536 CPUtime=508.55 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 233586 0 0 0 50786 69 0 0 25 0 4 0 650613956 2683428864 543854 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293268 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2620536 CPUtime=508.54 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 236395 0 0 0 50785 69 0 0 25 0 4 0 650613956 2683428864 543854 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2029.61
Current children cumulated vsize (KiB) 2620536

[startup+509.001 s]
/proc/loadavg: 8.13 8.07 7.39 9/298 3761
/proc/meminfo: memFree=14121104/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=2620536 CPUtime=2031.2 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) R 3681 3683 3572 0 -1 4202496 929694 0 0 0 202844 276 0 0 25 0 4 0 650613956 2683428864 544050 33554432000 4194304 4580107 140734623549728 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 655134 544050 381 95 0 650116 0
[pid=3683/tid=3684] ppid=3681 vsize=2620536 CPUtime=504.33 cores=1,3,5,7
/proc/3683/task/3684/stat : 3684 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 229895 0 0 0 50364 69 0 0 25 0 4 0 650613956 2683428864 544050 33554432000 4194304 4580107 140734623549728 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3683/tid=3685] ppid=3681 vsize=2620536 CPUtime=508.95 cores=1,3,5,7
/proc/3683/task/3685/stat : 3685 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 233586 0 0 0 50826 69 0 0 25 0 4 0 650613956 2683428864 544050 33554432000 4194304 4580107 140734623549728 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=2620536 CPUtime=508.94 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4202560 236462 0 0 0 50825 69 0 0 25 0 4 0 650613956 2683428864 544050 33554432000 4194304 4580107 140734623549728 18446744073709551615 4497276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2031.2
Current children cumulated vsize (KiB) 2620536

[startup+509.201 s]
/proc/loadavg: 8.13 8.07 7.39 9/298 3761
/proc/meminfo: memFree=14121104/32951124 swapFree=52307768/67111528
[pid=3683] ppid=3681 vsize=0 CPUtime=2031.91 cores=1,3,5,7
/proc/3683/stat : 3683 (strangenight2-m) Z 3681 3683 3572 0 -1 4203548 929767 0 0 0 202911 280 0 0 25 0 2 0 650613956 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3683/statm: 0 0 0 0 0 0 0
[pid=3683/tid=3686] ppid=3681 vsize=0 CPUtime=509.14 cores=1,3,5,7
/proc/3683/task/3686/stat : 3686 (strangenight2-m) R 3681 3683 3572 0 -1 4203588 236484 0 0 0 50842 72 0 0 25 0 2 0 650613956 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2031.91
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 509.265
CPU time (s): 2031.98
CPU user time (s): 2029.11
CPU system time (s): 2.86556
CPU usage (%): 399.002
Max. virtual memory (cumulated for all children) (KiB): 2861116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2029.11
system time used= 2.86556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 929767
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= 20259
involuntary context switches= 13563

runsolver used 1.34279 second user time and 3.3035 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 18:21:52
IDJOB=3367079
IDBENCH=70817
IDSOLVER=1844
FILE ID=node101/3367079-1305390112
RUNJOBID= node101-1305388906-3591
PBS_JOBID= 13324427
Free space on /tmp= 73712 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367079-1305390112/watcher-3367079-1305390112 -o /tmp/evaluation-result-3367079-1305390112/solver-3367079-1305390112 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367079-1305390112.cnf

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

MD5SUM BENCH= 902b28046d424b16042ca612ddad48e0
RANDOM SEED=294114320

node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16827960 kB
Buffers:        313556 kB
Cached:        5876032 kB
SwapCached:      14848 kB
Active:       10834592 kB
Inactive:      5012404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16827960 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:            7776 kB
Writeback:           0 kB
AnonPages:     9654248 kB
Mapped:          14892 kB
Slab:           148940 kB
PageTables:      61744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 42012904 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73720 MiB
End job on node101 at 2011-05-14 18:30:21