Trace number 3369631

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.4 1203.53

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
MD5SUM8e22d84b1ae625d44fbf300a32374a2d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables164158
Number of clauses730719
Sum of the clauses size1660140
Maximum clause length10
Minimum clause length1
Number of clauses of size 112474
Number of clauses of size 2600009
Number of clauses of size 387256
Number of clauses of size 43440
Number of clauses of size 513760
Number of clauses of size over 513780

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 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369631-1305388876.cnf'
0.00/0.01	c -- header says num vars:         164158
0.00/0.01	c -- header says num clauses:      730719
1.09/0.42	c -- clauses added:            0 learnts,       730719 normals,            0 xors
1.09/0.42	c -- vars added     164158
1.09/0.42	c Parsing time:  1.10 s
1.09/0.42	c  N st     0         0    164158    118150    599287         0   1645964         0   no data   no data  --
1.09/0.73	c asymm  cl-useful: 0/1189/94810 lits-rem:0 time: 1.19
37.76/9.59	c Flit:  1284 Blit:   8997 bXBeca:    0 bXProp: 15316 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 35.24
38.16/9.62	c Cleaning up after failed var search:     0.14 s 
38.16/9.67	c Replacing    15316 vars Replaced   270530 lits Time:     0.16 s 
38.51/9.71	c bin-w-bin subsume rem         7845 bins  time:  0.07 s
38.51/9.75	c subs with bin:      154  lits-rem:      6011  v-fix:    0  time:  0.16 s
76.01/19.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  26699 time: 37.51 s
76.82/19.40	c Removed useless bin:    3709  fixed:     0  props:  20.01M  time:  0.94 s
78.00/19.60	c lits-rem:       413  cl-subs:     2820  v-elim:  20703  v-fix:    0  time:  0.80 s
78.00/19.64	c Finding binary XORs  T:     0.13 s  found:   10067
78.00/19.67	c Replacing    10067 vars Replaced   154130 lits Time:     0.12 s 
78.40/19.70	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
78.40/19.70	c Calc default polars -  time:   0.04 s pos:    7021 undec:  134545 neg:   22592
78.40/19.70	c =========================================================================================
78.40/19.70	c types(t): F = full restart, N = normal restart
78.40/19.70	c types(t): S = simplification begin/end, E = solution found
78.40/19.70	c restart types(rt): st = static, dy = dynamic
78.40/19.71	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
78.40/19.71	c  B st     0         0     31341     59060    114817         0    447336         0   no data   no data  --
87.17/21.94	c  N dy    18      4120     31335     59060    114878      3968    447335   1085418     47.97     50.75  --
94.79/23.87	c  N dy    41      8195     31255     59060    115759      7928    447335   2123646     54.05    111.18  --
105.12/26.41	c  N dy    53     14554     31251     59060    115834     14080    447335   3357169     44.54     47.22  --
105.12/26.47	c Finding binary XORs  T:     0.08 s  found:     174
113.90/28.62	c  N dy    62     18641     31131     58761    116155     18032    442957   4195811     42.15     46.76  --
123.47/31.07	c  N dy    83     23054     31108     58761    116698     12679    442957   2082339     43.03     48.59  --
128.66/32.32	c  F st    92     25000     30992     58761    116711     14581    442957   2623618     43.13   no data  --
128.66/32.37	c Replacing      174 vars Replaced     2458 lits Time:     0.13 s 
135.83/34.10	c  N st    97     28294     30751     58276    114956     17693    437123   3403991     43.13   no data  --
139.42/35.08	c  S st    98     30001     30750     58276    114963     19367    437123   3880577     43.13   no data  --
141.42/35.58	c  S st    98     30504     30734     58276    115025     19782    437123   3914183     43.13   no data  --
141.82/35.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
200.84/50.42	c Flit:  1313 Blit:    395 bXBeca:    0 bXProp: 1271 Bins:  65816 BRemL:      7 BRemN:    135 P: 200.0M T: 58.80
200.84/50.46	c Cleaning up after failed var search:     0.15 s 
201.63/50.63	c Replacing     1271 vars Replaced   104834 lits Time:     0.67 s 
202.44/50.87	c bin-w-bin subsume rem         5235 bins  time:  0.08 s
209.61/52.63	c subs with bin:      634  lits-rem:     15240  v-fix:    0  time:  6.90 s
209.61/52.67	c Subs w/ non-existent bins:     20 l-rem:    887 v-fix:     0 done:    225 time:  0.18 s
210.41/52.86	c Removed useless bin:    5929  fixed:     0  props:  20.00M  time:  0.74 s
255.08/64.09	c lits-rem:       339  cl-subs:    20942  v-elim:   4862  v-fix:    0  time: 44.52 s
257.87/64.79	c asymm  cl-useful: 461/4640/58116 lits-rem:499 time: 2.76
258.67/64.91	c calculated reachability. Time: 0.46
258.67/64.91	c  N dy    98     30504     22221     58116    131732      1385    350060    143633     43.13   no data  --
260.27/65.34	c Finding binary XORs  T:     1.72 s  found:      90
280.21/70.39	c Finding binary XORs  T:     1.68 s  found:     217
280.61/70.43	c Replacing      307 vars Replaced     9880 lits Time:     0.17 s 
286.20/71.83	c  N dy    99     42346     20954     54060    143089     12654    328204   1434283     33.26     35.01  --
292.22/73.34	c  S st   106     45756     20953     54060    143112     15987    328204   1904630     32.20     18.56  --
293.77/73.79	c  S st   106     46260     20948     54060    144791     16402    328204   1925040     32.20   no data  --
294.17/73.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
294.17/73.84	c Cache  BProp: 44 Set: 0 BXProp: 0 T: 0.12
337.25/84.68	c Flit:    66 Blit:      2 bXBeca:    0 bXProp:   20 Bins:  71419 BRemL:   1305 BRemN:    300 P: 153.0M T: 43.17
337.65/84.72	c Replacing       20 vars Replaced     1276 lits Time:     0.16 s 
338.05/84.84	c bin-w-bin subsume rem         8736 bins  time:  0.11 s
344.87/86.59	c subs with bin:      839  lits-rem:      5902  v-fix:    0  time:  6.96 s
345.27/86.63	c Subs w/ non-existent bins:      4 l-rem:    252 v-fix:     0 done:     47 time:  0.16 s
346.03/86.80	c Removed useless bin:    2845  fixed:     0  props:  20.02M  time:  0.66 s
369.96/92.82	c lits-rem:       265  cl-subs:    18228  v-elim:   2453  v-fix:    0  time: 23.98 s
370.36/92.99	c vivif2 --  cl tried    55187 cl shrink     3143 lits rem       3517 time: 0.70
370.76/93.02	c vivif2 --  cl tried     2855 cl shrink      588 lits rem       3406 time: 0.10
371.95/93.36	c asymm  cl-useful: 6/3783/52987 lits-rem:6 time: 1.35
372.35/93.43	c calculated reachability. Time: 0.26
372.35/93.43	c  N dy   106     46260     18401     52987    182046      2746    306982    312638     32.20   no data  --
373.55/93.71	c Finding binary XORs  T:     1.12 s  found:      10
377.93/94.88	c  N dy   108     50316     18398     52987    182059      6677    306982    742021     31.35     33.26  --
400.67/100.51	c  N dy   111     69390     18398     52987    182086     25330    306982   2213775     25.76     10.68  --
400.67/100.51	c  S st   111     69390     18398     52987    182086     25330    306982   2213775     25.76     10.68  --
401.47/100.75	c Finding binary XORs  T:     0.82 s  found:      60
402.65/101.04	c  S st   111     69891     18336     52575    200171     25795    304238   2269266     25.76   no data  --
402.65/101.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
402.65/101.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
437.41/109.79	c Flit:    60 Blit:      2 bXBeca:    0 bXProp:    7 Bins:  21862 BRemL:   6400 BRemN:    198 P: 121.5M T: 34.68
437.76/109.84	c Replacing       77 vars Replaced    11789 lits Time:     0.18 s 
438.16/109.96	c bin-w-bin subsume rem        11967 bins  time:  0.11 s
442.94/111.20	c subs with bin:      875  lits-rem:      5179  v-fix:    0  time:  4.91 s
443.34/111.24	c Subs w/ non-existent bins:      4 l-rem:    715 v-fix:     0 done:    121 time:  0.18 s
444.15/111.40	c Removed useless bin:    1300  fixed:     0  props:  19.59M  time:  0.62 s
504.77/126.61	c lits-rem:       241  cl-subs:    11591  v-elim:    435  v-fix:    0  time: 60.61 s
505.17/126.76	c vivif2 --  cl tried    52441 cl shrink      782 lits rem        853 time: 0.61
505.97/126.96	c vivif2 --  cl tried    14649 cl shrink     4507 lits rem      50795 time: 0.78
507.96/127.41	c asymm  cl-useful: 36/3033/52128 lits-rem:90 time: 1.77
507.96/127.47	c calculated reachability. Time: 0.22
507.96/127.47	c  N dy   111     69891     17757     52110    194595     14644    295853   1056946     25.76   no data  --
509.16/127.71	c Finding binary XORs  T:     0.95 s  found:       4
533.09/133.70	c Finding binary XORs  T:     0.82 s  found:       5
535.49/134.36	c  N dy   112     86721     17749     52038    222306     12725    295632   1013103     22.47     23.69  --
536.69/134.62	c  F st   117     87501     17748     52038    222309     13494    295632   1111671     22.47   no data  --
536.69/134.66	c Replacing        9 vars Replaced      551 lits Time:     0.10 s 
543.45/136.37	c  N dy   123     92700     17739     52024    238896     18573    295564   1828667     22.47   no data  --
544.25/136.59	c Finding binary XORs  T:     0.82 s  found:       0
566.19/142.00	c  N dy   125    104836     17719     52004    238812     30442    295323   2996944     20.72      8.31  --
566.19/142.01	c  S st   125    104836     17719     52004    238812     30442    295323   2996944     20.72      8.31  --
567.79/142.43	c  S st   125    105337     17719     52004    238895     15526    295323   1175779     20.72   no data  --
567.79/142.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
567.79/142.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
606.48/152.16	c Flit:    25 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  26708 BRemL:  29412 BRemN:     55 P: 102.1M T: 38.59
606.88/152.26	c bin-w-bin subsume rem         5822 bins  time:  0.12 s
608.87/152.74	c subs with bin:      493  lits-rem:       496  v-fix:    0  time:  1.90 s
609.66/152.91	c Subs w/ non-existent bins:     48 l-rem:     10 v-fix:     0 done:   2832 time:  0.70 s
610.06/153.06	c Removed useless bin:     290  fixed:     0  props:  17.10M  time:  0.58 s
627.62/157.44	c lits-rem:       249  cl-subs:     1599  v-elim:    117  v-fix:    0  time: 17.46 s
628.02/157.58	c vivif2 --  cl tried    51808 cl shrink      400 lits rem        411 time: 0.54
628.42/157.69	c vivif2 --  cl tried    13956 cl shrink     1739 lits rem       6355 time: 0.46
630.06/158.07	c asymm  cl-useful: 22/3111/51667 lits-rem:35 time: 1.48
630.46/158.13	c calculated reachability. Time: 0.21
630.46/158.13	c  N dy   125    105337     17577     51662    227849     13952    291526   1070960     20.72   no data  --
631.21/158.33	c Finding binary XORs  T:     0.82 s  found:       0
646.37/162.13	c  N dy   128    118935     17564     51662    234800     27316    291525   2380399     19.56     20.73  --
650.76/163.24	c Finding binary XORs  T:     0.82 s  found:       3
656.79/164.71	c  N dy   134    126644     17564     51550    237701     34277    291157   3116559     19.24     20.26  --
675.09/169.32	c  N dy   147    140713     17561     51550    237758     29451    291157   2532456     18.63     19.70  --
687.50/172.42	c  N dy   161    149811     17558     51550    237837     38423    291157   3413201     18.26     19.35  --
698.63/175.26	c  S st   179    158005     17558     51550    237846     25344    291157   1907653     18.05      9.34  --
699.83/175.53	c  S st   179    158509     17555     51550    237909     25804    291157   1931513     18.05   no data  --
699.83/175.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
699.83/175.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
734.13/184.12	c Flit:    19 Blit:      4 bXBeca:    0 bXProp:    5 Bins:  30626 BRemL:  47936 BRemN:     54 P: 114.9M T: 34.07
734.13/184.17	c Replacing        8 vars Replaced      869 lits Time:     0.18 s 
734.53/184.27	c bin-w-bin subsume rem          667 bins  time:  0.10 s
739.31/185.46	c subs with bin:      153  lits-rem:      2018  v-fix:    0  time:  4.75 s
739.31/185.50	c Subs w/ non-existent bins:     13 l-rem:    323 v-fix:     0 done:    236 time:  0.17 s
740.15/185.63	c Removed useless bin:     206  fixed:     0  props:  16.13M  time:  0.50 s
747.69/187.53	c lits-rem:       145  cl-subs:     1051  v-elim:     58  v-fix:    0  time:  7.59 s
748.09/187.68	c vivif2 --  cl tried    51226 cl shrink      442 lits rem        473 time: 0.58
749.28/187.94	c vivif2 --  cl tried    24359 cl shrink     6426 lits rem     102788 time: 1.02
750.88/188.35	c asymm  cl-useful: 31/1418/51143 lits-rem:93 time: 1.63
751.28/188.41	c calculated reachability. Time: 0.23
751.28/188.41	c  N dy   179    158509     17461     51112    217703     24353    288451   1717842     18.05   no data  --
752.08/188.63	c Finding binary XORs  T:     0.89 s  found:       0
766.48/192.23	c  N dy   180    169625     17461     51112    217715     35285    288451   2608788     17.58     18.60  --
767.23/192.47	c Finding binary XORs  T:     0.86 s  found:      60
788.77/197.82	c Finding binary XORs  T:     0.90 s  found:       0
817.90/205.17	c  N dy   182    201139     17397     51048    241962     41931    287389   3482576     16.54     17.44  --
844.62/211.86	c  N dy   196    214505     17395     51048    242016     31899    287389   2426905     16.29     17.20  --
872.15/218.72	c Finding binary XORs  T:     0.97 s  found:      13
874.94/219.42	c  N dy   203    228603     17373     50867    267877     45769    286516   3667059     15.95     17.36  --
892.89/223.91	c  S st   206    237764     17373     50867    267906     29914    286516   2048820     15.79      9.98  --
893.73/224.19	c  S st   206    238268     17373     50867    267939     30383    286515   2074519     15.79   no data  --
894.08/224.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
894.08/224.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.09
930.78/233.44	c Flit:    15 Blit:      1 bXBeca:    0 bXProp:   22 Bins:   3482 BRemL:  37889 BRemN:     57 P: 120.6M T: 36.69
930.78/233.49	c Replacing       95 vars Replaced     6965 lits Time:     0.18 s 
931.58/233.60	c bin-w-bin subsume rem         4059 bins  time:  0.11 s
936.36/234.81	c subs with bin:      394  lits-rem:      1959  v-fix:    0  time:  4.81 s
936.76/234.94	c Subs w/ non-existent bins:     35 l-rem:    161 v-fix:     0 done:   2874 time:  0.53 s
937.19/235.06	c Removed useless bin:     198  fixed:     0  props:  13.96M  time:  0.44 s
945.14/237.05	c lits-rem:       139  cl-subs:     2290  v-elim:    127  v-fix:    0  time:  7.94 s
945.54/237.20	c vivif2 --  cl tried    49989 cl shrink      313 lits rem        345 time: 0.59
946.73/237.48	c vivif2 --  cl tried    28549 cl shrink     5713 lits rem      43937 time: 1.14
948.73/237.90	c asymm  cl-useful: 40/1441/49813 lits-rem:120 time: 1.68
948.73/237.97	c calculated reachability. Time: 0.23
948.73/237.97	c  N dy   206    238268     17135     49773    226785     28544    282132   1822776     15.79   no data  --
974.66/244.48	c  N dy   211    255136     17135     49773    226799     45123    282132   2921553     15.40     16.24  --
975.86/244.74	c Finding binary XORs  T:     0.92 s  found:       6
1003.03/251.53	c  N dy   230    275308     17126     49735    231911     38842    281969   2685261     15.14     16.12  --
1032.90/259.08	c  N dy   238    295953     17124     49735    231916     31792    281969   1927654     14.80     15.63  --
1048.46/262.90	c  F st   249    306255     17123     49735    231971     41938    281969   2776255     14.69     11.86  --
1048.46/262.95	c Replacing        6 vars Replaced      150 lits Time:     0.12 s 
1067.60/267.77	c  N dy   257    316809     17117     49713    231934     52351    281894   3872416     14.62     15.42  --
1125.05/282.14	c  N dy   274    349334     17116     49713    231985     55768    281894   3234375     14.21     15.00  --
1136.61/285.08	c  S st   281    357402     17116     49713    231987     34197    281894   1815620     14.14      9.06  --
1137.81/285.35	c  S st   281    357905     17116     49713    231993     34693    281894   1868130     14.14   no data  --
1137.81/285.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1137.81/285.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.09
1171.31/293.79	c Flit:    16 Blit:      2 bXBeca:    0 bXProp:   75 Bins:  27030 BRemL:  31281 BRemN:     40 P: 125.4M T: 33.45
1171.71/293.84	c Replacing       75 vars Replaced     6214 lits Time:     0.19 s 
1172.12/293.94	c bin-w-bin subsume rem         1679 bins  time:  0.10 s
1176.10/294.95	c subs with bin:      719  lits-rem:       606  v-fix:    0  time:  4.01 s
1176.90/295.11	c Subs w/ non-existent bins:     43 l-rem:    187 v-fix:     0 done:   4326 time:  0.64 s
1177.30/295.22	c Removed useless bin:     152  fixed:     0  props:  13.19M  time:  0.44 s
1184.88/297.12	c lits-rem:       497  cl-subs:     2197  v-elim:     99  v-fix:    0  time:  7.58 s
1185.28/297.27	c vivif2 --  cl tried    49041 cl shrink      234 lits rem        246 time: 0.60
1186.48/297.56	c vivif2 --  cl tried    30570 cl shrink     3720 lits rem      34875 time: 1.16
1188.46/298.02	c asymm  cl-useful: 24/1408/48886 lits-rem:72 time: 1.81
1188.46/298.08	c calculated reachability. Time: 0.23
1188.46/298.08	c  N dy   281    357905     16866     48862    223683     30563    277932   1732155     14.14   no data  --
1189.66/298.32	c Finding binary XORs  T:     0.94 s  found:      23
1218.03/305.46	c Finding binary XORs  T:     0.91 s  found:       0
1223.17/306.79	c  N dy   297    380947     16866     48862    229351     53188    277932   3363658     13.95     14.92  --
1261.46/316.31	c  N dy   320    403623     16866     48862    229370     45923    277932   2824487     13.75     14.55  --
1274.23/319.57	c Finding binary XORs  T:     0.93 s  found:       6
1294.57/324.63	c  N dy   356    424335     16820     48724    242349     35347    277141   2105201     13.64     14.41  --
1326.89/332.70	c  N dy   392    445872     16818     48724    242363     56498    277141   3886828     13.52     14.30  --
1352.41/339.18	c Finding binary XORs  T:     0.91 s  found:      10
1361.19/341.39	c  N dy   441    467756     16799     48669    253312     45799    276795   2738746     13.42     14.20  --
1391.90/349.02	c  N dy   481    487797     16798     48669    253342     65371    276795   3915618     13.33     15.28  --
1428.21/358.13	c  N dy   503    511945     16796     48669    253368     55407    276795   2598181     13.17     14.23  --
1472.52/369.29	c  N dy   554    533326     16796     48669    253377     42405    276795   2229294     13.11     13.90  --
1480.06/371.15	c  S st   562    536858     16796     48669    253381     45875    276795   2541962     13.10     11.89  --
1481.29/371.46	c  S st   562    537361     16796     48669    253389     46368    276795   2601594     13.10   no data  --
1481.29/371.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1481.69/371.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.10
1515.17/379.90	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   8437 BRemL:  36178 BRemN:    210 P: 126.7M T: 33.42
1515.17/379.96	c Replacing       40 vars Replaced     1250 lits Time:     0.25 s 
1515.96/380.10	c bin-w-bin subsume rem         1321 bins  time:  0.10 s
1522.74/381.80	c subs with bin:      812  lits-rem:      2013  v-fix:    0  time:  6.78 s
1522.74/381.89	c Subs w/ non-existent bins:     16 l-rem:    847 v-fix:     0 done:   1915 time:  0.36 s
1523.14/381.98	c Removed useless bin:     115  fixed:     0  props:  10.71M  time:  0.37 s
1535.51/385.06	c lits-rem:       461  cl-subs:     1223  v-elim:     62  v-fix:    0  time: 12.24 s
1536.31/385.20	c vivif2 --  cl tried    48372 cl shrink      131 lits rem        158 time: 0.58
1537.90/385.65	c vivif2 --  cl tried    39027 cl shrink     8428 lits rem     269027 time: 1.77
1539.89/386.11	c asymm  cl-useful: 19/1176/48289 lits-rem:57 time: 1.83
1539.89/386.17	c calculated reachability. Time: 0.22
1539.89/386.18	c  N dy   562    537361     16692     48270    222346     39020    274353   2140803     13.10   no data  --
1541.09/386.43	c Finding binary XORs  T:     0.95 s  found:       0
1580.58/396.37	c  N dy   613    561392     16692     48258    223614     62754    274310   4327343     13.03     13.98  --
1618.47/405.84	c  N dy   658    584713     16692     48258    223633     53351    274310   3456101     12.96     13.83  --
1644.80/412.45	c Finding binary XORs  T:     0.93 s  found:       1
1659.56/416.15	c  N dy   682    608103     16664     47796    225406     41342    273029   2386131     12.88     13.59  --
1691.48/424.17	c  N dy   733    628942     16663     47796    225763     61874    273029   4444821     12.85     13.57  --
1727.02/433.10	c  N dy   767    651093     16663     47796    225771     46996    273029   2620842     12.79     13.54  --
1760.89/441.50	c  N dy   792    673393     16663     47796    225778     68923    273029   4654858     12.70     13.44  --
1794.80/450.01	c  N dy   843    693892     16663     47796    225799     51114    273029   2977566     12.67     13.37  --
1829.89/458.88	c  N dy   911    714396     16662     47796    225837     71330    273029   4726263     12.66     13.36  --
1865.79/467.85	c  N dy   969    735422     16658     47796    225844     52795    273029   2850327     12.62     13.30  --
1904.89/477.64	c  N dy  1032    756129     16658     47796    225860     73118    273029   4538746     12.60     13.40  --
1940.39/486.52	c  N dy  1083    776453     16657     47796    225877     52877    273029   2859181     12.57     13.25  --
1984.67/497.62	c  N dy  1136    803063     16657     47796    225890     79079    273029   5207178     12.53     13.37  --
1991.04/499.26	c  S st  1153    806041     16655     47796    225892     82033    273029   5463314     12.53   no data  --
1992.64/499.60	c  S st  1153    806547     16655     47796    225897     82532    273029   5524457     12.53   no data  --
1992.64/499.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1992.64/499.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.09
2028.55/508.62	c Flit:    21 Blit:      0 bXBeca:    0 bXProp:   14 Bins:  11247 BRemL:   7771 BRemN:     42 P: 149.1M T: 35.74
2028.94/508.70	c Replacing       15 vars Replaced     3890 lits Time:     0.32 s 
2029.78/508.99	c bin-w-bin subsume rem          993 bins  time:  0.10 s
2036.93/510.78	c subs with bin:      510  lits-rem:      1349  v-fix:    0  time:  7.17 s
2037.33/510.86	c Subs w/ non-existent bins:      9 l-rem:   1960 v-fix:     0 done:    958 time:  0.32 s
2037.73/510.94	c Removed useless bin:     150  fixed:     0  props:   8.97M  time:  0.32 s
2241.96/562.13	c lits-rem:         4  cl-subs:     5713  v-elim:     43  v-fix:    0  time: 204.10 s
2242.36/562.29	c vivif2 --  cl tried    47489 cl shrink      128 lits rem        139 time: 0.63
2247.94/563.68	c vivif2 --  cl tried    76408 cl shrink    31722 lits rem     937831 time: 5.55
2250.33/564.27	c asymm  cl-useful: 28/743/47442 lits-rem:84 time: 2.32
2250.73/564.34	c calculated reachability. Time: 0.26
2250.73/564.34	c  N dy  1153    806547     16567     47414    224682     76388    271094   4216453     12.53   no data  --
2251.93/564.62	c Finding binary XORs  T:     1.09 s  found:       0
2265.10/567.95	c Finding binary XORs  T:     1.05 s  found:       0
2293.46/575.05	c  N dy  1249    826602     16557     47381    242284     51782    270976   3318301     12.59     31.19  --
2319.79/581.68	c Finding binary XORs  T:     0.94 s  found:       0
2332.12/584.75	c  N dy  1297    847688     16557     47357    242144     72584    270889   5059272     12.56     13.27  --
2368.40/593.83	c  N dy  1410    867784     16557     47357    242172     51700    270889   3056274     12.62     13.46  --
2401.92/602.22	c  N dy  1489    888076     16556     47357    242191     71784    270889   4902533     12.64     13.33  --
2439.40/611.61	c  N dy  1522    908321     16556     47357    242206     49059    270889   2436925     12.60     13.37  --
2472.96/620.06	c  N dy  1625    928407     16555     47357    242236     68974    270889   5125189     12.69     45.67  --
2512.01/629.85	c  N dy  1746    948910     16553     47357    242261     45187    270889   2137760     12.78     13.71  --
2546.31/638.44	c  N dy  1804    969360     16552     47357    242275     65385    270889   4340687     12.81     13.61  --
2585.80/648.38	c  N dy  1929    989415     16550     47357    242309     85203    270889   6855564     12.93     26.25  --
2620.90/657.14	c  N dy  2015   1009465     16550     47357    242326     59799    270889   3918938     12.97     15.03  --
2657.24/666.29	c  N dy  2099   1029487     16550     47357    242348     79617    270889   6282593     13.01     33.84  --
2698.69/676.67	c  N dy  2234   1050755     16548     47357    242412     54302    270889   3032025     13.13     13.83  --
2732.98/685.22	c  N dy  2323   1070812     16547     47357    242429     74126    270889   5406974     13.18     13.91  --
2734.98/685.70	c  F st  2328   1071875     16547     47357    242435     75185    270889   5519728     13.18   no data  --
2772.48/695.19	c  N dy  2381   1090883     16546     47271    241801     91837    270635   7678654     13.19     14.02  --
2807.19/703.85	c  N dy  2451   1111005     16546     47271    241822     65397    270635   4406898     13.22     13.93  --
2822.34/707.67	c Finding binary XORs  T:     0.95 s  found:       0
2846.33/713.65	c  N dy  2532   1132564     16539     47216    254608     86775    270449   6921747     13.26     13.98  --
2883.38/722.96	c  N dy  2619   1152662     16539     47216    254627     58751    270449   3592799     13.29     38.05  --
2920.51/732.30	c  N dy  2690   1172701     16539     47216    254640     78533    270449   5960468     13.30     14.38  --
2960.76/742.36	c  N dy  2771   1192718     16538     47216    254660     98346    270449   8496116     13.35     14.11  --
2991.49/750.03	c  S st  2850   1209822     16538     47216    254664     66090    270449   4192125     13.40     14.28  --
2992.68/750.39	c  S st  2850   1210324     16538     47216    254665     66591    270449   4241166     13.40   no data  --
2993.08/750.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
2993.08/750.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.09
3029.79/759.64	c Flit:     7 Blit:      1 bXBeca:    0 bXProp:    0 Bins:   6700 BRemL:   9336 BRemN:     51 P: 145.6M T: 36.69
3030.63/759.88	c bin-w-bin subsume rem          375 bins  time:  0.12 s
3038.17/761.77	c subs with bin:       54  lits-rem:       369  v-fix:    0  time:  7.57 s
3039.00/761.98	c Subs w/ non-existent bins:     38 l-rem:    688 v-fix:     0 done:   5990 time:  0.83 s
3039.40/762.05	c Removed useless bin:     107  fixed:     0  props:   6.69M  time:  0.26 s
3083.29/773.06	c lits-rem:       391  cl-subs:     2671  v-elim:     28  v-fix:    0  time: 43.87 s
3084.04/773.21	c vivif2 --  cl tried    47122 cl shrink      240 lits rem        240 time: 0.59
3086.84/773.96	c vivif2 --  cl tried    63923 cl shrink    13387 lits rem     629047 time: 3.01
3088.82/774.45	c asymm  cl-useful: 7/901/46994 lits-rem:21 time: 1.95
3089.22/774.52	c calculated reachability. Time: 0.23
3089.22/774.52	c  N dy  2850   1210324     16502     46987    249663     63910    269464   3400858     13.40   no data  --
3090.02/774.77	c Finding binary XORs  T:     0.99 s  found:       0
3137.09/786.52	c  N dy  2864   1236526     16500     46987    249700     89575    269464   6147147     13.33     14.11  --
3178.59/796.92	c  N dy  2906   1256751     16499     46987    249709     59359    269464   3022858     13.30     14.01  --
3216.49/806.46	c  N dy  2962   1276933     16497     46987    249721     79252    269464   5342232     13.28     14.07  --
3238.83/812.06	c Finding binary XORs  T:     0.99 s  found:       0
3261.17/817.62	c  N dy  2985   1297465     16487     46931    260781     96783    269190   7400542     13.25     14.08  --
3301.87/827.84	c  N dy  3049   1318844     16487     46931    260783     68047    269190   4170731     13.25     13.95  --
3344.95/838.63	c  N dy  3091   1339038     16487     46931    260787     87974    269189   6296764     13.23     13.97  --
3388.84/849.64	c  N dy  3151   1359064     16487     46931    260793     56200    269189   2670807     13.22     14.00  --
3428.73/859.67	c  N dy  3214   1380275     16487     46931    260805     77138    269189   5071165     13.21     13.97  --
3478.99/872.24	c  N dy  3251   1404665     16487     46931    260817    101176    269189   7321649     13.17     13.92  --
3523.27/883.36	c  N dy  3300   1427287     16487     46931    260826     70539    269189   3922688     13.14     14.31  --
3561.61/892.97	c  N dy  3323   1447344     16487     46931    260833     90408    269189   5793075     13.12     13.81  --
3584.31/898.61	c Finding binary XORs  T:     0.97 s  found:       0
3606.65/904.27	c  N dy  3358   1468252     16484     46905    268034     56853    269111   2641690     13.09     13.87  --
3642.95/913.38	c  N dy  3405   1488564     16484     46905    268045     76903    269111   4454978     13.07     14.04  --
3684.48/923.76	c  N dy  3460   1508676     16483     46905    268053     96762    269111   6619613     13.06     13.77  --
3729.11/934.90	c  N dy  3494   1531346     16483     46905    268064     63837    269111   2962665     13.03     13.78  --
3777.79/947.18	c  N dy  3544   1557342     16483     46905    268077     89314    269111   5019558     13.00     13.77  --
3822.47/958.34	c  N dy  3597   1578137     16483     46905    268104    109791    269111   6798509     12.99     13.67  --
3865.54/969.17	c  N dy  3649   1601703     16481     46905    268112     77027    269111   4286344     12.97     13.73  --
3911.03/980.51	c  N dy  3672   1622483     16480     46905    268128     97314    269111   6057608     12.94     13.65  --
3956.55/991.93	c  N dy  3719   1643269     16480     46905    268139     60822    269111   2796390     12.94     13.75  --
3996.04/1001.86	c  N dy  3821   1663373     16480     46905    268149     80732    269111   5337688     12.98     13.74  --
4044.30/1013.94	c  N dy  3867   1685150     16479     46905    268161    101984    269111   6881200     12.96     13.72  --
4089.74/1025.33	c  N dy  3908   1705344     16478     46905    268178     63762    269111   2929009     12.95     13.72  --
4098.92/1027.67	c  S st  3930   1710324     16478     46905    268179     68677    269111   3537885     12.95      8.90  --
4100.52/1028.01	c  S st  3930   1710828     16478     46905    268189     69176    269111   3593417     12.95   no data  --
4100.52/1028.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4100.52/1028.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.09
4135.22/1036.77	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4677 BRemL:   4089 BRemN:     52 P: 150.1M T: 34.74
4136.06/1036.98	c bin-w-bin subsume rem          320 bins  time:  0.12 s
4142.80/1038.67	c subs with bin:      126  lits-rem:      1292  v-fix:    0  time:  6.72 s
4143.60/1038.88	c Subs w/ non-existent bins:     23 l-rem:    236 v-fix:     0 done:   5032 time:  0.83 s
4144.00/1038.93	c Removed useless bin:      80  fixed:     0  props:   5.38M  time:  0.22 s
4166.34/1044.58	c lits-rem:       828  cl-subs:     1327  v-elim:     32  v-fix:    0  time: 22.52 s
4167.18/1044.73	c vivif2 --  cl tried    46797 cl shrink      158 lits rem        177 time: 0.58
4169.13/1045.30	c vivif2 --  cl tried    59215 cl shrink     9381 lits rem     325292 time: 2.26
4171.17/1045.77	c asymm  cl-useful: 5/975/46681 lits-rem:15 time: 1.87
4171.57/1045.84	c calculated reachability. Time: 0.23
4171.57/1045.84	c  N dy  3930   1710828     16443     46676    266648     59201    268086   3093424     12.95   no data  --
4172.32/1046.09	c Finding binary XORs  T:     1.00 s  found:       0
4184.73/1049.11	c Finding binary XORs  T:     0.98 s  found:       0
4211.81/1055.99	c  N dy  3984   1730878     16441     46676    280301     78901    268086   5187304     12.95     24.94  --
4249.71/1065.46	c  N dy  4033   1750886     16440     46676    280315     98721    268086   7678600     12.94     13.75  --
4303.96/1079.00	c  N dy  4111   1777054     16439     46676    280333     69835    268086   4305447     12.94     13.84  --
4330.29/1085.64	c Finding binary XORs  T:     1.00 s  found:       2
4345.06/1089.38	c  N dy  4164   1797738     16436     46639    283056     88200    267957   6891721     12.93     13.82  --
4388.13/1100.13	c  N dy  4210   1817921     16436     46639    283065    108193    267957   9543463     12.92     14.09  --
4432.01/1111.18	c  N dy  4265   1837995     16435     46639    283084     71051    267957   4130807     12.92     19.35  --
4479.89/1123.13	c  N dy  4317   1859638     16434     46639    283096     92391    267957   6206178     12.91     13.72  --
4527.35/1135.06	c  N dy  4413   1879840     16433     46639    283109    112449    267957   8779279     12.93     13.81  --
4573.64/1146.69	c  N dy  4498   1899935     16433     46639    283122     72657    267957   4198989     12.94     14.28  --
4617.51/1157.68	c  N dy  4575   1920035     16432     46639    283133     92500    267957   6339516     12.94     14.00  --
4666.18/1169.82	c  N dy  4658   1940717     16432     46639    283138    113009    267957   8889507     12.96     13.66  --
4716.84/1182.57	c  N dy  4758   1960728     16432     46639    283144     71363    267957   4177288     12.99     15.75  --
4763.56/1194.24	c  N dy  4813   1981224     16432     46639    283159     91616    267957   6459435     12.98     14.40  --

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: 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-3369631-1305388876/watcher-3369631-1305388876 -o /tmp/evaluation-result-3369631-1305388876/solver-3369631-1305388876 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369631-1305388876.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: 3.04 2.98 3.50 5/339 29968
/proc/meminfo: memFree=16860688/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=51236 CPUtime=0.02 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 417 0 0 0 2 0 0 0 25 0 4 0 650488555 52465664 357 33554432000 4194304 4650419 140735755832192 18446744073709551615 47868049081875 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 12809 357 306 112 0 7774 0
[pid=29968/tid=29969] ppid=29966 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650488555 52465664 357 33554432000 4194304 4650419 140735755832192 18446744073709551615 47868049082290 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650488555 52465664 357 33554432000 4194304 4650419 140735755832192 18446744073709551615 47868049081881 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650488555 52465664 357 33554432000 4194304 4650419 140735755832192 18446744073709551615 47868049081881 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0818269 s]
/proc/loadavg: 3.04 2.98 3.50 5/339 29968
/proc/meminfo: memFree=16860688/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=362052 CPUtime=0.29 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) D 29966 29968 29888 0 -1 4202496 40316 0 0 0 22 7 0 0 18 0 4 0 650488555 370741248 31694 33554432000 4194304 4650419 140735755832192 18446744073709551615 4317116 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 90513 31694 344 112 0 85478 0
[pid=29968/tid=29969] ppid=29966 vsize=362052 CPUtime=0.06 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) D 29966 29968 29888 0 -1 4202560 10262 0 0 0 5 1 0 0 18 0 4 0 650488555 370741248 31694 33554432000 4194304 4650419 140735755832192 18446744073709551615 270613136490 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=362052 CPUtime=0.07 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 10750 0 0 0 5 2 0 0 18 0 4 0 650488555 370741248 31694 33554432000 4194304 4650419 140735755832192 18446744073709551615 4353056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=362052 CPUtime=0.06 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 9723 0 0 0 5 1 0 0 18 0 4 0 650488555 370741248 31694 33554432000 4194304 4650419 140735755832192 18446744073709551615 270613168554 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 362052

[startup+0.112445 s]
/proc/loadavg: 3.04 2.98 3.50 5/339 29968
/proc/meminfo: memFree=16860688/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=430344 CPUtime=0.37 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) D 29966 29968 29888 0 -1 4202496 53817 0 0 0 28 9 0 0 18 0 4 0 650488555 440672256 42891 33554432000 4194304 4650419 140735755832192 18446744073709551615 4361571 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 107586 42891 344 112 0 102551 0
[pid=29968/tid=29969] ppid=29966 vsize=430344 CPUtime=0.08 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) D 29966 29968 29888 0 -1 4202560 13823 0 0 0 6 2 0 0 18 0 4 0 650488555 440672256 42891 33554432000 4194304 4650419 140735755832192 18446744073709551615 270613136490 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=430344 CPUtime=0.09 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) D 29966 29968 29888 0 -1 4202560 14067 0 0 0 7 2 0 0 18 0 4 0 650488555 440672256 42379 33554432000 4194304 4650419 140735755832192 18446744073709551615 270613153927 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=430344 CPUtime=0.09 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 12841 0 0 0 7 2 0 0 18 0 4 0 650488555 440672256 42379 33554432000 4194304 4650419 140735755832192 18446744073709551615 270613153927 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 430344

[startup+0.306041 s]
/proc/loadavg: 3.04 2.98 3.50 5/339 29968
/proc/meminfo: memFree=16860688/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=497820 CPUtime=1.09 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 73345 0 0 0 82 27 0 0 18 0 4 0 650488555 509767680 56323 33554432000 4194304 4650419 140735755832192 18446744073709551615 4547020 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 124455 56350 345 112 0 119420 0
[pid=29968/tid=29969] ppid=29966 vsize=497820 CPUtime=0.26 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) S 29966 29968 29888 0 -1 4202560 19891 0 0 0 21 5 0 0 18 0 4 0 650488555 509767680 56374 33554432000 4194304 4650419 140735755832192 18446744073709551615 270613215726 0 0 4096 2 18446604453839969088 0 0 -1 6 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=497820 CPUtime=0.27 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) S 29966 29968 29888 0 -1 4202560 18402 0 0 0 21 6 0 0 18 0 4 0 650488555 509767680 56414 33554432000 4194304 4650419 140735755832192 18446744073709551615 270613215726 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=497820 CPUtime=0.27 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) S 29966 29968 29888 0 -1 4202560 17731 0 0 0 20 7 0 0 17 0 4 0 650488555 509767680 56452 33554432000 4194304 4650419 140735755832192 18446744073709551615 270613215726 0 0 4096 2 18446604453839969088 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 497820

[startup+1.34234 s]
/proc/loadavg: 3.04 2.98 3.50 5/339 29968
/proc/meminfo: memFree=16860688/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=529264 CPUtime=5.18 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 90228 0 0 0 479 39 0 0 19 0 4 0 650488555 541966336 70625 33554432000 4194304 4650419 140735755832192 18446744073709551615 4369071 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 132316 70625 373 112 0 127281 0
[pid=29968/tid=29969] ppid=29966 vsize=529264 CPUtime=1.29 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 23075 0 0 0 121 8 0 0 19 0 4 0 650488555 541966336 70625 33554432000 4194304 4650419 140735755832192 18446744073709551615 4371317 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=529264 CPUtime=1.3 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 22927 0 0 0 121 9 0 0 19 0 4 0 650488555 541966336 70625 33554432000 4194304 4650419 140735755832192 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=529264 CPUtime=1.29 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 22012 0 0 0 118 11 0 0 19 0 4 0 650488555 541966336 70625 33554432000 4194304 4650419 140735755832192 18446744073709551615 4363756 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 529264

[startup+1.54231 s]
/proc/loadavg: 3.04 2.98 3.50 5/339 29968
/proc/meminfo: memFree=16860688/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=529264 CPUtime=5.98 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 90361 0 0 0 559 39 0 0 19 0 4 0 650488555 541966336 70758 33554432000 4194304 4650419 140735755832192 18446744073709551615 4370252 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 132316 70758 373 112 0 127281 0
[pid=29968/tid=29969] ppid=29966 vsize=529264 CPUtime=1.49 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 23075 0 0 0 141 8 0 0 19 0 4 0 650488555 541966336 70758 33554432000 4194304 4650419 140735755832192 18446744073709551615 4369236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=529264 CPUtime=1.5 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 22927 0 0 0 141 9 0 0 19 0 4 0 650488555 541966336 70758 33554432000 4194304 4650419 140735755832192 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=529264 CPUtime=1.49 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 22144 0 0 0 138 11 0 0 19 0 4 0 650488555 541966336 70758 33554432000 4194304 4650419 140735755832192 18446744073709551615 4315074 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 529264

[startup+3.10103 s]
/proc/loadavg: 3.43 3.07 3.52 9/343 29972
/proc/meminfo: memFree=16529084/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=529804 CPUtime=12.2 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 91499 0 0 0 1180 40 0 0 22 0 4 0 650488555 542519296 71895 33554432000 4194304 4650419 140735755832192 18446744073709551615 4369478 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 132451 71895 373 112 0 127416 0
[pid=29968/tid=29969] ppid=29966 vsize=529804 CPUtime=3.03 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 23194 0 0 0 295 8 0 0 23 0 4 0 650488555 542519296 71895 33554432000 4194304 4650419 140735755832192 18446744073709551615 4370334 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=529804 CPUtime=3.06 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 22969 0 0 0 297 9 0 0 23 0 4 0 650488555 542519296 71895 33554432000 4194304 4650419 140735755832192 18446744073709551615 4370264 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=529804 CPUtime=3.05 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 22992 0 0 0 293 12 0 0 23 0 4 0 650488555 542519296 71895 33554432000 4194304 4650419 140735755832192 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 529804

[startup+6.31346 s]
/proc/loadavg: 3.43 3.07 3.52 9/343 29972
/proc/meminfo: memFree=16506224/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=571016 CPUtime=25.01 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 95763 0 0 0 2460 41 0 0 25 0 4 0 650488555 584720384 76158 33554432000 4194304 4650419 140735755832192 18446744073709551615 4370340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 142754 76158 374 112 0 137719 0
[pid=29968/tid=29969] ppid=29966 vsize=571016 CPUtime=6.2 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 23258 0 0 0 612 8 0 0 25 0 4 0 650488555 584720384 76158 33554432000 4194304 4650419 140735755832192 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=571016 CPUtime=6.27 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 23074 0 0 0 618 9 0 0 25 0 4 0 650488555 584720384 76158 33554432000 4194304 4650419 140735755832192 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=571016 CPUtime=6.25 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 26836 0 0 0 613 12 0 0 25 0 4 0 650488555 584720384 76158 33554432000 4194304 4650419 140735755832192 18446744073709551615 4315024 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 571016

[startup+12.7003 s]
/proc/loadavg: 3.80 3.15 3.54 9/343 29973
/proc/meminfo: memFree=16428712/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=649804 CPUtime=50.48 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 108557 0 0 0 5004 44 0 0 25 0 4 0 650488555 665399296 88953 33554432000 4194304 4650419 140735755832192 18446744073709551615 4550303 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 162451 88953 385 112 0 157416 0
[pid=29968/tid=29969] ppid=29966 vsize=649804 CPUtime=12.53 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 27097 0 0 0 1244 9 0 0 25 0 4 0 650488555 665399296 88953 33554432000 4194304 4650419 140735755832192 18446744073709551615 4446366 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=649804 CPUtime=12.65 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 26209 0 0 0 1256 9 0 0 25 0 4 0 650488555 665399296 88953 33554432000 4194304 4650419 140735755832192 18446744073709551615 4550132 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=649804 CPUtime=12.64 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 29996 0 0 0 1250 14 0 0 25 0 4 0 650488555 665399296 88953 33554432000 4194304 4650419 140735755832192 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 649804

[startup+25.5011 s]
/proc/loadavg: 4.80 3.40 3.62 9/343 29973
/proc/meminfo: memFree=16308288/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=739480 CPUtime=101.54 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 157503 0 0 0 10101 53 0 0 25 0 4 0 650488555 757227520 103820 33554432000 4194304 4650419 140735755832192 18446744073709551615 4328179 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 184870 103820 394 112 0 179835 0
[pid=29968/tid=29969] ppid=29966 vsize=739480 CPUtime=25.18 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 33145 0 0 0 2508 10 0 0 25 0 4 0 650488555 757227520 103820 33554432000 4194304 4650419 140735755832192 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=739480 CPUtime=25.46 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 29599 0 0 0 2535 11 0 0 25 0 4 0 650488555 757227520 103820 33554432000 4194304 4650419 140735755832192 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=739480 CPUtime=25.44 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 62426 0 0 0 2525 19 0 0 25 0 4 0 650488555 757227520 103820 33554432000 4194304 4650419 140735755832192 18446744073709551615 4315246 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 739480

[startup+51.1005 s]
/proc/loadavg: 5.95 3.79 3.74 9/343 29974
/proc/meminfo: memFree=15745384/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=1480696 CPUtime=203.64 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 345277 0 0 0 20273 91 0 0 25 0 4 0 650488555 1516232704 243454 33554432000 4194304 4650419 140735755832192 18446744073709551615 4436452 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29968/statm: 370174 243458 395 112 0 365139 0
[pid=29968/tid=29969] ppid=29966 vsize=1480696 CPUtime=50.59 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 80715 0 0 0 5042 17 0 0 25 0 4 0 650488555 1516232704 243458 33554432000 4194304 4650419 140735755832192 18446744073709551615 4245165 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=1480696 CPUtime=51.05 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 74447 0 0 0 5084 21 0 0 25 0 4 0 650488555 1516232704 243463 33554432000 4194304 4650419 140735755832192 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=1480696 CPUtime=51.03 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 96326 0 0 0 5075 28 0 0 25 0 4 0 650488555 1516232704 243464 33554432000 4194304 4650419 140735755832192 18446744073709551615 4302752 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.64
Current children cumulated vsize (KiB) 1480696

[startup+102.3 s]
/proc/loadavg: 7.22 4.46 3.97 9/343 29975
/proc/meminfo: memFree=13986108/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=2174852 CPUtime=407.85 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 571287 0 0 0 40638 147 0 0 25 0 4 0 650488555 2227048448 428906 33554432000 4194304 4650419 140735755832192 18446744073709551615 4369106 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 543713 428906 395 112 0 538678 0
[pid=29968/tid=29969] ppid=29966 vsize=2174852 CPUtime=101.78 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 126404 0 0 0 10152 26 0 0 25 0 4 0 650488555 2227048448 428906 33554432000 4194304 4650419 140735755832192 18446744073709551615 4436457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=2174852 CPUtime=102.24 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 133241 0 0 0 10188 36 0 0 25 0 4 0 650488555 2227048448 428906 33554432000 4194304 4650419 140735755832192 18446744073709551615 4436145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=2174852 CPUtime=102.16 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 199078 0 0 0 10161 55 0 0 25 0 4 0 650488555 2227048448 428906 33554432000 4194304 4650419 140735755832192 18446744073709551615 4334017 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.85
Current children cumulated vsize (KiB) 2174852

[startup+162.301 s]

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


[startup+702.3 s]
/proc/loadavg: 8.10 7.61 5.91 9/343 30024
/proc/meminfo: memFree=14176264/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=3090860 CPUtime=2801.21 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 1205606 0 0 0 279773 348 0 0 25 0 4 0 650488555 3165040640 600631 33554432000 4194304 4650419 140735755832192 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 772715 600631 395 112 0 767680 0
[pid=29968/tid=29969] ppid=29966 vsize=3090860 CPUtime=701.78 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 234647 0 0 0 70115 63 0 0 25 0 4 0 650488555 3165040640 600631 33554432000 4194304 4650419 140735755832192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=3090860 CPUtime=702.24 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 300519 0 0 0 70124 100 0 0 25 0 4 0 650488555 3165040640 600631 33554432000 4194304 4650419 140735755832192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=3090860 CPUtime=695.63 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 445726 0 0 0 69447 116 0 0 25 0 4 0 650488555 3165040640 600631 33554432000 4194304 4650419 140735755832192 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.21
Current children cumulated vsize (KiB) 3090860

[startup+762.301 s]
/proc/loadavg: 6.87 7.36 5.93 7/343 30026
/proc/meminfo: memFree=14125972/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=3090860 CPUtime=3040.56 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 1263043 0 0 0 303686 370 0 0 25 0 4 0 650488555 3165040640 612766 33554432000 4194304 4650419 140735755832192 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 772715 612766 395 112 0 767680 0
[pid=29968/tid=29969] ppid=29966 vsize=3090860 CPUtime=761.78 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 245036 0 0 0 76112 66 0 0 25 0 4 0 650488555 3165040640 612766 33554432000 4194304 4650419 140735755832192 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=3090860 CPUtime=762.24 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 319254 0 0 0 76116 108 0 0 25 0 4 0 650488555 3165040640 612766 33554432000 4194304 4650419 140735755832192 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=3090860 CPUtime=754.98 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 462506 0 0 0 75376 122 0 0 25 0 4 0 650488555 3165040640 612766 33554432000 4194304 4650419 140735755832192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.56
Current children cumulated vsize (KiB) 3090860

[startup+822.301 s]
/proc/loadavg: 6.32 7.11 5.93 7/343 30027
/proc/meminfo: memFree=14065864/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=3090852 CPUtime=3279.93 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 1308256 0 0 0 327602 391 0 0 25 0 4 0 650488555 3165032448 628590 33554432000 4194304 4650419 140735755832192 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 772713 628591 395 112 0 767678 0
[pid=29968/tid=29969] ppid=29966 vsize=3090852 CPUtime=821.78 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 250194 0 0 0 82110 68 0 0 25 0 4 0 650488555 3165032448 628591 33554432000 4194304 4650419 140735755832192 18446744073709551615 4328130 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=3090852 CPUtime=822.24 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 334938 0 0 0 82108 116 0 0 25 0 4 0 650488555 3165032448 628591 33554432000 4194304 4650419 140735755832192 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=3090852 CPUtime=814.35 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 470982 0 0 0 81309 126 0 0 25 0 4 0 650488555 3165032448 628591 33554432000 4194304 4650419 140735755832192 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.93
Current children cumulated vsize (KiB) 3090852

[startup+882.301 s]
/proc/loadavg: 6.92 7.10 6.00 9/343 30059
/proc/meminfo: memFree=14309640/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=3090852 CPUtime=3519.28 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 1346433 0 0 0 351518 410 0 0 25 0 4 0 650488555 3165032448 621226 33554432000 4194304 4650419 140735755832192 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 772713 621226 395 112 0 767678 0
[pid=29968/tid=29969] ppid=29966 vsize=3090852 CPUtime=881.78 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 257081 0 0 0 88106 72 0 0 25 0 4 0 650488555 3165032448 621226 33554432000 4194304 4650419 140735755832192 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=3090852 CPUtime=882.23 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 349643 0 0 0 88099 124 0 0 25 0 4 0 650488555 3165032448 621226 33554432000 4194304 4650419 140735755832192 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=3090852 CPUtime=873.7 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 470982 0 0 0 87244 126 0 0 25 0 4 0 650488555 3165032448 621226 33554432000 4194304 4650419 140735755832192 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.28
Current children cumulated vsize (KiB) 3090852

[startup+942.301 s]
/proc/loadavg: 7.73 7.30 6.14 9/343 30060
/proc/meminfo: memFree=13811284/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=3025308 CPUtime=3758.67 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 1394573 0 0 0 375435 432 0 0 25 0 4 0 650488555 3097915392 622960 33554432000 4194304 4650419 140735755832192 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 756327 622960 395 112 0 751292 0
[pid=29968/tid=29969] ppid=29966 vsize=3025308 CPUtime=941.79 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 266660 0 0 0 94103 76 0 0 25 0 4 0 650488555 3097915392 622960 33554432000 4194304 4650419 140735755832192 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=3025308 CPUtime=942.25 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 366149 0 0 0 94092 133 0 0 25 0 4 0 650488555 3097915392 622960 33554432000 4194304 4650419 140735755832192 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=3025308 CPUtime=933.06 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 486464 0 0 0 93174 132 0 0 25 0 4 0 650488555 3097915392 622960 33554432000 4194304 4650419 140735755832192 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.67
Current children cumulated vsize (KiB) 3025308

[startup+1002.3 s]
/proc/loadavg: 7.99 7.45 6.25 9/343 30062
/proc/meminfo: memFree=13755928/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=3176764 CPUtime=3997.99 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 1453166 0 0 0 399343 456 0 0 25 0 4 0 650488555 3253006336 620933 33554432000 4194304 4650419 140735755832192 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 794191 620933 395 112 0 789156 0
[pid=29968/tid=29969] ppid=29966 vsize=3176764 CPUtime=1001.78 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 276490 0 0 0 100098 80 0 0 25 0 4 0 650488555 3253006336 620933 33554432000 4194304 4650419 140735755832192 18446744073709551615 4328474 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=3176764 CPUtime=1002.24 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 384647 0 0 0 100084 140 0 0 25 0 4 0 650488555 3253006336 620933 33554432000 4194304 4650419 140735755832192 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=3176764 CPUtime=992.4 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 501444 0 0 0 99101 139 0 0 25 0 4 0 650488555 3253006336 620933 33554432000 4194304 4650419 140735755832192 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.99
Current children cumulated vsize (KiB) 3176764

[startup+1062.31 s]
/proc/loadavg: 8.11 7.59 6.38 10/343 30064
/proc/meminfo: memFree=13657696/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=3177040 CPUtime=4237.39 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 1506613 0 0 0 423266 473 0 0 25 0 4 0 650488555 3253288960 637882 33554432000 4194304 4650419 140735755832192 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 794260 637882 395 112 0 789225 0
[pid=29968/tid=29969] ppid=29966 vsize=3177040 CPUtime=1061.79 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 286402 0 0 0 106096 83 0 0 25 0 4 0 650488555 3253288960 637882 33554432000 4194304 4650419 140735755832192 18446744073709551615 4369397 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=3177040 CPUtime=1062.26 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 398686 0 0 0 106081 145 0 0 25 0 4 0 650488555 3253288960 637882 33554432000 4194304 4650419 140735755832192 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=3177040 CPUtime=1051.76 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 520004 0 0 0 105031 145 0 0 25 0 4 0 650488555 3253288960 637882 33554432000 4194304 4650419 140735755832192 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.39
Current children cumulated vsize (KiB) 3177040

[startup+1122.3 s]
/proc/loadavg: 8.13 7.69 6.48 9/343 30065
/proc/meminfo: memFree=13568024/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=3243472 CPUtime=4476.69 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 1574787 0 0 0 447173 496 0 0 25 0 4 0 650488555 3321315328 633947 33554432000 4194304 4650419 140735755832192 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 810868 633947 395 112 0 805833 0
[pid=29968/tid=29969] ppid=29966 vsize=3243472 CPUtime=1121.78 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 294395 0 0 0 112092 86 0 0 25 0 4 0 650488555 3321315328 633947 33554432000 4194304 4650419 140735755832192 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=3243472 CPUtime=1122.24 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 416912 0 0 0 112073 151 0 0 25 0 4 0 650488555 3321315328 633947 33554432000 4194304 4650419 140735755832192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=3243472 CPUtime=1111.1 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 543673 0 0 0 110958 152 0 0 25 0 4 0 650488555 3321315328 633947 33554432000 4194304 4650419 140735755832192 18446744073709551615 4366172 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.69
Current children cumulated vsize (KiB) 3243472

[startup+1182.3 s]
/proc/loadavg: 8.08 7.76 6.59 10/343 30067
/proc/meminfo: memFree=13493220/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=3140196 CPUtime=4716.04 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 1651416 0 0 0 471082 522 0 0 25 0 4 0 650488555 3215560704 647405 33554432000 4194304 4650419 140735755832192 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 785049 647405 396 112 0 780014 0
[pid=29968/tid=29969] ppid=29966 vsize=3140196 CPUtime=1181.78 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 310182 0 0 0 118086 92 0 0 25 0 4 0 650488555 3215560704 647405 33554432000 4194304 4650419 140735755832192 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=3140196 CPUtime=1182.24 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 436082 0 0 0 118066 158 0 0 25 0 4 0 650488555 3215560704 647405 33554432000 4194304 4650419 140735755832192 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=3140196 CPUtime=1170.45 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 567649 0 0 0 116887 158 0 0 25 0 4 0 650488555 3215560704 647405 33554432000 4194304 4650419 140735755832192 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4716.04
Current children cumulated vsize (KiB) 3140196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.26 7.82 6.63 9/343 30067
/proc/meminfo: memFree=13459980/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=3271284 CPUtime=4800.25 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) R 29966 29968 29888 0 -1 4202496 1691764 0 0 0 479493 532 0 0 25 0 4 0 650488555 3349794816 651823 33554432000 4194304 4650419 140735755832192 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 817821 651823 417 112 0 812786 0
[pid=29968/tid=29969] ppid=29966 vsize=3271284 CPUtime=1202.9 cores=0,2,4,6
/proc/29968/task/29969/stat : 29969 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 315299 0 0 0 120195 95 0 0 25 0 4 0 650488555 3349794816 651823 33554432000 4194304 4650419 140735755832192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29970] ppid=29966 vsize=3271284 CPUtime=1203.36 cores=0,2,4,6
/proc/29968/task/29970/stat : 29970 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 444534 0 0 0 120175 161 0 0 25 0 4 0 650488555 3349794816 651823 33554432000 4194304 4650419 140735755832192 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=3271284 CPUtime=1191.33 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4202560 590306 0 0 0 118973 160 0 0 25 0 4 0 650488555 3349794816 651823 33554432000 4194304 4650419 140735755832192 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 3271284

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

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

[startup+1203.52 s]
/proc/loadavg: 8.26 7.82 6.63 9/343 30067
/proc/meminfo: memFree=13459980/32951124 swapFree=67056804/67111528
[pid=29968] ppid=29966 vsize=0 CPUtime=4800.38 cores=0,2,4,6
/proc/29968/stat : 29968 (strangenight1-m) Z 29966 29968 29888 0 -1 4203548 1691764 0 0 0 479496 542 0 0 25 0 2 0 650488555 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29968/statm: 0 0 0 0 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=0 CPUtime=1191.43 cores=0,2,4,6
/proc/29968/task/29971/stat : 29971 (strangenight1-m) R 29966 29968 29888 0 -1 4203588 590306 0 0 0 118973 170 0 0 25 0 2 0 650488555 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.53
CPU time (s): 4800.4
CPU user time (s): 4794.96
CPU system time (s): 5.43517
CPU usage (%): 398.86
Max. virtual memory (cumulated for all children) (KiB): 3271520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.96
system time used= 5.43517
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1691764
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= 30032
involuntary context switches= 21743

runsolver used 3.90641 second user time and 9.1856 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-14 18:01:16
IDJOB=3369631
IDBENCH=20386
IDSOLVER=1846
FILE ID=node108/3369631-1305388876
RUNJOBID= node108-1305388855-29906
PBS_JOBID= 13324423
Free space on /tmp= 73512 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369631-1305388876/watcher-3369631-1305388876 -o /tmp/evaluation-result-3369631-1305388876/solver-3369631-1305388876 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369631-1305388876.cnf

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

MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=1224852660

node108.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.820
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.64
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.820
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.15
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.820
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.82
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.820
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.77
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.820
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.820
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.820
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.820
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:      16860720 kB
Buffers:        299344 kB
Cached:        4643412 kB
SwapCached:       8700 kB
Active:       11812508 kB
Inactive:      3963428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16860720 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:           50832 kB
Writeback:           0 kB
AnonPages:    10830064 kB
Mapped:          27320 kB
Slab:           210368 kB
PageTables:      40188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 53176264 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= 73528 MiB
End job on node108 at 2011-05-14 18:21:22