Trace number 3366804

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.37 1204.29

General information on the benchmark

NameSAT05/crafted/lynce05/social-golfer-problem/
sgp_5-6-8.shuffled-as.sat05-2669.cnf
MD5SUM4229175ff4382a4625ce92a19d20dde4
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark135.322
Satisfiable
(Un)Satisfiability was proved
Number of variables58560
Number of clauses778800
Sum of the clauses size1766280
Maximum clause length48
Minimum clause length1
Number of clauses of size 196
Number of clauses of size 2599208
Number of clauses of size 3177096
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52400

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-3366804-1305416534.cnf'
0.00/0.01	c -- header says num vars:          58560
0.00/0.01	c -- header says num clauses:      778800
4.51/1.14	c -- clauses added:            0 learnts,       778800 normals,            0 xors
4.51/1.14	c -- vars added      58560
4.51/1.14	c Parsing time:  0.34 s
4.51/1.14	c  N st     0         0     58560    159421    471363         0   1443323         0   no data   no data
4.51/1.14	c asymm  cl-useful: 0/31558/84024 lits-rem:0 time: 0.70
9.14/2.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.6M T:  1.24
9.54/2.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.49	c bin-w-bin subsume rem          223 bins  time:  0.05 s
10.33/2.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.15 s
11.14/2.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29376 time:  0.23 s
11.94/3.10	c Removed useless bin:   34560  fixed:     0  props:  10.40M  time:  0.22 s
13.12/3.39	c lits-rem:         0  cl-subs:        0  v-elim:   9792  v-fix:    0  time:  0.28 s
13.52/3.45	c Finding binary XORs  T:     0.06 s  found:       0
13.92/3.52	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
13.92/3.52	c calculated reachability. Time: 0.01
13.92/3.53	c Calc default polars -  time:   0.01 s pos:    7422 undec:   43756 neg:    7382
13.92/3.53	c =========================================================================================
13.92/3.53	c types(t): F = full restart, N = normal restart
13.92/3.53	c types(t): S = simplification begin/end, E = solution found
13.92/3.53	c restart types(rt): st = static, dy = dynamic
13.92/3.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
13.92/3.53	c  B st     0         0     19584     86673    315292         0    947151         0   no data   no data
18.31/4.67	c  N dy    23      4030     19584     86673    315678      3562    947151    426548     20.38     23.51
22.69/5.71	c  N dy    45      8057     19584     86673    316071      7239    947151    852321     20.52     32.63
26.68/6.77	c  N dy    58     12145     19584     86673    316586     10743    947151   1244513     19.29     28.69
32.26/8.12	c  N dy    83     16180     19584     86673    317714     14292    947151   1717384     20.02     33.37
42.63/10.75	c  N dy   123     20267     19584     86673    318857      9261    947151    553226     24.48     25.90
47.86/12.09	c  N dy   140     24359     19584     86673    319144     13021    947151   1105800     23.91     38.68
49.80/12.50	c  F st   147     25001     19584     86673    319164     13643    947151   1258054     24.48   no data
56.97/14.36	c  N dy   153     30000     19584     86673    320098     18246    947151   2353191     24.48   no data
56.97/14.36	c  S st   153     30000     19584     86673    320098     18246    947151   2353191     24.48   no data
58.17/14.69	c  S st   153     30502     19584     86673    320185     18660    947151   2406598     24.48   no data
58.57/14.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
69.36/17.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 228284 BRemL:  79753 BRemN:      0 P: 29.2M T:  2.71
69.36/17.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.78/17.51	c bin-w-bin subsume rem            0 bins  time:  0.04 s
70.52/17.72	c subs with bin:    14405  lits-rem:         0  v-fix:    0  time:  0.21 s
70.93/17.88	c Subs w/ non-existent bins:    270 l-rem:      0 v-fix:     0 done:  19584 time:  0.15 s
71.33/17.95	c Removed useless bin:    6443  fixed:     0  props:   2.78M  time:  0.07 s
72.13/18.19	c lits-rem:         0  cl-subs:        0  v-elim:   1578  v-fix:    0  time:  0.25 s
79.69/20.06	c subs with bin:       16  lits-rem:      1054  v-fix:    0  time:  1.76 s
81.69/20.51	c lits-rem:       113  cl-subs:      140  v-elim:      0  v-fix:    0  time:  0.43 s
83.29/20.96	c asymm  cl-useful: 0/11759/72663 lits-rem:0 time: 0.45
83.29/20.98	c calculated reachability. Time: 0.01
83.29/20.98	c  N dy   153     30502     18006     72663    445367     13433    892096   1540484     24.48   no data
83.69/21.04	c Finding binary XORs  T:     0.05 s  found:       0
90.07/22.63	c  N dy   181     34577     18006     72663    445964     17430    892096   2244596     25.45     39.14
96.84/24.33	c Finding binary XORs  T:     0.05 s  found:       0
99.63/25.02	c  N dy   221     38601     18006     72663    509414     21442    892096   3318468     27.75     58.13
106.80/26.85	c  N dy   257     42631     18006     72663    509414     13457    892096   1311122     29.17     33.67
112.39/28.24	c  S st   271     45754     18006     72663    509415     16572    892096   1880012     29.42   no data
113.63/28.51	c  S st   271     46260     18006     72663    509416     17075    892096   1976412     29.42   no data
113.63/28.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
121.97/30.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  34242 BRemL: 184971 BRemN:     92 P: 28.7M T:  2.10
121.97/30.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
121.97/30.69	c bin-w-bin subsume rem            1 bins  time:  0.04 s
122.74/30.85	c subs with bin:     4950  lits-rem:         0  v-fix:    0  time:  0.15 s
123.15/30.98	c Subs w/ non-existent bins:     29 l-rem:      0 v-fix:     0 done:  18006 time:  0.13 s
123.54/31.08	c Removed useless bin:   35897  fixed:     0  props:   4.04M  time:  0.10 s
124.34/31.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
131.92/33.20	c subs with bin:       12  lits-rem:        37  v-fix:    0  time:  1.86 s
133.91/33.68	c lits-rem:       198  cl-subs:      120  v-elim:      0  v-fix:    0  time:  0.47 s
134.31/33.72	c vivif2 --  cl tried    67684 cl shrink        0 lits rem          0 time: 0.04
134.71/33.84	c vivif2 --  cl tried    16943 cl shrink     3512 lits rem      76656 time: 0.12
136.70/34.31	c asymm  cl-useful: 0/10555/67684 lits-rem:0 time: 0.47
136.70/34.33	c calculated reachability. Time: 0.01
136.70/34.33	c  N dy   271     46260     18006     67684    322861     16779    803412   1587144     29.42   no data
136.70/34.38	c Finding binary XORs  T:     0.05 s  found:       0
145.46/36.54	c  N dy   311     50317     18006     67684    322861     20824    803412   2541579     30.79     61.97
153.83/38.63	c  N dy   350     54332     18006     67684    325947     24824    803412   3441330     31.85     37.45
161.86/40.65	c  N dy   373     58570     18006     67684    325948     29036    803412   4312300     31.97     34.16
162.20/40.71	c Finding binary XORs  T:     0.05 s  found:       0
168.99/42.40	c  N dy   375     63741     18006     67684    341592     17300    803412   1033001     30.47     32.42
176.57/44.35	c  N dy   407     67827     18006     67684    341592     21356    803412   1939483     30.91     48.01
178.98/44.95	c  S st   417     69390     18006     67684    341592     22909    803412   2288485     31.02     19.19
180.15/45.21	c  S st   417     69892     18006     67684    341592     23400    803412   2349401     31.02   no data
180.15/45.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
187.75/47.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     45 BRemL:  18555 BRemN:    100 P: 30.8M T:  1.88
187.75/47.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
187.75/47.16	c bin-w-bin subsume rem          156 bins  time:  0.03 s
188.18/47.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
188.91/47.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18006 time:  0.12 s
188.91/47.48	c Removed useless bin:     233  fixed:     0  props:   3.94M  time:  0.07 s
189.71/47.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
197.69/49.64	c subs with bin:        4  lits-rem:         0  v-fix:    0  time:  1.88 s
200.90/50.48	c lits-rem:       226  cl-subs:      126  v-elim:      0  v-fix:    0  time:  0.82 s
201.33/50.52	c vivif2 --  cl tried    67684 cl shrink        0 lits rem          0 time: 0.04
201.67/50.68	c vivif2 --  cl tried    23270 cl shrink     2959 lits rem     116007 time: 0.16
203.67/51.16	c asymm  cl-useful: 29/10382/67684 lits-rem:87 time: 0.48
203.67/51.18	c calculated reachability. Time: 0.01
203.67/51.18	c  N dy   417     69892     18006     67655    322624     23268    802717   2183575     31.02   no data
213.64/53.64	c  N dy   460     74412     18006     67655    322658     27774    802717   3255716     31.86     58.75
223.26/56.09	c  N dy   504     79170     18006     67655    322664     32524    802717   4298659     32.51     35.50
241.93/60.76	c  F st   513     87500     18006     67655    322664     20969    802717   1235633     31.64     19.77
242.33/60.81	c  N st   513     87500     18006     67655    322664     20969    802717   1235633     31.64     19.77
256.29/64.33	c  N dy   523     93096     18006     67655    322704     26553    802717   3190530     31.71     41.46
269.44/67.66	c  N dy   574     99215     18006     67655    322704     32639    802717   4631426     32.36     34.57
281.40/70.66	c  S st   620    104838     18006     67655    322704     38244    802717   5937819     32.86   no data
282.60/70.98	c  S st   620    105342     18006     67655    322707     38741    802717   6010024     32.86   no data
283.00/71.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
291.77/73.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     26 BRemL:    150 BRemN:      0 P: 35.4M T:  2.25
291.77/73.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
292.17/73.31	c bin-w-bin subsume rem            1 bins  time:  0.03 s
292.57/73.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
292.99/73.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18006 time:  0.12 s
293.41/73.63	c Removed useless bin:      10  fixed:     0  props:   3.94M  time:  0.07 s
294.15/73.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
303.72/76.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.02 s
316.08/79.30	c lits-rem:        71  cl-subs:      203  v-elim:      0  v-fix:    0  time:  3.08 s
316.08/79.34	c vivif2 --  cl tried    67655 cl shrink        0 lits rem          0 time: 0.04
318.08/79.84	c vivif2 --  cl tried    38538 cl shrink     9876 lits rem     625116 time: 0.49
318.88/80.09	c asymm  cl-useful: 10/3401/67655 lits-rem:30 time: 0.25
319.30/80.11	c calculated reachability. Time: 0.01
319.30/80.11	c  N dy   620    105342     18006     67645    322583     38537    802687   5350940     32.86   no data
334.82/84.04	c  N dy   681    112135     18006     67645    322674     23402    802687   1493350     33.52     61.74
347.57/87.28	c  N dy   691    120279     18006     67645    322674     31539    802687   4261505     33.21     35.24
369.49/92.71	c  N dy   752    130398     18006     67645    322699     41623    802687   6538045     33.54     35.41
385.50/96.77	c  N dy   810    138756     18006     67645    322699     26533    802687   1878212     33.93     58.92
404.17/101.49	c  N dy   825    148475     18006     67645    322700     36218    802687   4017208     33.45     35.55
425.30/106.72	c  N dy   897    157978     18006     67645    322700     45619    802687   6170992     33.82     41.92
425.30/106.75	c  S st   898    158013     18006     67645    322700     45654    802687   6175618     33.82   no data
426.50/107.08	c  S st   898    158517     18006     67645    322700     46155    802687   6254260     33.82   no data
426.90/107.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
436.86/109.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     23 BRemL:    113 BRemN:      0 P: 39.2M T:  2.54
436.86/109.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
437.27/109.70	c bin-w-bin subsume rem            0 bins  time:  0.03 s
437.69/109.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
438.12/109.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18006 time:  0.12 s
438.46/110.03	c Removed useless bin:      24  fixed:     0  props:   3.94M  time:  0.07 s
439.26/110.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
448.43/112.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.98 s
461.98/115.97	c lits-rem:       544  cl-subs:      241  v-elim:      0  v-fix:    0  time:  3.44 s
462.38/116.01	c vivif2 --  cl tried    67645 cl shrink        0 lits rem          0 time: 0.04
464.00/116.49	c vivif2 --  cl tried    45914 cl shrink    10344 lits rem     424736 time: 0.48
466.36/117.02	c asymm  cl-useful: 0/23806/67645 lits-rem:0 time: 0.53
466.36/117.05	c calculated reachability. Time: 0.01
466.36/117.05	c  N dy   898    158517     18006     67645    322586     45914    802639   5799425     33.82   no data
488.29/122.54	c  N dy   980    168657     18006     67645    322630     31371    802639   2686624     34.28     59.45
509.42/127.83	c  N dy  1052    179760     18006     67645    322633     42343    802639   5127776     34.50     36.46
551.69/138.42	c  N dy  1083    203156     18006     67645    322633     39927    802639   3802724     33.27     35.06
579.17/145.37	c  N dy  1146    216197     18006     67645    322679     52872    802639   6915662     33.34     35.90
605.49/151.92	c  N dy  1173    230272     18006     67645    322680     40102    802639   4306657     32.95     34.99
623.02/156.35	c  S st  1237    237776     18006     67645    322680     47568    802639   6085486     33.17   no data
624.62/156.71	c  S st  1237    238278     18006     67645    322680     48068    802639   6190165     33.17   no data
624.62/156.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
635.01/159.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     20 BRemL:     86 BRemN:      0 P: 38.9M T:  2.58
635.01/159.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
635.01/159.37	c bin-w-bin subsume rem            0 bins  time:  0.03 s
635.78/159.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
636.18/159.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18006 time:  0.12 s
636.58/159.70	c Removed useless bin:       0  fixed:     0  props:   3.95M  time:  0.07 s
637.38/159.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
646.55/162.21	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  2.00 s
656.52/164.73	c lits-rem:       286  cl-subs:      261  v-elim:      0  v-fix:    0  time:  2.51 s
656.52/164.78	c vivif2 --  cl tried    67645 cl shrink        0 lits rem          0 time: 0.04
658.50/165.23	c vivif2 --  cl tried    47805 cl shrink     9601 lits rem     384312 time: 0.45
660.50/165.71	c asymm  cl-useful: 9/10846/67645 lits-rem:27 time: 0.49
660.50/165.74	c calculated reachability. Time: 0.01
660.50/165.74	c  N dy  1237    238278     18006     67636    322623     47805    802630   5768652     33.17   no data
696.83/174.85	c  N dy  1327    256061     18006     67636    322633     37723    802630   3338050     33.21     35.04
723.88/181.68	c  N dy  1381    272828     18006     67636    322713     54332    802630   6446156     32.96     35.81
756.96/189.97	c  N dy  1459    290329     18006     67636    322714     42873    802630   4879433     32.98     35.18
792.86/198.95	c  F st  1559    306250     18006     67636    322716     58723    802630   8781107     33.21   no data
799.61/200.62	c  N st  1564    309546     18006     67636    322716     32229    802630   2067682     33.21   no data
835.50/209.61	c  N dy  1607    329363     18006     67636    322718     51911    802630   6824562     32.89     36.52
874.56/219.40	c  N dy  1670    351854     18006     67636    322720     43456    802630   4178258     32.64     34.39
886.12/222.38	c  S st  1703    357417     18006     67636    322721     48989    802630   5490836     32.69   no data
887.72/222.70	c  S st  1703    357920     18006     67636    322721     49487    802630   5568766     32.69   no data
887.72/222.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
898.53/225.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     57 BRemL:    101 BRemN:      0 P: 40.7M T:  2.70
898.53/225.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
898.53/225.49	c bin-w-bin subsume rem            0 bins  time:  0.03 s
899.27/225.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
899.67/225.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18006 time:  0.13 s
900.07/225.83	c Removed useless bin:       1  fixed:     0  props:   3.95M  time:  0.08 s
900.87/226.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
909.64/228.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.92 s
916.40/229.95	c lits-rem:       291  cl-subs:      297  v-elim:      0  v-fix:    0  time:  1.70 s
916.40/229.99	c vivif2 --  cl tried    67636 cl shrink        0 lits rem          0 time: 0.04
918.01/230.38	c vivif2 --  cl tried    49190 cl shrink     8324 lits rem     337562 time: 0.38
920.02/230.88	c asymm  cl-useful: 42/6291/67636 lits-rem:126 time: 0.51
920.02/230.91	c calculated reachability. Time: 0.01
920.02/230.91	c  N dy  1703    357920     18006     67594    322718     49190    802586   5193446     32.69   no data
969.43/243.23	c  N dy  1848    378030     18006     67594    322787     37403    802586   2750186     33.10     34.85
1010.89/253.61	c  N dy  1970    398114     18006     67594    322790     57368    802586   7526356     33.27     39.70
1049.55/263.36	c  N dy  2071    418144     18006     67594    322790     44443    802586   3783818     33.30     47.36
1090.62/273.67	c  N dy  2159    438560     18006     67594    322793     64712    802586   9268604     33.30     35.47
1137.25/285.35	c  N dy  2306    458573     18006     67594    322793     50859    802586   6055949     33.66     44.21
1182.30/296.61	c  N dy  2432    478711     18006     67594    322794     36085    802586   1812466     33.80     36.84
1215.77/305.03	c  N dy  2506    499036     18006     67594    322796     56256    802586   6282546     33.70     35.91
1259.63/316.06	c  N dy  2611    519313     18006     67594    322801     40669    802586   2877697     33.83     35.70
1297.56/325.59	c  S st  2646    536880     18006     67594    322802     58166    802586   6923551     33.58     29.26
1299.09/325.96	c  S st  2646    537382     18006     67594    322803     58659    802586   6997619     33.58   no data
1299.09/325.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1312.25/329.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     80 BRemL:    186 BRemN:      0 P: 48.7M T:  3.23
1312.25/329.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1312.25/329.28	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1313.05/329.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
1313.45/329.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18006 time:  0.12 s
1313.85/329.61	c Removed useless bin:      58  fixed:     0  props:   3.96M  time:  0.08 s
1314.67/329.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
1323.86/332.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.02 s
1334.17/334.79	c lits-rem:       302  cl-subs:      332  v-elim:      0  v-fix:    0  time:  2.59 s
1334.57/334.83	c vivif2 --  cl tried    67594 cl shrink        0 lits rem          0 time: 0.04
1336.17/335.30	c vivif2 --  cl tried    58327 cl shrink     9695 lits rem     390806 time: 0.46
1338.56/335.82	c asymm  cl-useful: 5/5901/67594 lits-rem:15 time: 0.52
1338.56/335.84	c calculated reachability. Time: 0.01
1338.56/335.85	c  N dy  2646    537382     18006     67589    322644     58327    802465   6562726     33.58   no data
1381.20/346.51	c  N dy  2669    558667     18006     67589    322687     42685    802465   2960715     33.29     35.07
1424.28/357.38	c  N dy  2800    578703     18006     67589    322689     62586    802465   7698110     33.46     39.72
1466.52/367.96	c  N dy  2864    600069     18006     67589    322691     46098    802465   3661276     33.40     35.97
1510.36/378.99	c  N dy  2945    622396     18006     67589    322693     68294    802465   9274093     33.35     35.40
1550.63/389.08	c  N dy  3031    642415     18006     67589    322694     49385    802465   4095651     33.27     37.31
1599.68/401.36	c  N dy  3184    662462     18006     67589    322697     69332    802465   9061842     33.51     44.54
1645.90/412.96	c  N dy  3311    683154     18006     67589    322698     50107    802465   4177203     33.65     35.94
1700.12/426.61	c  N dy  3392    711684     18006     67589    322897     78489    802465  11437565     33.49     35.49
1749.20/438.83	c  N dy  3534    731783     18006     67589    322931     57741    802465   6061069     33.67     36.54
1798.97/451.32	c  N dy  3692    751811     18006     67589    322931     77621    802465  11133001     33.88     48.72
1848.80/463.83	c  N dy  3835    771816     18006     67589    322936     55808    802465   5323858     34.06     43.95
1891.85/474.65	c  N dy  3898    791847     18006     67589    322936     75721    802465  10408699     33.94     35.94
1924.16/482.74	c  S st  3940    806077     18006     67589    323024     47112    802465   2602625     33.89     47.64
1925.72/483.10	c  S st  3940    806584     18006     67589    323024     47615    802465   2697569     33.89   no data
1925.72/483.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1936.10/485.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:    242 BRemN:      0 P: 41.7M T:  2.57
1936.10/485.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1936.10/485.75	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1936.50/485.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
1936.90/486.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18006 time:  0.12 s
1937.32/486.08	c Removed useless bin:       4  fixed:     0  props:   3.97M  time:  0.07 s
1938.08/486.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
1946.52/488.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.95 s
1949.25/489.07	c lits-rem:       136  cl-subs:      274  v-elim:      0  v-fix:    0  time:  0.71 s
1949.66/489.11	c vivif2 --  cl tried    67589 cl shrink        0 lits rem          0 time: 0.04
1950.06/489.27	c vivif2 --  cl tried    47341 cl shrink     2107 lits rem     139315 time: 0.16
1952.04/489.77	c asymm  cl-useful: 14/7647/67589 lits-rem:42 time: 0.50
1952.44/489.80	c calculated reachability. Time: 0.01
1952.44/489.80	c  N dy  3940    806584     18006     67575    322793     47340    802443   2548188     33.89   no data
1994.75/500.47	c  N dy  4063    826625     18006     67575    322795     67215    802443   7528344     33.96     56.41
2048.11/513.89	c  N dy  4092    853256     18006     67575    322798     50034    802443   3753448     33.72     35.58
2094.75/525.56	c  N dy  4167    877152     18006     67575    322802     73714    802443   9038008     33.61     35.51
2132.22/534.97	c  N dy  4207    899736     18006     67575    322807     51419    802443   3012396     33.47     35.41
2171.68/544.89	c  N dy  4274    919811     18006     67575    322808     71317    802443   8383790     33.42    111.03
2223.91/557.96	c  N dy  4357    939867     18006     67575    322810     91207    802443  13480894     33.42     37.11
2264.96/568.29	c  N dy  4474    959962     18006     67575    322810     65517    802443   7022515     33.52     35.48
2311.19/579.84	c  N dy  4596    980008     18006     67575    322813     85421    802443  12173973     33.62     40.19
2359.83/592.00	c  N dy  4689   1001030     18006     67575    322813     59614    802443   4834747     33.61     36.08
2407.27/603.97	c  N dy  4721   1028164     18006     67575    322813     86673    802443  12436043     33.42     35.48
2445.54/613.54	c  N dy  4802   1048187     18006     67575    322815     58792    802443   4177770     33.40     47.71
2499.35/627.04	c  N dy  4972   1068276     18006     67575    322820     78804    802443   9631504     33.58     42.18
2509.72/629.66	c  F st  5006   1071877     18006     67575    322820     82390    802443  10563920     33.62     15.71
2556.02/641.22	c  N dy  5102   1088287     18006     67575    322822     49991    802443   1932792     33.71     37.81
2601.01/652.55	c  N dy  5253   1108345     18006     67575    322823     69927    802443   7212994     33.86     35.93
2637.69/661.74	c  N dy  5320   1128542     18006     67575    322823     89986    802443  11238263     33.79     35.95
2684.72/673.56	c  N dy  5358   1149716     18006     67575    322824     61389    802443   5415640     33.67     36.14
2724.59/683.53	c  N dy  5447   1170678     18006     67575    322825     82079    802443   9752716     33.64     35.45
2783.19/698.29	c  N dy  5613   1190767     18006     67575    322991     51397    802443   1904161     33.84     47.33
2828.22/709.52	c  S st  5745   1209876     18006     67575    322996     70413    802443   6533058     33.94   no data
2829.42/709.83	c  S st  5745   1210381     18006     67575    323000     70908    802443   6618911     33.94   no data
2829.42/709.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2842.58/713.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     90 BRemL:    204 BRemN:      0 P: 48.6M T:  3.29
2842.58/713.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2842.98/713.21	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2843.38/713.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
2843.78/713.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18006 time:  0.12 s
2844.18/713.55	c Removed useless bin:      25  fixed:     0  props:   3.99M  time:  0.08 s
2845.00/713.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
2854.53/716.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.04 s
2865.71/718.92	c lits-rem:       234  cl-subs:      485  v-elim:      0  v-fix:    0  time:  2.79 s
2865.71/718.97	c vivif2 --  cl tried    67575 cl shrink        0 lits rem          0 time: 0.04
2867.69/719.49	c vivif2 --  cl tried    70423 cl shrink     9668 lits rem     615744 time: 0.52
2870.09/720.04	c asymm  cl-useful: 0/6006/67575 lits-rem:0 time: 0.55
2870.09/720.07	c calculated reachability. Time: 0.01
2870.09/720.07	c  N dy  5745   1210381     18006     67575    322862     70422    802393   5962381     33.94   no data
2929.08/734.86	c  N dy  5815   1234348     18006     67575    323093     94281    802393  10937494     33.86     35.69
2973.72/746.03	c  N dy  5937   1255545     18006     67575    323098     63670    802393   4819544     33.92     35.73
3026.35/759.20	c  N dy  6042   1276634     18006     67575    323099     84624    802393  10090697     33.92     36.09
3074.97/771.41	c  N dy  6098   1296676     18006     67575    323180    104585    802393  15541986     33.84     50.79
3137.56/787.17	c  N dy  6255   1322646     18006     67575    323181     77687    802393   8297447     33.91     35.93
3194.56/801.44	c  N dy  6349   1348103     18006     67575    323183    102951    802393  14009266     33.87     36.23
3243.59/813.72	c  N dy  6473   1368789     18006     67575    323186     69841    802393   5946412     33.92     36.10
3285.45/824.24	c  N dy  6527   1390061     18006     67575    323187     90918    802393  10716096     33.82     35.75
3358.02/842.50	c  N dy  6541   1416275     18006     67575    323187     62377    802393   3521397     33.64     35.44
3509.06/880.32	c  N dy  6604   1472126     18006     67575    323191     62358    802393   3522383     33.32     35.34
3552.92/891.37	c  N dy  6662   1492227     18006     67575    323194     82358    802393   8325155     33.26     41.13
3615.10/906.99	c  N dy  6718   1512918     18006     67575    323194    103003    802393  13472278     33.22     35.55
3666.93/919.93	c  N dy  6723   1537108     18006     67575    323194     70355    802393   5106311     33.05     35.41
3721.15/933.51	c  N dy  6828   1561355     18006     67575    323203     94386    802393  10242138     33.02     35.45
3775.36/947.17	c  N dy  6947   1581381     18006     67575    323207    114275    802393  14991710     33.07     46.60
3822.40/958.96	c  N dy  7078   1601711     18006     67575    323208     76764    802393   6759535     33.14     34.88
3873.82/971.89	c  N dy  7209   1621872     18006     67575    323208     96785    802393  11741118     33.20     35.13
3916.87/982.65	c  N dy  7226   1641953     18006     67575    323209    116759    802393  16298781     33.07     35.05
3958.33/993.01	c  N dy  7283   1662042     18006     67575    323408     78032    802393   6554369     33.01     34.98
4012.94/1006.78	c  N dy  7349   1689904     18006     67575    323408    105762    802393  13351365     32.92     34.76
4062.37/1019.10	c  N dy  7431   1709952     18006     67575    323409     66019    802393   3065878     32.92     34.94
4063.57/1019.40	c  S st  7436   1710381     18006     67575    323409     66444    802393   3185708     32.92   no data
4064.75/1019.76	c  S st  7436   1710884     18006     67575    323411     66940    802393   3283918     32.92   no data
4064.75/1019.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4076.32/1022.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     57 BRemL:    396 BRemN:      0 P: 46.3M T:  2.90
4076.72/1022.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4076.72/1022.74	c bin-w-bin subsume rem            1 bins  time:  0.03 s
4077.14/1022.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
4077.56/1022.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18006 time:  0.12 s
4077.90/1023.07	c Removed useless bin:       0  fixed:     0  props:   4.01M  time:  0.08 s
4078.70/1023.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
4087.08/1025.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.93 s
4091.87/1026.52	c lits-rem:       311  cl-subs:      393  v-elim:      0  v-fix:    0  time:  1.15 s
4091.87/1026.56	c vivif2 --  cl tried    67575 cl shrink        0 lits rem          0 time: 0.04
4092.66/1026.77	c vivif2 --  cl tried    66547 cl shrink     3414 lits rem     143285 time: 0.21
4095.11/1027.32	c asymm  cl-useful: 0/6600/67575 lits-rem:0 time: 0.55
4095.11/1027.34	c calculated reachability. Time: 0.01
4095.11/1027.34	c  N dy  7436   1710884     18006     67575    323082     66536    802393   3123397     32.92   no data
4139.70/1038.52	c Finding binary XORs  T:     0.05 s  found:       0
4144.08/1039.65	c  N dy  7564   1730907     18006     67575    323279     86426    802393   8432129     32.99     41.57
4191.91/1051.60	c  N dy  7624   1751097     18006     67575    323281    106534    802393  13751149     32.95     34.90
4252.12/1066.77	c  N dy  7741   1771106     18006     67575    323361     65813    802393   3212030     33.00     46.03
4301.53/1079.17	c  N dy  7880   1791273     18006     67575    323361     85876    802393   8311082     33.08     34.91
4353.38/1092.13	c  N dy  7883   1814521     18006     67575    323363    109019    802393  13664603     32.94     35.05
4397.66/1103.23	c  N dy  7967   1834889     18006     67575    323365     67550    802393   3351451     32.92     34.78
4441.09/1114.16	c  N dy  8050   1854945     18006     67575    323366     87472    802393   8505327     32.94     44.67
4482.51/1124.57	c  N dy  8124   1875146     18006     67575    323366    107259    802393  12885440     32.92     34.74
4520.43/1134.05	c  N dy  8174   1895198     18006     67575    323368     64715    802393   2390608     32.89     35.31
4559.89/1143.95	c  N dy  8194   1916025     18006     67575    323368     85376    802393   6312202     32.78     34.71
4606.88/1155.72	c  N dy  8224   1939812     18006     67575    323369    108992    802393  11561167     32.70     34.48
4655.94/1168.10	c  N dy  8279   1960731     18006     67575    323371     66304    802393   2803687     32.66     34.39
4703.35/1179.94	c  N dy  8379   1981458     18006     67575    323372     86866    802393   7878570     32.68     35.43
4750.39/1191.75	c  N dy  8493   2001533     18006     67575    323373    106806    802393  13094664     32.73     34.48

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-3366804-1305416534/watcher-3366804-1305416534 -o /tmp/evaluation-result-3366804-1305416534/solver-3366804-1305416534 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366804-1305416534.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: 7.84 8.03 7.64 5/416 9283
/proc/meminfo: memFree=21017152/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 4 0 731884220 52396032 347 33554432000 4194304 4580107 140733548419152 18446744073709551615 47600400807848 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 12792 347 299 95 0 7774 0
[pid=9283/tid=9284] ppid=9281 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 4 0 731884221 52396032 347 33554432000 4194304 4580107 140733548419152 18446744073709551615 47600400807858 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731884221 52396032 347 33554432000 4194304 4580107 140733548419152 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731884221 52396032 347 33554432000 4194304 4580107 140733548419152 18446744073709551615 47600400807852 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.110282 s]
/proc/loadavg: 7.84 8.03 7.64 5/416 9283
/proc/meminfo: memFree=21017152/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=328036 CPUtime=0.43 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 26307 0 0 0 37 6 0 0 18 0 4 0 731884220 335908864 22072 33554432000 4194304 4580107 140733548419152 18446744073709551615 215988635831 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 82316 22804 338 95 0 77298 0
[pid=9283/tid=9284] ppid=9281 vsize=329528 CPUtime=0.13 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 6947 0 0 0 12 1 0 0 25 0 4 0 731884221 337436672 23766 33554432000 4194304 4580107 140733548419152 18446744073709551615 215988289184 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=330320 CPUtime=0.12 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) D 9281 9283 8585 0 -1 4202560 7294 0 0 0 11 1 0 0 18 0 4 0 731884221 338247680 24641 33554432000 4194304 4580107 140733548419152 18446744073709551615 215988253729 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=332176 CPUtime=0.15 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 7398 0 0 0 14 1 0 0 25 0 4 0 731884221 340148224 25880 33554432000 4194304 4580107 140733548419152 18446744073709551615 215988635831 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 328036

[startup+1.13995 s]
/proc/loadavg: 7.84 8.03 7.64 5/416 9283
/proc/meminfo: memFree=21017152/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=347004 CPUtime=4.51 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 48001 0 0 0 438 13 0 0 18 0 4 0 731884220 355332096 43691 33554432000 4194304 4580107 140733548419152 18446744073709551615 215988253729 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 86751 43691 360 95 0 81733 0
[pid=9283/tid=9284] ppid=9281 vsize=347004 CPUtime=1.12 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 11858 0 0 0 110 2 0 0 19 0 4 0 731884221 355332096 43691 33554432000 4194304 4580107 140733548419152 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=347004 CPUtime=1.11 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 11981 0 0 0 108 3 0 0 19 0 4 0 731884221 355332096 43691 33554432000 4194304 4580107 140733548419152 18446744073709551615 215988635831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=347004 CPUtime=1.12 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 12136 0 0 0 109 3 0 0 18 0 4 0 731884221 355332096 43691 33554432000 4194304 4580107 140733548419152 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 347004

[startup+1.20054 s]
/proc/loadavg: 7.84 8.03 7.64 5/416 9283
/proc/meminfo: memFree=21017152/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=347664 CPUtime=4.75 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 48547 0 0 0 462 13 0 0 19 0 4 0 731884220 356007936 44237 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 86916 44237 360 95 0 81898 0
[pid=9283/tid=9284] ppid=9281 vsize=347664 CPUtime=1.18 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 12051 0 0 0 116 2 0 0 19 0 4 0 731884221 356007936 44237 33554432000 4194304 4580107 140733548419152 18446744073709551615 215988253381 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=347664 CPUtime=1.17 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 12147 0 0 0 114 3 0 0 19 0 4 0 731884221 356007936 44237 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294144 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=347664 CPUtime=1.18 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 12158 0 0 0 115 3 0 0 18 0 4 0 731884221 356007936 44238 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 347664

[startup+1.30052 s]
/proc/loadavg: 7.84 8.03 7.64 5/416 9283
/proc/meminfo: memFree=21017152/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=349776 CPUtime=5.15 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 50058 0 0 0 502 13 0 0 19 0 4 0 731884220 358170624 45748 33554432000 4194304 4580107 140733548419152 18446744073709551615 215988253729 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 87444 45748 360 95 0 82426 0
[pid=9283/tid=9284] ppid=9281 vsize=349776 CPUtime=1.28 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 12551 0 0 0 126 2 0 0 19 0 4 0 731884221 358170624 45748 33554432000 4194304 4580107 140733548419152 18446744073709551615 215988253381 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=349776 CPUtime=1.27 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 12630 0 0 0 124 3 0 0 19 0 4 0 731884221 358170624 45748 33554432000 4194304 4580107 140733548419152 18446744073709551615 4235022 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=349776 CPUtime=1.28 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 12195 0 0 0 125 3 0 0 19 0 4 0 731884221 358170624 45748 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.15
Current children cumulated vsize (KiB) 349776

[startup+1.50049 s]
/proc/loadavg: 7.84 8.03 7.64 5/416 9283
/proc/meminfo: memFree=21017152/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=353604 CPUtime=5.95 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 53088 0 0 0 581 14 0 0 19 0 4 0 731884220 362090496 48728 33554432000 4194304 4580107 140733548419152 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 88401 48728 360 95 0 83383 0
[pid=9283/tid=9284] ppid=9281 vsize=353604 CPUtime=1.49 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 13535 0 0 0 146 3 0 0 19 0 4 0 731884221 362090496 48729 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=353604 CPUtime=1.47 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 13596 0 0 0 143 4 0 0 19 0 4 0 731884221 362090496 48729 33554432000 4194304 4580107 140733548419152 18446744073709551615 4235655 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=353604 CPUtime=1.48 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 12306 0 0 0 145 3 0 0 19 0 4 0 731884221 362090496 48729 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 353604

[startup+3.10121 s]
/proc/loadavg: 8.01 8.06 7.65 9/420 9288
/proc/meminfo: memFree=20748316/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=376528 CPUtime=12.36 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 70689 0 0 0 1218 18 0 0 18 0 4 0 731884220 385564672 66329 33554432000 4194304 4580107 140733548419152 18446744073709551615 4292109 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 94132 66329 374 95 0 89114 0
[pid=9283/tid=9284] ppid=9281 vsize=376528 CPUtime=3.1 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 19232 0 0 0 307 3 0 0 23 0 4 0 731884221 385564672 66329 33554432000 4194304 4580107 140733548419152 18446744073709551615 4415437 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=376528 CPUtime=3.06 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 19408 0 0 0 301 5 0 0 18 0 4 0 731884221 385564672 66329 33554432000 4194304 4580107 140733548419152 18446744073709551615 4292077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=376528 CPUtime=3.1 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 12606 0 0 0 307 3 0 0 23 0 4 0 731884221 385564672 66329 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 376528

[startup+6.30065 s]
/proc/loadavg: 8.01 8.06 7.65 9/420 9288
/proc/meminfo: memFree=20721168/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=522116 CPUtime=25.09 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 84084 0 0 0 2488 21 0 0 25 0 4 0 731884220 534646784 75796 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 130529 75796 377 95 0 125511 0
[pid=9283/tid=9284] ppid=9281 vsize=522116 CPUtime=6.29 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 23082 0 0 0 625 4 0 0 25 0 4 0 731884221 534646784 75796 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=522116 CPUtime=6.21 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 23464 0 0 0 616 5 0 0 25 0 4 0 731884221 534646784 75796 33554432000 4194304 4580107 140733548419152 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=522116 CPUtime=6.28 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 14010 0 0 0 625 3 0 0 25 0 4 0 731884221 534646784 75796 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 522116

[startup+12.7005 s]
/proc/loadavg: 8.01 8.06 7.66 9/420 9288
/proc/meminfo: memFree=20725756/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=479792 CPUtime=50.6 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 98753 0 0 0 5036 24 0 0 25 0 4 0 731884220 491307008 75051 33554432000 4194304 4580107 140733548419152 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 119948 75051 378 95 0 114930 0
[pid=9283/tid=9284] ppid=9281 vsize=479792 CPUtime=12.68 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 27466 0 0 0 1263 5 0 0 25 0 4 0 731884221 491307008 75051 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=479792 CPUtime=12.52 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 27320 0 0 0 1246 6 0 0 25 0 4 0 731884221 491307008 75051 33554432000 4194304 4580107 140733548419152 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=479792 CPUtime=12.69 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 16671 0 0 0 1265 4 0 0 25 0 4 0 731884221 491307008 75051 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 479792

[startup+25.5003 s]
/proc/loadavg: 8.01 8.06 7.66 9/420 9288
/proc/meminfo: memFree=20619604/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=656956 CPUtime=101.62 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 135475 0 0 0 10123 39 0 0 25 0 4 0 731884220 672722944 99313 33554432000 4194304 4580107 140733548419152 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 164239 99313 379 95 0 159221 0
[pid=9283/tid=9284] ppid=9281 vsize=656956 CPUtime=25.49 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 33786 0 0 0 2541 8 0 0 25 0 4 0 731884221 672722944 99313 33554432000 4194304 4580107 140733548419152 18446744073709551615 4423639 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=656956 CPUtime=25.14 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 38942 0 0 0 2503 11 0 0 25 0 4 0 731884221 672722944 99313 33554432000 4194304 4580107 140733548419152 18446744073709551615 4412960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=656956 CPUtime=25.49 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 21761 0 0 0 2543 6 0 0 25 0 4 0 731884221 672722944 99313 33554432000 4194304 4580107 140733548419152 18446744073709551615 4324526 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 656956

[startup+51.1008 s]
/proc/loadavg: 8.00 8.05 7.67 9/420 9289
/proc/meminfo: memFree=20431476/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=844632 CPUtime=203.67 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 215810 0 0 0 20304 63 0 0 25 0 4 0 731884220 864903168 144067 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 211158 144067 379 95 0 206140 0
[pid=9283/tid=9284] ppid=9281 vsize=844632 CPUtime=51.08 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 58575 0 0 0 5095 13 0 0 25 0 4 0 731884221 864903168 144068 33554432000 4194304 4580107 140733548419152 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=844632 CPUtime=50.39 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 53539 0 0 0 5023 16 0 0 25 0 4 0 731884221 864903168 144068 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=844632 CPUtime=51.08 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 47495 0 0 0 5094 14 0 0 25 0 4 0 731884221 864903168 144068 33554432000 4194304 4580107 140733548419152 18446744073709551615 4321718 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.67
Current children cumulated vsize (KiB) 844632

[startup+102.301 s]
/proc/loadavg: 8.04 8.05 7.69 9/420 9290
/proc/meminfo: memFree=20234300/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=1135448 CPUtime=407.76 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 360612 0 0 0 40668 108 0 0 25 0 4 0 731884220 1162698752 195465 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 283862 195465 379 95 0 278844 0
[pid=9283/tid=9284] ppid=9281 vsize=1135448 CPUtime=102.29 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 85808 0 0 0 10206 23 0 0 25 0 4 0 731884221 1162698752 195465 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=1135448 CPUtime=100.89 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 90885 0 0 0 10060 29 0 0 25 0 4 0 731884221 1162698752 195465 33554432000 4194304 4580107 140733548419152 18446744073709551615 4320777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=1135448 CPUtime=102.28 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 84478 0 0 0 10203 25 0 0 25 0 4 0 731884221 1162698752 195465 33554432000 4194304 4580107 140733548419152 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.76
Current children cumulated vsize (KiB) 1135448

[startup+162.3 s]

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

[pid=9283] ppid=9281 vsize=1624268 CPUtime=2560.4 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 1495562 0 0 0 255547 493 0 0 25 0 4 0 731884220 1663250432 341769 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 406067 341769 379 95 0 401049 0
[pid=9283/tid=9284] ppid=9281 vsize=1624268 CPUtime=642.29 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 361027 0 0 0 64112 117 0 0 25 0 4 0 731884221 1663250432 341769 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=1624268 CPUtime=633.53 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 356084 0 0 0 63231 122 0 0 25 0 4 0 731884221 1663250432 341769 33554432000 4194304 4580107 140733548419152 18446744073709551615 4325440 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=1624268 CPUtime=642.27 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 385124 0 0 0 64106 121 0 0 25 0 4 0 731884221 1663250432 341769 33554432000 4194304 4580107 140733548419152 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2560.4
Current children cumulated vsize (KiB) 1624268

[startup+702.301 s]
/proc/loadavg: 8.05 8.09 7.87 9/420 9306
/proc/meminfo: memFree=19411880/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=1653868 CPUtime=2799.53 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 1605009 0 0 0 279420 533 0 0 25 0 4 0 731884220 1693560832 350073 33554432000 4194304 4580107 140733548419152 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 413467 350073 379 95 0 408449 0
[pid=9283/tid=9284] ppid=9281 vsize=1653868 CPUtime=702.27 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 388423 0 0 0 70101 126 0 0 25 0 4 0 731884221 1693560832 350073 33554432000 4194304 4580107 140733548419152 18446744073709551615 4322530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=1653868 CPUtime=692.7 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 379173 0 0 0 69139 131 0 0 25 0 4 0 731884221 1693560832 350073 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=1653868 CPUtime=702.25 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 417748 0 0 0 70092 133 0 0 25 0 4 0 731884221 1693560832 350073 33554432000 4194304 4580107 140733548419152 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2799.53
Current children cumulated vsize (KiB) 1653868

[startup+762.3 s]
/proc/loadavg: 8.10 8.10 7.89 9/420 9308
/proc/meminfo: memFree=19298884/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=1933420 CPUtime=3038.69 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 1708238 0 0 0 303301 568 0 0 25 0 4 0 731884220 1979822080 383197 33554432000 4194304 4580107 140733548419152 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 483355 383197 379 95 0 478337 0
[pid=9283/tid=9284] ppid=9281 vsize=1933420 CPUtime=762.27 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 410651 0 0 0 76092 135 0 0 25 0 4 0 731884221 1979822080 383197 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=1933420 CPUtime=751.88 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 403134 0 0 0 75049 139 0 0 25 0 4 0 731884221 1979822080 383197 33554432000 4194304 4580107 140733548419152 18446744073709551615 4281582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=1933420 CPUtime=762.26 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 449883 0 0 0 76083 143 0 0 25 0 4 0 731884221 1979822080 383197 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3038.69
Current children cumulated vsize (KiB) 1933420

[startup+822.301 s]
/proc/loadavg: 8.08 8.10 7.90 9/420 9309
/proc/meminfo: memFree=19347556/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=1891800 CPUtime=3277.88 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 1810872 0 0 0 327179 609 0 0 25 0 4 0 731884220 1937203200 371451 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294704 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 472950 371451 379 95 0 467932 0
[pid=9283/tid=9284] ppid=9281 vsize=1891800 CPUtime=822.27 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 432229 0 0 0 82083 144 0 0 25 0 4 0 731884221 1937203200 371451 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=1891800 CPUtime=811.07 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 431465 0 0 0 80956 151 0 0 25 0 4 0 731884221 1937203200 371451 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=1891800 CPUtime=822.25 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 476834 0 0 0 82071 154 0 0 25 0 4 0 731884221 1937203200 371451 33554432000 4194304 4580107 140733548419152 18446744073709551615 4316717 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3277.88
Current children cumulated vsize (KiB) 1891800

[startup+882.3 s]
/proc/loadavg: 8.14 8.12 7.92 9/420 9311
/proc/meminfo: memFree=19432828/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=1669840 CPUtime=3517.04 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 1902621 0 0 0 351058 646 0 0 25 0 4 0 731884220 1709916160 346394 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 417460 346394 379 95 0 412442 0
[pid=9283/tid=9284] ppid=9281 vsize=1669840 CPUtime=882.27 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 452756 0 0 0 88074 153 0 0 25 0 4 0 731884221 1709916160 346394 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=1669840 CPUtime=870.24 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 452873 0 0 0 86863 161 0 0 25 0 4 0 731884221 1709916160 346394 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=1669840 CPUtime=882.25 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 502285 0 0 0 88063 162 0 0 25 0 4 0 731884221 1709916160 346394 33554432000 4194304 4580107 140733548419152 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3517.04
Current children cumulated vsize (KiB) 1669840

[startup+942.301 s]
/proc/loadavg: 7.92 8.09 7.92 5/415 9314
/proc/meminfo: memFree=19794908/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=1962764 CPUtime=3756.23 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 2001503 0 0 0 374942 681 0 0 25 0 4 0 731884220 2009870336 377758 33554432000 4194304 4580107 140733548419152 18446744073709551615 4322544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 490691 377758 379 95 0 485673 0
[pid=9283/tid=9284] ppid=9281 vsize=1962764 CPUtime=942.26 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 475677 0 0 0 94064 162 0 0 25 0 4 0 731884221 2009870336 377758 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=1962764 CPUtime=929.44 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 477819 0 0 0 92774 170 0 0 25 0 4 0 731884221 2009870336 377758 33554432000 4194304 4580107 140733548419152 18446744073709551615 4317489 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=1962764 CPUtime=942.25 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 527744 0 0 0 94054 171 0 0 25 0 4 0 731884221 2009870336 377758 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3756.23
Current children cumulated vsize (KiB) 1962764

[startup+1002.3 s]
/proc/loadavg: 5.51 7.36 7.68 5/411 9332
/proc/meminfo: memFree=19796912/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=1874696 CPUtime=3995.4 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 2102714 0 0 0 398820 720 0 0 25 0 4 0 731884220 1919688704 379193 33554432000 4194304 4580107 140733548419152 18446744073709551615 4322544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 468674 379193 379 95 0 463656 0
[pid=9283/tid=9284] ppid=9281 vsize=1874696 CPUtime=1002.27 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 496386 0 0 0 100057 170 0 0 25 0 4 0 731884221 1919688704 379193 33554432000 4194304 4580107 140733548419152 18446744073709551615 4316644 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=1874696 CPUtime=988.87 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 501808 0 0 0 98707 180 0 0 25 0 4 0 731884221 1919688704 379193 33554432000 4194304 4580107 140733548419152 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=1874696 CPUtime=1001.97 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 559673 0 0 0 100015 182 0 0 25 0 4 0 731884221 1919688704 379193 33554432000 4194304 4580107 140733548419152 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3995.4
Current children cumulated vsize (KiB) 1874696

[startup+1062.3 s]
/proc/loadavg: 4.62 6.76 7.45 5/411 9334
/proc/meminfo: memFree=19624764/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=2024752 CPUtime=4234.58 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 2217171 0 0 0 422701 757 0 0 25 0 4 0 731884220 2073346048 422869 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 506188 422869 379 95 0 501170 0
[pid=9283/tid=9284] ppid=9281 vsize=2024752 CPUtime=1062.27 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 520062 0 0 0 106048 179 0 0 25 0 4 0 731884221 2073346048 422869 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=2024752 CPUtime=1048.87 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 548448 0 0 0 104692 195 0 0 25 0 4 0 731884221 2073346048 422869 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=2024752 CPUtime=1061.17 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 579092 0 0 0 105928 189 0 0 25 0 4 0 731884221 2073346048 422869 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4234.58
Current children cumulated vsize (KiB) 2024752

[startup+1122.3 s]
/proc/loadavg: 4.23 6.25 7.23 5/411 9335
/proc/meminfo: memFree=19707944/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=2025816 CPUtime=4473.75 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 2313382 0 0 0 446581 794 0 0 25 0 4 0 731884220 2074435584 401281 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 506454 401281 379 95 0 501436 0
[pid=9283/tid=9284] ppid=9281 vsize=2025816 CPUtime=1122.26 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 543024 0 0 0 112038 188 0 0 25 0 4 0 731884221 2074435584 401281 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=2025816 CPUtime=1108.87 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 573228 0 0 0 110683 204 0 0 25 0 4 0 731884221 2074435584 401281 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=2025816 CPUtime=1120.34 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 602382 0 0 0 111836 198 0 0 25 0 4 0 731884221 2074435584 401281 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4473.75
Current children cumulated vsize (KiB) 2025816

[startup+1182.3 s]
/proc/loadavg: 4.08 5.84 7.03 5/411 9346
/proc/meminfo: memFree=19673276/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=2025124 CPUtime=4712.94 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 2412965 0 0 0 470457 837 0 0 25 0 4 0 731884220 2073726976 408869 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 506281 408869 379 95 0 501263 0
[pid=9283/tid=9284] ppid=9281 vsize=2025124 CPUtime=1182.27 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 563757 0 0 0 118030 197 0 0 25 0 4 0 731884221 2073726976 408883 33554432000 4194304 4580107 140733548419152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=2025124 CPUtime=1168.88 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 598987 0 0 0 116672 216 0 0 25 0 4 0 731884221 2073726976 408883 33554432000 4194304 4580107 140733548419152 18446744073709551615 4316768 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=2025124 CPUtime=1179.52 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 624623 0 0 0 117745 207 0 0 25 0 4 0 731884221 2073726976 408883 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4712.94
Current children cumulated vsize (KiB) 2025124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.2 s]
/proc/loadavg: 4.06 5.72 6.96 5/411 9347
/proc/meminfo: memFree=19691376/32950940 swapFree=67111356/67111528
[pid=9283] ppid=9281 vsize=1959648 CPUtime=4800.24 cores=1,3,5,7
/proc/9283/stat : 9283 (strangenight2-m) R 9281 9283 8585 0 -1 4202496 2444072 0 0 0 479174 850 0 0 25 0 4 0 731884220 2006679552 404359 33554432000 4194304 4580107 140733548419152 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9283/statm: 489912 404359 379 95 0 484894 0
[pid=9283/tid=9284] ppid=9281 vsize=1959648 CPUtime=1204.17 cores=1,3,5,7
/proc/9283/task/9284/stat : 9284 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 574307 0 0 0 120217 200 0 0 25 0 4 0 731884221 2006679552 404374 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9283/tid=9285] ppid=9281 vsize=1959648 CPUtime=1190.77 cores=1,3,5,7
/proc/9283/task/9285/stat : 9285 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 605438 0 0 0 118858 219 0 0 25 0 4 0 731884221 2006679552 404374 33554432000 4194304 4580107 140733548419152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9283/tid=9286] ppid=9281 vsize=1959648 CPUtime=1201.12 cores=1,3,5,7
/proc/9283/task/9286/stat : 9286 (strangenight2-m) R 9281 9283 8585 0 -1 4202560 630405 0 0 0 119902 210 0 0 25 0 4 0 731884221 2006679552 404374 33554432000 4194304 4580107 140733548419152 18446744073709551615 4322524 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1959648

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): 1204.29
CPU time (s): 4800.37
CPU user time (s): 4791.79
CPU system time (s): 8.5787
CPU usage (%): 398.604
Max. virtual memory (cumulated for all children) (KiB): 2286900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.79
system time used= 8.57869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2444094
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= 5740
involuntary context switches= 30996

runsolver used 4.35334 second user time and 12.1022 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-15 01:42:14
IDJOB=3366804
IDBENCH=85640
IDSOLVER=1844
FILE ID=node117/3366804-1305416534
RUNJOBID= node117-1305415060-9037
PBS_JOBID= 13324528
Free space on /tmp= 73400 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/crafted/lynce05/social-golfer-problem/sgp_5-6-8.shuffled-as.sat05-2669.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366804-1305416534/watcher-3366804-1305416534 -o /tmp/evaluation-result-3366804-1305416534/solver-3366804-1305416534 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366804-1305416534.cnf

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

MD5SUM BENCH= 4229175ff4382a4625ce92a19d20dde4
RANDOM SEED=747275681

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      21017432 kB
Buffers:        301280 kB
Cached:        3108500 kB
SwapCached:          0 kB
Active:        9690676 kB
Inactive:      1887184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      21017432 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           18044 kB
Writeback:           0 kB
AnonPages:     8167392 kB
Mapped:          32436 kB
Slab:           244048 kB
PageTables:      44800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 100808880 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= 73400 MiB
End job on node117 at 2011-05-15 02:02:21