Trace number 3265455

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? (TO) 4800.47 1201.89

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3265455-1304129347.cnf'
0.00/0.00	c -- header says num vars:          58560
0.00/0.00	c -- header says num clauses:      778800
1.39/0.47	c -- clauses added:            0 learnts,       778800 normals,            0 xors
1.39/0.47	c -- vars added      58560
1.39/0.47	c Parsing time:  0.36 s
1.39/0.47	c  N st     0         0     58560    159421    471363         0   1443323         0   no data   no data
4.50/1.16	c asymm  cl-useful: 0/31558/84024 lits-rem:0 time: 0.70
9.93/2.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.6M T:  1.33
9.93/2.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.33/2.63	c bin-w-bin subsume rem          223 bins  time:  0.06 s
10.73/2.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.16 s
11.94/3.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29376 time:  0.24 s
12.72/3.27	c Removed useless bin:   34560  fixed:     0  props:  10.40M  time:  0.23 s
13.92/3.57	c lits-rem:         0  cl-subs:        0  v-elim:   9792  v-fix:    0  time:  0.29 s
14.32/3.63	c Finding binary XORs  T:     0.06 s  found:       0
14.72/3.70	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
14.72/3.70	c calculated reachability. Time: 0.01
14.72/3.72	c Calc default polars -  time:   0.01 s pos:    7422 undec:   43756 neg:    7382
14.72/3.72	c =========================================================================================
14.72/3.72	c types(t): F = full restart, N = normal restart
14.72/3.72	c types(t): S = simplification begin/end, E = solution found
14.72/3.72	c restart types(rt): st = static, dy = dynamic
14.72/3.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
14.72/3.72	c  B st     0         0     19584     86673    315292         0    947151         0   no data   no data
19.11/4.86	c  N dy    23      4030     19584     86673    315678      3562    947151    426548     20.38     23.51
23.50/5.92	c  N dy    45      8057     19584     86673    316071      7239    947151    852321     20.52     32.63
27.90/7.00	c  N dy    58     12145     19584     86673    316586     10743    947151   1244513     19.29     28.69
32.70/8.25	c  N dy    80     16217     19584     86673    318159     14052    947151   1658514     19.32     36.99
42.70/10.77	c  N dy   118     20267     19584     86673    319224      9060    947151    515205     22.87     39.87
49.07/12.39	c  N dy   132     24356     19584     86673    319381     12967    947151   1035558     22.64     39.32
50.67/12.79	c  F st   139     25000     19584     86673    319395     13595    947151   1158574     23.06   no data
63.06/15.89	c  N dy   145     30001     19584     86673    319697     18546    947151   2762908     23.06   no data
63.06/15.89	c  S st   145     30001     19584     86673    319697     18546    947151   2762908     23.06   no data
64.67/16.24	c  S st   145     30507     19584     86673    319773     18974    947151   2818197     23.06   no data
64.67/16.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
75.83/19.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 231731 BRemL:  82511 BRemN:      0 P: 27.1M T:  2.79
75.83/19.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.23/19.14	c bin-w-bin subsume rem            0 bins  time:  0.05 s
77.03/19.36	c subs with bin:    14418  lits-rem:         0  v-fix:    0  time:  0.22 s
77.85/19.54	c Subs w/ non-existent bins:    323 l-rem:      0 v-fix:     0 done:  19584 time:  0.17 s
78.25/19.61	c Removed useless bin:    6596  fixed:     0  props:   2.83M  time:  0.07 s
79.03/19.87	c lits-rem:         0  cl-subs:        0  v-elim:   1577  v-fix:    0  time:  0.26 s
87.41/21.99	c subs with bin:       19  lits-rem:       906  v-fix:    0  time:  1.98 s
91.03/22.86	c lits-rem:       112  cl-subs:      151  v-elim:      0  v-fix:    0  time:  0.86 s
93.01/23.33	c asymm  cl-useful: 0/12045/72512 lits-rem:0 time: 0.47
93.01/23.36	c calculated reachability. Time: 0.01
93.01/23.36	c  N dy   145     30507     18007     72512    445521     14549    891465   2022256     23.06   no data
93.41/23.41	c Finding binary XORs  T:     0.05 s  found:       0
101.40/25.45	c  N dy   183     34620     18007     72512    446241     18639    891465   2922602     25.40     27.69
110.58/27.78	c  N dy   198     40956     18007     72512    511356     24919    891465   3895630     24.97     26.50
110.98/27.83	c Finding binary XORs  T:     0.05 s  found:       0
118.57/29.78	c  N dy   226     45374     18007     72512    511372     16750    891465   1766896     25.53     27.27
118.97/29.89	c  S st   227     45761     18007     72512    511372     17137    891465   1860705     25.50     20.80
120.17/30.17	c  S st   227     46261     18007     72512    511372     17630    891465   1948001     25.50   no data
120.57/30.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
129.35/32.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  34667 BRemL: 187035 BRemN:     38 P: 28.6M T:  2.28
129.75/32.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
129.75/32.54	c bin-w-bin subsume rem            1 bins  time:  0.05 s
130.15/32.70	c subs with bin:     4818  lits-rem:         0  v-fix:    0  time:  0.15 s
130.97/32.83	c Subs w/ non-existent bins:     42 l-rem:      0 v-fix:     0 done:  18007 time:  0.13 s
131.35/32.93	c Removed useless bin:   35782  fixed:     0  props:   4.06M  time:  0.10 s
132.14/33.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
139.75/35.05	c subs with bin:       10  lits-rem:        76  v-fix:    0  time:  1.86 s
140.94/35.38	c lits-rem:       119  cl-subs:       91  v-elim:      0  v-fix:    0  time:  0.32 s
141.34/35.42	c vivif2 --  cl tried    67652 cl shrink        0 lits rem          0 time: 0.04
141.73/35.53	c vivif2 --  cl tried    17529 cl shrink     3505 lits rem      52437 time: 0.11
143.75/36.03	c asymm  cl-useful: 0/10467/67652 lits-rem:0 time: 0.49
143.75/36.05	c calculated reachability. Time: 0.01
143.75/36.05	c  N dy   227     46261     18007     67652    323319     17393    803266   1582422     25.50   no data
143.75/36.10	c Finding binary XORs  T:     0.05 s  found:       0
152.11/38.17	c  N dy   266     50359     18007     67652    325854     21469    803266   2481853     26.90     34.31
160.90/40.38	c  N dy   271     56265     18007     67652    325854     27323    803266   3280162     26.10     27.60
161.32/40.44	c Finding binary XORs  T:     0.05 s  found:       0
169.69/42.51	c  N dy   300     60318     18007     67652    341990     31353    803266   4112555     26.72     41.60
178.90/44.86	c  N dy   340     64406     18007     67652    341990     18288    803266   1183819     27.94     64.78
187.27/46.94	c  N dy   377     68583     18007     67652    341991     22457    803266   2096451     28.75     49.95
188.86/47.36	c  S st   386     69391     18007     67652    341991     23265    803266   2291906     28.98   no data
190.06/47.66	c  S st   386     69893     18007     67652    341991     23766    803266   2407856     28.98   no data
190.06/47.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
198.45/49.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     31 BRemL:  18934 BRemN:    102 P: 30.0M T:  2.04
198.45/49.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
198.45/49.78	c bin-w-bin subsume rem          132 bins  time:  0.03 s
199.25/49.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
199.65/50.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18007 time:  0.12 s
200.05/50.12	c Removed useless bin:     176  fixed:     0  props:   3.96M  time:  0.08 s
200.45/50.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
209.24/52.42	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  2.01 s
212.43/53.28	c lits-rem:        70  cl-subs:      118  v-elim:      0  v-fix:    0  time:  0.85 s
212.83/53.32	c vivif2 --  cl tried    67652 cl shrink        0 lits rem          0 time: 0.04
213.63/53.51	c vivif2 --  cl tried    23646 cl shrink     3196 lits rem     156286 time: 0.18
215.63/54.01	c asymm  cl-useful: 31/10528/67652 lits-rem:93 time: 0.50
215.63/54.03	c calculated reachability. Time: 0.01
215.63/54.04	c  N dy   386     69893     18007     67621    322709     23646    802679   2202623     28.98   no data
224.81/56.38	c  N dy   427     74415     18007     67621    322710     28138    802679   3241763     29.78     52.49
234.40/58.74	c  N dy   467     79254     18007     67621    322744     32944    802679   4258908     30.27     33.57
245.98/61.68	c  N dy   474     86186     18007     67621    322749     39833    802679   5661364     29.71     31.72
248.78/62.38	c  F st   486     87500     18007     67621    322749     21124    802679   1230235     29.91   no data
259.17/64.98	c  N dy   492     92691     18007     67621    322763     26279    802679   2871589     29.91   no data
270.35/67.70	c  N dy   530     98681     18007     67621    322763     32229    802679   4222369     30.45     32.30
284.34/71.28	c  S st   586    104839     18007     67621    322763     38337    802679   5763454     31.35   no data
285.53/71.56	c  S st   586    105340     18007     67621    322765     38830    802679   5840066     31.35   no data
285.53/71.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
295.51/74.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     15 BRemL:    138 BRemN:      0 P: 35.2M T:  2.46
295.51/74.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
295.91/74.10	c bin-w-bin subsume rem            0 bins  time:  0.04 s
296.31/74.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
296.72/74.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18007 time:  0.13 s
297.12/74.45	c Removed useless bin:      98  fixed:     0  props:   3.96M  time:  0.08 s
297.93/74.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
307.89/77.16	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  2.14 s
320.27/80.22	c lits-rem:       100  cl-subs:      236  v-elim:      0  v-fix:    0  time:  3.04 s
320.27/80.26	c vivif2 --  cl tried    67621 cl shrink        0 lits rem          0 time: 0.04
322.27/80.78	c vivif2 --  cl tried    38593 cl shrink     9371 lits rem     679506 time: 0.51
323.47/81.01	c asymm  cl-useful: 8/3023/67621 lits-rem:24 time: 0.23
323.47/81.04	c calculated reachability. Time: 0.01
323.47/81.04	c  N dy   586    105340     18007     67613    322555     38590    802475   5115332     31.35   no data
339.45/85.03	c  N dy   649    112131     18007     67613    322638     23418    802475   1365422     32.12     40.19
389.39/97.59	c  N dy   664    133601     18007     67613    322639     44768    802475   6088149     30.55     33.14
403.76/101.12	c  N dy   706    142177     18007     67613    322672     29882    802475   2340962     30.47     57.42
422.13/105.78	c  N dy   777    151284     18007     67613    322672     38907    802475   4269062     30.94     40.66
434.15/108.79	c  S st   807    158010     18007     67613    322672     45570    802475   5547665     30.98     24.03
435.32/109.08	c  S st   807    158515     18007     67613    322676     46064    802475   5612894     30.98   no data
435.72/109.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
446.10/111.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     57 BRemL:    148 BRemN:      0 P: 38.8M T:  2.67
446.10/111.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
446.50/111.83	c bin-w-bin subsume rem            1 bins  time:  0.04 s
446.92/111.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
447.32/112.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18007 time:  0.13 s
447.71/112.17	c Removed useless bin:      20  fixed:     0  props:   3.96M  time:  0.08 s
448.91/112.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
458.08/114.71	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  2.05 s
467.67/117.18	c lits-rem:       220  cl-subs:      347  v-elim:      0  v-fix:    0  time:  2.45 s
468.07/117.22	c vivif2 --  cl tried    67613 cl shrink        0 lits rem          0 time: 0.04
469.67/117.67	c vivif2 --  cl tried    45715 cl shrink     9504 lits rem     380910 time: 0.45
472.06/118.21	c asymm  cl-useful: 0/24154/67613 lits-rem:0 time: 0.54
472.06/118.23	c calculated reachability. Time: 0.01
472.06/118.23	c  N dy   807    158515     18007     67613    322566     45713    802435   5193533     30.98   no data
494.44/123.85	c  N dy   889    168760     18007     67613    322567     31354    802435   2872312     31.71     33.52
520.80/130.47	c  N dy   916    181161     18007     67613    322610     43655    802435   5451780     31.18     33.41
541.17/135.59	c  N dy   972    192815     18007     67613    322610     29523    802435   2033555     31.24     41.68
565.96/141.77	c  N dy  1064    205249     18007     67613    322612     41881    802435   4930466     31.74     33.42
587.11/147.03	c  N dy  1074    219084     18007     67613    322625     28873    802435   1716650     31.12     32.83
619.86/155.23	c  N dy  1202    233114     18007     67613    322629     42822    802435   5150619     31.85     44.45
631.05/158.06	c  S st  1240    237773     18007     67613    322630     47437    802435   6243234     32.05   no data
632.24/158.30	c  S st  1240    238278     18007     67613    322631     47930    802435   6313469     32.05   no data
632.24/158.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
643.43/161.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     41 BRemL:     74 BRemN:      0 P: 41.1M T:  2.79
643.43/161.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
643.43/161.18	c bin-w-bin subsume rem            1 bins  time:  0.04 s
644.23/161.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
644.65/161.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18007 time:  0.13 s
645.05/161.52	c Removed useless bin:       1  fixed:     0  props:   3.97M  time:  0.08 s
645.82/161.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
655.41/164.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.08 s
669.40/167.64	c lits-rem:       131  cl-subs:      331  v-elim:      0  v-fix:    0  time:  3.49 s
669.40/167.68	c vivif2 --  cl tried    67613 cl shrink        0 lits rem          0 time: 0.04
671.79/168.22	c vivif2 --  cl tried    47599 cl shrink    10195 lits rem     538576 time: 0.53
673.80/168.73	c asymm  cl-useful: 11/10827/67613 lits-rem:33 time: 0.51
673.80/168.75	c calculated reachability. Time: 0.01
673.80/168.75	c  N dy  1240    238278     18007     67602    322609     47597    802422   5732566     32.05   no data
710.14/177.88	c  N dy  1362    253490     18007     67602    322630     34973    802422   2956022     32.61     34.53
745.29/186.65	c  N dy  1474    269735     18007     67602    322683     51086    802422   7124619     32.98     47.35
781.64/195.71	c  N dy  1550    287004     18007     67602    322683     39494    802422   3702527     32.87     39.80
823.99/206.37	c  F st  1692    306251     18007     67602    322685     58636    802422   8487743     33.28     22.73
824.39/206.43	c  N st  1692    306251     18007     67602    322685     58636    802422   8487743     33.28     22.73
866.73/217.06	c  N dy  1753    325828     18007     67602    322686     48297    802422   6786565     33.23     50.74
912.26/228.45	c  N dy  1807    346172     18007     67602    322688     37724    802422   3069214     32.98     35.26
930.25/232.94	c  S st  1850    357417     18007     67602    322688     48854    802422   5760976     32.94     26.08
931.82/233.31	c  S st  1850    357919     18007     67602    322688     49348    802422   5848178     32.94   no data
931.82/233.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
943.84/236.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     61 BRemL:    117 BRemN:      0 P: 42.2M T:  3.02
943.84/236.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
944.21/236.42	c bin-w-bin subsume rem            1 bins  time:  0.04 s
944.61/236.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
945.01/236.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18007 time:  0.13 s
945.41/236.77	c Removed useless bin:       1  fixed:     0  props:   3.97M  time:  0.08 s
946.61/237.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
955.40/239.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.99 s
965.81/241.84	c lits-rem:       215  cl-subs:      284  v-elim:      0  v-fix:    0  time:  2.53 s
965.81/241.88	c vivif2 --  cl tried    67602 cl shrink        0 lits rem          0 time: 0.05
967.78/242.32	c vivif2 --  cl tried    49064 cl shrink     8943 lits rem     351806 time: 0.43
969.79/242.84	c asymm  cl-useful: 44/6192/67602 lits-rem:132 time: 0.52
969.79/242.87	c calculated reachability. Time: 0.01
969.79/242.87	c  N dy  1850    357919     18007     67558    322674     49064    802376   5460267     32.94   no data
1015.31/254.28	c  N dy  1947    378956     18007     67558    322750     38143    802376   2565961     32.96     35.51
1048.88/262.67	c  N dy  1993    399037     18007     67558    322751     58076    802376   7527630     32.70     51.68
1103.58/276.36	c  N dy  1999    419185     18007     67558    322754     45406    802376   5006610     32.33     34.17
1148.32/287.59	c  N dy  2095    439294     18007     67558    322754     65414    802376  10136511     32.40     34.21
1185.86/296.94	c  N dy  2169    459372     18007     67558    322755     51385    802376   4831849     32.22     45.48
1234.99/309.21	c  N dy  2296    479438     18007     67558    322759     36581    802376   1800132     32.45     52.51
1271.75/318.42	c  N dy  2388    499809     18007     67558    322765     56708    802376   6684804     32.48     34.42
1318.09/330.03	c  N dy  2498    521415     18007     67558    322765     42501    802376   3077207     32.57     34.48
1341.26/335.90	c  S st  2534    536880     18007     67558    322769     57821    802376   6510634     32.44   no data
1342.86/336.26	c  S st  2534    537387     18007     67558    322771     58324    802376   6608842     32.44   no data
1342.86/336.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1355.63/339.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    110 BRemL:    218 BRemN:      0 P: 45.3M T:  3.16
1355.63/339.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1356.03/339.51	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1356.45/339.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
1356.85/339.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18007 time:  0.12 s
1357.23/339.84	c Removed useless bin:      27  fixed:     0  props:   3.98M  time:  0.08 s
1358.03/340.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
1367.21/342.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.99 s
1376.40/344.63	c lits-rem:       316  cl-subs:      486  v-elim:      0  v-fix:    0  time:  2.23 s
1376.40/344.67	c vivif2 --  cl tried    67558 cl shrink        0 lits rem          0 time: 0.04
1378.42/345.14	c vivif2 --  cl tried    57838 cl shrink    10431 lits rem     361370 time: 0.46
1380.40/345.67	c asymm  cl-useful: 4/6038/67558 lits-rem:12 time: 0.53
1380.40/345.69	c calculated reachability. Time: 0.01
1380.40/345.69	c  N dy  2534    537387     18007     67554    322644     57834    802318   6196950     32.44   no data
1433.53/358.90	c  N dy  2698    557484     18007     67554    322709     41124    802318   2423706     32.86     36.70
1480.26/370.65	c  N dy  2873    577549     18007     67554    322710     61130    802318   7520042     33.23     58.80
1526.59/382.29	c  N dy  3013    597594     18007     67554    322712     43276    802318   2890283     33.47     66.29
1576.15/394.67	c  N dy  3186    617633     18007     67554    322713     63235    802318   8098858     33.82     57.97
1619.67/405.54	c  N dy  3299    637647     18007     67554    322714     44284    802318   2681931     33.87     60.38
1658.81/415.34	c  N dy  3332    660389     18007     67554    322714     66908    802318   8087835     33.68     35.68
1707.96/427.61	c  N dy  3451    682224     18007     67554    322805     48856    802318   3782518     33.75     35.59
1755.47/439.53	c  N dy  3535    703743     18007     67554    322944     70133    802318   8631771     33.67     36.21
1803.41/451.50	c  N dy  3678    723744     18007     67554    322946     49329    802318   3686415     33.87     35.94
1850.94/463.49	c  N dy  3831    743784     18007     67554    322950     69282    802318   9095182     34.11     52.90
1922.84/481.42	c  N dy  3941    773303     18007     67554    322951     56900    802318   4368857     33.99     36.82
1961.59/491.17	c  N dy  3960    793581     18007     67554    322952     77077    802318   9226745     33.79     35.95
1993.56/499.20	c  S st  4059    806080     18007     67554    322954     46735    802318   2558227     33.93     33.67
1995.14/499.52	c  S st  4059    806581     18007     67554    322954     47234    802318   2658181     33.93   no data
1995.14/499.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2006.32/502.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     85 BRemL:    273 BRemN:      0 P: 40.4M T:  2.75
2006.32/502.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2006.32/502.36	c bin-w-bin subsume rem            1 bins  time:  0.04 s
2006.74/502.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
2007.52/502.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18007 time:  0.14 s
2007.92/502.73	c Removed useless bin:      52  fixed:     0  props:   3.99M  time:  0.08 s
2008.71/502.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
2017.11/505.08	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  2.02 s
2020.33/505.89	c lits-rem:       106  cl-subs:      288  v-elim:      0  v-fix:    0  time:  0.79 s
2020.70/505.93	c vivif2 --  cl tried    67554 cl shrink        0 lits rem          0 time: 0.05
2021.50/506.12	c vivif2 --  cl tried    46944 cl shrink     2195 lits rem     145507 time: 0.18
2023.50/506.65	c asymm  cl-useful: 16/7854/67554 lits-rem:48 time: 0.53
2023.50/506.68	c calculated reachability. Time: 0.01
2023.50/506.68	c  N dy  4059    806581     18007     67538    322729     46944    802198   2503191     33.93   no data
2072.23/518.82	c  N dy  4188    827269     18007     67538    322808     67492    802198   7479815     34.01     35.99
2124.96/532.10	c  N dy  4311    848691     18007     67538    322808     45050    802198   1687444     34.10     35.91
2176.48/544.91	c  N dy  4429    874852     18007     67538    322810     71065    802198   8422057     34.10     36.14
2220.02/555.86	c  N dy  4549    894973     18007     67538    322814     46266    802198   1906169     34.13     35.95
2261.99/566.33	c  N dy  4616    916557     18007     67538    322815     67692    802198   7302608     34.06     35.90
2316.67/580.02	c  N dy  4621    941654     18007     67538    322816     47043    802198   1992830     33.79     35.76
2359.82/590.88	c  N dy  4680    963388     18007     67538    322822     68661    802198   8030313     33.73     35.55
2432.93/609.14	c  N dy  4758    999445     18007     67538    322823     57829    802198   5037213     33.51     35.43
2476.05/619.90	c  N dy  4871   1019471     18007     67538    322828     77692    802198  10199697     33.56     46.85
2529.99/633.41	c  N dy  5006   1039548     18007     67538    322829     49963    802198   2173532     33.67     36.10
2574.71/644.63	c  N dy  5061   1060018     18007     67538    322830     70347    802198   8371254     33.62     35.43
2597.88/650.41	c  F st  5110   1071875     18007     67538    322832     82049    802198  10951531     33.60   no data
2621.44/656.37	c  N dy  5128   1080606     18007     67538    322832     90709    802198  13534450     33.58     36.00
2669.77/668.44	c  N dy  5269   1100700     18007     67538    322833     61917    802198   5091204     33.68     57.81
2718.92/680.71	c  N dy  5362   1121813     18007     67538    322833     82902    802198  10327200     33.67     35.46
2763.23/691.81	c  N dy  5389   1142165     18007     67538    322836     53416    802198   2655670     33.54     35.49
2806.39/702.63	c  N dy  5499   1162763     18007     67538    322840     73869    802198   7586907     33.57     35.35
2847.51/712.95	c  N dy  5552   1182816     18007     67538    322841     93748    802198  12158785     33.47     38.07
2889.88/723.60	c  N dy  5649   1203074     18007     67538    323050     63273    802198   5052117     33.52     35.59
2904.64/727.24	c  S st  5654   1209871     18007     67538    323050     70059    802198   6801092     33.49     21.99
2906.23/727.63	c  S st  5654   1210375     18007     67538    323050     70559    802198   6902081     33.49   no data
2906.23/727.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2919.82/731.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     26 BRemL:    273 BRemN:      0 P: 48.2M T:  3.37
2919.82/731.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2919.82/731.09	c bin-w-bin subsume rem            0 bins  time:  0.04 s
2920.64/731.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
2921.04/731.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18007 time:  0.13 s
2921.41/731.44	c Removed useless bin:       6  fixed:     0  props:   4.01M  time:  0.08 s
2922.61/731.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
2931.80/734.06	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  2.02 s
2940.59/736.25	c lits-rem:       242  cl-subs:      558  v-elim:      0  v-fix:    0  time:  2.18 s
2940.59/736.29	c vivif2 --  cl tried    67538 cl shrink        0 lits rem          0 time: 0.04
2942.60/736.80	c vivif2 --  cl tried    70000 cl shrink     9870 lits rem     465185 time: 0.50
2944.98/737.34	c asymm  cl-useful: 0/5680/67538 lits-rem:0 time: 0.54
2944.98/737.37	c calculated reachability. Time: 0.01
2944.98/737.37	c  N dy  5654   1210375     18007     67538    322798     69999    802186   6387851     33.49   no data
2990.12/748.69	c  N dy  5718   1231581     18007     67538    322818     91081    802186  11920849     33.44     35.43
3037.24/760.48	c  N dy  5740   1255066     18007     67538    322930     62796    802186   4790082     33.29     35.12
3084.38/772.27	c  N dy  5850   1275137     18007     67538    322930     82776    802186  10197629     33.36     49.69
3130.32/783.76	c  N dy  5941   1295633     18007     67538    322934    103091    802186  15477959     33.35     35.11
3171.07/793.92	c  N dy  5986   1315841     18007     67538    322938     70375    802186   4282086     33.25     35.43
3221.78/806.62	c  N dy  6129   1336095     18007     67538    322939     90543    802186   9567195     33.39     35.33
3276.93/820.49	c  N dy  6227   1360108     18007     67538    322939     60768    802186   3077345     33.37     35.33
3314.86/829.96	c  N dy  6290   1380197     18007     67538    323063     80682    802186   7546798     33.30     55.12
3380.36/846.31	c  N dy  6456   1403467     18007     67538    323065    103845    802186  13654571     33.43     35.58
3416.70/855.46	c  N dy  6514   1425777     18007     67538    323068     71203    802186   4971290     33.35     35.75
3476.23/870.39	c  N dy  6601   1448961     18007     67538    323069     94253    802186  10750014     33.33     35.12
3534.14/884.81	c  N dy  6763   1468970     18007     67538    323071     58546    802186   2400799     33.48     44.25
3579.28/896.12	c  N dy  6865   1489286     18007     67538    323071     78737    802186   7707319     33.49     35.41
3625.62/907.76	c  N dy  6869   1509294     18007     67538    323071     98658    802186  12051470     33.36     35.20
3685.54/922.73	c  N dy  7047   1529295     18007     67538    323074     61933    802186   3143182     33.52     52.75
3737.45/935.79	c  N dy  7195   1549296     18007     67538    323075     81842    802186   8380891     33.62     43.69
3792.17/949.49	c  N dy  7349   1569388     18007     67538    323076    101855    802186  13564164     33.71     47.64
3847.31/963.24	c  N dy  7464   1592244     18007     67538    323079     66976    802186   4218941     33.74     35.53
3897.63/975.85	c  N dy  7614   1612319     18007     67538    323082     86927    802186   9521131     33.84     48.21
3954.35/990.07	c  N dy  7724   1632393     18007     67538    323085    106865    802186  14446475     33.85     58.28
4024.25/1007.50	c  N dy  7834   1660424     18007     67538    323089     76059    802186   5640104     33.82     35.81
4083.36/1022.39	c  N dy  7945   1685382     18007     67538    323091    100843    802186  11720928     33.80     35.97
4130.10/1034.00	c  N dy  8016   1705480     18007     67538    323278     61209    802186   2140223     33.79     46.92
4138.48/1036.18	c  S st  8033   1710375     18007     67538    323278     66016    802186   3419109     33.78     30.86
4140.09/1036.55	c  S st  8033   1710875     18007     67538    323280     66512    802186   3511039     33.78   no data
4140.09/1036.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4152.06/1039.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     54 BRemL:    334 BRemN:      0 P: 42.2M T:  2.98
4152.06/1039.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4152.46/1039.62	c bin-w-bin subsume rem            0 bins  time:  0.04 s
4152.86/1039.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
4153.27/1039.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18007 time:  0.13 s
4153.67/1039.97	c Removed useless bin:      44  fixed:     0  props:   4.03M  time:  0.08 s
4154.47/1040.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
4163.25/1042.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.96 s
4168.46/1043.66	c lits-rem:       214  cl-subs:      354  v-elim:      0  v-fix:    0  time:  1.33 s
4168.87/1043.70	c vivif2 --  cl tried    67538 cl shrink        0 lits rem          0 time: 0.04
4169.64/1043.95	c vivif2 --  cl tried    66158 cl shrink     3341 lits rem     191971 time: 0.25
4172.04/1044.50	c asymm  cl-useful: 0/6793/67538 lits-rem:0 time: 0.55
4172.04/1044.53	c calculated reachability. Time: 0.01
4172.04/1044.53	c  N dy  8033   1710875     18007     67538    322960     66154    802098   3303193     33.78   no data
4283.48/1072.44	c  N dy  8096   1749971     18007     67538    322993    105054    802098  11550205     33.63     35.92
4283.48/1072.49	c Finding binary XORs  T:     0.05 s  found:       0
4339.00/1086.36	c  N dy  8201   1772413     18007     67538    323194     66722    802098   3027227     33.64     35.42
4384.15/1097.61	c  N dy  8257   1792629     18007     67538    323194     86851    802098   7847672     33.57     35.35
4436.06/1110.60	c  N dy  8364   1812649     18007     67538    323197    106767    802098  13469218     33.61     41.17
4491.99/1124.68	c  N dy  8464   1833899     18007     67538    323198     66279    802098   2877770     33.61     35.73
4532.33/1134.74	c  N dy  8500   1853989     18007     67538    323202     86266    802098   7958139     33.54     40.70
4588.24/1148.73	c  N dy  8563   1873993     18007     67538    323299    106187    802098  12921605     33.51     52.93
4633.79/1160.14	c  N dy  8617   1895158     18007     67538    323301     64564    802098   2296737     33.44     36.89
4672.54/1169.80	c  N dy  8691   1915208     18007     67538    323305     84442    802098   7598126     33.44     38.59
4721.26/1182.08	c  N dy  8776   1935238     18007     67538    323310    104352    802098  13034292     33.43     50.25
4779.60/1196.68	c  N dy  8908   1955318     18007     67538    323313    124331    802098  18490072     33.51     61.56

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: 935)

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

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

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


[startup+0 s]
/proc/loadavg: 7.86 8.05 8.03 5/180 7330
/proc/meminfo: memFree=28060804/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 524532534 52441088 352 33554432000 4194304 4627427 140737295068608 18446744073709551615 47692663064498 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 12803 352 303 106 0 7774 0
[pid=7330/tid=7331] ppid=7328 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 4 0 524532534 52441088 352 33554432000 4194304 4627427 140737295068608 18446744073709551615 218905731003 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 524532534 52441088 352 33554432000 4194304 4627427 140737295068608 18446744073709551615 47692663064498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 524532534 52441088 352 33554432000 4194304 4627427 140737295068608 18446744073709551615 47692663064093 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0500649 s]
/proc/loadavg: 7.86 8.05 8.03 5/180 7330
/proc/meminfo: memFree=28060804/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=331184 CPUtime=0.31 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 24316 0 0 0 27 4 0 0 18 0 4 0 524532534 339132416 20132 33554432000 4194304 4627427 140737295068608 18446744073709551615 218905392161 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 83184 21394 341 106 0 78155 0
[pid=7330/tid=7331] ppid=7328 vsize=333396 CPUtime=0.11 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 6029 0 0 0 10 1 0 0 18 0 4 0 524532534 341397504 22580 33554432000 4194304 4627427 140737295068608 18446744073709551615 4504676 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=335076 CPUtime=0.12 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) D 7328 7330 6472 0 -1 4202560 6965 0 0 0 11 1 0 0 18 0 4 0 524532534 343117824 23723 33554432000 4194304 4627427 140737295068608 18446744073709551615 218905392161 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=335472 CPUtime=0.13 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) S 7328 7330 6472 0 -1 4202560 5978 0 0 0 12 1 0 0 18 0 4 0 524532534 343523328 24509 33554432000 4194304 4627427 140737295068608 18446744073709551615 218905836014 0 0 4096 2 18446604453891496064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 331184

[startup+0.328476 s]
/proc/loadavg: 7.86 8.05 8.03 5/180 7330
/proc/meminfo: memFree=28060804/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=349512 CPUtime=1.39 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 41811 0 0 0 127 12 0 0 18 0 4 0 524532534 357900288 37627 33554432000 4194304 4627427 140737295068608 18446744073709551615 218905836063 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 87378 38177 341 106 0 82349 0
[pid=7330/tid=7331] ppid=7328 vsize=349512 CPUtime=0.37 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) D 7328 7330 6472 0 -1 4202560 10101 0 0 0 35 2 0 0 18 0 4 0 524532534 357900288 38481 33554432000 4194304 4627427 140737295068608 18446744073709551615 218905392161 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=349644 CPUtime=0.36 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) D 7328 7330 6472 0 -1 4202560 10850 0 0 0 33 3 0 0 18 0 4 0 524532534 358035456 38612 33554432000 4194304 4627427 140737295068608 18446744073709551615 218905774263 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=349908 CPUtime=0.35 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 9138 0 0 0 33 2 0 0 18 0 4 0 524532534 358305792 38763 33554432000 4194304 4627427 140737295068608 18446744073709551615 218905836063 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 349512

[startup+1.14239 s]
/proc/loadavg: 7.86 8.05 8.03 5/180 7330
/proc/meminfo: memFree=28060804/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=354360 CPUtime=4.5 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 47256 0 0 0 436 14 0 0 18 0 4 0 524532534 362864640 43072 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308425 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 88590 43089 365 106 0 83561 0
[pid=7330/tid=7331] ppid=7328 vsize=354360 CPUtime=1.13 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 10952 0 0 0 110 3 0 0 19 0 4 0 524532534 362864640 43093 33554432000 4194304 4627427 140737295068608 18446744073709551615 4228567 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=354360 CPUtime=1.12 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 11701 0 0 0 108 4 0 0 19 0 4 0 524532534 362864640 43093 33554432000 4194304 4627427 140737295068608 18446744073709551615 4228567 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=354360 CPUtime=1.11 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 10439 0 0 0 108 3 0 0 18 0 4 0 524532534 362864640 43093 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 354360

[startup+1.2003 s]
/proc/loadavg: 7.86 8.05 8.03 5/180 7330
/proc/meminfo: memFree=28060804/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=354360 CPUtime=4.73 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 48275 0 0 0 459 14 0 0 19 0 4 0 524532534 362864640 44091 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308425 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 88590 44091 366 106 0 83561 0
[pid=7330/tid=7331] ppid=7328 vsize=354360 CPUtime=1.18 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 11317 0 0 0 115 3 0 0 19 0 4 0 524532534 362864640 44091 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=354360 CPUtime=1.18 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 11988 0 0 0 114 4 0 0 19 0 4 0 524532534 362864640 44091 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=354360 CPUtime=1.17 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 10460 0 0 0 114 3 0 0 19 0 4 0 524532534 362864640 44091 33554432000 4194304 4627427 140737295068608 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 354360

[startup+1.50024 s]
/proc/loadavg: 7.86 8.05 8.03 5/180 7330
/proc/meminfo: memFree=28060804/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=354360 CPUtime=5.93 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 52345 0 0 0 577 16 0 0 19 0 4 0 524532534 362864640 48161 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 88590 48162 366 106 0 83561 0
[pid=7330/tid=7331] ppid=7328 vsize=354360 CPUtime=1.48 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 12663 0 0 0 145 3 0 0 19 0 4 0 524532534 362864640 48162 33554432000 4194304 4627427 140737295068608 18446744073709551615 218905392161 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=354360 CPUtime=1.48 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 13315 0 0 0 144 4 0 0 19 0 4 0 524532534 362864640 48162 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=354360 CPUtime=1.47 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 10587 0 0 0 144 3 0 0 19 0 4 0 524532534 362864640 48162 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 354360

[startup+3.10696 s]
/proc/loadavg: 7.86 8.05 8.03 9/184 7334
/proc/meminfo: memFree=27788220/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=354360 CPUtime=12.34 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 70550 0 0 0 1213 21 0 0 23 0 4 0 524532534 362864640 66366 33554432000 4194304 4627427 140737295068608 18446744073709551615 4300118 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 88590 66366 378 106 0 83561 0
[pid=7330/tid=7331] ppid=7328 vsize=354360 CPUtime=3.09 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 18457 0 0 0 304 5 0 0 23 0 4 0 524532534 362864640 66366 33554432000 4194304 4627427 140737295068608 18446744073709551615 4508288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=354360 CPUtime=3.07 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 19268 0 0 0 301 6 0 0 23 0 4 0 524532534 362864640 66366 33554432000 4194304 4627427 140737295068608 18446744073709551615 4508188 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=354360 CPUtime=3.07 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 10895 0 0 0 304 3 0 0 23 0 4 0 524532534 362864640 66366 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 354360

[startup+6.30038 s]
/proc/loadavg: 7.87 8.05 8.03 9/184 7334
/proc/meminfo: memFree=27741224/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=560848 CPUtime=25.11 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 85701 0 0 0 2486 25 0 0 25 0 4 0 524532534 574308352 75651 33554432000 4194304 4627427 140737295068608 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 140212 75651 385 106 0 135183 0
[pid=7330/tid=7331] ppid=7328 vsize=560848 CPUtime=6.29 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 22920 0 0 0 623 6 0 0 25 0 4 0 524532534 574308352 75652 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=560848 CPUtime=6.25 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 23584 0 0 0 618 7 0 0 25 0 4 0 524532534 574308352 75652 33554432000 4194304 4627427 140737295068608 18446744073709551615 4310565 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=560848 CPUtime=6.27 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 12233 0 0 0 624 3 0 0 25 0 4 0 524532534 574308352 75652 33554432000 4194304 4627427 140737295068608 18446744073709551615 4299634 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 560848

[startup+12.7002 s]
/proc/loadavg: 7.88 8.04 8.03 9/184 7334
/proc/meminfo: memFree=27770788/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=517728 CPUtime=50.67 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 99998 0 0 0 5038 29 0 0 25 0 4 0 524532534 530153472 74489 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 129432 74489 387 106 0 124403 0
[pid=7330/tid=7331] ppid=7328 vsize=517728 CPUtime=12.68 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 27422 0 0 0 1261 7 0 0 25 0 4 0 524532534 530153472 74489 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=517728 CPUtime=12.62 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 27524 0 0 0 1254 8 0 0 25 0 4 0 524532534 530153472 74489 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=517728 CPUtime=12.66 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 14649 0 0 0 1263 3 0 0 25 0 4 0 524532534 530153472 74489 33554432000 4194304 4627427 140737295068608 18446744073709551615 4321694 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 517728

[startup+25.5009 s]
/proc/loadavg: 7.90 8.04 8.03 9/184 7334
/proc/meminfo: memFree=27670080/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=697844 CPUtime=101.79 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 150674 0 0 0 10136 43 0 0 25 0 4 0 524532534 714592256 109583 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 174461 109583 390 106 0 169432 0
[pid=7330/tid=7331] ppid=7328 vsize=697844 CPUtime=25.48 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 45488 0 0 0 2536 12 0 0 18 0 4 0 524532534 714592256 109583 33554432000 4194304 4627427 140737295068608 18446744073709551615 4425005 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=697844 CPUtime=25.34 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 40122 0 0 0 2522 12 0 0 25 0 4 0 524532534 714592256 109583 33554432000 4194304 4627427 140737295068608 18446744073709551615 4424704 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=697844 CPUtime=25.46 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 18343 0 0 0 2542 4 0 0 25 0 4 0 524532534 714592256 109583 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 697844

[startup+51.1003 s]
/proc/loadavg: 8.05 8.07 8.03 9/184 7335
/proc/meminfo: memFree=27550264/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=870448 CPUtime=204.04 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 211136 0 0 0 20347 57 0 0 25 0 4 0 524532534 891338752 138920 33554432000 4194304 4627427 140737295068608 18446744073709551615 4424686 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 217612 138920 390 106 0 212583 0
[pid=7330/tid=7331] ppid=7328 vsize=870448 CPUtime=51.07 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 57493 0 0 0 5093 14 0 0 25 0 4 0 524532534 891338752 138920 33554432000 4194304 4627427 140737295068608 18446744073709551615 4333042 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=870448 CPUtime=50.81 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 54036 0 0 0 5065 16 0 0 25 0 4 0 524532534 891338752 138920 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=870448 CPUtime=51.06 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 40464 0 0 0 5096 10 0 0 25 0 4 0 524532534 891338752 138920 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 870448

[startup+102.301 s]
/proc/loadavg: 8.15 8.09 8.04 9/184 7336
/proc/meminfo: memFree=27227088/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=1202712 CPUtime=408.56 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 363001 0 0 0 40759 97 0 0 25 0 4 0 524532534 1231577088 206810 33554432000 4194304 4627427 140737295068608 18446744073709551615 4332830 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 300678 206810 390 106 0 295649 0
[pid=7330/tid=7331] ppid=7328 vsize=1202712 CPUtime=102.27 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 103384 0 0 0 10203 24 0 0 25 0 4 0 524532534 1231577088 206810 33554432000 4194304 4627427 140737295068608 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=1202712 CPUtime=101.73 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 89650 0 0 0 10147 26 0 0 25 0 4 0 524532534 1231577088 206810 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=1202712 CPUtime=102.25 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 66629 0 0 0 10207 18 0 0 25 0 4 0 524532534 1231577088 206810 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.56
Current children cumulated vsize (KiB) 1202712

[startup+162.301 s]

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

[pid=7330] ppid=7328 vsize=1750068 CPUtime=2805.18 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 1513654 0 0 0 280079 439 0 0 25 0 4 0 524532534 1792069632 344562 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 437517 344562 390 106 0 432488 0
[pid=7330/tid=7331] ppid=7328 vsize=1750068 CPUtime=702.26 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 380370 0 0 0 70118 108 0 0 25 0 4 0 524532534 1792069632 344562 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=1750068 CPUtime=698.45 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 390364 0 0 0 69733 112 0 0 25 0 4 0 524532534 1792069632 344562 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=1750068 CPUtime=702.17 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 365158 0 0 0 70113 104 0 0 25 0 4 0 524532534 1792069632 344562 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.18
Current children cumulated vsize (KiB) 1750068

[startup+762.3 s]
/proc/loadavg: 8.12 8.07 8.04 9/184 7505
/proc/meminfo: memFree=27247716/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=1848308 CPUtime=3044.83 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 1625243 0 0 0 304011 472 0 0 25 0 4 0 524532534 1892667392 360223 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 462077 360223 390 106 0 457048 0
[pid=7330/tid=7331] ppid=7328 vsize=1848308 CPUtime=762.26 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 407946 0 0 0 76110 116 0 0 25 0 4 0 524532534 1892667392 360223 33554432000 4194304 4627427 140737295068608 18446744073709551615 4310574 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=1848308 CPUtime=758.11 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 415748 0 0 0 75693 118 0 0 25 0 4 0 524532534 1892667392 360223 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=1848308 CPUtime=762.17 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 393670 0 0 0 76105 112 0 0 25 0 4 0 524532534 1892667392 360223 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3044.83
Current children cumulated vsize (KiB) 1848308

[startup+822.3 s]
/proc/loadavg: 8.11 8.07 8.03 9/184 7506
/proc/meminfo: memFree=27138320/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=1732640 CPUtime=3284.5 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 1725855 0 0 0 327946 504 0 0 25 0 4 0 524532534 1774223360 366456 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 433160 366456 390 106 0 428131 0
[pid=7330/tid=7331] ppid=7328 vsize=1732640 CPUtime=822.26 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 434244 0 0 0 82102 124 0 0 25 0 4 0 524532534 1774223360 366456 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=1732640 CPUtime=817.79 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 440444 0 0 0 81653 126 0 0 25 0 4 0 524532534 1774223360 366456 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=1732640 CPUtime=822.16 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 418930 0 0 0 82096 120 0 0 25 0 4 0 524532534 1774223360 366456 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.5
Current children cumulated vsize (KiB) 1732640

[startup+882.301 s]
/proc/loadavg: 8.04 8.05 8.03 9/184 7508
/proc/meminfo: memFree=27125752/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=1917920 CPUtime=3524.15 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 1816298 0 0 0 351884 531 0 0 25 0 4 0 524532534 1963950080 384807 33554432000 4194304 4627427 140737295068608 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 479480 384807 390 106 0 474451 0
[pid=7330/tid=7331] ppid=7328 vsize=1917920 CPUtime=882.26 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 455308 0 0 0 88096 130 0 0 25 0 4 0 524532534 1963950080 384807 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=1917920 CPUtime=877.46 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 462310 0 0 0 87613 133 0 0 25 0 4 0 524532534 1963950080 384807 33554432000 4194304 4627427 140737295068608 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=1917920 CPUtime=882.15 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 445601 0 0 0 88088 127 0 0 25 0 4 0 524532534 1963950080 384807 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.15
Current children cumulated vsize (KiB) 1917920

[startup+942.301 s]
/proc/loadavg: 8.01 8.04 8.02 9/184 7510
/proc/meminfo: memFree=27121880/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=1905432 CPUtime=3763.81 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 1916607 0 0 0 375820 561 0 0 25 0 4 0 524532534 1951162368 384905 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 476358 384905 390 106 0 471329 0
[pid=7330/tid=7331] ppid=7328 vsize=1905432 CPUtime=942.25 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 481769 0 0 0 94087 138 0 0 25 0 4 0 524532534 1951162368 384905 33554432000 4194304 4627427 140737295068608 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=1905432 CPUtime=937.14 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 489915 0 0 0 93573 141 0 0 25 0 4 0 524532534 1951162368 384905 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=1905432 CPUtime=942.14 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 468727 0 0 0 94079 135 0 0 25 0 4 0 524532534 1951162368 384905 33554432000 4194304 4627427 140737295068608 18446744073709551615 4333021 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.81
Current children cumulated vsize (KiB) 1905432

[startup+1002.3 s]
/proc/loadavg: 8.07 8.05 8.02 9/184 7511
/proc/meminfo: memFree=27056628/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=1890148 CPUtime=4003.48 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 2019746 0 0 0 399754 594 0 0 25 0 4 0 524532534 1935511552 395191 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 472537 395191 390 106 0 467508 0
[pid=7330/tid=7331] ppid=7328 vsize=1890148 CPUtime=1002.25 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 508983 0 0 0 100078 147 0 0 25 0 4 0 524532534 1935511552 395191 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=1890148 CPUtime=996.81 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 519809 0 0 0 99531 150 0 0 25 0 4 0 524532534 1935511552 395191 33554432000 4194304 4627427 140737295068608 18446744073709551615 4332937 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=1890148 CPUtime=1002.13 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 490926 0 0 0 100070 143 0 0 25 0 4 0 524532534 1935511552 395191 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.48
Current children cumulated vsize (KiB) 1890148

[startup+1062.3 s]
/proc/loadavg: 8.08 8.05 8.02 9/184 7513
/proc/meminfo: memFree=27138684/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=1870340 CPUtime=4243.15 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 2114496 0 0 0 423688 627 0 0 25 0 4 0 524532534 1915228160 373430 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 467585 373430 390 106 0 462556 0
[pid=7330/tid=7331] ppid=7328 vsize=1870340 CPUtime=1062.25 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 531228 0 0 0 106071 154 0 0 25 0 4 0 524532534 1915228160 373430 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=1870340 CPUtime=1056.48 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 549855 0 0 0 105487 161 0 0 25 0 4 0 524532534 1915228160 373430 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=1870340 CPUtime=1062.13 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 511835 0 0 0 106063 150 0 0 25 0 4 0 524532534 1915228160 373430 33554432000 4194304 4627427 140737295068608 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.15
Current children cumulated vsize (KiB) 1870340

[startup+1122.3 s]
/proc/loadavg: 8.14 8.07 8.03 9/184 7514
/proc/meminfo: memFree=26944352/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=2054264 CPUtime=4482.8 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 2214042 0 0 0 447618 662 0 0 25 0 4 0 524532534 2103566336 414456 33554432000 4194304 4627427 140737295068608 18446744073709551615 4324104 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 513566 414456 390 106 0 508537 0
[pid=7330/tid=7331] ppid=7328 vsize=2054264 CPUtime=1122.25 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 557093 0 0 0 112061 164 0 0 25 0 4 0 524532534 2103566336 414456 33554432000 4194304 4627427 140737295068608 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=2054264 CPUtime=1116.16 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 576193 0 0 0 111446 170 0 0 25 0 4 0 524532534 2103566336 414456 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=2054264 CPUtime=1122.12 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 534818 0 0 0 112054 158 0 0 25 0 4 0 524532534 2103566336 414456 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.8
Current children cumulated vsize (KiB) 2054264

[startup+1182.31 s]
/proc/loadavg: 8.10 8.07 8.03 9/184 7516
/proc/meminfo: memFree=26922372/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=2051812 CPUtime=4722.48 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 2346534 0 0 0 471547 701 0 0 25 0 4 0 524532534 2101055488 418578 33554432000 4194304 4627427 140737295068608 18446744073709551615 4321810 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 512953 418579 390 106 0 507924 0
[pid=7330/tid=7331] ppid=7328 vsize=2051812 CPUtime=1182.25 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 579913 0 0 0 118052 173 0 0 25 0 4 0 524532534 2101055488 418579 33554432000 4194304 4627427 140737295068608 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=2051812 CPUtime=1175.83 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 630669 0 0 0 117402 181 0 0 25 0 4 0 524532534 2101055488 418579 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309379 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=2051812 CPUtime=1182.12 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 559086 0 0 0 118046 166 0 0 25 0 4 0 524532534 2101055488 418579 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.48
Current children cumulated vsize (KiB) 2051812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.14 8.08 8.03 9/184 7517
/proc/meminfo: memFree=26942952/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=2130792 CPUtime=4800.36 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 2377235 0 0 0 479325 711 0 0 25 0 4 0 524532534 2181931008 412095 33554432000 4194304 4627427 140737295068608 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 532698 412095 390 106 0 527669 0
[pid=7330/tid=7331] ppid=7328 vsize=2130792 CPUtime=1201.74 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 586813 0 0 0 120000 174 0 0 25 0 4 0 524532534 2181931008 412095 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=2130792 CPUtime=1195.22 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 640044 0 0 0 119338 184 0 0 25 0 4 0 524532534 2181931008 412095 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=2130792 CPUtime=1201.61 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 567236 0 0 0 119992 169 0 0 25 0 4 0 524532534 2181931008 412095 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 2130792

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

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

[startup+1201.8 s]
/proc/loadavg: 8.14 8.08 8.03 9/184 7517
/proc/meminfo: memFree=26942952/32951124 swapFree=67111356/67111528
[pid=7330] ppid=7328 vsize=2130792 CPUtime=4800.36 cores=0,2,4,6
/proc/7330/stat : 7330 (strangenight2-m) R 7328 7330 6472 0 -1 4202496 2377235 0 0 0 479325 711 0 0 25 0 4 0 524532534 2181931008 412095 33554432000 4194304 4627427 140737295068608 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7330/statm: 532698 412095 390 106 0 527669 0
[pid=7330/tid=7331] ppid=7328 vsize=2130792 CPUtime=1201.74 cores=0,2,4,6
/proc/7330/task/7331/stat : 7331 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 586813 0 0 0 120000 174 0 0 25 0 4 0 524532534 2181931008 412095 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7330/tid=7332] ppid=7328 vsize=2130792 CPUtime=1195.22 cores=0,2,4,6
/proc/7330/task/7332/stat : 7332 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 640044 0 0 0 119338 184 0 0 25 0 4 0 524532534 2181931008 412095 33554432000 4194304 4627427 140737295068608 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7330/tid=7333] ppid=7328 vsize=2130792 CPUtime=1201.61 cores=0,2,4,6
/proc/7330/task/7333/stat : 7333 (strangenight2-m) R 7328 7330 6472 0 -1 4202560 567236 0 0 0 119992 169 0 0 25 0 4 0 524532534 2181931008 412095 33554432000 4194304 4627427 140737295068608 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 2130792

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.89
CPU time (s): 4800.47
CPU user time (s): 4793.28
CPU system time (s): 7.19091
CPU usage (%): 399.41
Max. virtual memory (cumulated for all children) (KiB): 2448172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.28
system time used= 7.19091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2377243
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= 5904
involuntary context switches= 20043

runsolver used 1.9867 second user time and 4.55631 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-30 04:09:08
IDJOB=3265455
IDBENCH=85640
IDSOLVER=1586
FILE ID=node137/3265455-1304129347
RUNJOBID= node137-1304126897-6490
PBS_JOBID= 13170770
Free space on /tmp= 73188 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3265455-1304129347/watcher-3265455-1304129347 -o /tmp/evaluation-result-3265455-1304129347/solver-3265455-1304129347 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3265455-1304129347.cnf

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

MD5SUM BENCH= 4229175ff4382a4625ce92a19d20dde4
RANDOM SEED=1899194582

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28061208 kB
Buffers:        909880 kB
Cached:        2516476 kB
SwapCached:         48 kB
Active:        1109480 kB
Inactive:      3323240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28061208 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           18180 kB
Writeback:           8 kB
AnonPages:     1005744 kB
Mapped:          15524 kB
Slab:           392480 kB
PageTables:       6800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1347068 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= 73184 MiB
End job on node137 at 2011-04-30 04:29:12