Trace number 3366945

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.45 1203.32

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366945-1305390285.cnf'
0.00/0.01	c -- header says num vars:           8713
0.00/0.01	c -- header says num clauses:       99699
0.00/0.06	c -- clauses added:            0 learnts,        99699 normals,            0 xors
0.00/0.06	c -- vars added       8713
0.00/0.06	c Parsing time:  0.03 s
0.00/0.06	c  N st     0         0      8713     88833     10866         0    335345         0   no data   no data
0.42/0.67	c asymm  cl-useful: 0/22769/88833 lits-rem:0 time: 0.54
0.42/0.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   16 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.07
0.42/0.67	c Replacing       16 vars Replaced      376 lits Time:     0.00 s 
0.42/0.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.42/0.72	c bin-w-bin subsume rem            4 bins  time:  0.00 s
0.42/0.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.42/0.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8697 time:  0.01 s
0.42/0.72	c Removed useless bin:       0  fixed:     0  props:   1.26M  time:  0.01 s
0.42/1.41	c lits-rem:         0  cl-subs:     5184  v-elim:      2  v-fix:    0  time:  0.14 s
0.42/1.41	c Finding binary XORs  T:     0.00 s  found:       4
0.42/1.41	c Replacing        4 vars Replaced      116 lits Time:     0.00 s 
0.42/1.41	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.42/1.41	c calculated reachability. Time: 0.00
0.42/1.41	c Calc default polars -  time:   0.00 s pos:     828 undec:      22 neg:    7863
0.42/1.41	c =========================================================================================
0.42/1.41	c types(t): F = full restart, N = normal restart
0.42/1.41	c types(t): S = simplification begin/end, E = solution found
0.42/1.41	c restart types(rt): st = static, dy = dynamic
0.42/1.41	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.42/1.41	c  B st     0         0      8691     83655     10840         0    319765         0   no data   no data
7.95/2.09	c  N dy    17      4047      8691     83655     11266      3615    319765    266277     14.42     15.19
12.34/3.11	c Finding binary XORs  T:     0.00 s  found:       0
13.98/3.56	c  N dy    44      8135      8691     83655     12192      6810    319765    529094     14.92     15.98
19.12/4.84	c  N dy    77     12153      8691     83655     13089      9914    319765    980814     17.23     19.17
21.12/5.39	c Finding binary XORs  T:     0.00 s  found:       0
24.31/6.14	c  N dy   116     16268      8691     83655     13779     13333    319765   1670050     20.16     21.39
29.50/7.43	c  N dy   152     20468      8691     83655     14343      8699    319765    493849     22.08     24.33
31.89/8.02	c Finding binary XORs  T:     0.00 s  found:       0
33.49/8.43	c  N dy   180     24558      8691     83655     14910     12202    319765   1157858     22.81     29.83
33.89/8.52	c  F st   185     25001      8691     83655     14935     12619    319765   1262890     23.02   no data
38.68/9.73	c  N dy   191     30001      8691     83655     15307     17202    319765   2391151     23.02   no data
38.68/9.73	c  S st   191     30001      8691     83655     15307     17202    319765   2391151     23.02   no data
39.08/9.82	c  S st   191     30501      8691     83655     15611     17465    319765   2393102     23.02   no data
39.08/9.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
40.31/10.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  64628 BRemL:    358 BRemN:      0 P:  8.0M T:  0.32
40.31/10.17	c blocked clauses removed:        0 vars:      0 tried:        8691 T: 0.00 s
40.31/10.18	c bin-w-bin subsume rem           17 bins  time:  0.01 s
40.67/10.22	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  0.05 s
40.67/10.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8691 time:  0.02 s
40.67/10.25	c Removed useless bin:       0  fixed:     0  props:   0.79M  time:  0.01 s
41.07/10.34	c lits-rem:         0  cl-subs:       11  v-elim:      4  v-fix:    0  time:  0.09 s
47.45/11.92	c subs with bin:       27  lits-rem:       635  v-fix:    0  time:  1.46 s
56.63/14.22	c lits-rem:       497  cl-subs:      460  v-elim:      0  v-fix:    0  time:  2.29 s
57.86/14.56	c asymm  cl-useful: 0/11568/83647 lits-rem:0 time: 0.35
57.86/14.57	c calculated reachability. Time: 0.00
57.86/14.57	c  N dy   191     30501      8687     83647     79859     16977    319699   2491276     23.02   no data
57.86/14.58	c Finding binary XORs  T:     0.01 s  found:       0
62.25/15.67	c  N dy   231     34531      8687     83647     79870     20959    319699   3574900     25.33     43.62
66.99/16.84	c  N dy   271     38565      8687     83647     83098     24961    319699   4659511     27.03     37.24
71.78/18.06	c  N dy   310     42592      8687     83647     83456     15013    319699   1725724     28.18     34.01
74.58/18.78	c  S st   342     45751      8687     83647     83461     18132    319699   2550162     29.04   no data
74.99/18.89	c  S st   342     46252      8687     83647     83692     18401    319699   2551611     29.04   no data
74.99/18.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
76.17/19.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   5023 BRemL:   1754 BRemN:      0 P:  7.6M T:  0.26
76.17/19.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.17/19.19	c bin-w-bin subsume rem           13 bins  time:  0.01 s
76.57/19.25	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  0.05 s
76.57/19.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8687 time:  0.01 s
76.57/19.27	c Removed useless bin:       0  fixed:     0  props:   0.74M  time:  0.01 s
76.97/19.35	c lits-rem:         1  cl-subs:        4  v-elim:      2  v-fix:    0  time:  0.08 s
83.36/20.90	c subs with bin:      303  lits-rem:       727  v-fix:    0  time:  1.49 s
89.33/22.44	c lits-rem:        32  cl-subs:       87  v-elim:      0  v-fix:    0  time:  1.53 s
89.33/22.45	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.01
89.73/22.59	c vivif2 --  cl tried    18011 cl shrink     8847 lits rem     174060 time: 0.13
91.34/22.90	c asymm  cl-useful: 0/12076/83643 lits-rem:0 time: 0.31
91.34/22.91	c calculated reachability. Time: 0.00
91.34/22.91	c  N dy   342     46252      8685     83643     87041     17919    319673   2371285     29.04   no data
91.34/22.92	c Finding binary XORs  T:     0.01 s  found:       0
96.12/24.14	c  N dy   381     50347      8685     83643     87046     21977    319673   3481632     29.79     35.02
100.91/25.40	c  N dy   421     54369      8685     83643     87051     25960    319673   4601118     30.49     34.20
106.49/26.77	c  N dy   458     58397      8685     83643     87073     29933    319673   5660221     31.05     34.71
112.48/28.22	c  N dy   489     62405      8685     83643     88098     33896    319673   6733601     31.48     38.65
117.27/29.49	c  N dy   517     66474      8685     83643     88138     20216    319673   2723140     31.72     36.33
120.45/30.24	c  S st   538     69378      8685     83643     88149     23069    319673   3471566     31.87     31.93
120.86/30.37	c  S st   538     69878      8685     83643     88336     23381    319673   3473393     31.87   no data
120.86/30.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
122.05/30.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3324 BRemL:    475 BRemN:      0 P:  8.3M T:  0.29
122.05/30.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
122.05/30.69	c bin-w-bin subsume rem           95 bins  time:  0.01 s
122.45/30.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
122.45/30.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.01 s
122.45/30.77	c Removed useless bin:       0  fixed:     0  props:   0.78M  time:  0.01 s
122.85/30.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
129.23/32.44	c subs with bin:       17  lits-rem:        78  v-fix:    0  time:  1.49 s
142.00/35.68	c lits-rem:       168  cl-subs:      119  v-elim:      0  v-fix:    0  time:  3.23 s
142.00/35.69	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.01
142.80/35.84	c vivif2 --  cl tried    23245 cl shrink     6575 lits rem     166719 time: 0.14
144.00/36.15	c asymm  cl-useful: 0/11381/83643 lits-rem:0 time: 0.32
144.00/36.16	c calculated reachability. Time: 0.00
144.00/36.16	c  N dy   538     69878      8685     83643     91092     23244    319673   3295145     31.87   no data
144.00/36.17	c Finding binary XORs  T:     0.01 s  found:       0
150.38/37.70	c  N dy   573     74358      8685     83643     94834     27679    319673   4502114     32.16     38.83
156.76/39.38	c Finding binary XORs  T:     0.01 s  found:       0
158.80/39.84	c  N dy   614     80939      8685     83643     98842     34151    319673   6174129     32.42     34.24
166.74/41.90	c  N dy   643     86171      8685     83643     98868     39291    319673   7497290     32.59     34.33
169.53/42.56	c  F st   653     87501      8685     83643     98868     20546    319673   2545529     32.67   no data
173.92/43.63	c  N dy   659     92693      8685     83643     98893     25643    319673   3981004     32.67   no data
181.09/45.46	c  N dy   690     98661      8685     83643     98897     31550    319673   5596562     32.84     36.74
188.69/47.39	c Finding binary XORs  T:     0.01 s  found:       0
190.28/47.77	c  S st   733    104817      8685     83643    102314     37639    319673   7209022     33.03   no data
191.08/47.91	c  S st   733    105317      8685     83643    102540     37912    319673   7210760     33.03   no data
191.08/47.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
192.68/48.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3432 BRemL:   1112 BRemN:      0 P: 10.3M T:  0.37
192.68/48.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
192.68/48.33	c bin-w-bin subsume rem            2 bins  time:  0.01 s
192.68/48.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
193.08/48.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
193.08/48.42	c Removed useless bin:       0  fixed:     0  props:   0.91M  time:  0.01 s
193.49/48.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
200.25/50.26	c subs with bin:        1  lits-rem:        31  v-fix:    0  time:  1.52 s
237.38/59.54	c lits-rem:        55  cl-subs:      230  v-elim:      0  v-fix:    0  time:  9.27 s
237.38/59.56	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.01
238.96/59.94	c vivif2 --  cl tried    37681 cl shrink    17443 lits rem     556511 time: 0.38
240.15/60.26	c asymm  cl-useful: 0/11771/83643 lits-rem:0 time: 0.32
240.15/60.27	c calculated reachability. Time: 0.00
240.15/60.27	c  N dy   733    105317      8685     83643    104863     37676    319673   6611325     33.03   no data
253.32/63.50	c  N dy   782    113120      8685     83643    104867     23639    319673   3099841     33.32     35.13
260.50/65.38	c Finding binary XORs  T:     0.01 s  found:       0
262.49/65.88	c  N dy   836    120353      8685     83643    104873     30806    319673   5141033     33.60     39.25
275.26/69.04	c  N dy   892    128901      8685     83643    107092     39266    319673   7607784     33.85     35.75
288.03/72.27	c  N dy   936    137447      8685     83643    107095     24445    319673   3150079     34.00     35.89
299.59/75.16	c  N dy   988    146294      8685     83643    107110     33192    319673   5669241     34.22     36.10
299.59/75.17	c Finding binary XORs  T:     0.01 s  found:       0
315.16/79.01	c  N dy  1055    155761      8685     83643    107116     42570    319673   8355259     34.48     36.35
319.15/80.07	c  S st  1071    157977      8685     83643    107116     44771    319673   9009602     34.56     33.86
319.95/80.25	c  S st  1071    158477      8685     83643    107330     45057    319673   9011332     34.56   no data
319.95/80.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
321.54/80.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1449 BRemL:    171 BRemN:      0 P: 11.0M T:  0.41
321.94/80.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
321.94/80.71	c bin-w-bin subsume rem            5 bins  time:  0.01 s
321.94/80.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
321.94/80.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
322.34/80.80	c Removed useless bin:       0  fixed:     0  props:   0.93M  time:  0.01 s
322.74/80.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
329.55/82.70	c subs with bin:        5  lits-rem:         7  v-fix:    0  time:  1.55 s
382.98/96.05	c lits-rem:        42  cl-subs:      176  v-elim:      0  v-fix:    0  time: 13.34 s
382.98/96.07	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
384.98/96.54	c vivif2 --  cl tried    44876 cl shrink    19616 lits rem     759470 time: 0.46
386.18/96.86	c asymm  cl-useful: 0/9933/83643 lits-rem:0 time: 0.32
386.18/96.87	c calculated reachability. Time: 0.00
386.18/96.87	c  N dy  1071    158477      8685     83643    108607     44872    319673   8206793     34.56   no data
399.77/100.23	c  N dy  1110    168743      8685     83643    108621     30647    319673   4696700     34.68     36.81
404.92/101.51	c Finding binary XORs  T:     0.01 s  found:       0
414.50/103.99	c  N dy  1146    180143      8685     83643    113341     41883    319673   7951205     34.72     36.63
433.65/108.75	c  N dy  1198    191869      8685     83643    116571     27968    319673   3854906     34.82     36.67
434.46/108.98	c Finding binary XORs  T:     0.01 s  found:       0
451.21/113.15	c  N dy  1261    205319      8685     83643    118686     41284    319673   7794297     34.93     36.82
474.78/119.04	c  N dy  1325    219441      8685     83643    118694     28613    319673   4027476     35.03     37.02
477.14/119.69	c Finding binary XORs  T:     0.01 s  found:       0
493.90/123.88	c  N dy  1371    235148      8685     83643    118703     44134    319673   8686850     35.09     37.01
497.48/124.79	c  S st  1379    237715      8685     83643    118703     46664    319673   9406603     35.09     33.79
498.28/124.99	c  S st  1379    238215      8685     83643    118913     46954    319673   9408661     35.09   no data
498.69/125.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
500.28/125.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2024 BRemL:    487 BRemN:      0 P: 12.0M T:  0.46
500.28/125.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
500.28/125.50	c bin-w-bin subsume rem            4 bins  time:  0.01 s
500.70/125.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
500.70/125.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
500.70/125.60	c Removed useless bin:       0  fixed:     0  props:   0.98M  time:  0.01 s
501.46/125.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
507.85/127.37	c subs with bin:       44  lits-rem:       123  v-fix:    0  time:  1.42 s
558.16/139.93	c lits-rem:        40  cl-subs:      252  v-elim:      0  v-fix:    0  time: 12.55 s
558.16/139.94	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
560.12/140.42	c vivif2 --  cl tried    46658 cl shrink    20138 lits rem     647925 time: 0.47
560.52/140.55	c asymm  cl-useful: 0/4145/83643 lits-rem:0 time: 0.14
560.52/140.57	c calculated reachability. Time: 0.00
560.52/140.57	c  N dy  1379    238215      8685     83643    120453     46651    319673   8693044     35.09   no data
584.09/146.44	c Finding binary XORs  T:     0.01 s  found:       0
587.65/147.30	c  N dy  1456    253493      8685     83643    120471     34223    319673   5620559     35.25     37.11
617.97/154.93	c  N dy  1498    276168      8685     83643    120478     56388    319673  11630361     35.14     37.24
647.50/162.33	c  N dy  1574    294540      8685     83643    120486     46091    319673   8870427     35.25     37.13
666.65/167.12	c  F st  1610    306250      8685     83643    120492     57657    319673  12282341     35.26     33.79
670.64/168.20	c Finding binary XORs  T:     0.01 s  found:       0
678.62/170.11	c  N dy  1629    313358      8685     83643    124510     35135    319673   5437373     35.28     40.47
714.13/179.05	c  N dy  1713    333406      8685     83643    124518     54947    319673  11336899     35.37     37.68
742.85/186.29	c Finding binary XORs  T:     0.01 s  found:       0
746.47/187.13	c  N dy  1802    353416      8685     83643    126672     44122    319673   7904133     35.46     38.30
753.63/188.92	c  S st  1806    357322      8685     83643    126672     47971    319673   9134744     35.44     34.13
754.43/189.11	c  S st  1806    357822      8685     83643    126848     48294    319673   9137396     35.44   no data
754.43/189.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
756.02/189.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1786 BRemL:    201 BRemN:      0 P: 12.1M T:  0.45
756.42/189.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
756.42/189.62	c bin-w-bin subsume rem            7 bins  time:  0.01 s
756.82/189.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
756.82/189.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
756.82/189.73	c Removed useless bin:       0  fixed:     0  props:   0.99M  time:  0.01 s
757.21/189.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
764.44/191.62	c subs with bin:       13  lits-rem:        15  v-fix:    0  time:  1.55 s
807.92/202.56	c lits-rem:        95  cl-subs:      305  v-elim:      0  v-fix:    0  time: 10.93 s
807.92/202.57	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
809.89/203.02	c vivif2 --  cl tried    47976 cl shrink    18875 lits rem     796253 time: 0.44
811.09/203.36	c asymm  cl-useful: 0/4932/83643 lits-rem:0 time: 0.34
811.09/203.37	c calculated reachability. Time: 0.00
811.09/203.37	c  N dy  1806    357822      8685     83643    128428     47974    319673   8278475     35.44   no data
845.39/211.93	c  N dy  1886    377836      8685     83643    128441     36242    319673   5283353     35.51     38.66
850.98/213.38	c Finding binary XORs  T:     0.01 s  found:       0
876.91/219.82	c  N dy  1963    397856      8685     83643    128449     56049    319673  11172029     35.60     42.70
909.28/227.98	c  N dy  2062    417880      8685     83643    128454     43289    319673   7390586     35.69     37.65
955.92/239.66	c  N dy  2140    441114      8685     83643    128465     66217    319673  13999483     35.73     37.63
991.43/248.54	c  N dy  2220    461216      8685     83643    128467     52550    319673   9859150     35.79     37.78
1029.32/258.02	c  N dy  2293    481356      8685     83643    133789     37860    319673   5485543     35.84     37.75
1031.33/258.55	c Finding binary XORs  T:     0.01 s  found:       0
1064.43/266.86	c  N dy  2397    501803      8685     83643    133796     58087    319673  11315298     35.93     37.91
1104.33/276.89	c  N dy  2471    521895      8685     83643    133800     42387    319673   6707721     35.97     38.15
1127.48/282.61	c  S st  2527    536733      8685     83643    133824     57064    319673  11067253     36.00     37.01
1128.30/282.82	c  S st  2527    537233      8685     83643    134028     57358    319673  11069334     36.00   no data
1128.30/282.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1130.26/283.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1551 BRemL:    150 BRemN:      0 P: 12.8M T:  0.49
1130.26/283.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1130.26/283.38	c bin-w-bin subsume rem            2 bins  time:  0.01 s
1130.66/283.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
1130.66/283.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
1130.66/283.49	c Removed useless bin:       0  fixed:     0  props:   1.00M  time:  0.01 s
1131.46/283.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1138.25/285.39	c subs with bin:       14  lits-rem:        43  v-fix:    0  time:  1.48 s
1174.96/294.53	c lits-rem:       131  cl-subs:      196  v-elim:      0  v-fix:    0  time:  9.13 s
1174.96/294.54	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
1176.98/295.08	c vivif2 --  cl tried    57148 cl shrink    20584 lits rem     859185 time: 0.54
1178.55/295.44	c asymm  cl-useful: 0/4506/83643 lits-rem:0 time: 0.36
1178.55/295.45	c calculated reachability. Time: 0.00
1178.55/295.45	c  N dy  2527    537233      8685     83643    135430     57145    319673  10161813     36.00   no data
1178.95/295.56	c Finding binary XORs  T:     0.01 s  found:       0
1219.24/305.61	c  N dy  2611    557264      8685     83643    135456     40486    319673   5869162     36.04     38.97
1251.95/313.82	c  N dy  2669    577394      8685     83643    135459     60386    319673  11859826     36.05     37.99
1259.14/315.64	c Finding binary XORs  T:     0.01 s  found:       0
1291.10/323.65	c  N dy  2739    597452      8685     83643    138356     42696    319673   6494443     36.07     38.02
1322.17/331.48	c  N dy  2773    617954      8685     83643    138364     62865    319673  12460077     36.05     38.11
1322.17/331.49	c Finding binary XORs  T:     0.01 s  found:       0
1361.67/341.36	c  N dy  2853    637964      8685     83643    142189     44167    319673   6780761     36.09     38.05
1398.78/350.60	c  N dy  2954    658832      8685     83643    142195     64837    319673  12893541     36.16     38.10
1436.67/360.19	c  N dy  3026    678873      8685     83643    142202     45110    319673   6872812     36.18     43.79
1471.39/368.81	c  N dy  3088    698963      8685     83643    142205     64933    319673  12757388     36.20     38.21
1514.09/379.56	c  N dy  3170    718969      8685     83643    142207     44214    319673   6501656     36.24     42.05
1550.79/388.80	c  N dy  3244    739171      8685     83643    142215     64208    319673  12304467     36.27     38.34
1591.88/399.05	c  N dy  3292    760113      8685     83643    142220     43407    319673   6197566     36.28     38.25
1628.61/408.24	c  N dy  3367    780891      8685     83643    142228     63978    319673  12357259     36.30     38.23
1675.68/420.07	c  N dy  3430    800961      8685     83643    142237     83784    319673  18230538     36.32     39.10
1686.08/422.68	c  S st  3455    805849      8685     83643    142241     46096    319673   6897474     36.33   no data
1686.84/422.89	c  S st  3455    806349      8685     83643    142413     46422    319673   6899950     36.33   no data
1687.23/422.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1688.83/423.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1941 BRemL:    172 BRemN:      0 P: 12.4M T:  0.47
1689.23/423.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1689.23/423.41	c bin-w-bin subsume rem            3 bins  time:  0.01 s
1689.63/423.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
1689.63/423.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
1689.63/423.53	c Removed useless bin:       0  fixed:     0  props:   1.00M  time:  0.01 s
1690.05/423.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
1697.21/425.41	c subs with bin:       30  lits-rem:         1  v-fix:    0  time:  1.60 s
1716.39/430.22	c lits-rem:       350  cl-subs:       70  v-elim:      0  v-fix:    0  time:  4.79 s
1716.39/430.23	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
1717.16/430.45	c vivif2 --  cl tried    46322 cl shrink     6140 lits rem     218622 time: 0.22
1718.75/430.81	c asymm  cl-useful: 0/9122/83643 lits-rem:0 time: 0.36
1718.75/430.82	c calculated reachability. Time: 0.00
1718.75/430.82	c  N dy  3455    806349      8685     83643    144186     46315    319673   6672681     36.33   no data
1718.75/430.83	c Finding binary XORs  T:     0.01 s  found:       0
1758.25/440.78	c  N dy  3536    826447      8685     83643    144198     66145    319673  12516160     36.37     40.57
1802.55/451.82	c  N dy  3589    846650      8685     83643    144203     86059    319673  18518296     36.37     38.36
1842.03/461.72	c  N dy  3644    866684      8685     83643    144207     62425    319673  11257644     36.38     38.37
1860.79/466.41	c Finding binary XORs  T:     0.01 s  found:       0
1885.52/472.64	c  N dy  3707    886720      8685     83643    148903     82216    319673  16949550     36.39     41.30
1927.45/483.12	c  N dy  3782    907546      8685     83643    148907     58427    319673  10124685     36.42     38.34
1970.11/493.87	c  N dy  3865    927552      8685     83643    148918     78171    319673  15921575     36.45     38.40
2018.38/505.91	c  N dy  3927    948311      8685     83643    148920     53304    319673   8524598     36.46     38.50
2058.70/516.02	c  N dy  3988    968974      8685     83643    148929     73754    319673  14536815     36.48     38.74
2123.32/532.22	c  N dy  4076    991892      8685     83643    148933     49944    319673   7399544     36.50     38.51
2161.21/541.71	c  N dy  4124   1011923      8685     83643    148936     69685    319673  13104387     36.50     49.16
2210.69/554.10	c  N dy  4185   1032967      8685     83643    148938     90438    319673  19121302     36.51     38.57
2249.38/563.87	c  N dy  4240   1053848      8685     83643    148949     63701    319673  11350917     36.52     38.48
2276.91/570.72	c Finding binary XORs  T:     0.01 s  found:       0
2279.31/571.39	c  F st  4263   1071876      8685     83643    151512     81129    319673  16486142     36.47     34.48
2283.69/572.47	c  N st  4267   1073908      8685     83643    151513     83127    319673  17078189     36.47   no data
2329.17/583.89	c  N dy  4285   1097240      8685     83643    151520     57636    319673   9019556     36.43     38.35
2381.04/596.86	c  N dy  4357   1125305      8685     83643    156183     85240    319673  16933690     36.43     38.41
2381.04/596.87	c Finding binary XORs  T:     0.01 s  found:       0
2422.53/607.22	c  N dy  4405   1146577      8685     83643    156197     57074    319673   8986987     36.41     38.39
2461.63/617.01	c  N dy  4455   1166922      8685     83643    156207     77149    319673  14759148     36.41     38.37
2508.31/628.75	c  N dy  4491   1188579      8685     83643    156214     98456    319673  20465405     36.39     38.31
2547.81/638.68	c  N dy  4556   1208597      8685     83643    156223     68164    319673  12260396     36.40     38.68
2550.23/639.24	c  S st  4563   1209523      8685     83643    156223     69083    319673  12528197     36.40     32.47
2551.00/639.50	c  S st  4563   1210023      8685     83643    156407     69399    319673  12530355     36.40   no data
2551.40/639.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2553.79/640.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1606 BRemL:    170 BRemN:      0 P: 14.5M T:  0.58
2553.79/640.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2553.79/640.14	c bin-w-bin subsume rem            7 bins  time:  0.01 s
2554.19/640.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.10 s
2554.19/640.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
2554.19/640.27	c Removed useless bin:       0  fixed:     0  props:   1.00M  time:  0.01 s
2555.03/640.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
2562.57/642.36	c subs with bin:       21  lits-rem:        84  v-fix:    0  time:  1.62 s
2606.86/653.45	c lits-rem:       105  cl-subs:      374  v-elim:      0  v-fix:    0  time: 11.07 s
2606.86/653.47	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
2609.25/654.08	c vivif2 --  cl tried    69004 cl shrink    22510 lits rem     931936 time: 0.60
2610.84/654.42	c asymm  cl-useful: 0/9386/83643 lits-rem:0 time: 0.34
2610.84/654.43	c calculated reachability. Time: 0.00
2610.84/654.44	c  N dy  4563   1210023      8685     83643    157847     68993    319673  11528815     36.40   no data
2610.84/654.44	c Finding binary XORs  T:     0.01 s  found:       0
2653.94/665.26	c  N dy  4613   1230227      8685     83643    157856     88900    319673  17265976     36.40     38.49
2703.40/677.66	c  N dy  4669   1251186      8685     83643    157863     58451    319673   9163607     36.41     38.64
2748.12/688.89	c  N dy  4747   1271851      8685     83643    157868     78850    319673  15134971     36.42     38.45
2793.56/700.20	c  N dy  4774   1292958      8685     83643    157873     99614    319673  21320141     36.40     38.47
2847.44/713.72	c  N dy  4861   1315193      8685     83643    157877     69417    319673  12303128     36.42     38.41
2884.52/723.05	c Finding binary XORs  T:     0.01 s  found:       0
2896.50/726.05	c  N dy  4931   1336179      8685     83643    162525     90101    319673  18291059     36.44     38.51
2958.77/741.62	c  N dy  5016   1357405      8685     83643    162535     57855    319673   8751106     36.46     38.50
2997.04/751.28	c  N dy  5065   1377492      8685     83643    162548     77547    319673  14216731     36.45     38.43
3048.90/764.23	c  N dy  5120   1399674      8685     83643    162557     99432    319673  20582403     36.44     38.46
3101.16/777.36	c  N dy  5188   1419852      8685     83643    162558     65189    319673  10699418     36.45     38.41
3148.24/789.18	c  N dy  5241   1440067      8685     83643    162565     85035    319673  16365280     36.46     38.51
3208.93/804.33	c  N dy  5321   1461032      8685     83643    162581    105795    319673  22239569     36.47     38.65
3263.95/818.13	c  N dy  5406   1482215      8685     83643    162587     71473    319673  12389209     36.49     38.45
3338.93/836.93	c  N dy  5482   1509059      8685     83643    162591     97844    319673  19755888     36.48     38.46
3405.57/853.67	c  N dy  5580   1530402      8685     83643    165126     62782    319673   9823500     36.51     38.53
3405.57/853.68	c Finding binary XORs  T:     0.01 s  found:       0
3447.85/864.29	c  N dy  5615   1550670      8685     83643    165128     82733    319673  15854812     36.50     38.48
3516.87/881.52	c  N dy  5673   1574430      8685     83643    165146    106166    319673  22618944     36.50     38.70
3566.33/893.90	c  N dy  5721   1594627      8685     83643    165151     68850    319673  11539721     36.50     38.45
3621.43/907.72	c  N dy  5776   1614867      8685     83643    165157     88869    319673  17229304     36.51     38.43
3684.02/923.45	c  N dy  5854   1634902      8685     83643    168577    108681    319673  22921966     36.52     38.48
3686.03/923.95	c Finding binary XORs  T:     0.01 s  found:       0
3741.46/937.84	c  N dy  5932   1655156      8685     83643    168582     70493    319673  11830501     36.54     38.63
3798.52/952.19	c  N dy  6019   1677138      8685     83643    168585     92215    319673  18033823     36.56     38.49
3861.17/967.85	c  N dy  6103   1697139      8685     83643    168589    111981    319673  23759214     36.58     46.66
3896.26/976.67	c  S st  6156   1710024      8685     83643    168592     65481    319673  10130442     36.59   no data
3897.48/976.94	c  S st  6156   1710526      8685     83643    168778     65796    319673  10133990     36.59   no data
3897.48/976.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3899.85/977.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1117 BRemL:    101 BRemN:      0 P: 14.9M T:  0.56
3899.85/977.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3899.85/977.57	c bin-w-bin subsume rem           11 bins  time:  0.02 s
3900.25/977.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.10 s
3900.25/977.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8685 time:  0.02 s
3900.65/977.70	c Removed useless bin:       0  fixed:     0  props:   0.99M  time:  0.01 s
3901.05/977.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
3908.63/979.72	c subs with bin:       60  lits-rem:       285  v-fix:    0  time:  1.61 s
3933.76/986.07	c lits-rem:       246  cl-subs:      180  v-elim:      0  v-fix:    0  time:  6.27 s
3933.76/986.09	c vivif2 --  cl tried    83643 cl shrink        0 lits rem          0 time: 0.02
3935.35/986.43	c vivif2 --  cl tried    65556 cl shrink     9342 lits rem     339615 time: 0.33
3936.56/986.76	c asymm  cl-useful: 0/9031/83643 lits-rem:0 time: 0.33
3936.56/986.78	c calculated reachability. Time: 0.00
3936.56/986.78	c  N dy  6156   1710526      8685     83643    169790     65550    319673   9771486     36.59   no data
3936.56/986.78	c Finding binary XORs  T:     0.01 s  found:       0
3985.26/998.92	c  N dy  6235   1730559      8685     83643    169798     85374    319673  15572139     36.60     40.69
4045.07/1013.92	c  N dy  6307   1751114      8685     83643    169804    105674    319673  21427308     36.61     38.57
4134.46/1036.32	c  N dy  6391   1781078      8685     83643    174394     75070    319673  12765041     36.61     38.57
4134.46/1036.33	c Finding binary XORs  T:     0.01 s  found:       0
4184.30/1048.86	c  N dy  6441   1801083      8685     83643    174402     94837    319673  18520107     36.60     38.58
4246.14/1064.33	c  N dy  6519   1821105      8685     83643    174412    114644    319673  24299683     36.62     38.63
4299.19/1077.62	c  N dy  6578   1842534      8685     83643    174420     74562    319673  12612616     36.62     38.62
4352.65/1091.00	c  N dy  6636   1862977      8685     83643    174432     94706    319673  18311096     36.61     38.57
4418.09/1107.45	c  N dy  6728   1883985      8685     83643    174442    115507    319673  24316109     36.63     38.68
4474.72/1121.69	c  N dy  6785   1907974      8685     83643    174451     76888    319673  13330073     36.63     39.05
4527.39/1134.80	c  N dy  6857   1928049      8685     83643    174459     96786    319673  19357277     36.64     42.11
4585.24/1149.37	c  N dy  6883   1948142      8685     83643    174460    116521    319673  24607387     36.63     41.58
4655.86/1167.00	c  N dy  6952   1970977      8685     83643    174462     75950    319673  12592575     36.63     38.56
4711.31/1180.94	c  N dy  7031   1991221      8685     83643    176677     95997    319673  18425770     36.64     38.60
4711.31/1180.95	c Finding binary XORs  T:     0.01 s  found:       0
4767.57/1195.02	c  N dy  7081   2011233      8685     83643    176680    115709    319673  24077043     36.64     39.72

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

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

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


[startup+0 s]
/proc/loadavg: 8.10 8.07 7.09 5/319 6764
/proc/meminfo: memFree=22604064/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 383219799 52396032 351 33554432000 4194304 4580107 140733446858304 18446744073709551615 46918602974745 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 12792 351 302 95 0 7774 0
[pid=6764/tid=6765] ppid=6762 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 383219799 52396032 351 33554432000 4194304 4580107 140733446858304 18446744073709551615 46918602974745 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 383219799 52396032 351 33554432000 4194304 4580107 140733446858304 18446744073709551615 46918602975154 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 383219799 52396032 351 33554432000 4194304 4580107 140733446858304 18446744073709551615 46918602974745 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.115612 s]
/proc/loadavg: 8.10 8.07 7.09 5/319 6764
/proc/meminfo: memFree=22604064/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=296000 CPUtime=0.42 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 11520 0 0 0 40 2 0 0 18 0 4 0 383219799 303104000 10522 33554432000 4194304 4580107 140733446858304 18446744073709551615 4293957 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 74000 10522 359 95 0 68982 0
[pid=6764/tid=6765] ppid=6762 vsize=296000 CPUtime=0.1 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 2775 0 0 0 10 0 0 0 18 0 4 0 383219799 303104000 10522 33554432000 4194304 4580107 140733446858304 18446744073709551615 268660323361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=296000 CPUtime=0.09 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 2745 0 0 0 9 0 0 0 25 0 4 0 383219799 303104000 10523 33554432000 4194304 4580107 140733446858304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=296000 CPUtime=0.1 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 2809 0 0 0 10 0 0 0 18 0 4 0 383219799 303104000 10523 33554432000 4194304 4580107 140733446858304 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 296000

[startup+0.689956 s]
/proc/loadavg: 8.10 8.07 7.09 5/319 6764
/proc/meminfo: memFree=22604064/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=313196 CPUtime=2.72 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 20092 0 0 0 267 5 0 0 18 0 4 0 383219799 320712704 19094 33554432000 4194304 4580107 140733446858304 18446744073709551615 268660323361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 87728 25400 379 95 0 82710 0
[pid=6764/tid=6765] ppid=6762 vsize=350912 CPUtime=1.4 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 8927 0 0 0 138 2 0 0 19 0 4 0 383219799 359333888 25400 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=350912 CPUtime=1.39 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 8725 0 0 0 137 2 0 0 19 0 4 0 383219799 359333888 25400 33554432000 4194304 4580107 140733446858304 18446744073709551615 4320565 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=350912 CPUtime=1.4 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 5307 0 0 0 139 1 0 0 19 0 4 0 383219799 359333888 25400 33554432000 4194304 4580107 140733446858304 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 313196

[startup+1.51637 s]
/proc/loadavg: 8.10 8.07 7.09 5/319 6764
/proc/meminfo: memFree=22604064/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=383728 CPUtime=6.02 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 31732 0 0 0 595 7 0 0 19 0 4 0 383219799 392937472 25950 33554432000 4194304 4580107 140733446858304 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 95932 25951 379 95 0 90914 0
[pid=6764/tid=6765] ppid=6762 vsize=383728 CPUtime=1.5 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 9074 0 0 0 148 2 0 0 19 0 4 0 383219799 392937472 25951 33554432000 4194304 4580107 140733446858304 18446744073709551615 4320735 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=383728 CPUtime=1.49 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 8947 0 0 0 147 2 0 0 19 0 4 0 383219799 392937472 25951 33554432000 4194304 4580107 140733446858304 18446744073709551615 4317260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=383728 CPUtime=1.5 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 5471 0 0 0 149 1 0 0 20 0 4 0 383219799 392937472 25951 33554432000 4194304 4580107 140733446858304 18446744073709551615 268660323361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 383728

[startup+1.60036 s]
/proc/loadavg: 8.10 8.07 7.09 5/319 6764
/proc/meminfo: memFree=22604064/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=383728 CPUtime=6.35 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 32136 0 0 0 628 7 0 0 19 0 4 0 383219799 392937472 26354 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 95932 26354 379 95 0 90914 0
[pid=6764/tid=6765] ppid=6762 vsize=383728 CPUtime=1.58 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 9184 0 0 0 156 2 0 0 19 0 4 0 383219799 392937472 26354 33554432000 4194304 4580107 140733446858304 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=383728 CPUtime=1.58 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 9083 0 0 0 156 2 0 0 19 0 4 0 383219799 392937472 26354 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=383728 CPUtime=1.58 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 5611 0 0 0 157 1 0 0 20 0 4 0 383219799 392937472 26354 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (KiB) 383728

[startup+1.70034 s]
/proc/loadavg: 8.10 8.07 7.09 5/319 6764
/proc/meminfo: memFree=22604064/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=416544 CPUtime=6.75 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 32560 0 0 0 668 7 0 0 19 0 4 0 383219799 426541056 26778 33554432000 4194304 4580107 140733446858304 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 104136 26778 379 95 0 99118 0
[pid=6764/tid=6765] ppid=6762 vsize=416544 CPUtime=1.68 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 9333 0 0 0 166 2 0 0 19 0 4 0 383219799 426541056 26778 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=416544 CPUtime=1.68 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 9216 0 0 0 166 2 0 0 19 0 4 0 383219799 426541056 26778 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=416544 CPUtime=1.68 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 5730 0 0 0 167 1 0 0 20 0 4 0 383219799 426541056 26778 33554432000 4194304 4580107 140733446858304 18446744073709551615 4302639 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 416544

[startup+3.10109 s]
/proc/loadavg: 8.09 8.06 7.10 9/323 6768
/proc/meminfo: memFree=22456596/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=390336 CPUtime=12.34 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 39522 0 0 0 1226 8 0 0 22 0 4 0 383219799 399704064 30406 33554432000 4194304 4580107 140733446858304 18446744073709551615 4293083 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 97584 30406 380 95 0 92566 0
[pid=6764/tid=6765] ppid=6762 vsize=390336 CPUtime=3.08 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 11050 0 0 0 306 2 0 0 22 0 4 0 383219799 399704064 30406 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=390336 CPUtime=3.06 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 11004 0 0 0 304 2 0 0 22 0 4 0 383219799 399704064 30406 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=390336 CPUtime=3.08 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 8893 0 0 0 307 1 0 0 25 0 4 0 383219799 399704064 30406 33554432000 4194304 4580107 140733446858304 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 390336

[startup+6.30053 s]
/proc/loadavg: 8.09 8.06 7.10 9/323 6768
/proc/meminfo: memFree=22377216/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=403464 CPUtime=25.11 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 54763 0 0 0 2499 12 0 0 25 0 4 0 383219799 413147136 36337 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 100866 36337 380 95 0 95848 0
[pid=6764/tid=6765] ppid=6762 vsize=403464 CPUtime=6.28 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 16656 0 0 0 625 3 0 0 25 0 4 0 383219799 413147136 36337 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=403464 CPUtime=6.23 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 13555 0 0 0 620 3 0 0 25 0 4 0 383219799 413147136 36337 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=403464 CPUtime=6.28 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 14356 0 0 0 626 2 0 0 25 0 4 0 383219799 413147136 36337 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 403464

[startup+12.7004 s]
/proc/loadavg: 8.08 8.06 7.11 9/323 6768
/proc/meminfo: memFree=22056928/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=705384 CPUtime=50.64 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 122955 0 0 0 5037 27 0 0 25 0 4 0 383219799 722313216 92678 33554432000 4194304 4580107 140733446858304 18446744073709551615 4416709 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 176346 92678 381 95 0 171328 0
[pid=6764/tid=6765] ppid=6762 vsize=705384 CPUtime=12.68 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 43111 0 0 0 1260 8 0 0 25 0 4 0 383219799 722313216 92678 33554432000 4194304 4580107 140733446858304 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=705384 CPUtime=12.57 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 20942 0 0 0 1251 6 0 0 25 0 4 0 383219799 722313216 92678 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=705384 CPUtime=12.68 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 30693 0 0 0 1263 5 0 0 25 0 4 0 383219799 722313216 92678 33554432000 4194304 4580107 140733446858304 18446744073709551615 4417015 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 705384

[startup+25.5121 s]
/proc/loadavg: 8.21 8.09 7.13 9/323 6769
/proc/meminfo: memFree=21963100/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=710380 CPUtime=101.75 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 172501 0 0 0 10136 39 0 0 25 0 4 0 383219799 727429120 116560 33554432000 4194304 4580107 140733446858304 18446744073709551615 4295676 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 177595 116560 381 95 0 172577 0
[pid=6764/tid=6765] ppid=6762 vsize=710380 CPUtime=25.49 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 46936 0 0 0 2541 8 0 0 25 0 4 0 383219799 727429120 116560 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=710380 CPUtime=25.23 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 43311 0 0 0 2513 10 0 0 25 0 4 0 383219799 727429120 116560 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=710380 CPUtime=25.49 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 43742 0 0 0 2540 9 0 0 25 0 4 0 383219799 727429120 116560 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 710380

[startup+51.1006 s]
/proc/loadavg: 8.20 8.10 7.15 9/323 6769
/proc/meminfo: memFree=21658072/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=1007856 CPUtime=203.84 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 288383 0 0 0 20321 63 0 0 25 0 4 0 383219799 1032044544 185698 33554432000 4194304 4580107 140733446858304 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 251964 185698 381 95 0 246946 0
[pid=6764/tid=6765] ppid=6762 vsize=1007856 CPUtime=51.08 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 69599 0 0 0 5094 14 0 0 25 0 4 0 383219799 1032044544 185698 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=1007856 CPUtime=50.57 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 80901 0 0 0 5040 17 0 0 25 0 4 0 383219799 1032044544 185698 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=1007856 CPUtime=51.08 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 63907 0 0 0 5094 14 0 0 25 0 4 0 383219799 1032044544 185698 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 1007856

[startup+102.301 s]
/proc/loadavg: 8.08 8.08 7.20 9/323 6771
/proc/meminfo: memFree=21471320/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=1308004 CPUtime=408.13 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 416355 0 0 0 40715 98 0 0 25 0 4 0 383219799 1339396096 225532 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 327001 225532 381 95 0 321983 0
[pid=6764/tid=6765] ppid=6762 vsize=1308004 CPUtime=102.28 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 100188 0 0 0 10204 24 0 0 25 0 4 0 383219799 1339396096 225532 33554432000 4194304 4580107 140733446858304 18446744073709551615 4413351 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=1308004 CPUtime=101.25 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 103207 0 0 0 10101 24 0 0 25 0 4 0 383219799 1339396096 225532 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=1308004 CPUtime=102.28 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 95854 0 0 0 10205 23 0 0 25 0 4 0 383219799 1339396096 225532 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.13
Current children cumulated vsize (KiB) 1308004

[startup+162.301 s]

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

Current children cumulated CPU time (s) 2562.57
Current children cumulated vsize (KiB) 2310820

[startup+702.301 s]
/proc/loadavg: 8.12 8.10 7.61 9/323 6787
/proc/meminfo: memFree=20037092/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=2387220 CPUtime=2801.95 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 1883420 0 0 0 279688 507 0 0 25 0 4 0 383219799 2444513280 424392 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6764/statm: 596805 424392 385 95 0 591787 0
[pid=6764/tid=6765] ppid=6762 vsize=2387220 CPUtime=702.24 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 439395 0 0 0 70111 113 0 0 25 0 4 0 383219799 2444513280 424392 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=2387220 CPUtime=695.19 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 447869 0 0 0 69393 126 0 0 25 0 4 0 383219799 2444513280 424392 33554432000 4194304 4580107 140733446858304 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=2387220 CPUtime=702.25 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 369571 0 0 0 70123 102 0 0 25 0 4 0 383219799 2444513280 424392 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.95
Current children cumulated vsize (KiB) 2387220

[startup+762.301 s]
/proc/loadavg: 8.05 8.08 7.63 9/323 6788
/proc/meminfo: memFree=19989592/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=2357036 CPUtime=3041.32 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 2043655 0 0 0 303578 554 0 0 25 0 4 0 383219799 2413604864 428913 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6764/statm: 589259 428914 381 95 0 584241 0
[pid=6764/tid=6765] ppid=6762 vsize=2357036 CPUtime=762.23 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 475145 0 0 0 76098 125 0 0 25 0 4 0 383219799 2413604864 428914 33554432000 4194304 4580107 140733446858304 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=2357036 CPUtime=755.02 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 483925 0 0 0 75366 136 0 0 25 0 4 0 383219799 2413604864 428914 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=2357036 CPUtime=762.25 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 414453 0 0 0 76110 115 0 0 25 0 4 0 383219799 2413604864 428914 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.32
Current children cumulated vsize (KiB) 2357036

[startup+822.301 s]
/proc/loadavg: 8.12 8.09 7.66 9/323 6790
/proc/meminfo: memFree=19892976/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=2373272 CPUtime=3280.7 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 2199236 0 0 0 327475 595 0 0 25 0 4 0 383219799 2430230528 437485 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6764/statm: 593318 437485 381 95 0 588300 0
[pid=6764/tid=6765] ppid=6762 vsize=2373272 CPUtime=822.22 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 510798 0 0 0 82088 134 0 0 25 0 4 0 383219799 2430230528 437485 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=2373272 CPUtime=815.02 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 522147 0 0 0 81357 145 0 0 25 0 4 0 383219799 2430230528 437485 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=2373272 CPUtime=822.24 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 454431 0 0 0 82098 126 0 0 25 0 4 0 383219799 2430230528 437485 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.7
Current children cumulated vsize (KiB) 2373272

[startup+882.301 s]
/proc/loadavg: 8.20 8.12 7.70 9/323 6792
/proc/meminfo: memFree=19714128/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=2559908 CPUtime=3520.09 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 2402235 0 0 0 351365 644 0 0 25 0 4 0 383219799 2621345792 470954 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6764/statm: 639977 470954 381 95 0 634959 0
[pid=6764/tid=6765] ppid=6762 vsize=2559908 CPUtime=882.22 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 582092 0 0 0 88075 147 0 0 25 0 4 0 383219799 2621345792 470958 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=2559908 CPUtime=875.03 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 569475 0 0 0 87345 158 0 0 25 0 4 0 383219799 2621345792 470958 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=2559908 CPUtime=882.25 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 506015 0 0 0 88086 139 0 0 25 0 4 0 383219799 2621345792 470958 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3520.09
Current children cumulated vsize (KiB) 2559908

[startup+942.301 s]
/proc/loadavg: 8.23 8.14 7.73 9/323 6793
/proc/meminfo: memFree=19696752/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=2778408 CPUtime=3759.42 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 2611327 0 0 0 375245 697 0 0 25 0 4 0 383219799 2845089792 473761 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6764/statm: 694602 473761 381 95 0 689584 0
[pid=6764/tid=6765] ppid=6762 vsize=2778408 CPUtime=942.2 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 621704 0 0 0 94060 160 0 0 25 0 4 0 383219799 2845089792 473761 33554432000 4194304 4580107 140733446858304 18446744073709551615 4321048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=2778408 CPUtime=935.02 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 650393 0 0 0 93330 172 0 0 25 0 4 0 383219799 2845089792 473762 33554432000 4194304 4580107 140733446858304 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=2778408 CPUtime=942.23 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 553152 0 0 0 94069 154 0 0 25 0 4 0 383219799 2845089792 473762 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.42
Current children cumulated vsize (KiB) 2778408

[startup+1002.31 s]
/proc/loadavg: 8.17 8.14 7.75 9/323 6795
/proc/meminfo: memFree=19528820/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=2794468 CPUtime=3998.85 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 2760126 0 0 0 399144 741 0 0 25 0 4 0 383219799 2861535232 508185 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6764/statm: 698617 508207 381 95 0 693599 0
[pid=6764/tid=6765] ppid=6762 vsize=2794468 CPUtime=1002.21 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 659884 0 0 0 100051 170 0 0 25 0 4 0 383219799 2861535232 508211 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=2794468 CPUtime=995.03 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 689366 0 0 0 99320 183 0 0 25 0 4 0 383219799 2861535232 508212 33554432000 4194304 4580107 140733446858304 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=2794468 CPUtime=1002.23 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 593572 0 0 0 100057 166 0 0 25 0 4 0 383219799 2861535232 508216 33554432000 4194304 4580107 140733446858304 18446744073709551615 268660358923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.85
Current children cumulated vsize (KiB) 2794468

[startup+1062.3 s]
/proc/loadavg: 8.11 8.13 7.77 9/323 6827
/proc/meminfo: memFree=21518124/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=3195216 CPUtime=4238.17 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 3008368 0 0 0 423018 799 0 0 25 0 4 0 383219799 3271901184 601959 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6764/statm: 798804 601959 381 95 0 793786 0
[pid=6764/tid=6765] ppid=6762 vsize=3195216 CPUtime=1062.19 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 700657 0 0 0 106037 182 0 0 25 0 4 0 383219799 3271901184 601959 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=3195216 CPUtime=1055 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 734847 0 0 0 105304 196 0 0 25 0 4 0 383219799 3271901184 601959 33554432000 4194304 4580107 140733446858304 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=3195216 CPUtime=1062.22 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 723364 0 0 0 106035 187 0 0 25 0 4 0 383219799 3271901184 601959 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.17
Current children cumulated vsize (KiB) 3195216

[startup+1122.3 s]
/proc/loadavg: 8.04 8.10 7.78 9/323 6829
/proc/meminfo: memFree=21578360/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=3225472 CPUtime=4477.51 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 3191935 0 0 0 446910 841 0 0 25 0 4 0 383219799 3302883328 577257 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6764/statm: 806368 577257 381 95 0 801350 0
[pid=6764/tid=6765] ppid=6762 vsize=3225472 CPUtime=1122.17 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 751218 0 0 0 112023 194 0 0 25 0 4 0 383219799 3302883328 577257 33554432000 4194304 4580107 140733446858304 18446744073709551615 4316435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=3225472 CPUtime=1114.99 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 772674 0 0 0 111293 206 0 0 25 0 4 0 383219799 3302883328 577257 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=3225472 CPUtime=1122.2 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 774801 0 0 0 112022 198 0 0 25 0 4 0 383219799 3302883328 577257 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.51
Current children cumulated vsize (KiB) 3225472

[startup+1182.3 s]
/proc/loadavg: 8.09 8.11 7.81 9/323 6831
/proc/meminfo: memFree=21466980/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=3141396 CPUtime=4716.9 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 3331159 0 0 0 470806 884 0 0 25 0 4 0 383219799 3216789504 588531 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6764/statm: 785349 588531 381 95 0 780331 0
[pid=6764/tid=6765] ppid=6762 vsize=3141396 CPUtime=1182.17 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 790116 0 0 0 118014 203 0 0 25 0 4 0 383219799 3216789504 588531 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=3141396 CPUtime=1174.98 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 806942 0 0 0 117281 217 0 0 25 0 4 0 383219799 3216789504 588531 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=3141396 CPUtime=1182.2 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 808236 0 0 0 118010 210 0 0 25 0 4 0 383219799 3216789504 588531 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.9
Current children cumulated vsize (KiB) 3141396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.06 8.10 7.81 9/323 6831
/proc/meminfo: memFree=21391328/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=3289732 CPUtime=4800.3 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4202496 3371995 0 0 0 479134 896 0 0 25 0 4 0 383219799 3368685568 599749 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6764/statm: 822433 599749 381 95 0 817415 0
[pid=6764/tid=6765] ppid=6762 vsize=3289732 CPUtime=1203.08 cores=1,3,5,7
/proc/6764/task/6765/stat : 6765 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 797709 0 0 0 120103 205 0 0 25 0 4 0 383219799 3368685568 599755 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6764/tid=6766] ppid=6762 vsize=3289732 CPUtime=1195.89 cores=1,3,5,7
/proc/6764/task/6766/stat : 6766 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 827003 0 0 0 119367 222 0 0 25 0 4 0 383219799 3368685568 599755 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6764/tid=6767] ppid=6762 vsize=3289732 CPUtime=1203.1 cores=1,3,5,7
/proc/6764/task/6767/stat : 6767 (strangenight2-m) R 6762 6764 6565 0 -1 4202560 813422 0 0 0 120099 211 0 0 25 0 4 0 383219799 3368685568 599755 33554432000 4194304 4580107 140733446858304 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 3289732

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

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

[startup+1203.32 s]
/proc/loadavg: 8.06 8.10 7.81 9/323 6831
/proc/meminfo: memFree=21391328/32951124 swapFree=46575252/67111528
[pid=6764] ppid=6762 vsize=0 CPUtime=4800.43 cores=1,3,5,7
/proc/6764/stat : 6764 (strangenight2-m) R 6762 6764 6565 0 -1 4203524 3372010 0 0 0 479137 906 0 0 25 0 1 0 383219799 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6764/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.43
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.32
CPU time (s): 4800.45
CPU user time (s): 4791.38
CPU system time (s): 9.07062
CPU usage (%): 398.934
Max. virtual memory (cumulated for all children) (KiB): 3340436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.38
system time used= 9.07062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3372010
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= 3493
involuntary context switches= 21434

runsolver used 3.37649 second user time and 8.74367 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-14 18:24:45
IDJOB=3366945
IDBENCH=70910
IDSOLVER=1844
FILE ID=node107/3366945-1305390285
RUNJOBID= node107-1305388911-6584
PBS_JOBID= 13324428
Free space on /tmp= 73420 MiB

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

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

MD5SUM BENCH= 3b5e80540ef2fcb09cfe50ac7e3686c1
RANDOM SEED=302981751

node107.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.829
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.65
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.829
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.829
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.67
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.829
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.82
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.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
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	: 5359.47
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.829
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.829
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:      22604468 kB
Buffers:        300160 kB
Cached:        3964980 kB
SwapCached:      10016 kB
Active:        7579476 kB
Inactive:      2471988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22604468 kB
SwapTotal:    67111528 kB
SwapFree:     46575252 kB
Dirty:            7408 kB
Writeback:           0 kB
AnonPages:     5783728 kB
Mapped:          19616 kB
Slab:           159292 kB
PageTables:      71692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 66669828 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 node107 at 2011-05-14 18:44:51