Trace number 3369345

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.53 1203.3

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
MD5SUM3b5e80540ef2fcb09cfe50ac7e3686c1
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark135.155
Satisfiable
(Un)Satisfiability was proved
Number of variables8713
Number of clauses99699
Sum of the clauses size335345
Maximum clause length81
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 210866
Number of clauses of size 367270
Number of clauses of size 410556
Number of clauses of size 510773
Number of clauses of size over 5234

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-3369345-1305390394.cnf'
0.00/0.00	c -- header says num vars:           8713
0.00/0.00	c -- header says num clauses:       99699
0.15/0.06	c -- clauses added:            0 learnts,        99699 normals,            0 xors
0.15/0.06	c -- vars added       8713
0.15/0.06	c Parsing time:  0.14 s
0.15/0.06	c  N st     0         0      8713     88833     10866         0    335345         0   no data   no data  --
0.15/0.69	c asymm  cl-useful: 0/22769/88833 lits-rem:0 time: 2.18
0.15/0.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   16 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.27
0.15/0.69	c Replacing       16 vars Replaced      376 lits Time:     0.02 s 
2.75/0.73	c bin-w-bin subsume rem            4 bins  time:  0.02 s
2.75/0.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2.75/0.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8697 time:  0.04 s
2.75/0.76	c Removed useless bin:       0  fixed:     0  props:   1.26M  time:  0.03 s
6.36/1.61	c lits-rem:         0  cl-subs:     5188  v-elim:     38  v-fix:    0  time:  0.59 s
6.36/1.61	c Finding binary XORs  T:     0.01 s  found:       4
6.36/1.61	c Replacing        4 vars Replaced      114 lits Time:     0.01 s 
6.36/1.61	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
6.36/1.61	c calculated reachability. Time: 0.00
6.36/1.61	c Calc default polars -  time:   0.01 s pos:     828 undec:      58 neg:    7827
6.36/1.61	c =========================================================================================
6.36/1.61	c types(t): F = full restart, N = normal restart
6.36/1.61	c types(t): S = simplification begin/end, E = solution found
6.36/1.61	c restart types(rt): st = static, dy = dynamic
6.36/1.61	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
6.36/1.61	c  B st     0         0      8655     83835     10692         0    326077         0   no data   no data  --
8.34/2.12	c  N dy    20      4349      8655     83835     11144      3882    326077    309926     14.39     15.37  --
11.53/2.96	c Finding binary XORs  T:     0.01 s  found:       0
13.53/3.45	c  N dy    43      8437      8655     83835     12113      7083    326077    578859     15.07     17.55  --
18.31/4.68	c  N dy    80     12440      8655     83835     13074     10186    326077   1036755     17.26     18.80  --
19.94/5.04	c Finding binary XORs  T:     0.01 s  found:       0
22.70/5.73	c  N dy   118     16511      8655     83835     13793     13508    326077   1709317     19.83     32.61  --
27.49/6.92	c  N dy   156     20610      8655     83835     14958      8734    326077    532929     21.87     23.19  --
27.49/6.93	c Finding binary XORs  T:     0.01 s  found:       0
31.08/7.83	c  N dy   192     24670      8655     83835     15398     12333    326077   1342725     23.28     32.94  --
31.48/7.92	c  F st   195     25002      8655     83835     15460     12603    326077   1389360     23.30   no data  --
35.07/8.86	c  N dy   201     30001      8655     83835     15719     17264    326077   2656953     23.30   no data  --
35.07/8.86	c  S st   201     30001      8655     83835     15719     17264    326077   2656953     23.30   no data  --
35.47/8.94	c  S st   201     30502      8655     83835     15939     17545    326077   2658409     23.30   no data  --
35.47/8.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
35.47/8.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.67/9.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  63733 BRemL:    360 BRemN:      0 P:  6.6M T:  1.32
37.50/9.42	c bin-w-bin subsume rem           17 bins  time:  0.05 s
43.44/10.95	c subs with bin:      241  lits-rem:      2859  v-fix:    0  time:  6.08 s
43.44/10.98	c Subs w/ non-existent bins:      0 l-rem:   2237 v-fix:     0 done:    285 time:  0.12 s
43.44/10.99	c Removed useless bin:       0  fixed:     0  props:   0.74M  time:  0.04 s
56.21/14.11	c lits-rem:       855  cl-subs:      506  v-elim:      4  v-fix:    0  time: 12.44 s
57.41/14.46	c asymm  cl-useful: 0/10255/83832 lits-rem:0 time: 1.39
57.41/14.47	c calculated reachability. Time: 0.01
57.41/14.47	c  N dy   201     30502      8651     83832     79289     16805    325349   2731164     23.30   no data  --
57.41/14.47	c Finding binary XORs  T:     0.03 s  found:       0
61.80/15.52	c  N dy   240     34550      8651     83832     79310     20790    325349   3716696     25.01     32.08  --
66.59/16.70	c  N dy   280     38613      8651     83832     81487     24804    325349   4798326     26.53     34.23  --
69.38/17.45	c  N dy   317     42634      8651     83832     84711     14805    325349   1679884     27.50     45.82  --
70.57/17.72	c  S st   335     45753      8651     83832     84711     17833    325349   2178695     27.82   no data  --
70.97/17.84	c Finding binary XORs  T:     0.02 s  found:       0
70.97/17.86	c  S st   335     46253      8651     83832     84896     18146    325349   2180442     27.82   no data  --
70.97/17.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
70.97/17.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
72.61/18.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   6177 BRemL:   2107 BRemN:      0 P:  8.5M T:  1.36
72.96/18.31	c bin-w-bin subsume rem            0 bins  time:  0.06 s
78.55/19.75	c subs with bin:       94  lits-rem:      1550  v-fix:    0  time:  5.75 s
78.55/19.78	c Subs w/ non-existent bins:      0 l-rem:   2145 v-fix:     0 done:   3689 time:  0.12 s
78.95/19.80	c Removed useless bin:       0  fixed:     0  props:   0.78M  time:  0.04 s
85.35/21.42	c lits-rem:       992  cl-subs:      185  v-elim:      2  v-fix:    0  time:  6.45 s
85.35/21.43	c vivif2 --  cl tried    83828 cl shrink      127 lits rem        490 time: 0.05
85.77/21.53	c vivif2 --  cl tried    17868 cl shrink     6991 lits rem      73791 time: 0.38
86.92/21.82	c asymm  cl-useful: 0/9826/83828 lits-rem:0 time: 1.19
86.92/21.83	c calculated reachability. Time: 0.01
86.92/21.83	c  N dy   335     46253      8649     83828     89076     17761    324743   2081167     27.82   no data  --
86.92/21.84	c Finding binary XORs  T:     0.03 s  found:       0
88.92/22.37	c  N dy   357     51279      8649     83828     92476     22633    324743   2877935     27.92     29.59  --
92.11/23.17	c  N dy   386     56819      8649     83828     92476     28024    324743   3727123     28.21     29.76  --
95.30/23.96	c  N dy   409     60842      8649     83828     92511     31978    324743   4401355     28.52     39.24  --
100.89/25.33	c  N dy   427     69379      8649     83828     92511     22751    324743   2469898     28.56     27.42  --
100.89/25.33	c  S st   427     69379      8649     83828     92511     22751    324743   2469898     28.56     27.42  --
100.89/25.33	c Finding binary XORs  T:     0.03 s  found:       0
101.69/25.50	c  S st   427     69879      8649     83828     92735     23040    324743   2471696     28.56   no data  --
101.69/25.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
101.69/25.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.32/25.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4040 BRemL:    712 BRemN:      0 P: 12.7M T:  1.81
103.68/26.08	c bin-w-bin subsume rem          112 bins  time:  0.06 s
109.67/27.50	c subs with bin:      226  lits-rem:       586  v-fix:    0  time:  5.65 s
109.67/27.54	c Subs w/ non-existent bins:      0 l-rem:   2568 v-fix:     0 done:   1727 time:  0.15 s
109.67/27.54	c Removed useless bin:       0  fixed:     0  props:   0.87M  time:  0.04 s
122.04/30.64	c lits-rem:       222  cl-subs:      347  v-elim:      0  v-fix:    0  time: 12.33 s
122.04/30.66	c vivif2 --  cl tried    83827 cl shrink        0 lits rem          0 time: 0.06
122.44/30.75	c vivif2 --  cl tried    22468 cl shrink     5870 lits rem      73847 time: 0.38
123.64/31.06	c asymm  cl-useful: 0/8849/83827 lits-rem:0 time: 1.22
123.64/31.07	c calculated reachability. Time: 0.02
123.64/31.07	c  N dy   427     69879      8649     83827     95951     22468    324739   2345481     28.56   no data  --
127.63/32.01	c  N dy   461     74411      8649     83827     95951     26898    324739   3067378     28.92     35.49  --
132.41/33.21	c  N dy   482     80163      8649     83827     95997     32526    324739   4029688     29.07     30.66  --
134.80/33.81	c Finding binary XORs  T:     0.03 s  found:       0
138.44/34.74	c  N dy   521     85458      8649     83827     98988     37708    324739   4908888     29.30     31.07  --
141.19/35.44	c  F st   535     87500      8649     83827     98988     39717    324739   5273948     29.47     29.69  --
144.78/36.39	c  N dy   541     92695      8649     83827     99231     24889    324739   2527538     29.47   no data  --
150.37/37.73	c  N dy   567     99411      8649     83827     99231     31441    324739   3605739     29.55     31.30  --
150.37/37.73	c Finding binary XORs  T:     0.03 s  found:       0
156.75/39.38	c  S st   606    104818      8649     83827     99231     36747    324739   4537211     29.85   no data  --
157.95/39.68	c  S st   606    105319      8649     83827     99428     37051    324739   4539335     29.85   no data  --
158.35/39.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
158.35/39.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.53/40.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2725 BRemL:    445 BRemN:      0 P: 19.3M T:  3.52
162.33/40.76	c bin-w-bin subsume rem            0 bins  time:  0.06 s
169.15/42.41	c subs with bin:       24  lits-rem:       223  v-fix:    0  time:  6.59 s
169.15/42.47	c Subs w/ non-existent bins:      0 l-rem:   4163 v-fix:     0 done:   3147 time:  0.24 s
169.15/42.48	c Removed useless bin:       0  fixed:     0  props:   0.90M  time:  0.04 s
216.20/54.21	c lits-rem:        34  cl-subs:      438  v-elim:      0  v-fix:    0  time: 46.60 s
216.20/54.23	c vivif2 --  cl tried    83827 cl shrink        0 lits rem          0 time: 0.06
217.01/54.42	c vivif2 --  cl tried    36589 cl shrink    10409 lits rem     125511 time: 0.75
218.18/54.75	c asymm  cl-useful: 0/8594/83827 lits-rem:0 time: 1.34
218.18/54.76	c calculated reachability. Time: 0.02
218.18/54.76	c  N dy   606    105319      8649     83827    101709     36588    324739   4339618     29.85   no data  --
222.97/55.99	c Finding binary XORs  T:     0.03 s  found:       0
229.76/57.62	c  N dy   652    112883      8649     83827    108262     22361    324739   1837299     30.09     31.72  --
235.34/59.04	c  N dy   661    120338      8649     83827    108310     29657    324739   3067970     29.97     31.63  --
240.93/60.42	c  N dy   663    128080      8649     83827    110468     37201    324739   4271973     29.81     41.80  --
248.90/62.42	c Finding binary XORs  T:     0.03 s  found:       0
254.49/63.87	c  N dy   699    144382      8649     83827    110480     30147    324739   2896308     29.69     31.33  --
262.86/65.97	c  N dy   736    153668      8649     83827    110524     39249    324739   4373362     29.77     35.03  --
268.85/67.43	c  S st   771    157978      8649     83827    110577     43464    324739   5085702     29.92   no data  --
270.08/67.77	c  S st   771    158479      8649     83827    110769     43772    324739   5087951     29.92   no data  --
270.08/67.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
270.08/67.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
273.64/68.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2103 BRemL:    446 BRemN:      0 P: 23.0M T:  3.48
274.47/68.82	c bin-w-bin subsume rem            1 bins  time:  0.06 s
280.82/70.41	c subs with bin:       46  lits-rem:       345  v-fix:    0  time:  6.34 s
280.82/70.47	c Subs w/ non-existent bins:      0 l-rem:   3391 v-fix:     0 done:    784 time:  0.24 s
280.82/70.48	c Removed useless bin:       0  fixed:     0  props:   0.94M  time:  0.04 s
400.10/100.37	c lits-rem:        26  cl-subs:      488  v-elim:      0  v-fix:    0  time: 118.86 s
400.10/100.38	c vivif2 --  cl tried    83827 cl shrink        0 lits rem          0 time: 0.06
401.32/100.61	c vivif2 --  cl tried    43238 cl shrink    13120 lits rem     148028 time: 0.89
402.49/100.92	c asymm  cl-useful: 0/8162/83827 lits-rem:0 time: 1.24
402.49/100.93	c calculated reachability. Time: 0.01
402.49/100.93	c  N dy   771    158479      8649     83827    112428     43236    324739   4861570     29.92   no data  --
407.29/102.18	c Finding binary XORs  T:     0.03 s  found:       0
409.69/102.75	c Finding binary XORs  T:     0.03 s  found:       0
412.07/103.35	c  N dy   810    168656      8649     83827    135208     29041    324739   3252860     30.01     45.03  --
425.63/106.70	c  N dy   917    179580      8649     83827    135286     39763    324739   7293864     30.81     32.47  --
436.01/109.34	c  N dy   971    191142      8649     83827    135459     25817    324739   1994799     30.90     32.57  --
452.76/113.58	c  N dy   985    209420      8649     83827    135618     43770    324739   5125455     30.63     32.28  --
467.57/117.25	c  N dy  1015    222846      8649     83827    136042     30556    324739   2759165     30.60     37.79  --
479.91/120.40	c  N dy  1040    237719      8649     83827    136042     45175    324739   5289792     30.49     27.05  --
479.91/120.40	c  S st  1040    237719      8649     83827    136042     45175    324739   5289792     30.49     27.05  --
480.32/120.41	c Finding binary XORs  T:     0.02 s  found:       0
481.49/120.76	c  S st  1040    238220      8649     83827    144004     45499    324739   5307774     30.49   no data  --
481.49/120.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
481.49/120.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
485.48/121.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3471 BRemL:    807 BRemN:      0 P: 25.2M T:  4.00
486.28/121.95	c bin-w-bin subsume rem            3 bins  time:  0.08 s
492.66/123.54	c subs with bin:      152  lits-rem:      1848  v-fix:    0  time:  6.36 s
493.06/123.60	c Subs w/ non-existent bins:      0 l-rem:   3242 v-fix:     0 done:    579 time:  0.23 s
493.06/123.61	c Removed useless bin:       0  fixed:     0  props:   0.98M  time:  0.04 s
641.89/160.90	c lits-rem:        14  cl-subs:      514  v-elim:      0  v-fix:    0  time: 148.57 s
641.89/160.92	c vivif2 --  cl tried    83827 cl shrink        0 lits rem          0 time: 0.07
642.71/161.16	c vivif2 --  cl tried    44833 cl shrink    13075 lits rem     160248 time: 0.95
643.88/161.49	c asymm  cl-useful: 0/7151/83827 lits-rem:0 time: 1.31
644.28/161.50	c calculated reachability. Time: 0.02
644.28/161.50	c  N dy  1040    238220      8649     83827    146666     44832    324739   5060796     30.49   no data  --
656.29/164.54	c Finding binary XORs  T:     0.03 s  found:       0
671.41/168.37	c  N dy  1079    264767      8649     83827    148551     43488    324739   4583700     30.13     31.77  --
686.18/172.06	c Finding binary XORs  T:     0.04 s  found:       0
690.16/173.06	c  N dy  1112    281775      8649     83827    199517     31811    324739   2720233     30.06     31.70  --
708.54/177.67	c  N dy  1175    301002      8649     83827    199539     50614    324739   5896633     30.10     31.75  --
713.34/178.86	c  F st  1184    306254      8649     83827    199539     55733    324739   6740988     30.07     28.27  --
726.09/182.08	c  N dy  1215    320760      8649     83827    199735     40570    324739   4172209     30.09     31.76  --
748.04/187.59	c  N dy  1263    341877      8649     83827    199878     30858    324739   2411111     30.03     31.75  --
761.62/190.93	c  S st  1313    357335      8649     83827    200098     45987    324739   4760845     30.04     28.93  --
763.18/191.31	c  S st  1313    357835      8649     83827    200185     46400    324739   4772199     30.04   no data  --
763.18/191.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
763.18/191.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
767.57/192.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2761 BRemL:    385 BRemN:      0 P: 26.5M T:  4.55
768.36/192.62	c bin-w-bin subsume rem            0 bins  time:  0.11 s
774.79/194.25	c subs with bin:       75  lits-rem:      1731  v-fix:    0  time:  6.48 s
775.14/194.31	c Subs w/ non-existent bins:      0 l-rem:   3412 v-fix:     0 done:    575 time:  0.23 s
775.14/194.32	c Removed useless bin:       0  fixed:     0  props:   0.94M  time:  0.04 s
892.46/223.78	c lits-rem:        10  cl-subs:      409  v-elim:      0  v-fix:    0  time: 117.34 s
892.46/223.79	c vivif2 --  cl tried    83827 cl shrink        0 lits rem          0 time: 0.08
893.29/223.99	c vivif2 --  cl tried    45916 cl shrink    11454 lits rem     131604 time: 0.77
894.44/224.29	c asymm  cl-useful: 0/7301/83827 lits-rem:0 time: 1.20
894.84/224.30	c calculated reachability. Time: 0.02
894.84/224.30	c  N dy  1313    357835      8649     83827    202567     45912    324739   4580189     30.04   no data  --
894.84/224.31	c Finding binary XORs  T:     0.04 s  found:       0
951.49/238.57	c  N dy  1325    410563      8649     83827    203952     34092    324739   2862195     29.23     30.91  --
951.49/238.59	c Finding binary XORs  T:     0.04 s  found:       0
971.05/243.47	c  N dy  1404    431001      8649     83827    204427     54167    324739   6148291     29.28     30.90  --
998.61/250.35	c  N dy  1466    460953      8649     83827    204526     50182    324739   5365682     29.21     30.80  --
1024.11/256.72	c  N dy  1530    487358      8649     83827    204620     41736    324739   3823388     29.18     30.72  --
1042.86/261.48	c  N dy  1571    507763      8649     83827    204670     61772    324739   7091083     29.12     30.70  --
1054.03/264.27	c Finding binary XORs  T:     0.04 s  found:       0
1062.01/266.27	c  N dy  1643    527800      8649     83827    229685     46130    324739   4635163     29.16     30.77  --
1071.58/268.60	c  S st  1667    536753      8649     83827    229688     54870    324739   6017015     29.15     29.69  --
1072.80/268.96	c  S st  1667    537259      8649     83827    229725     55339    324739   6065442     29.15   no data  --
1072.80/268.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1072.80/268.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1077.96/270.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    275 BRemL:     66 BRemN:      0 P: 28.8M T:  4.86
1078.77/270.40	c bin-w-bin subsume rem            6 bins  time:  0.12 s
1085.15/272.05	c subs with bin:       94  lits-rem:       549  v-fix:    0  time:  6.58 s
1085.55/272.11	c Subs w/ non-existent bins:      0 l-rem:   2119 v-fix:     0 done:   1210 time:  0.24 s
1085.55/272.12	c Removed useless bin:       0  fixed:     0  props:   0.94M  time:  0.05 s
1324.93/332.10	c lits-rem:         7  cl-subs:      566  v-elim:      0  v-fix:    0  time: 238.58 s
1324.93/332.12	c vivif2 --  cl tried    83827 cl shrink        0 lits rem          0 time: 0.08
1325.73/332.39	c vivif2 --  cl tried    54679 cl shrink    15582 lits rem     178811 time: 1.08
1326.13/332.44	c asymm  cl-useful: 0/920/83827 lits-rem:0 time: 0.18
1326.13/332.45	c calculated reachability. Time: 0.02
1326.13/332.45	c  N dy  1667    537259      8649     83827    229930     54677    324739   5796620     29.15   no data  --
1338.09/335.44	c Finding binary XORs  T:     0.04 s  found:       0
1348.47/338.03	c  N dy  1845    557359      8649     83827    234717     38179    324739   3724567     29.46     33.62  --
1374.40/344.52	c  N dy  2044    577386      8649     83827    234766     57883    324739  11970291     29.85     32.01  --
1423.08/356.71	c  N dy  2232    597427      8649     83827    234853     40336    324739   4278341     30.20     44.23  --
1449.82/363.40	c  N dy  2423    617447      8649     83827    234869     60132    324739  12119800     30.51     40.35  --
1490.14/373.55	c  N dy  2615    637456      8649     83827    234898     41487    324739   4469043     30.84     45.09  --
1516.47/380.15	c  N dy  2807    657512      8649     83827    234905     61307    324739  12223589     31.10     39.46  --
1528.41/383.13	c Finding binary XORs  T:     0.04 s  found:       0
1555.54/389.95	c  N dy  2998    677527      8649     83827    245011     41622    324739   4285558     31.37     34.60  --
1578.66/395.75	c  N dy  3174    697550      8649     83827    245046     61436    324739  11847755     31.58     38.67  --
1618.56/405.76	c  N dy  3363    717552      8649     83827    245142     40699    324739   3720190     31.81     33.50  --
1640.10/411.12	c  N dy  3512    737622      8649     83827    245206     60577    324739  10960525     31.95     36.47  --
1675.61/420.05	c  N dy  3680    757659      8649     83827    245373     80428    324739  18540980     32.13     35.13  --
1701.13/426.45	c  N dy  3838    777660      8649     83827    245484     58669    324739  10086509     32.29     34.33  --
1733.86/434.63	c  N dy  3966    797916      8649     83827    245679     78724    324739  17909455     32.40     34.60  --
1750.61/438.87	c  S st  4031    805889      8649     83827    245747     44063    324739   4519245     32.46   no data  --
1751.81/439.16	c  S st  4031    806392      8649     83827    245778     44534    324739   4564221     32.46   no data  --
1751.81/439.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1751.81/439.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1755.79/440.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1751 BRemL:     12 BRemN:      0 P: 24.0M T:  3.68
1756.20/440.27	c bin-w-bin subsume rem            2 bins  time:  0.12 s
1761.80/441.69	c subs with bin:       45  lits-rem:       394  v-fix:    0  time:  5.68 s
1762.22/441.73	c Subs w/ non-existent bins:      0 l-rem:    551 v-fix:     0 done:   1934 time:  0.14 s
1762.22/441.74	c Removed useless bin:       0  fixed:     0  props:   0.95M  time:  0.04 s
1782.93/446.93	c lits-rem:         2  cl-subs:       53  v-elim:      0  v-fix:    0  time: 20.67 s
1782.93/446.95	c vivif2 --  cl tried    83827 cl shrink        0 lits rem          0 time: 0.09
1783.33/447.05	c vivif2 --  cl tried    44436 cl shrink     2009 lits rem      61677 time: 0.40
1784.52/447.36	c asymm  cl-useful: 0/4682/83827 lits-rem:0 time: 1.24
1784.52/447.38	c calculated reachability. Time: 0.02
1784.52/447.38	c  N dy  4031    806392      8649     83827    247517     44435    324739   4495297     32.46   no data  --
1784.52/447.39	c Finding binary XORs  T:     0.04 s  found:       0
1809.26/453.53	c  N dy  4193    826424      8649     83827    247665     64220    324739  11702993     32.59     35.13  --
1847.17/463.08	c  N dy  4338    846507      8649     83827    247773     84100    324739  19345125     32.71     42.53  --
1874.69/469.99	c  N dy  4466    866601      8649     83827    247959     60454    324739  10117809     32.80     42.81  --
1907.04/478.07	c  N dy  4609    886701      8649     83827    248053     80352    324739  17504563     32.91     37.15  --
1915.82/480.29	c Finding binary XORs  T:     0.05 s  found:       0
1937.34/485.70	c  N dy  4751    907001      8649     83827    256737     55896    324739   8286440     33.01     35.12  --
1967.65/493.25	c  N dy  4868    927018      8649     83827    256790     75662    324739  15764987     33.08     34.86  --
2002.35/501.98	c  N dy  4992    947476      8649     83827    256926     50432    324739   6145192     33.16     34.94  --
2034.31/509.97	c  N dy  5108    967550      8649     83827    256959     70280    324739  13256887     33.21     38.46  --
2080.55/521.56	c  N dy  5209    990010      8649     83827    257076     92472    324739  21467609     33.26     35.20  --
2111.67/529.32	c  N dy  5334   1010111      8649     83827    257191     65914    324739  11561620     33.32     38.37  --
2149.57/538.84	c  N dy  5430   1031072      8649     83827    257254     86590    324739  19483008     33.36     35.15  --
2190.68/549.12	c  N dy  5538   1051949      8649     83827    258162     59772    324739   9292879     33.42     35.55  --
2225.39/557.83	c  F st  5638   1071875      8649     83827    258205     79446    324739  16651162     33.47   no data  --
2226.58/558.10	c  N st  5639   1072126      8649     83827    258205     79697    324739  16747271     33.47   no data  --
2270.06/569.00	c  N dy  5731   1092396      8649     83827    258334     51271    324739   5857062     33.50     35.32  --
2301.60/576.99	c  N dy  5833   1112427      8649     83827    258340     71132    324739  13167054     33.54     37.71  --
2345.07/587.85	c  N dy  5926   1132589      8649     83827    258359     91041    324739  20758920     33.58     35.41  --
2379.39/596.46	c  N dy  6019   1152593      8649     83827    258392     61407    324739   9321809     33.61     35.52  --
2416.13/605.62	c  N dy  6101   1173177      8649     83827    258398     81803    324739  17224223     33.65     35.51  --
2474.72/620.34	c  N dy  6242   1193541      8649     83827    258406     51516    324739   5559109     33.72     35.58  --
2500.26/626.72	c  S st  6319   1209588      8649     83827    258408     67390    324739  11400058     33.75     32.73  --
2501.47/627.04	c  S st  6319   1210088      8649     83827    258431     67866    324739  11444528     33.75   no data  --
2501.47/627.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
2501.47/627.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2506.66/628.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    638 BRemL:      6 BRemN:      0 P: 25.7M T:  5.05
2508.64/628.80	c bin-w-bin subsume rem            2 bins  time:  0.14 s
2515.03/630.43	c subs with bin:       10  lits-rem:       130  v-fix:    0  time:  6.48 s
2515.03/630.47	c Subs w/ non-existent bins:      0 l-rem:    875 v-fix:     0 done:    500 time:  0.18 s
2515.03/630.49	c Removed useless bin:       0  fixed:     0  props:   0.95M  time:  0.05 s
3018.15/756.53	c lits-rem:         5  cl-subs:      213  v-elim:      0  v-fix:    0  time: 502.28 s
3018.15/756.55	c vivif2 --  cl tried    83827 cl shrink        0 lits rem          0 time: 0.09
3020.15/757.03	c vivif2 --  cl tried    67643 cl shrink    13619 lits rem     523254 time: 1.93
3021.36/757.37	c asymm  cl-useful: 0/4384/83827 lits-rem:0 time: 1.34
3021.36/757.39	c calculated reachability. Time: 0.02
3021.36/757.39	c  N dy  6319   1210088      8649     83827    259064     67640    324739  10834789     33.75   no data  --
3021.36/757.40	c Finding binary XORs  T:     0.04 s  found:       0
3058.05/766.50	c  N dy  6406   1230938      8649     83827    263627     88244    324739  18075716     33.78     35.56  --
3063.63/767.98	c Finding binary XORs  T:     0.05 s  found:       0
3095.15/775.82	c  N dy  6479   1251402      8649     83827    263631     57025    324739   7299232     33.80     35.85  --
3119.88/782.03	c  N dy  6526   1271973      8649     83827    263665     77268    324739  14800120     33.80     35.68  --
3158.98/791.81	c  N dy  6603   1292217      8649     83827    263758     97291    324739  21753092     33.82     35.61  --
3196.91/801.34	c  N dy  6677   1312640      8649     83827    263766     65130    324739   9823270     33.84     35.63  --
3239.19/811.97	c  N dy  6778   1332661      8649     83827    263773     84970    324739  16598454     33.87     39.68  --
3290.26/824.75	c  N dy  6800   1353412      8649     83827    263776    105388    324739  22964555     33.84     35.66  --
3321.36/832.59	c  N dy  6898   1373490      8649     83827    263776     71939    324739  11897679     33.87     42.83  --
3360.47/842.38	c  N dy  6983   1393840      8649     83827    263777     92057    324739  18726398     33.88     35.87  --
3405.96/853.74	c  N dy  7080   1413927      8649     83827    263780     57571    324739   6972954     33.91     36.17  --
3441.47/862.69	c  N dy  7145   1435208      8649     83827    263786     78581    324739  13977293     33.91     35.74  --
3485.36/873.66	c  N dy  7213   1455416      8649     83827    263787     98541    324739  20551492     33.92     35.84  --
3521.67/882.72	c  N dy  7271   1475505      8649     83827    263796     63007    324739   8678508     33.92     36.41  --
3556.79/891.60	c  N dy  7358   1496130      8649     83827    263803     83395    324739  15420427     33.94     35.81  --
3602.65/903.09	c  N dy  7462   1516185      8649     83827    263807    103228    324739  21901448     33.96     36.57  --
3644.57/913.57	c  N dy  7547   1536271      8649     83827    263814     66734    324739   9857256     33.98     35.85  --
3678.85/922.19	c  N dy  7637   1556334      8649     83827    263818     86551    324739  16140336     34.00     36.01  --
3721.94/932.96	c  N dy  7712   1576359      8649     83827    263819    106352    324739  22683964     34.01     37.12  --
3765.83/943.94	c  N dy  7807   1597778      8649     83827    263820     70213    324739  10685802     34.03     36.06  --
3806.14/954.06	c  N dy  7871   1617834      8649     83827    263822     90023    324739  17043667     34.03     35.84  --
3854.41/966.17	c  N dy  7944   1640685      8649     83827    263826    112578    324739  24613612     34.03     36.17  --
3887.91/974.55	c  N dy  8017   1661007      8649     83827    263828     74407    324739  11906867     34.05     35.91  --
3925.03/983.86	c  N dy  8106   1681085      8649     83827    263829     94264    324739  18587509     34.06     36.78  --
3980.09/997.65	c  N dy  8194   1702475      8649     83827    263830    115398    324739  25422264     34.08     35.90  --
3996.09/1001.62	c  S st  8221   1710088      8649     83827    263832     63627    324739   8291167     34.08     30.40  --
3996.84/1001.87	c  S st  8221   1710590      8649     83827    263840     64119    324739   8342074     34.08   no data  --
3997.24/1001.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
3997.24/1001.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4002.83/1003.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    933 BRemL:      5 BRemN:      0 P: 26.7M T:  5.73
4004.03/1003.63	c bin-w-bin subsume rem            3 bins  time:  0.14 s
4010.01/1005.18	c subs with bin:       19  lits-rem:        18  v-fix:    0  time:  6.20 s
4010.41/1005.22	c Subs w/ non-existent bins:      0 l-rem:    779 v-fix:     0 done:    115 time:  0.17 s
4010.41/1005.24	c Removed useless bin:       0  fixed:     0  props:   0.96M  time:  0.06 s
4201.94/1053.21	c lits-rem:         9  cl-subs:       74  v-elim:      0  v-fix:    0  time: 190.96 s
4201.94/1053.24	c vivif2 --  cl tried    83827 cl shrink        0 lits rem          0 time: 0.10
4203.12/1053.51	c vivif2 --  cl tried    64026 cl shrink     7245 lits rem     163458 time: 1.10
4204.72/1053.90	c asymm  cl-useful: 0/7005/83827 lits-rem:0 time: 1.56
4204.72/1053.92	c calculated reachability. Time: 0.02
4204.72/1053.92	c  N dy  8221   1710590      8649     83827    264765     64026    324739   8160242     34.08   no data  --
4214.69/1056.40	c Finding binary XORs  T:     0.05 s  found:       0
4255.78/1066.73	c  N dy  8251   1738256      8649     83827    267901     91275    324739  18150171     34.04     35.83  --
4296.88/1077.02	c  N dy  8315   1758577      8649     83827    267993    111344    324739  25110486     34.04     35.98  --
4331.99/1085.84	c  N dy  8382   1779098      8649     83827    268056     71398    324739  10761762     34.05     35.85  --
4372.70/1096.10	c  N dy  8460   1799200      8649     83827    268094     91302    324739  17685967     34.06     35.92  --
4414.58/1106.52	c  N dy  8507   1819276      8649     83827    268123    111137    324739  24464346     34.05     39.93  --
4450.49/1115.50	c  N dy  8559   1839363      8649     83827    268318     69714    324739   9999531     34.05     35.91  --
4482.01/1123.42	c  N dy  8605   1860005      8649     83827    268368     90111    324739  17543141     34.05     35.88  --
4543.06/1138.73	c  N dy  8701   1883319      8649     83827    268389    113190    324739  25544642     34.06     35.99  --
4598.51/1152.62	c  N dy  8753   1906476      8649     83827    268392     73782    324739  10914985     34.05     35.90  --
4638.41/1162.68	c  N dy  8836   1926665      8649     83827    268393     93768    324739  17683107     34.06     36.02  --
4693.91/1176.55	c  N dy  8925   1948228      8649     83827    268397    115119    324739  25199282     34.07     35.87  --
4740.55/1188.25	c  N dy  8990   1968252      8649     83827    268402     71556    324739  10027159     34.08     36.10  --
4776.06/1197.13	c  N dy  9059   1988288      8649     83827    268406     91397    324739  16640777     34.08     36.52  --

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-3369345-1305390394/watcher-3369345-1305390394 -o /tmp/evaluation-result-3369345-1305390394/solver-3369345-1305390394 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369345-1305390394.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: 8.15 8.09 7.06 5/320 13041
/proc/meminfo: memFree=20464124/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 415 0 0 0 0 0 0 0 25 0 4 0 650638174 52465664 356 33554432000 4194304 4650419 140733563219568 18446744073709551615 268272689083 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 12809 356 306 112 0 7774 0
[pid=13041/tid=13042] ppid=13039 vsize=281124 CPUtime=0 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1167 0 0 0 0 0 0 0 25 0 4 0 650638175 287870976 3648 33554432000 4194304 4650419 140733563219568 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=281124 CPUtime=0 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 923 0 0 0 0 0 0 0 25 0 4 0 650638175 287870976 3664 33554432000 4194304 4650419 140733563219568 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=281124 CPUtime=0 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 427 0 0 0 0 0 0 0 25 0 4 0 650638175 287870976 3671 33554432000 4194304 4650419 140733563219568 18446744073709551615 4316948 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0476449 s]
/proc/loadavg: 8.15 8.09 7.06 5/320 13041
/proc/meminfo: memFree=20464124/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=294064 CPUtime=0.15 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 8944 0 0 0 11 4 0 0 18 0 4 0 650638174 301121536 8156 33554432000 4194304 4650419 140733563219568 18446744073709551615 4514716 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 73606 8301 344 112 0 68571 0
[pid=13041/tid=13042] ppid=13039 vsize=294424 CPUtime=0.03 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) S 13039 13041 12865 0 -1 4202560 2284 0 0 0 2 1 0 0 18 0 4 0 650638175 301490176 8317 33554432000 4194304 4650419 140733563219568 18446744073709551615 268272794094 0 0 4096 2 18446604449882580096 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=294424 CPUtime=0.03 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 2191 0 0 0 3 0 0 0 18 0 4 0 650638175 301490176 8333 33554432000 4194304 4650419 140733563219568 18446744073709551615 268272386159 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=295148 CPUtime=0.03 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) S 13039 13041 12865 0 -1 4202560 1881 0 0 0 3 0 0 0 18 0 4 0 650638175 302231552 8345 33554432000 4194304 4650419 140733563219568 18446744073709551615 268272794094 0 0 4096 2 18446604449882580096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 294064

[startup+0.33127 s]
/proc/loadavg: 8.15 8.09 7.06 5/320 13041
/proc/meminfo: memFree=20464124/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=379516 CPUtime=2.75 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 18162 0 0 0 268 7 0 0 18 0 4 0 650638174 388624384 14572 33554432000 4194304 4650419 140733563219568 18446744073709551615 4426564 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 95191 15099 379 112 0 90156 0
[pid=13041/tid=13042] ppid=13039 vsize=380764 CPUtime=0.68 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 4716 0 0 0 66 2 0 0 18 0 4 0 650638175 389902336 15114 33554432000 4194304 4650419 140733563219568 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=380764 CPUtime=0.68 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 4552 0 0 0 67 1 0 0 18 0 4 0 650638175 389902336 15127 33554432000 4194304 4650419 140733563219568 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=380764 CPUtime=0.68 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) S 13039 13041 12865 0 -1 4202560 3781 0 0 0 67 1 0 0 18 0 4 0 650638175 389902336 15141 33554432000 4194304 4650419 140733563219568 18446744073709551615 268272794094 0 0 4096 2 18446604449882580096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 379516

[startup+0.792754 s]
/proc/loadavg: 8.15 8.09 7.06 5/320 13041
/proc/meminfo: memFree=20464124/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=385132 CPUtime=3.12 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 26820 0 0 0 303 9 0 0 19 0 4 0 650638174 394375168 23182 33554432000 4194304 4650419 140733563219568 18446744073709551615 4441572 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 96283 23206 388 112 0 91248 0
[pid=13041/tid=13042] ppid=13039 vsize=385132 CPUtime=0.77 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 6925 0 0 0 74 3 0 0 18 0 4 0 650638175 394375168 23216 33554432000 4194304 4650419 140733563219568 18446744073709551615 268272386435 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=385132 CPUtime=0.77 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 8167 0 0 0 75 2 0 0 18 0 4 0 650638175 394375168 23228 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=385132 CPUtime=0.77 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) S 13039 13041 12865 0 -1 4202560 3863 0 0 0 76 1 0 0 18 0 4 0 650638175 394375168 23241 33554432000 4194304 4650419 140733563219568 18446744073709551615 268272794094 0 0 4096 2 18446604449882580096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 385132

[startup+0.915408 s]
/proc/loadavg: 8.15 8.09 7.06 5/320 13041
/proc/meminfo: memFree=20464124/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=388252 CPUtime=3.6 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 30447 0 0 0 351 9 0 0 19 0 4 0 650638174 397570048 24172 33554432000 4194304 4650419 140733563219568 18446744073709551615 4314060 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 97063 24172 390 112 0 92028 0
[pid=13041/tid=13042] ppid=13039 vsize=388252 CPUtime=0.89 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 7386 0 0 0 86 3 0 0 18 0 4 0 650638175 397570048 24172 33554432000 4194304 4650419 140733563219568 18446744073709551615 4314286 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=388252 CPUtime=0.89 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 9411 0 0 0 87 2 0 0 19 0 4 0 650638175 397570048 24172 33554432000 4194304 4650419 140733563219568 18446744073709551615 4265036 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=388252 CPUtime=0.89 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 4092 0 0 0 88 1 0 0 19 0 4 0 650638175 397570048 24172 33554432000 4194304 4650419 140733563219568 18446744073709551615 4363762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 388252

[startup+1.5003 s]
/proc/loadavg: 8.15 8.09 7.06 5/320 13041
/proc/meminfo: memFree=20464124/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=421072 CPUtime=5.95 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 34021 0 0 0 585 10 0 0 19 0 4 0 650638174 431177728 27746 33554432000 4194304 4650419 140733563219568 18446744073709551615 4364358 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 105268 27746 391 112 0 100233 0
[pid=13041/tid=13042] ppid=13039 vsize=421072 CPUtime=1.48 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 8526 0 0 0 145 3 0 0 18 0 4 0 650638175 431177728 27746 33554432000 4194304 4650419 140733563219568 18446744073709551615 4315604 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=421072 CPUtime=1.48 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 10579 0 0 0 145 3 0 0 20 0 4 0 650638175 431177728 27746 33554432000 4194304 4650419 140733563219568 18446744073709551615 4334208 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=421072 CPUtime=1.47 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 4832 0 0 0 146 1 0 0 20 0 4 0 650638175 431177728 27746 33554432000 4194304 4650419 140733563219568 18446744073709551615 4311384 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 421072

[startup+3.10102 s]
/proc/loadavg: 8.14 8.09 7.06 9/324 13045
/proc/meminfo: memFree=20394776/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=442284 CPUtime=12.33 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 44273 0 0 0 1220 13 0 0 25 0 4 0 650638174 452898816 31579 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365040 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 110571 31579 394 112 0 105536 0
[pid=13041/tid=13042] ppid=13039 vsize=442284 CPUtime=3.07 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 10431 0 0 0 304 3 0 0 22 0 4 0 650638175 452898816 31579 33554432000 4194304 4650419 140733563219568 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=442284 CPUtime=3.08 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 14336 0 0 0 304 4 0 0 25 0 4 0 650638175 452898816 31579 33554432000 4194304 4650419 140733563219568 18446744073709551615 4253636 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=442284 CPUtime=3.06 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 9111 0 0 0 304 2 0 0 25 0 4 0 650638175 452898816 31579 33554432000 4194304 4650419 140733563219568 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 442284

[startup+6.30045 s]
/proc/loadavg: 8.14 8.09 7.06 9/324 13045
/proc/meminfo: memFree=20364284/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=410304 CPUtime=25.09 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 65660 0 0 0 2493 16 0 0 25 0 4 0 650638174 420151296 40770 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 102576 40770 395 112 0 97541 0
[pid=13041/tid=13042] ppid=13039 vsize=410304 CPUtime=6.28 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 15340 0 0 0 623 5 0 0 25 0 4 0 650638175 420151296 40770 33554432000 4194304 4650419 140733563219568 18446744073709551615 4314998 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=410304 CPUtime=6.28 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 24190 0 0 0 623 5 0 0 25 0 4 0 650638175 420151296 40770 33554432000 4194304 4650419 140733563219568 18446744073709551615 4436434 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=410304 CPUtime=6.22 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 14145 0 0 0 620 2 0 0 25 0 4 0 650638175 420151296 40770 33554432000 4194304 4650419 140733563219568 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 410304

[startup+12.7133 s]
/proc/loadavg: 8.12 8.08 7.07 10/324 13045
/proc/meminfo: memFree=20115876/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=649276 CPUtime=50.67 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 126098 0 0 0 5041 26 0 0 25 0 4 0 650638174 664858624 91391 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 162319 91391 395 112 0 157284 0
[pid=13041/tid=13042] ppid=13039 vsize=649276 CPUtime=12.69 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 36329 0 0 0 1261 8 0 0 25 0 4 0 650638175 664858624 91391 33554432000 4194304 4650419 140733563219568 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=649276 CPUtime=12.69 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 30339 0 0 0 1262 7 0 0 25 0 4 0 650638175 664858624 91391 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=649276 CPUtime=12.56 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 28985 0 0 0 1252 4 0 0 25 0 4 0 650638175 664858624 91391 33554432000 4194304 4650419 140733563219568 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 649276

[startup+25.501 s]
/proc/loadavg: 8.10 8.08 7.08 9/324 13046
/proc/meminfo: memFree=20096300/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=612172 CPUtime=101.69 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 177947 0 0 0 10132 37 0 0 25 0 4 0 650638174 626864128 102653 33554432000 4194304 4650419 140733563219568 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 153043 102653 395 112 0 148008 0
[pid=13041/tid=13042] ppid=13039 vsize=612172 CPUtime=25.46 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 46594 0 0 0 2537 9 0 0 25 0 4 0 650638175 626864128 102653 33554432000 4194304 4650419 140733563219568 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=612172 CPUtime=25.48 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 44637 0 0 0 2538 10 0 0 25 0 4 0 650638175 626864128 102653 33554432000 4194304 4650419 140733563219568 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=612172 CPUtime=25.24 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 39391 0 0 0 2516 8 0 0 25 0 4 0 650638175 626864128 102653 33554432000 4194304 4650419 140733563219568 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 612172

[startup+51.1005 s]
/proc/loadavg: 8.14 8.09 7.11 9/324 13047
/proc/meminfo: memFree=19845408/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=830564 CPUtime=203.84 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 291173 0 0 0 20326 58 0 0 25 0 4 0 650638174 850497536 153862 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476449 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 207641 153862 395 112 0 202606 0
[pid=13041/tid=13042] ppid=13039 vsize=830564 CPUtime=51.07 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 66643 0 0 0 5092 15 0 0 25 0 4 0 650638175 850497536 153867 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=830564 CPUtime=51.09 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 70832 0 0 0 5092 17 0 0 25 0 4 0 650638175 850497536 153867 33554432000 4194304 4650419 140733563219568 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=830564 CPUtime=50.58 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 62625 0 0 0 5047 11 0 0 25 0 4 0 650638175 850497536 153867 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 830564

[startup+102.3 s]
/proc/loadavg: 8.14 8.09 7.16 7/324 13079
/proc/meminfo: memFree=27306812/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=1085140 CPUtime=408.09 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 789158 0 0 0 40675 134 0 0 25 0 4 0 650638174 1111183360 173175 33554432000 4194304 4650419 140733563219568 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 271285 173175 395 112 0 266250 0
[pid=13041/tid=13042] ppid=13039 vsize=1085140 CPUtime=102.25 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 169243 0 0 0 10192 33 0 0 25 0 4 0 650638175 1111183360 173175 33554432000 4194304 4650419 140733563219568 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=1085140 CPUtime=102.27 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 106138 0 0 0 10202 25 0 0 25 0 4 0 650638175 1111183360 173175 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=1085140 CPUtime=101.25 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 99140 0 0 0 10105 20 0 0 25 0 4 0 650638175 1111183360 173175 33554432000 4194304 4650419 140733563219568 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 1085140

[startup+162.312 s]

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

[pid=13041] ppid=13039 vsize=2391928 CPUtime=2562.51 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 2940992 0 0 0 255654 597 0 0 25 0 4 0 650638174 2449334272 468104 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 597982 468104 395 112 0 592947 0
[pid=13041/tid=13042] ppid=13039 vsize=2391928 CPUtime=642.13 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 530161 0 0 0 64111 102 0 0 25 0 4 0 650638175 2449334272 468104 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=2391928 CPUtime=642.27 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 481196 0 0 0 64105 122 0 0 25 0 4 0 650638175 2449334272 468104 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=2391928 CPUtime=635.83 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 951393 0 0 0 63391 192 0 0 25 0 4 0 650638175 2449334272 468104 33554432000 4194304 4650419 140733563219568 18446744073709551615 4334264 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.51
Current children cumulated vsize (KiB) 2391928

[startup+702.301 s]
/proc/loadavg: 7.98 7.99 7.53 9/324 13215
/proc/meminfo: memFree=25944084/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=2448180 CPUtime=2801.92 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 2998304 0 0 0 279571 621 0 0 25 0 4 0 650638174 2506936320 476560 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 612045 476560 395 112 0 607010 0
[pid=13041/tid=13042] ppid=13039 vsize=2448180 CPUtime=702.13 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 531718 0 0 0 70111 102 0 0 25 0 4 0 650638175 2506936320 476561 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=2448180 CPUtime=702.28 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 488459 0 0 0 70103 125 0 0 25 0 4 0 650638175 2506936320 476561 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=2448180 CPUtime=695.24 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 999886 0 0 0 69311 213 0 0 25 0 4 0 650638175 2506936320 476561 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.92
Current children cumulated vsize (KiB) 2448180

[startup+762.301 s]
/proc/loadavg: 8.04 8.01 7.56 9/324 13216
/proc/meminfo: memFree=25839488/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=2515244 CPUtime=3041.3 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 3144433 0 0 0 303475 655 0 0 25 0 4 0 650638174 2575609856 496820 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 628811 496820 395 112 0 623776 0
[pid=13041/tid=13042] ppid=13039 vsize=2515244 CPUtime=762.11 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 602531 0 0 0 76101 110 0 0 25 0 4 0 650638175 2575609856 496820 33554432000 4194304 4650419 140733563219568 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=2515244 CPUtime=762.27 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 504516 0 0 0 76096 131 0 0 25 0 4 0 650638175 2575609856 496821 33554432000 4194304 4650419 140733563219568 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=2515244 CPUtime=754.63 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1050419 0 0 0 75233 230 0 0 25 0 4 0 650638175 2575609856 496821 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.3
Current children cumulated vsize (KiB) 2515244

[startup+822.312 s]
/proc/loadavg: 8.05 8.02 7.59 9/324 13218
/proc/meminfo: memFree=25591032/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=2675744 CPUtime=3280.72 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 3479543 0 0 0 327353 719 0 0 25 0 4 0 650638174 2739961856 553352 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 668936 553352 395 112 0 663901 0
[pid=13041/tid=13042] ppid=13039 vsize=2675744 CPUtime=822.11 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 645896 0 0 0 82087 124 0 0 25 0 4 0 650638175 2739961856 553352 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=2675744 CPUtime=822.28 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 669483 0 0 0 82075 153 0 0 25 0 4 0 650638175 2739961856 553352 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=2675744 CPUtime=814.04 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1123401 0 0 0 81165 239 0 0 25 0 4 0 650638175 2739961856 553352 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.72
Current children cumulated vsize (KiB) 2675744

[startup+882.301 s]
/proc/loadavg: 8.06 8.03 7.62 9/324 13220
/proc/meminfo: memFree=25608572/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=2679188 CPUtime=3520.06 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 3677426 0 0 0 351238 768 0 0 25 0 4 0 650638174 2743488512 547744 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 669797 547744 395 112 0 664762 0
[pid=13041/tid=13042] ppid=13039 vsize=2679188 CPUtime=882.08 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 686476 0 0 0 88069 139 0 0 25 0 4 0 650638175 2743488512 547744 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=2679188 CPUtime=882.27 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 767386 0 0 0 88063 164 0 0 25 0 4 0 650638175 2743488512 547744 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=2679188 CPUtime=873.43 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1123401 0 0 0 87104 239 0 0 25 0 4 0 650638175 2743488512 547744 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.06
Current children cumulated vsize (KiB) 2679188

[startup+942.301 s]
/proc/loadavg: 8.06 8.03 7.65 9/324 13221
/proc/meminfo: memFree=25575024/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=2677628 CPUtime=3759.45 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 3774472 0 0 0 375142 803 0 0 25 0 4 0 650638174 2741891072 550529 33554432000 4194304 4650419 140733563219568 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 669407 550529 395 112 0 664372 0
[pid=13041/tid=13042] ppid=13039 vsize=2677628 CPUtime=942.07 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 731729 0 0 0 94051 156 0 0 25 0 4 0 650638175 2741891072 550529 33554432000 4194304 4650419 140733563219568 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=2677628 CPUtime=942.27 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 777610 0 0 0 94062 165 0 0 25 0 4 0 650638175 2741891072 550529 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=2677628 CPUtime=932.83 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1123401 0 0 0 93044 239 0 0 25 0 4 0 650638175 2741891072 550529 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3759.45
Current children cumulated vsize (KiB) 2677628

[startup+1002.3 s]
/proc/loadavg: 8.14 8.05 7.67 9/324 13223
/proc/meminfo: memFree=25618724/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=2636700 CPUtime=3998.84 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 3912587 0 0 0 399041 843 0 0 25 0 4 0 650638174 2699980800 534005 33554432000 4194304 4650419 140733563219568 18446744073709551615 4245020 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 659175 534005 395 112 0 654140 0
[pid=13041/tid=13042] ppid=13039 vsize=2636700 CPUtime=1002.06 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 779473 0 0 0 100034 172 0 0 25 0 4 0 650638175 2699980800 534005 33554432000 4194304 4650419 140733563219568 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=2636700 CPUtime=1002.27 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 816921 0 0 0 100057 170 0 0 25 0 4 0 650638175 2699980800 534005 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=2636700 CPUtime=992.24 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1123401 0 0 0 98985 239 0 0 25 0 4 0 650638175 2699980800 534005 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476345 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3998.84
Current children cumulated vsize (KiB) 2636700

[startup+1062.3 s]
/proc/loadavg: 8.16 8.07 7.70 9/324 13224
/proc/meminfo: memFree=25577632/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=2702480 CPUtime=4238.23 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 4176252 0 0 0 422931 892 0 0 25 0 4 0 650638174 2767339520 546832 33554432000 4194304 4650419 140733563219568 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 675620 546832 395 112 0 670585 0
[pid=13041/tid=13042] ppid=13039 vsize=2702480 CPUtime=1062.05 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 779497 0 0 0 106033 172 0 0 25 0 4 0 650638175 2767339520 546832 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=2702480 CPUtime=1062.28 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1071515 0 0 0 106011 217 0 0 25 0 4 0 650638175 2767339520 546832 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=2702480 CPUtime=1051.63 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1123573 0 0 0 104924 239 0 0 25 0 4 0 650638175 2767339520 546832 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.23
Current children cumulated vsize (KiB) 2702480

[startup+1122.3 s]
/proc/loadavg: 8.15 8.09 7.73 9/324 13226
/proc/meminfo: memFree=25541096/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=2780340 CPUtime=4477.63 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 4288654 0 0 0 446831 932 0 0 25 0 4 0 650638174 2847068160 555237 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 695085 555237 395 112 0 690050 0
[pid=13041/tid=13042] ppid=13039 vsize=2780340 CPUtime=1122.04 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 794461 0 0 0 112029 175 0 0 25 0 4 0 650638175 2847068160 555237 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=2780340 CPUtime=1122.28 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1110898 0 0 0 111994 234 0 0 25 0 4 0 650638175 2847068160 555237 33554432000 4194304 4650419 140733563219568 18446744073709551615 4364900 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=2780340 CPUtime=1111.04 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1123573 0 0 0 110865 239 0 0 25 0 4 0 650638175 2847068160 555237 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4477.63
Current children cumulated vsize (KiB) 2780340

[startup+1182.3 s]
/proc/loadavg: 8.12 8.08 7.75 9/324 13228
/proc/meminfo: memFree=25504468/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=2781980 CPUtime=4717.01 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 4421079 0 0 0 470729 972 0 0 25 0 4 0 650638174 2848747520 559940 33554432000 4194304 4650419 140733563219568 18446744073709551615 4366698 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 695495 559940 395 112 0 690460 0
[pid=13041/tid=13042] ppid=13039 vsize=2781980 CPUtime=1182.03 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 834311 0 0 0 118012 191 0 0 25 0 4 0 650638175 2848747520 559940 33554432000 4194304 4650419 140733563219568 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=2781980 CPUtime=1182.28 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1163071 0 0 0 117987 241 0 0 25 0 4 0 650638175 2848747520 559940 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=2781980 CPUtime=1170.45 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1123573 0 0 0 116805 240 0 0 25 0 4 0 650638175 2848747520 559940 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.01
Current children cumulated vsize (KiB) 2781980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.08 8.08 7.75 9/324 13228
/proc/meminfo: memFree=25668260/32950928 swapFree=60199044/67111528
[pid=13041] ppid=13039 vsize=2609336 CPUtime=4800.41 cores=0,2,4,6
/proc/13041/stat : 13041 (strangenight1-m) R 13039 13041 12865 0 -1 4202496 4471625 0 0 0 479055 986 0 0 25 0 4 0 650638174 2671960064 518503 33554432000 4194304 4650419 140733563219568 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13041/statm: 652334 518503 395 112 0 647299 0
[pid=13041/tid=13042] ppid=13039 vsize=2609336 CPUtime=1202.93 cores=0,2,4,6
/proc/13041/task/13042/stat : 13042 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 852606 0 0 0 120097 196 0 0 25 0 4 0 650638175 2671960064 518506 33554432000 4194304 4650419 140733563219568 18446744073709551615 4314858 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13041/tid=13043] ppid=13039 vsize=2609336 CPUtime=1203.19 cores=0,2,4,6
/proc/13041/task/13043/stat : 13043 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1163071 0 0 0 120078 241 0 0 25 0 4 0 650638175 2671960064 518506 33554432000 4194304 4650419 140733563219568 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13041/tid=13044] ppid=13039 vsize=2609336 CPUtime=1191.13 cores=0,2,4,6
/proc/13041/task/13044/stat : 13044 (strangenight1-m) R 13039 13041 12865 0 -1 4202560 1145323 0 0 0 118870 243 0 0 25 0 4 0 650638175 2671960064 518506 33554432000 4194304 4650419 140733563219568 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 2609336

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.3
CPU time (s): 4800.53
CPU user time (s): 4790.59
CPU system time (s): 9.94349
CPU usage (%): 398.948
Max. virtual memory (cumulated for all children) (KiB): 2840532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.59
system time used= 9.94349
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4471639
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= 9474
involuntary context switches= 21994

runsolver used 3.2915 second user time and 8.79266 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-14 18:26:34
IDJOB=3369345
IDBENCH=70910
IDSOLVER=1846
FILE ID=node122/3369345-1305390394
RUNJOBID= node122-1305388863-12883
PBS_JOBID= 13324424
Free space on /tmp= 73128 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_11_3_4_cmp.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369345-1305390394/watcher-3369345-1305390394 -o /tmp/evaluation-result-3369345-1305390394/solver-3369345-1305390394 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369345-1305390394.cnf

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

MD5SUM BENCH= 3b5e80540ef2fcb09cfe50ac7e3686c1
RANDOM SEED=1468401362

node122.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	: 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.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20464296 kB
Buffers:        263684 kB
Cached:        3627872 kB
SwapCached:      50104 kB
Active:        8416348 kB
Inactive:      3840668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20464296 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:          158164 kB
Writeback:           0 kB
AnonPages:     8326428 kB
Mapped:          14364 kB
Slab:           119328 kB
PageTables:      47012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 60562584 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= 73420 MiB
End job on node122 at 2011-05-14 18:46:39