Trace number 3369578

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.26 1201.83

General information on the benchmark

Namemanol-pipe-c10nidw.cnf
MD5SUM943fd86d922b13236c21a74c4f82b6d0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark144.2
Satisfiable
(Un)Satisfiability was proved
Number of variables433601
Number of clauses1291714
Sum of the clauses size3013998
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2861142
Number of clauses of size 3430571
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369578-1307633610.cnf'
0.00/0.00	c -- header says num vars:         433601
0.00/0.00	c -- header says num clauses:     1291714
2.27/0.98	c -- clauses added:            0 learnts,      1291714 normals,            0 xors
2.27/0.98	c -- vars added     433601
2.27/0.98	c Parsing time:  1.92 s
2.27/0.98	c  N st     0         0    433601    430571    861142         0   3013997         0   no data   no data  --
2.27/0.98	c asymm  cl-useful: 0/24048/430570 lits-rem:0 time: 1.48
61.83/15.51	c Flit:  1587 Blit:  14472 bXBeca:    0 bXProp: 18653 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 57.83
61.83/15.56	c Cleaning up after failed var search:     0.19 s 
62.23/15.68	c Replacing    18653 vars Replaced   382785 lits Time:     0.42 s 
63.42/15.90	c bin-w-bin subsume rem          521 bins  time:  0.25 s
63.82/16.07	c subs with bin:      132  lits-rem:       129  v-fix:    0  time:  0.66 s
67.81/17.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 130432 time:  3.96 s
68.61/17.27	c Removed useless bin:      71  fixed:     0  props:  20.00M  time:  0.79 s
74.60/18.74	c lits-rem:         2  cl-subs:      308  v-elim: 132156  v-fix:    0  time:  5.73 s
75.01/18.82	c Finding binary XORs  T:     0.32 s  found:    4341
75.01/18.89	c Replacing     4341 vars Replaced    39890 lits Time:     0.28 s 
76.60/19.22	c Finding non-binary XORs:     1.00 s (found:     176, avg size: 3.0)
76.60/19.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.27
76.60/19.29	c Calc default polars -  time:   0.18 s pos:   71037 undec:  176008 neg:  186556
76.60/19.29	c =========================================================================================
76.60/19.29	c types(t): F = full restart, N = normal restart
76.60/19.29	c types(t): S = simplification begin/end, E = solution found
76.60/19.29	c restart types(rt): st = static, dy = dynamic
76.60/19.29	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
76.60/19.29	c  B st     0         0    259971    414441    470177         0   2404503         0   no data   no data  --
87.78/22.05	c  N dy    12      4043    258391    414441    470291      3853   2404503     50537      6.27      7.33  --
98.97/24.83	c  N dy    36      8128    258319    414441    471322      7849   2404503    109172      7.25      7.69  --
106.97/26.86	c  N dy    60     12196    258319    414441    471338     11859   2404503    173417      7.59     10.23  --
116.54/29.25	c  N dy    81     16326    258265    414441    471495     15932   2404503    228879      7.60      8.51  --
129.72/32.51	c  N dy   106     20458    258212    414441    472831     10236   2404503     63947      7.65      8.16  --
140.91/35.35	c  N dy   123     24489    258212    414441    473615     14199   2404503    117260      7.52      8.38  --
142.12/35.63	c  F st   128     25001    258104    414441    473619     14706   2404503    125714      7.54   no data  --
224.39/56.29	c  N dy   134     30001    258104    409306    470264     19514   2379933    232295      7.54   no data  --
224.39/56.29	c  S st   134     30001    258104    409306    470264     19514   2379933    232295      7.54   no data  --
226.78/56.80	c  S st   134     30505    258075    409306    470407     19961   2379933    237590      7.54   no data  --
226.78/56.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
297.89/74.67	c Flit:   130 Blit:    379 bXBeca:    0 bXProp: 6360 Bins:  17697 BRemL:   4786 BRemN:   1316 P: 181.7M T: 70.84
297.89/74.68	c Cleaning up after failed var search:     0.00 s 
298.69/74.83	c Replacing     6360 vars Replaced   138681 lits Time:     0.53 s 
299.49/75.04	c bin-w-bin subsume rem         4519 bins  time:  0.19 s
299.90/75.19	c subs with bin:     1105  lits-rem:      3433  v-fix:    0  time:  0.58 s
301.89/75.61	c Subs w/ non-existent bins:    203 l-rem:   1293 v-fix:     0 done:  83099 time:  1.71 s
302.69/75.85	c Removed useless bin:     142  fixed:     0  props:  20.00M  time:  0.96 s
315.07/78.93	c lits-rem:      1810  cl-subs:    21910  v-elim: 167000  v-fix:    0  time: 12.15 s
315.07/78.93	c Added XOR as norm:175
316.67/79.40	c asymm  cl-useful: 1387/22653/418980 lits-rem:3444 time: 1.88
317.07/79.42	c  N dy   134     30505     83501    418872     88253      1180   1973843     18585      7.54   no data  --
317.07/79.47	c Finding binary XORs  T:     0.17 s  found:      43
321.87/80.62	c  N dy   157     34572     83501    418872     88262      4622   1973843     65013      7.56      8.02  --
326.67/81.87	c  N dy   184     38769     83501    418872     88373      8224   1973843    116771      7.62      8.19  --
331.84/83.10	c  N dy   211     42855     83379    418872     89979     11640   1973843    168341      7.66      8.13  --
334.65/83.89	c  S st   225     45758     83379    418872     89983     14081   1973843    201841      7.69      6.73  --
336.24/84.20	c  S st   225     46258     83375    418872     90011     14522   1973843    205109      7.69   no data  --
336.24/84.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
364.21/91.29	c Flit:     9 Blit:     27 bXBeca:    0 bXProp:  494 Bins:  14483 BRemL:   3621 BRemN:    164 P: 33.7M T: 28.00
365.00/91.41	c Replacing      537 vars Replaced    20412 lits Time:     0.44 s 
365.81/91.61	c bin-w-bin subsume rem         1461 bins  time:  0.09 s
365.81/91.70	c subs with bin:     2548  lits-rem:      4367  v-fix:    0  time:  0.38 s
366.60/91.81	c Subs w/ non-existent bins:    253 l-rem:   1540 v-fix:     0 done:  35817 time:  0.44 s
366.99/91.91	c Removed useless bin:     174  fixed:     0  props:   4.93M  time:  0.37 s
375.79/94.15	c lits-rem:      1658  cl-subs:     8726  v-elim:  18377  v-fix:    0  time:  8.91 s
377.39/94.59	c asymm  cl-useful: 608/36800/397421 lits-rem:772 time: 1.77
377.79/94.61	c  N dy   225     46258     64314    397420     72746      7347   1958217    113556      7.69   no data  --
377.79/94.66	c Finding binary XORs  T:     0.16 s  found:       0
380.98/95.49	c  N dy   244     50323     64314    397420     73223     10769   1958217    159994      7.70     13.53  --
384.97/96.44	c  N dy   262     54370     64297    397420     73225     14239   1958217    205352      7.71      8.16  --
388.56/97.39	c  N dy   282     58534     64297    397420     74530     17788   1958217    258069      7.72      8.14  --
392.57/98.34	c  N dy   308     62595     64297    397420     74538     21291   1958217    309235      7.77     15.84  --
396.55/99.33	c  N dy   332     66621     64297    397420     74540     24771   1958217    356348      7.79     12.05  --
399.75/100.11	c  S st   352     69388     64297    397420     74570     14763   1958217    134358      7.84      7.35  --
400.54/100.38	c  S st   352     69889     64296    397420     74594     15219   1958217    138418      7.84   no data  --
400.95/100.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
420.52/105.30	c Flit:     3 Blit:     17 bXBeca:    0 bXProp:   60 Bins:   3725 BRemL:   1199 BRemN:     64 P: 22.7M T: 19.41
420.52/105.40	c Replacing       60 vars Replaced     4884 lits Time:     0.35 s 
421.32/105.56	c bin-w-bin subsume rem          568 bins  time:  0.09 s
421.72/105.63	c subs with bin:     1030  lits-rem:      1784  v-fix:    0  time:  0.31 s
422.11/105.73	c Subs w/ non-existent bins:    636 l-rem:   2448 v-fix:     0 done:  28256 time:  0.39 s
422.51/105.80	c Removed useless bin:      57  fixed:     0  props:   3.44M  time:  0.28 s
427.73/107.12	c lits-rem:      1381  cl-subs:     2775  v-elim:    292  v-fix:    0  time:  5.27 s
428.11/107.28	c vivif2 --  cl tried   393827 cl shrink     2319 lits rem       3560 time: 0.60
428.11/107.29	c vivif2 --  cl tried    12998 cl shrink      568 lits rem        880 time: 0.05
430.51/107.80	c asymm  cl-useful: 464/27332/393728 lits-rem:685 time: 2.06
430.51/107.85	c calculated reachability. Time: 0.09
430.51/107.85	c  N dy   352     69889     63843    393697     75208     12987   1933621    123722      7.84   no data  --
430.90/107.92	c Finding binary XORs  T:     0.26 s  found:       3
435.69/109.16	c  N dy   364     74486     63717    393697     76050     16994   1933620    178629      7.78      8.19  --
440.91/110.47	c  N dy   377     79317     63714    393697     76060     21223   1933620    234171      7.72      8.54  --
446.88/111.91	c  N dy   396     84673     63713    393697     76141     25949   1933620    297901      7.67      8.11  --
450.07/112.78	c  F st   409     87500     63708    393697     76174     28430   1933620    331368      7.66   no data  --
450.47/112.87	c Replacing        3 vars Replaced      723 lits Time:     0.22 s 
454.47/113.88	c  N st   414     90798     63700    392770     75201     31285   1926771    373863      7.66   no data  --
461.26/115.56	c  N dy   435     96631     63617    392770     76079     20777   1926771    193285      7.65      8.14  --
469.25/117.52	c  N dy   459    102964     63613    392770     76098     26380   1926771    271986      7.63      8.25  --
470.85/117.94	c  S st   466    104833     63610    392770     76103     28024   1926770    297485      7.61      5.90  --
471.67/118.19	c  S st   466    105338     63610    392770     76120     28492   1926770    301813      7.61   no data  --
472.04/118.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
472.04/118.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.03
492.42/123.31	c Flit:    21 Blit:      2 bXBeca:    0 bXProp:  266 Bins:   2804 BRemL:   3366 BRemN:    113 P: 26.7M T: 20.21
492.82/123.43	c Replacing      266 vars Replaced    12436 lits Time:     0.42 s 
493.64/123.61	c bin-w-bin subsume rem          380 bins  time:  0.09 s
494.01/123.71	c subs with bin:      675  lits-rem:      2595  v-fix:    0  time:  0.37 s
494.01/123.79	c Subs w/ non-existent bins:    154 l-rem:   2144 v-fix:     0 done:  14332 time:  0.32 s
494.41/123.85	c Removed useless bin:      56  fixed:     0  props:   3.30M  time:  0.26 s
500.81/125.46	c lits-rem:      2344  cl-subs:     4299  v-elim:    577  v-fix:    0  time:  6.42 s
501.61/125.61	c vivif2 --  cl tried   386463 cl shrink      889 lits rem       1179 time: 0.60
501.61/125.64	c vivif2 --  cl tried    25458 cl shrink     1748 lits rem       3171 time: 0.12
503.60/126.13	c asymm  cl-useful: 563/18197/386413 lits-rem:778 time: 1.93
503.60/126.17	c calculated reachability. Time: 0.09
503.60/126.18	c  N dy   466    105338     62558    386361     71273     25452   1894011    260946      7.61   no data  --
504.00/126.24	c Finding binary XORs  T:     0.27 s  found:       0
511.99/128.25	c  N dy   493    112108     62491    386361     72667     31418   1894011    343051      7.58      8.41  --
521.18/130.53	c  N dy   526    120041     62484    386361     72715     20613   1894011    156537      7.56      8.12  --
529.17/132.52	c  N dy   555    127889     62477    386361     72735     27544   1894011    251964      7.53      7.95  --
539.95/135.21	c  N dy   590    136062     62429    386361     72758     34767   1894011    347129      7.50      8.04  --
549.54/137.64	c  N dy   629    144832     62423    386361     72784     23042   1894011    168873      7.47      7.96  --
559.55/140.19	c  N dy   675    154415     62421    386361     72798     31569   1894011    290502      7.47      7.89  --
563.53/141.12	c  S st   692    158007     62417    386361     72813     34765   1894011    335293      7.46   no data  --
564.32/141.38	c  S st   692    158510     62417    386361     72831     35240   1894011    340457      7.46   no data  --
564.72/141.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
564.72/141.44	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.03
584.70/146.46	c Flit:     8 Blit:      0 bXBeca:    0 bXProp:  158 Bins:   2058 BRemL:   2245 BRemN:     84 P: 26.8M T: 20.02
585.10/146.57	c Replacing      158 vars Replaced     9476 lits Time:     0.38 s 
585.92/146.74	c bin-w-bin subsume rem          214 bins  time:  0.08 s
586.29/146.83	c subs with bin:      745  lits-rem:      1536  v-fix:    0  time:  0.35 s
586.69/146.91	c Subs w/ non-existent bins:     66 l-rem:   1197 v-fix:     0 done:  25450 time:  0.32 s
586.69/146.97	c Removed useless bin:      47  fixed:     0  props:   3.13M  time:  0.27 s
592.68/148.48	c lits-rem:      2078  cl-subs:     4656  v-elim:    381  v-fix:    0  time:  6.02 s
593.48/148.63	c vivif2 --  cl tried   381955 cl shrink      472 lits rem        662 time: 0.59
593.48/148.66	c vivif2 --  cl tried    31683 cl shrink     1724 lits rem       3385 time: 0.13
595.48/149.12	c asymm  cl-useful: 234/36721/381944 lits-rem:294 time: 1.82
595.48/149.17	c calculated reachability. Time: 0.09
595.48/149.17	c  N dy   692    158510     61785    381925     69282     31677   1870789    294504      7.46   no data  --
595.88/149.24	c Finding binary XORs  T:     0.27 s  found:       2
607.46/152.16	c  N dy   733    168676     61677    381925     69999     40737   1870789    426438      7.43      7.84  --
620.24/155.39	c  N dy   780    179544     61677    381925     70014     29902   1870789    251508      7.41      7.86  --
635.03/159.06	c  N dy   839    191149     61677    381925     70036     40237   1870789    407510      7.40      7.89  --
649.81/162.74	c  N dy   890    203682     61677    381925     70052     29673   1870789    237141      7.38      7.88  --
667.38/167.17	c  N dy   961    216688     61643    381925     70794     41301   1870789    410712      7.37      8.15  --
667.78/167.28	c Finding binary XORs  T:     0.27 s  found:     166
684.16/171.40	c  N dy  1019    230745     61576    380403     70089     32209   1860580    254281      7.35      7.74  --
694.55/173.93	c  S st  1059    237765     61564    380403     70106     38592   1860580    357283      7.35   no data  --
695.76/174.22	c  S st  1059    238266     61564    380403     70114     39073   1860580    362643      7.35   no data  --
695.76/174.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
695.76/174.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
715.71/179.26	c Flit:     2 Blit:      1 bXBeca:    0 bXProp:   16 Bins:   1440 BRemL:   1345 BRemN:     28 P: 26.7M T: 19.91
716.12/179.38	c Replacing      184 vars Replaced    18794 lits Time:     0.42 s 
716.92/179.57	c bin-w-bin subsume rem          300 bins  time:  0.09 s
717.32/179.66	c subs with bin:      620  lits-rem:      1973  v-fix:    0  time:  0.36 s
717.74/179.75	c Subs w/ non-existent bins:     91 l-rem:    971 v-fix:     0 done:  27437 time:  0.36 s
718.11/179.82	c Removed useless bin:      34  fixed:     0  props:   3.02M  time:  0.26 s
724.51/181.44	c lits-rem:      2102  cl-subs:     3622  v-elim:    294  v-fix:    0  time:  6.46 s
725.31/181.60	c vivif2 --  cl tried   378005 cl shrink      312 lits rem        385 time: 0.64
725.31/181.64	c vivif2 --  cl tried    36039 cl shrink     2067 lits rem       4810 time: 0.16
727.30/182.15	c asymm  cl-useful: 103/43746/377993 lits-rem:196 time: 2.04
727.70/182.20	c calculated reachability. Time: 0.09
727.70/182.20	c  N dy  1059    238266     61084    377962     68588     36030   1848905    326221      7.35   no data  --
748.08/187.40	c  N dy  1136    253587     61060    377962     68722     26897   1848905    164215      7.35      7.74  --
754.46/188.99	c Finding binary XORs  T:     0.28 s  found:      15
769.65/192.71	c  N dy  1206    269804     61049    377831     68668     41430   1847978    377788      7.34      7.87  --
792.43/198.49	c  N dy  1308    287084     61037    377831     68709     34122   1847977    242570      7.37      7.81  --
817.97/204.89	c  N dy  1413    305578     61037    377831     68731     50800   1847977    492329      7.37      7.94  --
819.17/205.15	c  F st  1418    306250     61037    377831     68731     51408   1847977    504109      7.38      6.28  --
819.57/205.24	c Replacing       15 vars Replaced     1878 lits Time:     0.24 s 
846.74/212.01	c  N dy  1511    325102     61009    377677     68612     44295   1846670    376066      7.40      7.92  --
875.92/219.31	c  N dy  1629    345199     61008    377677     68648     37762   1846669    243582      7.41      7.84  --
892.27/223.45	c  S st  1698    357400     61001    377677     69110     48741   1846669    417004      7.41      7.73  --
893.49/223.76	c  S st  1698    357907     61001    377677     69113     49231   1846669    425468      7.41   no data  --
893.86/223.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
893.86/223.83	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.04
913.44/228.74	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   39 Bins:    664 BRemL:    705 BRemN:     32 P: 27.8M T: 19.61
913.84/228.85	c Replacing       40 vars Replaced     4634 lits Time:     0.38 s 
914.64/229.03	c bin-w-bin subsume rem           93 bins  time:  0.09 s
915.04/229.12	c subs with bin:      549  lits-rem:      1375  v-fix:    0  time:  0.36 s
915.46/229.22	c Subs w/ non-existent bins:     70 l-rem:    673 v-fix:     0 done:  38281 time:  0.39 s
915.46/229.29	c Removed useless bin:      27  fixed:     0  props:   2.98M  time:  0.28 s
921.84/230.85	c lits-rem:      1903  cl-subs:     3612  v-elim:    229  v-fix:    0  time:  6.23 s
922.64/231.01	c vivif2 --  cl tried   375626 cl shrink      173 lits rem        251 time: 0.64
922.64/231.06	c vivif2 --  cl tried    45960 cl shrink     2300 lits rem       5698 time: 0.19
924.63/231.51	c asymm  cl-useful: 11/10013/375622 lits-rem:33 time: 1.79
924.63/231.55	c calculated reachability. Time: 0.09
924.63/231.55	c  N dy  1698    357907     60731    375611     68181     45953   1836727    388501      7.41   no data  --
925.03/231.62	c Finding binary XORs  T:     0.27 s  found:       1
954.59/239.08	c  N dy  1826    377937     60717    375611     68549     64064   1836727    677802      7.44     10.73  --
984.55/246.55	c  N dy  1946    398039     60692    375611     69635     55351   1836727    494755      7.45      7.88  --
987.75/247.35	c Finding binary XORs  T:     0.28 s  found:      34
1014.91/254.15	c  N dy  2063    418356     60692    375253     69527     47254   1834443    349148      7.46      7.93  --
1046.46/262.03	c  N dy  2164    438376     60691    375253     69581     65366   1834443    622816      7.45      8.01  --
1079.22/270.24	c  N dy  2288    458382     60691    375253     69607     56435   1834442    456801      7.47      8.98  --
1110.78/278.17	c  N dy  2409    478519     60657    375253     69646     74712   1834442    759450      7.48      7.88  --
1139.13/285.30	c  N dy  2525    498565     60657    375253     69685     64719   1834441    557995      7.49      7.92  --
1171.49/293.37	c  N dy  2635    518685     60657    375253     69715     53725   1834440    340128      7.49      8.05  --
1200.25/300.57	c  S st  2742    536860     60656    375253     69741     70325   1834440    618277      7.49   no data  --
1201.84/300.93	c  S st  2742    537361     60656    375253     69744     70811   1834440    625299      7.49   no data  --
1201.84/300.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.23
1202.24/301.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
1223.04/306.20	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:   38 Bins:   1360 BRemL:   2388 BRemN:     24 P: 32.8M T: 20.78
1223.41/306.32	c Replacing       73 vars Replaced     4821 lits Time:     0.42 s 
1224.21/306.53	c bin-w-bin subsume rem          171 bins  time:  0.09 s
1224.61/306.64	c subs with bin:      572  lits-rem:      2198  v-fix:    0  time:  0.44 s
1225.01/306.72	c Subs w/ non-existent bins:     18 l-rem:   2063 v-fix:     0 done:   8380 time:  0.31 s
1225.01/306.79	c Removed useless bin:      12  fixed:     0  props:   2.94M  time:  0.27 s
1232.60/308.67	c lits-rem:      3027  cl-subs:     4855  v-elim:    283  v-fix:    0  time:  7.50 s
1233.40/308.84	c vivif2 --  cl tried   372993 cl shrink      266 lits rem        459 time: 0.68
1233.80/308.92	c vivif2 --  cl tried    66178 cl shrink     3838 lits rem       9793 time: 0.34
1235.81/309.41	c asymm  cl-useful: 23/13821/372983 lits-rem:69 time: 1.95
1235.81/309.46	c calculated reachability. Time: 0.10
1235.81/309.46	c  N dy  2742    537361     60293    372960     67118     66167   1823914    568995      7.49   no data  --
1236.22/309.54	c Finding binary XORs  T:     0.30 s  found:       1
1268.15/317.51	c  N dy  2855    557413     60291    372960     67252     84382   1823914    868929      7.50      8.30  --
1300.10/325.56	c  N dy  2961    577811     60291    372960     67268     70812   1823914    589577      7.50      8.09  --
1334.86/334.22	c  N dy  3087    597828     60291    372960     67292     58256   1823914    361984      7.51      8.13  --
1365.62/341.92	c  N dy  3200    617858     60291    372960     67311     76430   1823914    654489      7.51      8.41  --
1397.97/350.01	c  N dy  3297    637874     60291    372960     67338     63077   1823914    391785      7.51      9.29  --
1430.73/358.29	c  N dy  3423    657953     60291    372960     67366     81485   1823914    693309      7.52      8.10  --
1467.47/367.47	c  N dy  3551    678006     60291    372960     67385     67142   1823914    428325      7.53     12.07  --
1501.42/375.98	c  N dy  3676    698223     60291    372960     67780     85613   1823914    734325      7.54      7.96  --
1536.59/384.78	c  N dy  3807    718326     60291    372960     67796     70483   1823914    437321      7.55      8.06  --
1569.34/392.99	c  N dy  3914    738405     60291    372960     67820     88690   1823914    734556      7.56      8.42  --
1603.29/401.50	c Finding binary XORs  T:     0.30 s  found:      24
1609.29/402.94	c  N dy  4040    758449     60290    372936     68281     72969   1823794    437782      7.57      8.97  --
1643.24/411.41	c  N dy  4139    778460     60290    372936     68302     91306   1823794    731319      7.57      8.42  --
1679.18/420.47	c  N dy  4256    798527     60290    372936     68929    109630   1823794   1039583      7.57      7.98  --
1692.77/423.81	c  S st  4298    806041     60290    372936     68939     81113   1823794    530607      7.58   no data  --
1694.36/424.20	c  S st  4298    806541     60288    372936     68939     81607   1823794    538511      7.58   no data  --
1694.36/424.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
1694.36/424.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
1715.53/429.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   13 Bins:    516 BRemL:   1357 BRemN:     23 P: 33.9M T: 20.96
1715.93/429.64	c Replacing       38 vars Replaced     6857 lits Time:     0.44 s 
1716.73/429.84	c bin-w-bin subsume rem          214 bins  time:  0.09 s
1717.13/429.94	c subs with bin:      588  lits-rem:      1729  v-fix:    0  time:  0.38 s
1717.53/430.03	c Subs w/ non-existent bins:     31 l-rem:    871 v-fix:     0 done:  11995 time:  0.35 s
1717.93/430.10	c Removed useless bin:       8  fixed:     0  props:   2.97M  time:  0.27 s
1724.32/431.78	c lits-rem:      2056  cl-subs:     6346  v-elim:     81  v-fix:    0  time:  6.68 s
1725.12/431.95	c vivif2 --  cl tried   372018 cl shrink      200 lits rem        277 time: 0.71
1725.52/432.03	c vivif2 --  cl tried    75203 cl shrink     1327 lits rem       2796 time: 0.30
1727.52/432.53	c asymm  cl-useful: 10/13069/372011 lits-rem:30 time: 2.00
1727.52/432.58	c calculated reachability. Time: 0.10
1727.52/432.58	c  N dy  4298    806541     60169    372001     66995     75191   1819058    485527      7.58   no data  --
1727.93/432.66	c Finding binary XORs  T:     0.30 s  found:       1
1765.46/442.09	c  N dy  4423    826665     60169    372001     67038     93596   1819058    793232      7.59      8.02  --
1803.81/451.64	c  N dy  4554    846718     60169    372001     67053    111956   1819058   1108421      7.60     10.40  --
1838.96/460.44	c  N dy  4676    866873     60169    372001     67071     90238   1819058    686834      7.60      8.15  --
1876.51/469.81	c  N dy  4798    886937     60169    372001     67095    108583   1819058    991774      7.61      8.07  --
1917.65/480.12	c  N dy  4932    907202     60169    372001     67112     90160   1819058    639563      7.62      8.08  --
1953.60/489.13	c  N dy  5041    927364     60169    372001     67125    108551   1819058    941468      7.62      8.42  --
1993.95/499.22	c  N dy  5176    947438     60169    372001     67143     89330   1819058    574318      7.63      8.08  --
2034.30/509.30	c  N dy  5309    967702     60169    372001     67156    107856   1819058    905559      7.65      8.37  --
2075.04/519.53	c  N dy  5450    987775     60169    372001     67172    126283   1819058   1243471      7.66      8.08  --
2114.18/529.35	c  N dy  5558   1007992     60169    372001     67216    106010   1819058    789719      7.66      8.22  --
2155.33/539.62	c  N dy  5681   1028009     60166    372001     67250    124283   1819058   1096324      7.67      9.81  --
2193.68/549.29	c  N dy  5789   1048018     60166    372001     67280    103356   1819058    705555      7.67      8.13  --
2233.23/559.17	c  N dy  5907   1068114     60165    372001     67310    121747   1819058   1011656      7.67      8.13  --
2242.42/561.40	c  F st  5937   1071875     60162    372001     67314    125224   1819058   1078530      7.68   no data  --
2242.80/561.51	c Replacing        1 vars Replaced       17 lits Time:     0.26 s 
2275.17/569.63	c  N dy  6022   1088220     60161    371946     67350     99764   1818837    605355      7.69      8.54  --
2313.10/579.14	c  N dy  6138   1108256     60161    371946     67365    118071   1818837    923036      7.69      8.12  --
2356.25/589.94	c  N dy  6254   1128459     60159    371946     67399    136710   1818837   1231056      7.69      8.15  --
2400.20/600.92	c  N dy  6380   1148514     60159    371946     67417    114128   1818837    797219      7.70      8.13  --
2440.16/610.98	c  N dy  6497   1168633     60151    371946     67443    132760   1818837   1120646      7.70      8.32  --
2482.48/621.51	c  N dy  6631   1188793     60151    371946     67457    109060   1818837    656595      7.71      8.21  --
2522.42/631.52	c  N dy  6760   1208866     60151    371946     67481    127683   1818837    990644      7.72      8.28  --
2524.42/632.05	c  S st  6767   1209811     60151    371946     67481    128564   1818837   1007338      7.72   no data  --
2526.42/632.53	c  S st  6767   1210311     60151    371946     67930    129055   1818837   1019832      7.72   no data  --
2526.82/632.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
2526.82/632.61	c Cache  BProp: 0 Set: 0 BXProp: 6 T: 0.04
2548.39/638.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   94 Bins:    350 BRemL:    599 BRemN:     26 P: 40.3M T: 21.91
2549.19/638.23	c Replacing      100 vars Replaced    12585 lits Time:     0.49 s 
2550.01/638.49	c bin-w-bin subsume rem           74 bins  time:  0.09 s
2550.78/638.62	c subs with bin:      714  lits-rem:      4591  v-fix:    0  time:  0.56 s
2551.18/638.71	c Subs w/ non-existent bins:     44 l-rem:   1692 v-fix:     0 done:   6204 time:  0.34 s
2551.18/638.78	c Removed useless bin:      25  fixed:     0  props:   2.84M  time:  0.28 s
2561.17/641.25	c lits-rem:      3890  cl-subs:     9700  v-elim:    138  v-fix:    0  time:  9.84 s
2561.97/641.44	c vivif2 --  cl tried   370739 cl shrink       84 lits rem        123 time: 0.74
2562.37/641.58	c vivif2 --  cl tried   119077 cl shrink     4897 lits rem      12521 time: 0.59
2564.76/642.12	c asymm  cl-useful: 10/12770/370730 lits-rem:30 time: 2.12
2564.76/642.17	c calculated reachability. Time: 0.10
2564.76/642.17	c  N dy  6767   1210311     59912    370720     66738    119062   1812821    912581      7.72   no data  --
2565.16/642.25	c Finding binary XORs  T:     0.31 s  found:       0
2607.90/652.98	c  N dy  6900   1230393     59912    370720     67071    137603   1812821   1241605      7.72      8.20  --
2653.04/664.26	c  N dy  7041   1250483     59912    370720     67262    106726   1812821    643470      7.73      8.95  --
2696.59/675.14	c  N dy  7170   1270578     59912    370720     67281    125249   1812821    970876      7.74      8.17  --
2736.93/685.24	c  N dy  7288   1290601     59912    370720     67297    143635   1812821   1306877      7.74      8.28  --
2781.67/696.44	c  N dy  7409   1310739     59907    370720     67329    118094   1812821    785926      7.75      8.21  --
2827.20/707.85	c  N dy  7529   1330799     59694    370720     67390    136467   1812821   1098970      7.75      8.72  --
2869.55/718.41	c  N dy  7633   1350819     59694    370720     67467    154810   1812821   1404512      7.75      8.25  --
2872.34/719.17	c Finding binary XORs  T:     0.32 s  found:    1059
2873.14/719.36	c Replacing     1059 vars Replaced   232118 lits Time:     0.78 s 
2914.29/729.68	c  N dy  7752   1370827     58634    364439     68746    122426   1779688    856900      7.75      8.19  --
2949.04/738.35	c Finding binary XORs  T:     0.32 s  found:     172
2959.03/740.85	c  N dy  7852   1391529     58633    364434     68797    141416   1779664   1166170      7.75      8.44  --
3004.96/752.37	c  N dy  7981   1411696     58632    364434     68901    115543   1779663    674770      7.76      8.35  --
3048.51/763.28	c  N dy  8101   1432033     58632    364434     69001    134328   1779663    998281      7.76      8.17  --
3093.24/774.46	c  N dy  8218   1452135     58632    364434     69060    152780   1779663   1323465      7.76      8.30  --
3139.18/785.93	c  N dy  8336   1472185     58628    364434     69158    126092   1779662    787384      7.77      8.53  --
3183.12/796.90	c  N dy  8461   1492287     58627    364434     69207    144696   1779662   1117576      7.77      8.20  --
3228.65/808.33	c  N dy  8576   1512504     58627    364434     69305    163331   1779659   1454477      7.78      8.37  --
3276.19/820.30	c  N dy  8698   1532555     58627    364434     69383    135052   1779659    874847      7.78      8.46  --
3324.53/832.31	c  N dy  8831   1552694     58626    364434     69430    153620   1779659   1207427      7.79      8.24  --
3374.46/844.86	c  N dy  8958   1572844     58625    364434     69520    172314   1779659   1551701      7.79      8.41  --
3420.02/856.21	c  N dy  9068   1593129     58625    364434     69584    143405   1779657    961155      7.80      8.23  --
3463.55/867.11	c  N dy  9176   1613308     58624    364434     69645    161977   1779657   1276364      7.80      8.33  --
3497.10/875.53	c Finding binary XORs  T:     0.31 s  found:     257
3512.67/879.42	c  N dy  9283   1633325     58624    364374     69749    180219   1779239   1577382      7.80      8.26  --
3559.01/891.01	c  N dy  9388   1653376     58617    364374     69849    150297   1779239   1006526      7.80      8.97  --
3606.14/902.87	c  N dy  9495   1673592     58617    364374     69931    168776   1779239   1306774      7.80      8.25  --
3656.47/915.41	c  N dy  9614   1693692     58617    364374     69984    187279   1779235   1634812      7.80      9.58  --
3660.07/916.31	c Finding binary XORs  T:     0.32 s  found:     303
3660.47/916.45	c Replacing      732 vars Replaced    74987 lits Time:     0.57 s 
3698.02/925.82	c  S st  9709   1710311     57867    363662     71895    152092   1774725    982746      7.80   no data  --
3700.42/926.41	c  S st  9709   1710812     57867    363662     71898    152580   1774725    988889      7.80   no data  --
3700.42/926.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.26
3700.42/926.49	c Cache  BProp: 10 Set: 0 BXProp: 0 T: 0.03
3727.98/933.33	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  273 Bins:   2475 BRemL:   4814 BRemN:    163 P: 57.1M T: 27.29
3728.38/933.47	c Replacing      273 vars Replaced    25114 lits Time:     0.54 s 
3729.58/933.74	c bin-w-bin subsume rem         2159 bins  time:  0.10 s
3729.98/933.89	c subs with bin:     4918  lits-rem:     12688  v-fix:    0  time:  0.57 s
3730.38/933.99	c Subs w/ non-existent bins:    224 l-rem:   1098 v-fix:     0 done:  23773 time:  0.43 s
3730.78/934.07	c Removed useless bin:     100  fixed:     0  props:   3.04M  time:  0.28 s
3741.96/936.84	c lits-rem:      4603  cl-subs:    33998  v-elim:   3615  v-fix:    0  time: 11.07 s
3742.76/937.04	c vivif2 --  cl tried   336930 cl shrink     2269 lits rem       2802 time: 0.79
3743.56/937.20	c vivif2 --  cl tried   125682 cl shrink     4910 lits rem       9360 time: 0.64
3745.18/937.67	c asymm  cl-useful: 10/10331/336796 lits-rem:30 time: 1.89
3745.55/937.72	c calculated reachability. Time: 0.11
3745.55/937.73	c  N dy  9709   1710812     53978    336786     61667    125543   1643345    800857      7.80   no data  --
3745.95/937.82	c Finding binary XORs  T:     0.36 s  found:       0
3786.70/948.06	c  N dy  9817   1730833     53975    336786     62599    144011   1643344   1111070      7.80      8.46  --
3815.48/955.26	c Finding binary XORs  T:     0.34 s  found:      91
3832.64/959.54	c  N dy  9933   1750844     53974    336764     63186    162362   1643260   1423656      7.80     11.21  --
3878.97/971.14	c  N dy 10036   1770969     53973    336764     63255    180730   1643260   1729941      7.81      8.25  --
3924.92/982.67	c  N dy 10145   1790990     53972    336764     63315    129946   1643259    782795      7.81      8.37  --
3966.85/993.15	c  N dy 10252   1811174     53972    336764     63410    148582   1643257   1086671      7.81      8.30  --
4010.79/1004.18	c  N dy 10377   1831209     53971    336764     63465    167085   1643255   1416060      7.81     14.53  --
4017.61/1005.84	c Finding binary XORs  T:     0.34 s  found:     135
4056.33/1015.54	c  N dy 10491   1851255     53971    336736     63505    134427   1643161    791893      7.82     10.01  --
4102.66/1027.16	c  N dy 10593   1871349     53971    336736     63562    153005   1643160   1089858      7.82      8.34  --
4149.80/1038.97	c  N dy 10705   1891431     53971    336736     63644    171696   1643160   1403871      7.82      9.79  --
4198.13/1051.08	c  N dy 10838   1911638     53971    336736     63695    190256   1643160   1734531      7.82      8.27  --
4246.09/1063.02	c  N dy 10965   1931727     53971    336736     63748    156104   1643160   1098667      7.83      8.31  --
4292.81/1074.72	c  N dy 11075   1951956     53970    336736     63786    174708   1643160   1403457      7.83      8.28  --
4341.14/1086.82	c  N dy 11204   1972209     53970    336736     63839    193468   1643160   1726454      7.83      8.26  --
4387.07/1098.33	c  N dy 11317   1992232     53970    336736     63893    159001   1643160   1073618      7.83      8.34  --
4433.02/1109.80	c  N dy 11430   2012447     53969    336736     63953    177666   1643160   1387055      7.84      8.26  --
4480.56/1121.72	c  N dy 11546   2032456     53969    336736     64005    196044   1643160   1695115      7.84      8.47  --
4528.09/1133.61	c  N dy 11667   2052466     53967    336736     64050    160562   1643160   1028607      7.84      8.44  --
4577.20/1145.96	c  N dy 11782   2072494     53967    336736     64104    178964   1643160   1328533      7.84      8.43  --
4624.73/1157.81	c  N dy 11898   2092585     53966    336736     64169    197546   1643160   1654826      7.84      8.28  --
4676.69/1170.84	c  N dy 12040   2112659     53966    336736     64233    161517   1643160    990588      7.85     10.29  --
4719.41/1181.58	c Finding binary XORs  T:     0.32 s  found:     294
4723.41/1182.59	c  N dy 12155   2132831     53966    336655     64307    180143   1642592   1303069      7.85      8.34  --
4763.75/1192.67	c Finding binary XORs  T:     0.33 s  found:      71
4764.57/1192.80	c Replacing      591 vars Replaced    59898 lits Time:     0.52 s 
4773.73/1195.14	c  N dy 12280   2152908     53370    336433     64689    197881   1640596   1630335      7.85      8.27  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

running on 4 cores: 0,2,4,6

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: 6.68 5.01 2.27 5/180 305
/proc/meminfo: memFree=31047212/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=18328 CPUtime=0 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4194304 113 0 0 0 0 0 0 0 24 0 1 0 874961877 18767872 69 33554432000 4194304 4650419 140733556281216 18446744073709551615 222916853770 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/305/statm: 4582 73 54 112 0 55 0
[pid=305/tid=306] ppid=303 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 874961877 52465664 354 33554432000 4194304 4650419 140733556281216 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=305/tid=307] ppid=303 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 874961877 52465664 354 33554432000 4194304 4650419 140733556281216 18446744073709551615 222916808936 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 874961877 52465664 354 33554432000 4194304 4650419 140733556281216 18446744073709551615 222916808936 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0215061 s]
/proc/loadavg: 6.68 5.01 2.27 5/180 305
/proc/meminfo: memFree=31047212/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=291616 CPUtime=0.05 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) D 303 305 32675 0 -1 4202496 6513 0 0 0 5 0 0 0 18 0 4 0 874961877 298614784 5478 33554432000 4194304 4650419 140733556281216 18446744073709551615 222921820343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 72904 5478 344 112 0 67869 0
[pid=305/tid=306] ppid=303 vsize=291616 CPUtime=0.01 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 1515 0 0 0 1 0 0 0 25 0 4 0 874961877 298614784 5478 33554432000 4194304 4650419 140733556281216 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=291616 CPUtime=0.01 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) D 303 305 32675 0 -1 4202560 1544 0 0 0 1 0 0 0 18 0 4 0 874961877 298614784 5478 33554432000 4194304 4650419 140733556281216 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=291616 CPUtime=0.01 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) D 303 305 32675 0 -1 4202560 1510 0 0 0 1 0 0 0 18 0 4 0 874961877 298614784 5478 33554432000 4194304 4650419 140733556281216 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 291616

[startup+0.101238 s]
/proc/loadavg: 6.68 5.01 2.27 5/180 305
/proc/meminfo: memFree=31047212/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=356984 CPUtime=0.35 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) D 303 305 32675 0 -1 4202496 35588 0 0 0 28 7 0 0 18 0 4 0 874961877 365551616 27782 33554432000 4194304 4650419 140733556281216 18446744073709551615 4373896 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 89246 27782 344 112 0 84211 0
[pid=305/tid=306] ppid=303 vsize=356984 CPUtime=0.07 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) D 303 305 32675 0 -1 4202560 8573 0 0 0 6 1 0 0 18 0 4 0 874961877 365551616 27782 33554432000 4194304 4650419 140733556281216 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=356984 CPUtime=0.08 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) D 303 305 32675 0 -1 4202560 9199 0 0 0 7 1 0 0 18 0 4 0 874961877 365551616 27270 33554432000 4194304 4650419 140733556281216 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=356984 CPUtime=0.07 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 8567 0 0 0 6 1 0 0 18 0 4 0 874961877 365551616 27270 33554432000 4194304 4650419 140733556281216 18446744073709551615 222921820295 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 356984

[startup+0.307406 s]
/proc/loadavg: 6.68 5.01 2.27 5/180 305
/proc/meminfo: memFree=31047212/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=459772 CPUtime=1.16 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) D 303 305 32675 0 -1 4202496 102615 0 0 0 98 18 0 0 18 0 4 0 874961877 470806528 84579 33554432000 4194304 4650419 140733556281216 18446744073709551615 4316340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 114943 84579 344 112 0 109908 0
[pid=305/tid=306] ppid=303 vsize=459772 CPUtime=0.28 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) D 303 305 32675 0 -1 4202560 25371 0 0 0 24 4 0 0 18 0 4 0 874961877 470806528 84579 33554432000 4194304 4650419 140733556281216 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=459772 CPUtime=0.28 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 26093 0 0 0 24 4 0 0 18 0 4 0 874961877 470806528 84579 33554432000 4194304 4650419 140733556281216 18446744073709551615 222921834922 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=459772 CPUtime=0.29 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) D 303 305 32675 0 -1 4202560 25363 0 0 0 25 4 0 0 18 0 4 0 874961877 470806528 84579 33554432000 4194304 4650419 140733556281216 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 459772

[startup+1.02451 s]
/proc/loadavg: 6.68 5.01 2.27 5/180 305
/proc/meminfo: memFree=31047212/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=988608 CPUtime=4.01 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 208175 0 0 0 363 38 0 0 18 0 4 0 874961877 1012334592 166343 33554432000 4194304 4650419 140733556281216 18446744073709551615 222921820295 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 247152 166343 373 112 0 242117 0
[pid=305/tid=306] ppid=303 vsize=914760 CPUtime=1.04 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 53228 0 0 0 95 9 0 0 19 0 4 0 874961877 936714240 164665 33554432000 4194304 4650419 140733556281216 18446744073709551615 4244814 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=914760 CPUtime=1.05 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 52889 0 0 0 96 9 0 0 18 0 4 0 874961877 936714240 164665 33554432000 4194304 4650419 140733556281216 18446744073709551615 4245034 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=914760 CPUtime=1.05 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 49245 0 0 0 97 8 0 0 18 0 4 0 874961877 936714240 164665 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363709 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 988608

[startup+1.50624 s]
/proc/loadavg: 6.68 5.01 2.27 9/184 309
/proc/meminfo: memFree=30386768/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=914760 CPUtime=5.93 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 209319 0 0 0 555 38 0 0 19 0 4 0 874961877 936714240 164960 33554432000 4194304 4650419 140733556281216 18446744073709551615 4243829 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 228690 164960 373 112 0 223655 0
[pid=305/tid=306] ppid=303 vsize=914760 CPUtime=1.46 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 53228 0 0 0 137 9 0 0 19 0 4 0 874961877 936714240 164960 33554432000 4194304 4650419 140733556281216 18446744073709551615 4243840 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=914760 CPUtime=1.48 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 52889 0 0 0 139 9 0 0 19 0 4 0 874961877 936714240 164960 33554432000 4194304 4650419 140733556281216 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=914760 CPUtime=1.48 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 49541 0 0 0 140 8 0 0 19 0 4 0 874961877 936714240 164960 33554432000 4194304 4650419 140733556281216 18446744073709551615 4335216 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 914760

[startup+3.10094 s]
/proc/loadavg: 6.68 5.01 2.27 9/184 309
/proc/meminfo: memFree=30384908/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=914760 CPUtime=12.3 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 209351 0 0 0 1192 38 0 0 22 0 4 0 874961877 936714240 164992 33554432000 4194304 4650419 140733556281216 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 228690 164992 373 112 0 223655 0
[pid=305/tid=306] ppid=303 vsize=914760 CPUtime=3.05 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 53229 0 0 0 296 9 0 0 24 0 4 0 874961877 936714240 164992 33554432000 4194304 4650419 140733556281216 18446744073709551615 4369079 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=914760 CPUtime=3.08 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 52890 0 0 0 299 9 0 0 22 0 4 0 874961877 936714240 164992 33554432000 4194304 4650419 140733556281216 18446744073709551615 4244348 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=914760 CPUtime=3.07 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 49570 0 0 0 299 8 0 0 22 0 4 0 874961877 936714240 164992 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 914760

[startup+6.30036 s]
/proc/loadavg: 6.78 5.06 2.30 9/184 310
/proc/meminfo: memFree=30381024/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=915016 CPUtime=25.08 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 210097 0 0 0 2469 39 0 0 25 0 4 0 874961877 936976384 165738 33554432000 4194304 4650419 140733556281216 18446744073709551615 4272797 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 228754 165738 373 112 0 223719 0
[pid=305/tid=306] ppid=303 vsize=915016 CPUtime=6.23 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 53429 0 0 0 614 9 0 0 25 0 4 0 874961877 936976384 165738 33554432000 4194304 4650419 140733556281216 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=915016 CPUtime=6.27 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 53104 0 0 0 618 9 0 0 25 0 4 0 874961877 936976384 165738 33554432000 4194304 4650419 140733556281216 18446744073709551615 4370318 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=915016 CPUtime=6.27 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 49702 0 0 0 619 8 0 0 25 0 4 0 874961877 936976384 165738 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 915016

[startup+12.7012 s]
/proc/loadavg: 6.88 5.10 2.33 9/184 310
/proc/meminfo: memFree=30358968/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=936508 CPUtime=50.64 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 216396 0 0 0 5024 40 0 0 25 0 4 0 874961877 958984192 172037 33554432000 4194304 4650419 140733556281216 18446744073709551615 4369075 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 234127 172037 374 112 0 229092 0
[pid=305/tid=306] ppid=303 vsize=936508 CPUtime=12.59 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 53696 0 0 0 1250 9 0 0 25 0 4 0 874961877 958984192 172037 33554432000 4194304 4650419 140733556281216 18446744073709551615 4244973 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=936508 CPUtime=12.67 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 53359 0 0 0 1258 9 0 0 25 0 4 0 874961877 958984192 172037 33554432000 4194304 4650419 140733556281216 18446744073709551615 4244788 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=936508 CPUtime=12.67 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 55213 0 0 0 1258 9 0 0 25 0 4 0 874961877 958984192 172037 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364841 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 936508

[startup+25.5008 s]
/proc/loadavg: 7.13 5.25 2.42 9/184 310
/proc/meminfo: memFree=29855876/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=1535136 CPUtime=101.76 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 344262 0 0 0 10112 64 0 0 25 0 4 0 874961877 1571979264 284996 33554432000 4194304 4650419 140733556281216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 383784 284996 395 112 0 378749 0
[pid=305/tid=306] ppid=303 vsize=1535136 CPUtime=25.33 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 95213 0 0 0 2516 17 0 0 25 0 4 0 874961877 1571979264 284996 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363534 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=1535136 CPUtime=25.47 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 90663 0 0 0 2533 14 0 0 25 0 4 0 874961877 1571979264 284996 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363331 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=1535136 CPUtime=25.47 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 62392 0 0 0 2537 10 0 0 25 0 4 0 874961877 1571979264 284996 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 1535136

[startup+51.1012 s]
/proc/loadavg: 7.05 5.38 2.54 7/184 320
/proc/meminfo: memFree=29888684/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=1346292 CPUtime=204.02 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 399349 0 0 0 20325 77 0 0 25 0 4 0 874961877 1378603008 281321 33554432000 4194304 4650419 140733556281216 18446744073709551615 222921475015 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 336573 281321 395 112 0 331538 0
[pid=305/tid=306] ppid=303 vsize=1346292 CPUtime=50.78 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 118178 0 0 0 5056 22 0 0 25 0 4 0 874961877 1378603008 281321 33554432000 4194304 4650419 140733556281216 18446744073709551615 222921474978 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=1346292 CPUtime=51.07 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 95059 0 0 0 5092 15 0 0 25 0 4 0 874961877 1378603008 281321 33554432000 4194304 4650419 140733556281216 18446744073709551615 4258557 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=1346292 CPUtime=51.07 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 64812 0 0 0 5096 11 0 0 25 0 4 0 874961877 1378603008 281321 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 1346292

[startup+102.301 s]
/proc/loadavg: 7.47 5.73 2.81 9/184 362
/proc/meminfo: memFree=29643608/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=2356272 CPUtime=408.53 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 739274 0 0 0 40697 156 0 0 25 0 4 0 874961877 2412822528 509625 33554432000 4194304 4650419 140733556281216 18446744073709551615 4237217 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 589068 509625 395 112 0 584033 0
[pid=305/tid=306] ppid=303 vsize=2356272 CPUtime=101.7 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 195809 0 0 0 10130 40 0 0 25 0 4 0 874961877 2412822528 509625 33554432000 4194304 4650419 140733556281216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=2356272 CPUtime=102.28 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 132787 0 0 0 10207 21 0 0 25 0 4 0 874961877 2412822528 509625 33554432000 4194304 4650419 140733556281216 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=2356272 CPUtime=102.27 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 212742 0 0 0 10178 49 0 0 25 0 4 0 874961877 2412822528 509625 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.53
Current children cumulated vsize (KiB) 2356272

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.08 7.81 5.33 9/184 468
/proc/meminfo: memFree=29301180/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=2842688 CPUtime=2805.24 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 1160655 0 0 0 280264 260 0 0 25 0 4 0 874961877 2910912512 642900 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363383 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 710672 642900 395 112 0 705637 0
[pid=305/tid=306] ppid=303 vsize=2842688 CPUtime=698.38 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 308059 0 0 0 69767 71 0 0 25 0 4 0 874961877 2910912512 642900 33554432000 4194304 4650419 140733556281216 18446744073709551615 4310752 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=2842688 CPUtime=702.3 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 178759 0 0 0 70195 35 0 0 25 0 4 0 874961877 2910912512 642900 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=2842688 CPUtime=702.29 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 353055 0 0 0 70146 83 0 0 25 0 4 0 874961877 2910912512 642900 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364344 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.24
Current children cumulated vsize (KiB) 2842688

[startup+762.301 s]
/proc/loadavg: 8.06 7.85 5.50 9/184 472
/proc/meminfo: memFree=29210580/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=2973756 CPUtime=3044.92 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 1178855 0 0 0 304225 267 0 0 25 0 4 0 874961877 3045126144 652405 33554432000 4194304 4650419 140733556281216 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 743439 652405 395 112 0 738404 0
[pid=305/tid=306] ppid=303 vsize=2973756 CPUtime=758.05 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 314692 0 0 0 75731 74 0 0 25 0 4 0 874961877 3045126144 652405 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=2973756 CPUtime=762.3 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 178917 0 0 0 76195 35 0 0 25 0 4 0 874961877 3045126144 652405 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=2973756 CPUtime=762.3 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 358703 0 0 0 76145 85 0 0 25 0 4 0 874961877 3045126144 652405 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.92
Current children cumulated vsize (KiB) 2973756

[startup+822.301 s]
/proc/loadavg: 8.07 7.89 5.66 9/184 473
/proc/meminfo: memFree=29236324/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=2974156 CPUtime=3284.58 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 1188700 0 0 0 328188 270 0 0 25 0 4 0 874961877 3045535744 644015 33554432000 4194304 4650419 140733556281216 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 743539 644015 395 112 0 738504 0
[pid=305/tid=306] ppid=303 vsize=2974156 CPUtime=817.72 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 322313 0 0 0 81696 76 0 0 25 0 4 0 874961877 3045535744 644015 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=2974156 CPUtime=822.3 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 178917 0 0 0 82195 35 0 0 25 0 4 0 874961877 3045535744 644015 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=2974156 CPUtime=822.3 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 359082 0 0 0 82145 85 0 0 25 0 4 0 874961877 3045535744 644015 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.58
Current children cumulated vsize (KiB) 2974156

[startup+882.301 s]
/proc/loadavg: 8.07 7.92 5.81 9/184 475
/proc/meminfo: memFree=29178856/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=3027776 CPUtime=3524.26 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 1206885 0 0 0 352151 275 0 0 25 0 4 0 874961877 3100442624 654053 33554432000 4194304 4650419 140733556281216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 756944 654053 395 112 0 751909 0
[pid=305/tid=306] ppid=303 vsize=3027776 CPUtime=877.39 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 329529 0 0 0 87661 78 0 0 25 0 4 0 874961877 3100442624 654053 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=3027776 CPUtime=882.3 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 184280 0 0 0 88194 36 0 0 25 0 4 0 874961877 3100442624 654053 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364907 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=3027776 CPUtime=882.3 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 364424 0 0 0 88144 86 0 0 25 0 4 0 874961877 3100442624 654053 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.26
Current children cumulated vsize (KiB) 3027776

[startup+942.301 s]
/proc/loadavg: 8.07 7.95 5.95 9/184 477
/proc/meminfo: memFree=29133656/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=3001788 CPUtime=3763.93 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 1239203 0 0 0 376109 284 0 0 25 0 4 0 874961877 3073830912 656482 33554432000 4194304 4650419 140733556281216 18446744073709551615 4365535 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 750447 656482 395 112 0 745412 0
[pid=305/tid=306] ppid=303 vsize=3001788 CPUtime=937.05 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 351790 0 0 0 93622 83 0 0 25 0 4 0 874961877 3073830912 656482 33554432000 4194304 4650419 140733556281216 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=3001788 CPUtime=942.3 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 185986 0 0 0 94193 37 0 0 25 0 4 0 874961877 3073830912 656482 33554432000 4194304 4650419 140733556281216 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=3001788 CPUtime=942.3 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 365163 0 0 0 94143 87 0 0 25 0 4 0 874961877 3073830912 656482 33554432000 4194304 4650419 140733556281216 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.93
Current children cumulated vsize (KiB) 3001788

[startup+1002.3 s]
/proc/loadavg: 8.06 7.97 6.08 9/184 478
/proc/meminfo: memFree=29131468/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=2950144 CPUtime=4003.6 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 1253732 0 0 0 400070 290 0 0 25 0 4 0 874961877 3020947456 654598 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 737536 654598 395 112 0 732501 0
[pid=305/tid=306] ppid=303 vsize=2950144 CPUtime=996.72 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 354033 0 0 0 99588 84 0 0 25 0 4 0 874961877 3020947456 654598 33554432000 4194304 4650419 140733556281216 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=2950144 CPUtime=1002.3 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 185986 0 0 0 100193 37 0 0 25 0 4 0 874961877 3020947456 654598 33554432000 4194304 4650419 140733556281216 18446744073709551615 4315077 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=2950144 CPUtime=1002.3 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 371870 0 0 0 100140 90 0 0 25 0 4 0 874961877 3020947456 654598 33554432000 4194304 4650419 140733556281216 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.6
Current children cumulated vsize (KiB) 2950144

[startup+1062.3 s]
/proc/loadavg: 8.06 7.99 6.20 9/184 480
/proc/meminfo: memFree=29098916/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=2976064 CPUtime=4243.27 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 1269092 0 0 0 424032 295 0 0 25 0 4 0 874961877 3047489536 664250 33554432000 4194304 4650419 140733556281216 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 744016 664250 395 112 0 738981 0
[pid=305/tid=306] ppid=303 vsize=2976064 CPUtime=1056.39 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 356874 0 0 0 105553 86 0 0 25 0 4 0 874961877 3047489536 664250 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364944 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=2976064 CPUtime=1062.3 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 191700 0 0 0 106191 39 0 0 25 0 4 0 874961877 3047489536 664250 33554432000 4194304 4650419 140733556281216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=2976064 CPUtime=1062.3 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 373066 0 0 0 106139 91 0 0 25 0 4 0 874961877 3047489536 664250 33554432000 4194304 4650419 140733556281216 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.27
Current children cumulated vsize (KiB) 2976064

[startup+1122.3 s]
/proc/loadavg: 8.06 8.00 6.31 9/184 481
/proc/meminfo: memFree=29008564/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=3068016 CPUtime=4482.96 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 1284896 0 0 0 447996 300 0 0 25 0 4 0 874961877 3141648384 680054 33554432000 4194304 4650419 140733556281216 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 767004 680054 395 112 0 761969 0
[pid=305/tid=306] ppid=303 vsize=3068016 CPUtime=1116.06 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 360893 0 0 0 111520 86 0 0 25 0 4 0 874961877 3141648384 680054 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364307 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=3068016 CPUtime=1122.31 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 197514 0 0 0 112190 41 0 0 25 0 4 0 874961877 3141648384 680054 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=3068016 CPUtime=1122.31 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 377182 0 0 0 112139 92 0 0 25 0 4 0 874961877 3141648384 680054 33554432000 4194304 4650419 140733556281216 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.96
Current children cumulated vsize (KiB) 3068016

[startup+1182.3 s]
/proc/loadavg: 8.19 8.04 6.43 9/184 490
/proc/meminfo: memFree=28961468/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=3133552 CPUtime=4722.61 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 1294974 0 0 0 471955 306 0 0 25 0 4 0 874961877 3208757248 690132 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 783388 690132 395 112 0 778353 0
[pid=305/tid=306] ppid=303 vsize=3133552 CPUtime=1175.73 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 362649 0 0 0 117485 88 0 0 25 0 4 0 874961877 3208757248 690132 33554432000 4194304 4650419 140733556281216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=3133552 CPUtime=1182.31 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 198387 0 0 0 118189 42 0 0 25 0 4 0 874961877 3208757248 690132 33554432000 4194304 4650419 140733556281216 18446744073709551615 4345578 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=3133552 CPUtime=1182.3 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 378979 0 0 0 118137 93 0 0 25 0 4 0 874961877 3208757248 690132 33554432000 4194304 4650419 140733556281216 18446744073709551615 4365020 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.61
Current children cumulated vsize (KiB) 3133552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.04 6.47 9/184 490
/proc/meminfo: memFree=28928588/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=3133552 CPUtime=4800.1 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) R 303 305 32675 0 -1 4202496 1301102 0 0 0 479703 307 0 0 25 0 4 0 874961877 3208757248 696260 33554432000 4194304 4650419 140733556281216 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 783388 696260 395 112 0 778353 0
[pid=305/tid=306] ppid=303 vsize=3133552 CPUtime=1195.02 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4202560 363199 0 0 0 119414 88 0 0 25 0 4 0 874961877 3208757248 696261 33554432000 4194304 4650419 140733556281216 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=305/tid=307] ppid=303 vsize=3133552 CPUtime=1201.72 cores=0,2,4,6
/proc/305/task/307/stat : 307 (strangenight1-m) R 303 305 32675 0 -1 4202560 198956 0 0 0 120130 42 0 0 25 0 4 0 874961877 3208757248 696261 33554432000 4194304 4650419 140733556281216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=305/tid=308] ppid=303 vsize=3133552 CPUtime=1201.7 cores=0,2,4,6
/proc/305/task/308/stat : 308 (strangenight1-m) R 303 305 32675 0 -1 4202560 383405 0 0 0 120077 93 0 0 25 0 4 0 874961877 3208757248 696261 33554432000 4194304 4650419 140733556281216 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 3133552

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

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

[startup+1201.81 s]
/proc/loadavg: 8.13 8.04 6.47 9/184 490
/proc/meminfo: memFree=28928588/32951124 swapFree=67056684/67111528
[pid=305] ppid=303 vsize=0 CPUtime=4800.24 cores=0,2,4,6
/proc/305/stat : 305 (strangenight1-m) Z 303 305 32675 0 -1 4203548 1301103 0 0 0 479707 317 0 0 25 0 2 0 874961877 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/305/statm: 0 0 0 0 0 0 0
[pid=305/tid=306] ppid=303 vsize=0 CPUtime=1195.12 cores=0,2,4,6
/proc/305/task/306/stat : 306 (strangenight1-m) R 303 305 32675 0 -1 4203588 363199 0 0 0 119414 98 0 0 25 0 2 0 874961877 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.83
CPU time (s): 4800.26
CPU user time (s): 4797.07
CPU system time (s): 3.18951
CPU usage (%): 399.412
Max. virtual memory (cumulated for all children) (KiB): 3159712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.07
system time used= 3.18952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1301103
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= 7285
involuntary context switches= 35610

runsolver used 2.06669 second user time and 4.50531 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-09 17:33:31
IDJOB=3369578
IDBENCH=69591
IDSOLVER=1846
FILE ID=node109/3369578-1307633610
RUNJOBID= node109-1307633277-32693
PBS_JOBID= 13549382
Free space on /tmp= 74168 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369578-1307633610/watcher-3369578-1307633610 -o /tmp/evaluation-result-3369578-1307633610/solver-3369578-1307633610 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369578-1307633610.cnf

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

MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED=491775394

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31047764 kB
Buffers:        225344 kB
Cached:         380240 kB
SwapCached:       8608 kB
Active:        1418448 kB
Inactive:       256620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31047764 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:           29884 kB
Writeback:           0 kB
AnonPages:     1066960 kB
Mapped:          13240 kB
Slab:           161640 kB
PageTables:       6884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1567684 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= 74168 MiB
End job on node109 at 2011-06-09 17:53:35