Trace number 3368509

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.18 1202.98

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf
MD5SUM839440d6b1cc9d3b4faa8d33a4dd7359
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.1582
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.03	c This is CryptoMiniSat 2.9.0
0.00/0.03	c compiled with gcc version 4.4.5
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3368509-1305395046.cnf'
0.00/0.03	c -- header says num vars:          20000
0.00/0.03	c -- header says num clauses:       84000
0.32/0.14	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.32/0.14	c -- vars added      20000
0.32/0.14	c Parsing time:  0.23 s
0.32/0.14	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.32/0.25	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.23
0.32/0.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.15
0.91/0.33	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.91/0.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.91/0.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.02 s
0.91/0.33	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.03 s
1.55/1.03	c lits-rem:         0  cl-subs:        0  v-elim:    728  v-fix:    0  time:  0.79 s
1.55/1.03	c Finding binary XORs  T:     0.02 s  found:       0
1.55/1.03	c Finding non-binary XORs:     0.15 s (found:       0, avg size: nan)
1.55/1.03	c calculated reachability. Time: 0.00
1.55/1.03	c Calc default polars -  time:   0.02 s pos:    8896 undec:    2384 neg:    8720
1.55/1.03	c =========================================================================================
1.55/1.03	c types(t): F = full restart, N = normal restart
1.55/1.03	c types(t): S = simplification begin/end, E = solution found
1.55/1.03	c restart types(rt): st = static, dy = dynamic
1.55/1.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.55/1.03	c  B st     0         0     19272     83150         0         0    253638         0   no data   no data  --
5.88/1.53	c  N dy    22      4054     19272     83150         0      4054    253638    822769    116.89    134.38  --
9.86/2.54	c  N dy    53      8157     19272     83150         0      8157    253638   1610853    121.28    128.32  --
13.85/3.57	c  N dy    84     12216     19272     83150         0     12216    253638   2409074    123.64    137.16  --
18.24/4.64	c  N dy   112     16282     19272     83150         0     16282    253638   3208655    124.12    131.88  --
23.03/5.80	c  N dy   145     20362     19272     83150         0     10365    253638    611364    126.70    136.86  --
27.02/6.87	c  N dy   173     24497     19272     83150         0     14499    253638   1456774    127.00    134.07  --
27.82/7.01	c  F st   177     25003     19272     83150         0     15005    253638   1562241    127.04    104.79  --
33.40/8.47	c  N dy   183     30001     19272     83150         0     20002    253638   2908512    127.04   no data  --
33.40/8.47	c  S st   183     30001     19272     83150         0     20002    253638   2908512    127.04   no data  --
34.20/8.61	c  S st   183     30505     19272     83150         0     20506    253638   2982819    127.04   no data  --
34.20/8.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
34.20/8.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.60/8.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.37
35.79/9.02	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.79/9.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.79/9.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
35.79/9.04	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
56.54/14.27	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time: 20.72 s
56.94/14.38	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.45
56.94/14.38	c calculated reachability. Time: 0.00
56.94/14.38	c  N dy   183     30505     19272     83150         0     20504    253638   2981829    127.04   no data  --
62.52/15.73	c  N dy   212     34591     19272     83150         0     24590    253638   3805153    127.26    134.52  --
67.73/17.08	c  N dy   239     38675     19272     83150         0     28674    253638   4623449    127.19    139.52  --
73.29/18.44	c  N dy   266     42758     19272     83150         0     17257    253638   1029479    127.20    133.99  --
77.29/19.43	c  S st   289     45759     19272     83150         0     20258    253638   1657980    127.55    127.61  --
77.69/19.57	c  S st   289     46262     19272     83150         0     20761    253638   1725537    127.55   no data  --
77.69/19.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
77.69/19.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.09/19.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.39
78.88/19.81	c bin-w-bin subsume rem            0 bins  time:  0.02 s
78.88/19.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
78.88/19.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
78.88/19.83	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
93.25/23.42	c lits-rem:         7  cl-subs:        0  v-elim:      0  v-fix:    0  time: 14.29 s
93.25/23.43	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
93.25/23.45	c vivif2 --  cl tried    20761 cl shrink        0 lits rem          0 time: 0.10
93.65/23.56	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.43
93.65/23.56	c calculated reachability. Time: 0.00
93.65/23.56	c  N dy   289     46262     19272     83150         0     20761    253638   1725530    127.55   no data  --
98.46/24.80	c  N dy   319     50318     19272     83150         0     24817    253638   2562681    127.92    136.45  --
103.62/26.05	c  N dy   348     54379     19272     83150         0     28877    253638   3382858    128.11    140.08  --
109.21/27.40	c  N dy   379     58611     19272     83150         0     33109    253638   4252588    128.29    136.63  --
114.40/28.71	c  N dy   409     62690     19272     83150         0     37188    253638   5061881    128.25    150.63  --
119.19/29.92	c  N dy   433     66713     19272     83150         0     22463    253638   1384358    127.99    136.56  --
122.38/30.71	c  S st   453     69393     19272     83150         0     25143    253638   1907431    128.00    127.76  --
122.78/30.87	c  S st   453     69902     19272     83150         0     25652    253638   1984886    128.00   no data  --
122.78/30.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
122.78/30.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
123.18/30.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.40
123.98/31.13	c bin-w-bin subsume rem            0 bins  time:  0.02 s
123.98/31.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
123.98/31.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
123.98/31.15	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
139.93/35.15	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time: 15.89 s
139.93/35.16	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
139.93/35.19	c vivif2 --  cl tried    25652 cl shrink        0 lits rem          0 time: 0.11
140.74/35.30	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.47
140.74/35.31	c calculated reachability. Time: 0.00
140.74/35.31	c  N dy   453     69902     19272     83150         0     25652    253638   1984883    128.00   no data  --
146.33/36.70	c  N dy   483     74424     19272     83150         0     30174    253638   2912403    128.16    135.72  --
152.31/38.20	c  N dy   517     79268     19272     83150         0     35018    253638   3909683    128.25    137.66  --
158.69/39.85	c  N dy   552     84371     19272     83150         0     40121    253638   4938000    128.32    138.70  --
162.68/40.88	c  F st   577     87500     19272     83150         0     22376    253638    931672    128.57   no data  --
166.67/41.86	c  N st   582     90798     19272     83150         0     25673    253638   1742623    128.57   no data  --
174.65/43.80	c  N dy   611     96885     19272     83150         0     31760    253638   3184022    128.57    139.33  --
183.02/45.95	c  N dy   655    103218     19272     83150         0     38092    253638   4464949    128.58    137.80  --
185.42/46.50	c  S st   669    104854     19272     83150         0     39727    253638   4809462    128.68   no data  --
185.82/46.67	c  S st   669    105358     19272     83150         0     40231    253638   4882281    128.68   no data  --
185.82/46.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
185.82/46.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
186.24/46.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.44
187.81/47.14	c bin-w-bin subsume rem            0 bins  time:  0.02 s
187.81/47.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
187.81/47.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
187.81/47.16	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
382.16/95.89	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 194.16 s
382.56/95.90	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.03
382.56/95.97	c vivif2 --  cl tried    40228 cl shrink        0 lits rem          0 time: 0.27
383.36/96.11	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.58
383.36/96.12	c calculated reachability. Time: 0.00
383.36/96.12	c  N dy   669    105358     19272     83150         0     40228    253638   4881075    128.68   no data  --
392.13/98.31	c  N dy   717    112123     19272     83150         0     24559    253638    994274    128.87    135.67  --
400.92/100.50	c  N dy   770    119305     19272     83150         0     31741    253638   2519225    129.12    136.40  --
410.53/102.96	c  N dy   824    126978     19272     83150         0     39412    253638   4096427    129.22    136.39  --
421.66/105.71	c  N dy   877    135105     19272     83150         0     23819    253638    564412    129.26    156.53  --
432.48/108.49	c  N dy   941    143762     19272     83150         0     32473    253638   2322156    129.44    136.73  --
445.23/111.66	c  N dy   996    153065     19272     83150         0     41776    253638   4235345    129.30    143.72  --
451.99/113.38	c  S st  1028    158038     19272     83150         0     46749    253638   5242424    129.31   no data  --
452.79/113.55	c  S st  1028    158545     19272     83150         0     47256    253638   5317946    129.31   no data  --
452.79/113.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
452.79/113.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
453.19/113.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.47
454.79/114.00	c bin-w-bin subsume rem            0 bins  time:  0.02 s
454.79/114.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
454.79/114.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.02 s
454.79/114.02	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
708.20/177.59	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 253.25 s
708.20/177.60	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.03
708.61/177.68	c vivif2 --  cl tried    47250 cl shrink        0 lits rem          0 time: 0.30
709.39/177.84	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.67
709.39/177.85	c calculated reachability. Time: 0.00
709.39/177.85	c  N dy  1028    158545     19272     83150         0     47250    253638   5315895    129.31   no data  --
722.96/181.28	c  N dy  1098    168733     19272     83150         0     32582    253638   2111242    129.38    146.27  --
738.12/185.05	c  N dy  1172    179701     19272     83150         0     43550    253638   4391963    129.56    139.42  --
754.48/189.11	c  N dy  1246    191246     19272     83150         0     29169    253638   1174583    129.59    137.45  --
770.48/193.19	c  N dy  1329    203456     19272     83150         0     41379    253638   3662757    129.63    138.85  --
789.60/197.95	c  N dy  1415    216492     19272     83150         0     27451    253638    571787    129.68    141.56  --
807.96/202.56	c  N dy  1511    230444     19272     83150         0     41403    253638   3427744    129.78    140.25  --
818.36/205.18	c  S st  1563    237817     19272     83150         0     48776    253638   4929500    129.80   no data  --
819.13/205.38	c  S st  1563    238322     19272     83150         0     49281    253638   5004744    129.80   no data  --
819.53/205.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
819.53/205.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
819.93/205.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.50
821.13/205.82	c bin-w-bin subsume rem            0 bins  time:  0.03 s
821.13/205.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
821.13/205.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
821.13/205.85	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1059.37/265.52	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time: 237.37 s
1059.37/265.53	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
1059.37/265.60	c vivif2 --  cl tried    49276 cl shrink        0 lits rem          0 time: 0.29
1060.20/265.77	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.67
1060.20/265.78	c calculated reachability. Time: 0.00
1060.20/265.78	c  N dy  1563    238322     19272     83150         0     49276    253638   5003173    129.80   no data  --
1082.50/271.34	c  N dy  1668    253594     19272     83150         0     36566    253638   2266829    129.97    168.78  --
1106.45/277.37	c  N dy  1781    270511     19272     83150         0     53483    253638   5806941    130.03    137.33  --
1130.78/283.49	c  N dy  1903    287866     19272     83150         0     41847    253638   3140476    130.18    138.19  --
1158.33/290.35	c  F st  2029    306250     19272     83150         0     30232    253638    504458    130.28   no data  --
1158.33/290.38	c  N st  2029    306250     19272     83150         0     30232    253638    504458    130.28   no data  --
1185.86/297.21	c  N dy  2130    326099     19272     83150         0     50081    253638   4806133    130.23    141.25  --
1214.99/304.58	c  N dy  2272    346170     19272     83150         0     39159    253638   2151341    130.35    168.59  --
1230.98/308.58	c  S st  2345    357484     19272     83150         0     50473    253638   4489055    130.41   no data  --
1231.75/308.77	c  S st  2345    357987     19272     83150         0     50976    253638   4563405    130.41   no data  --
1231.75/308.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1231.75/308.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1232.55/308.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.50
1233.34/309.19	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1233.75/309.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1233.75/309.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
1233.75/309.22	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1408.52/353.06	c lits-rem:         7  cl-subs:        2  v-elim:      0  v-fix:    0  time: 174.64 s
1408.52/353.07	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
1408.92/353.14	c vivif2 --  cl tried    50974 cl shrink        0 lits rem          0 time: 0.28
1409.72/353.32	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.72
1409.72/353.33	c calculated reachability. Time: 0.00
1409.72/353.33	c  N dy  2345    357987     19272     83150         0     50974    253638   4563106    130.41   no data  --
1440.84/361.11	c  N dy  2483    378013     19272     83150         0     38998    253638   1928775    130.49    154.57  --
1471.17/368.75	c  N dy  2624    398102     19272     83150         0     59085    253638   6086620    130.60    138.30  --
1501.50/376.36	c  N dy  2762    418115     19272     83150         0     46100    253638   3153927    130.69    137.59  --
1533.85/384.49	c  N dy  2895    438288     19272     83150         0     66272    253638   7290614    130.71    144.15  --
1562.55/391.63	c  N dy  3031    458340     19272     83150         0     52324    253638   4240818    130.83    138.92  --
1593.66/399.43	c  N dy  3170    478377     19272     83150         0     37369    253638    926382    130.93    147.65  --
1622.79/406.72	c  N dy  3302    498417     19272     83150         0     57407    253638   5080206    130.91    138.72  --
1653.52/414.41	c  N dy  3433    518470     19272     83150         0     41462    253638   1613070    130.93    139.70  --
1680.26/421.19	c  S st  3559    536981     19272     83150         0     59970    253638   5464968    130.99   no data  --
1681.46/421.40	c  S st  3559    537484     19272     83150         0     60473    253638   5539038    130.99   no data  --
1681.46/421.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1681.46/421.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1681.86/421.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.53
1683.07/421.88	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1683.07/421.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1683.07/421.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
1683.07/421.91	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1981.99/496.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time: 298.20 s
1981.99/496.76	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
1982.34/496.84	c vivif2 --  cl tried    60473 cl shrink        0 lits rem          0 time: 0.31
1983.15/497.02	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.75
1983.15/497.03	c calculated reachability. Time: 0.00
1983.15/497.03	c  N dy  3559    537484     19272     83150         0     60473    253638   5539038    130.99   no data  --
2012.31/504.38	c  N dy  3693    557519     19272     83150         0     43509    253638   1813848    131.02    138.98  --
2040.62/511.43	c  N dy  3822    577536     19272     83150         0     63522    253638   5942066    130.98    137.90  --
2070.14/518.84	c  N dy  3951    597585     19272     83150         0     45572    253638   2000665    130.97    147.94  --
2098.48/525.97	c  N dy  4079    617676     19272     83150         0     65663    253638   6103584    130.91    138.95  --
2128.02/533.39	c  N dy  4209    637782     19272     83150         0     46775    253638   2052174    130.87    139.88  --
2157.16/540.65	c  N dy  4337    658016     19272     83150         0     67007    253638   6191806    130.86    142.18  --
2187.07/548.19	c  N dy  4471    678101     19272     83150         0     47094    253638   1921001    130.89    193.69  --
2216.60/555.55	c  N dy  4616    698138     19272     83150         0     67130    253638   6138275    130.96    138.70  --
2247.34/563.25	c  N dy  4744    718199     19272     83150         0     46190    253638   1511216    130.92    141.20  --
2276.11/570.45	c  N dy  4874    738228     19272     83150         0     66218    253638   5641131    130.94    145.82  --
2307.99/578.48	c  N dy  5014    758313     19272     83150         0     44299    253638    949365    130.99    141.92  --
2336.71/585.66	c  N dy  5138    778375     19272     83150         0     64361    253638   5088754    130.99    142.96  --
2370.23/594.07	c  N dy  5273    798394     19272     83150         0     84377    253638   9261278    131.00    161.39  --
2382.21/597.05	c  S st  5328    806227     19272     83150         0     49217    253638   1789440    131.02    117.70  --
2383.01/597.25	c  S st  5328    806730     19272     83150         0     49720    253638   1868838    131.02   no data  --
2383.01/597.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2383.01/597.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2383.41/597.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
2384.20/597.51	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2384.20/597.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2384.20/597.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
2384.20/597.53	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
2402.98/602.29	c lits-rem:         8  cl-subs:        3  v-elim:      0  v-fix:    0  time: 18.96 s
2402.98/602.30	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
2403.39/602.33	c vivif2 --  cl tried    49717 cl shrink        0 lits rem          0 time: 0.12
2404.15/602.51	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.69
2404.15/602.51	c calculated reachability. Time: 0.00
2404.15/602.51	c  N dy  5328    806730     19272     83150         0     49717    253638   1868112    131.02   no data  --
2435.68/610.49	c  N dy  5460    826780     19272     83150         0     69767    253638   5984907    131.01    137.95  --
2471.60/619.40	c  N dy  5592    846805     19272     83150         0     45791    253638    823733    131.04    139.16  --
2501.13/626.88	c  N dy  5719    866826     19272     83150         0     65810    253638   4933813    131.01    138.09  --
2535.44/635.40	c  N dy  5855    886910     19272     83150         0     85894    253638   9131234    131.05    140.52  --
2566.96/643.34	c  N dy  5991    906946     19272     83150         0     60932    253638   3743602    131.07    146.49  --
2601.68/652.07	c  N dy  6129    927014     19272     83150         0     81000    253638   7922266    131.09    143.66  --
2637.20/660.90	c  N dy  6264    947280     19272     83150         0     55267    253638   2465044    131.12    138.71  --
2670.33/669.23	c  N dy  6398    967348     19272     83150         0     75334    253638   6600404    131.12    144.77  --
2707.83/678.64	c  N dy  6542    987420     19272     83150         0     48404    253638    743372    131.15    139.41  --
2739.75/686.60	c  N dy  6678   1007521     19272     83150         0     68502    253638   4882687    131.17    141.15  --
2776.09/695.72	c  N dy  6819   1027667     19272     83150         0     88648    253638   9076799    131.21    139.30  --
2810.00/704.29	c  N dy  6953   1047701     19272     83150         0     60688    253638   3180522    131.23    158.22  --
2844.71/712.90	c  N dy  7087   1067765     19272     83150         0     80749    253638   7332127    131.23    138.78  --
2851.89/714.71	c  F st  7117   1071875     19272     83150         0     84858    253638   8212620    131.25   no data  --
2880.22/721.87	c  N dy  7197   1088123     19272     83150         0     52105    253638   1132593    131.26    141.66  --
2911.35/729.66	c  N dy  7337   1108155     19272     83150         0     72135    253638   5340595    131.30    139.21  --
2946.87/738.58	c  N dy  7475   1128384     19272     83150         0     92363    253638   9574099    131.34    138.36  --
2980.39/746.91	c  N dy  7612   1148497     19272     83150         0     62483    253638   3110029    131.35    138.79  --
3012.31/754.97	c  N dy  7750   1168635     19272     83150         0     82619    253638   7333883    131.39    139.70  --
3047.82/763.83	c  N dy  7885   1188640     19272     83150         0     51625    253638    616096    131.41    140.61  --
3077.75/771.30	c  N dy  8024   1208723     19272     83150         0     71703    253638   4856970    131.46    144.14  --
3079.74/771.83	c  S st  8031   1210095     19272     83150         0     73075    253638   5143838    131.45   no data  --
3080.54/772.05	c  S st  8031   1210602     19272     83150         0     73582    253638   5222851    131.45   no data  --
3080.54/772.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3080.54/772.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3081.34/772.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.56
3082.54/772.51	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3082.54/772.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3082.54/772.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
3082.54/772.53	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
3356.68/841.25	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 273.79 s
3356.68/841.26	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
3357.08/841.33	c vivif2 --  cl tried    73576 cl shrink        0 lits rem          0 time: 0.30
3357.88/841.55	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.85
3357.88/841.55	c calculated reachability. Time: 0.00
3357.88/841.55	c  N dy  8031   1210602     19272     83150         0     73576    253638   5219300    131.45   no data  --
3391.04/849.88	c  N dy  8156   1230610     19272     83150         0     93582    253638   9303520    131.42    142.98  --
3423.73/858.05	c  N dy  8293   1250629     19272     83150         0     61605    253638   2482763    131.45    148.55  --
3455.65/866.00	c  N dy  8430   1270820     19272     83150         0     81794    253638   6675007    131.46    139.21  --
3490.77/874.83	c  N dy  8570   1290951     19272     83150         0    101924    253638  10865615    131.48    138.57  --
3521.90/882.61	c  N dy  8705   1310974     19272     83150         0     68953    253638   3802515    131.47    165.82  --
3554.22/890.79	c  N dy  8835   1331074     19272     83150         0     89053    253638   8067757    131.49    145.46  --
3590.52/899.85	c  N dy  8971   1351080     19272     83150         0     55057    253638    731913    131.51    141.98  --
3620.85/907.45	c  N dy  9114   1371163     19272     83150         0     75140    253638   4899668    131.53    144.87  --
3654.41/915.87	c  N dy  9246   1391170     19272     83150         0     95145    253638   9069528    131.55    142.63  --
3689.53/924.63	c  N dy  9376   1411175     19272     83150         0     60152    253638   1605432    131.55    190.72  --
3720.61/932.44	c  N dy  9508   1431236     19272     83150         0     80213    253638   5761971    131.55    140.57  --
3757.33/941.61	c  N dy  9645   1451246     19272     83150         0    100223    253638   9974407    131.57    152.30  --
3795.24/951.11	c  N dy  9786   1471864     19272     83150         0     64841    253638   2332934    131.58    139.78  --
3830.35/959.95	c  N dy  9925   1491883     19272     83150         0     84859    253638   6629829    131.63    138.70  --
3869.86/969.89	c  N dy 10060   1511904     19272     83150         0    104879    253638  10818911    131.64    179.41  --
3906.98/979.19	c  N dy 10185   1531992     19272     83150         0     67973    253638   2856935    131.64    142.62  --
3943.72/988.36	c  N dy 10322   1552033     19272     83150         0     88013    253638   7044217    131.65    155.47  --
3983.98/998.49	c  N dy 10462   1572060     19272     83150         0    108038    253638  11332657    131.69    148.65  --
4021.91/1007.97	c  N dy 10598   1592202     19272     83150         0     70184    253638   3100820    131.69    139.45  --
4058.99/1017.29	c  N dy 10736   1612268     19272     83150         0     90249    253638   7367954    131.73    145.04  --
4100.09/1027.52	c  N dy 10873   1632325     19272     83150         0    110306    253638  11612341    131.75    140.10  --
4136.40/1036.62	c  N dy 11006   1652367     19272     83150         0     71352    253638   3149253    131.74    140.81  --
4172.72/1045.70	c  N dy 11144   1672796     19272     83150         0     91780    253638   7439809    131.74    141.70  --
4212.21/1055.60	c  N dy 11287   1692804     19272     83150         0    111785    253638  11611698    131.75    141.55  --
4244.55/1063.75	c  S st 11403   1710602     19272     83150         0     69580    253638   2515023    131.74    114.73  --
4245.35/1063.98	c  S st 11403   1711105     19272     83150         0     70083    253638   2594950    131.74   no data  --
4245.35/1063.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4245.35/1063.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4246.15/1064.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.56
4246.56/1064.30	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4246.98/1064.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4246.98/1064.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
4246.98/1064.33	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
4279.66/1072.58	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time: 32.91 s
4279.66/1072.59	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
4280.06/1072.63	c vivif2 --  cl tried    70081 cl shrink        0 lits rem          0 time: 0.17
4280.86/1072.84	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.84
4280.86/1072.85	c calculated reachability. Time: 0.00
4280.86/1072.85	c  N dy 11403   1711105     19272     83150         0     70081    253638   2594574    131.74   no data  --
4316.37/1081.72	c  N dy 11538   1731150     19272     83150         0     90125    253638   6726778    131.74    141.09  --
4358.27/1092.23	c  N dy 11679   1751205     19272     83150         0    110177    253638  10970700    131.78    139.01  --
4399.37/1102.56	c  N dy 11819   1771342     19272     83150         0     69319    253638   2302480    131.79    141.69  --
4436.47/1111.84	c  N dy 11953   1791380     19272     83150         0     89355    253638   6461885    131.79    141.38  --
4477.18/1122.06	c  N dy 12084   1811451     19272     83150         0    109423    253638  10607026    131.79    139.90  --
4519.11/1132.52	c  N dy 12211   1831506     19272     83150         0     67487    253638   1705007    131.77    140.41  --
4555.78/1141.79	c  N dy 12348   1851605     19272     83150         0     87586    253638   5925758    131.80    138.77  --
4597.29/1152.11	c  N dy 12487   1871669     19272     83150         0    107648    253638  10132932    131.82    141.43  --
4642.38/1163.41	c  N dy 12623   1891743     19272     83150         0     64724    253638    919510    131.84    140.28  --
4678.71/1172.53	c  N dy 12756   1911982     19272     83150         0     84962    253638   5163844    131.85    139.18  --
4719.01/1182.69	c  N dy 12888   1932075     19272     83150         0    105055    253638   9420905    131.86    141.87  --
4763.71/1193.88	c  N dy 13022   1952175     19272     83150         0    125154    253638  13688454    131.88    166.17  --

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-3368509-1305395046/watcher-3368509-1305395046 -o /tmp/evaluation-result-3368509-1305395046/solver-3368509-1305395046 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368509-1305395046.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: 6.77 7.13 7.24 5/298 19839
/proc/meminfo: memFree=27220724/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 651103083 52465664 352 33554432000 4194304 4650419 140737467977216 18446744073709551615 47106127112114 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19839/statm: 12809 352 303 112 0 7774 0
[pid=19839/tid=19840] ppid=19837 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651103083 52465664 352 33554432000 4194304 4650419 140737467977216 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651103083 52465664 352 33554432000 4194304 4650419 140737467977216 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651103083 52465664 352 33554432000 4194304 4650419 140737467977216 18446744073709551615 47106127112108 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.054139 s]
/proc/loadavg: 6.77 7.13 7.24 5/298 19839
/proc/meminfo: memFree=27220724/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=299192 CPUtime=0.14 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 9640 0 0 0 13 1 0 0 18 0 4 0 651103083 306372608 7586 33554432000 4194304 4650419 140737467977216 18446744073709551615 210204752415 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 91182 7624 344 112 0 86147 0
[pid=19839/tid=19840] ppid=19837 vsize=364728 CPUtime=0.03 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) D 19837 19839 19034 0 -1 4202560 2447 0 0 0 3 0 0 0 18 0 4 0 651103083 373481472 7632 33554432000 4194304 4650419 140737467977216 18446744073709551615 210204344075 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=364728 CPUtime=0.03 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) S 19837 19839 19034 0 -1 4202560 2248 0 0 0 3 0 0 0 18 0 4 0 651103083 373481472 7648 33554432000 4194304 4650419 140737467977216 18446744073709551615 210204752366 0 0 4096 2 18446604459055819584 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=364728 CPUtime=0.04 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) S 19837 19839 19034 0 -1 4202560 2283 0 0 0 4 0 0 0 18 0 4 0 651103083 373481472 7676 33554432000 4194304 4650419 140737467977216 18446744073709551615 210204752366 0 0 4096 2 18446604459055819584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 299192

[startup+0.105158 s]
/proc/loadavg: 6.77 7.13 7.24 5/298 19839
/proc/meminfo: memFree=27220724/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=368072 CPUtime=0.32 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) S 19837 19839 19034 0 -1 4202496 12774 0 0 0 22 10 0 0 18 0 4 0 651103083 376905728 10720 33554432000 4194304 4650419 140737467977216 18446744073709551615 210204752366 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 92018 10731 344 112 0 86983 0
[pid=19839/tid=19840] ppid=19837 vsize=368072 CPUtime=0.07 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 3339 0 0 0 5 2 0 0 18 0 4 0 651103083 376905728 10742 33554432000 4194304 4650419 140737467977216 18446744073709551615 210204752366 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=368072 CPUtime=0.07 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) S 19837 19839 19034 0 -1 4202560 3016 0 0 0 5 2 0 0 18 0 4 0 651103083 376905728 10744 33554432000 4194304 4650419 140737467977216 18446744073709551615 210204752366 0 0 4096 2 18446604459055819584 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=368072 CPUtime=0.08 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 3001 0 0 0 7 1 0 0 18 0 4 0 651103083 376905728 10744 33554432000 4194304 4650419 140737467977216 18446744073709551615 210204296396 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 368072

[startup+0.370451 s]
/proc/loadavg: 6.77 7.13 7.24 5/298 19839
/proc/meminfo: memFree=27220724/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=385720 CPUtime=1.55 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 29189 0 0 0 138 17 0 0 18 0 4 0 651103083 394977280 22464 33554432000 4194304 4650419 140737467977216 18446744073709551615 210204344439 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 96430 22491 387 112 0 91395 0
[pid=19839/tid=19840] ppid=19837 vsize=385720 CPUtime=0.38 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 8086 0 0 0 34 4 0 0 18 0 4 0 651103083 394977280 22504 33554432000 4194304 4650419 140737467977216 18446744073709551615 4520189 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=385720 CPUtime=0.38 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) S 19837 19839 19034 0 -1 4202560 8855 0 0 0 33 5 0 0 18 0 4 0 651103083 394977280 22516 33554432000 4194304 4650419 140737467977216 18446744073709551615 210204752366 0 0 4096 2 18446604459055819584 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=385720 CPUtime=0.39 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 3730 0 0 0 37 2 0 0 18 0 4 0 651103083 394977280 22528 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 385720

[startup+1.15395 s]
/proc/loadavg: 6.77 7.13 7.24 5/298 19839
/proc/meminfo: memFree=27220724/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=387508 CPUtime=4.48 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 33512 0 0 0 430 18 0 0 19 0 4 0 651103083 396808192 26317 33554432000 4194304 4650419 140737467977216 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 96877 26317 391 112 0 91842 0
[pid=19839/tid=19840] ppid=19837 vsize=387508 CPUtime=1.11 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 9314 0 0 0 107 4 0 0 18 0 4 0 651103083 396808192 26317 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=387508 CPUtime=1.12 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 10146 0 0 0 107 5 0 0 19 0 4 0 651103083 396808192 26317 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=387508 CPUtime=1.13 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 4365 0 0 0 110 3 0 0 19 0 4 0 651103083 396808192 26317 33554432000 4194304 4650419 140737467977216 18446744073709551615 4328298 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 387508

[startup+1.5009 s]
/proc/loadavg: 6.77 7.13 7.24 5/298 19839
/proc/meminfo: memFree=27220724/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=387508 CPUtime=5.88 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 34642 0 0 0 569 19 0 0 19 0 4 0 651103083 396808192 27447 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 96877 27447 391 112 0 91842 0
[pid=19839/tid=19840] ppid=19837 vsize=387508 CPUtime=1.45 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 9607 0 0 0 141 4 0 0 19 0 4 0 651103083 396808192 27447 33554432000 4194304 4650419 140737467977216 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=387508 CPUtime=1.46 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 10428 0 0 0 141 5 0 0 19 0 4 0 651103083 396808192 27448 33554432000 4194304 4650419 140737467977216 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=387508 CPUtime=1.47 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 4652 0 0 0 144 3 0 0 19 0 4 0 651103083 396808192 27448 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363556 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 387508

[startup+3.10063 s]
/proc/loadavg: 6.77 7.13 7.24 9/302 19844
/proc/meminfo: memFree=27081784/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=420328 CPUtime=12.25 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 39782 0 0 0 1205 20 0 0 23 0 4 0 651103083 430415872 32587 33554432000 4194304 4650419 140737467977216 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 105082 32587 391 112 0 100047 0
[pid=19839/tid=19840] ppid=19837 vsize=420328 CPUtime=3.06 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 10888 0 0 0 301 5 0 0 23 0 4 0 651103083 430415872 32587 33554432000 4194304 4650419 140737467977216 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=420328 CPUtime=3.04 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 11703 0 0 0 299 5 0 0 23 0 4 0 651103083 430415872 32587 33554432000 4194304 4650419 140737467977216 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=420328 CPUtime=3.07 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 5994 0 0 0 304 3 0 0 24 0 4 0 651103083 430415872 32587 33554432000 4194304 4650419 140737467977216 18446744073709551615 4364631 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 420328

[startup+6.3011 s]
/proc/loadavg: 6.86 7.15 7.24 9/302 19844
/proc/meminfo: memFree=27094840/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=402388 CPUtime=25.01 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 55482 0 0 0 2478 23 0 0 25 0 4 0 651103083 412045312 29067 33554432000 4194304 4650419 140737467977216 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 100597 29067 393 112 0 95562 0
[pid=19839/tid=19840] ppid=19837 vsize=402388 CPUtime=6.26 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 14854 0 0 0 620 6 0 0 25 0 4 0 651103083 412045312 29067 33554432000 4194304 4650419 140737467977216 18446744073709551615 4334352 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=402388 CPUtime=6.21 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 15501 0 0 0 615 6 0 0 25 0 4 0 651103083 412045312 29068 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=402388 CPUtime=6.27 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 10011 0 0 0 623 4 0 0 25 0 4 0 651103083 412045312 29068 33554432000 4194304 4650419 140737467977216 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 402388

[startup+12.712 s]
/proc/loadavg: 6.95 7.16 7.24 9/302 19844
/proc/meminfo: memFree=26890996/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=628180 CPUtime=50.6 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 113400 0 0 0 5021 39 0 0 25 0 4 0 651103083 643256320 75133 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476483 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 157045 75133 395 112 0 152010 0
[pid=19839/tid=19840] ppid=19837 vsize=628180 CPUtime=12.67 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 41711 0 0 0 1255 12 0 0 25 0 4 0 651103083 643256320 75133 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=628180 CPUtime=12.55 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 21672 0 0 0 1247 8 0 0 25 0 4 0 651103083 643256320 75133 33554432000 4194304 4650419 140737467977216 18446744073709551615 4333260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=628180 CPUtime=12.68 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 16346 0 0 0 1263 5 0 0 25 0 4 0 651103083 643256320 75133 33554432000 4194304 4650419 140737467977216 18446744073709551615 4364497 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 628180

[startup+25.5009 s]
/proc/loadavg: 7.25 7.22 7.26 9/302 19844
/proc/meminfo: memFree=26761540/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=752516 CPUtime=101.63 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 160720 0 0 0 10110 53 0 0 25 0 4 0 651103083 770576384 105903 33554432000 4194304 4650419 140737467977216 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 188129 105903 395 112 0 183094 0
[pid=19839/tid=19840] ppid=19837 vsize=752516 CPUtime=25.46 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 41889 0 0 0 2534 12 0 0 25 0 4 0 651103083 770576384 105903 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=752516 CPUtime=25.23 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 37183 0 0 0 2509 14 0 0 25 0 4 0 651103083 770576384 105903 33554432000 4194304 4650419 140737467977216 18446744073709551615 4328270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=752516 CPUtime=25.47 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 39288 0 0 0 2535 12 0 0 25 0 4 0 651103083 770576384 105903 33554432000 4194304 4650419 140737467977216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 752516

[startup+51.1006 s]
/proc/loadavg: 7.51 7.28 7.28 9/302 19845
/proc/meminfo: memFree=26576812/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=856480 CPUtime=203.81 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 243777 0 0 0 20304 77 0 0 25 0 4 0 651103083 877035520 136781 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 214120 136781 395 112 0 209085 0
[pid=19839/tid=19840] ppid=19837 vsize=856480 CPUtime=51.07 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 54502 0 0 0 5091 16 0 0 25 0 4 0 651103083 877035520 136786 33554432000 4194304 4650419 140737467977216 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=856480 CPUtime=50.59 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 62712 0 0 0 5039 20 0 0 25 0 4 0 651103083 877035520 136786 33554432000 4194304 4650419 140737467977216 18446744073709551615 4316012 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=856480 CPUtime=51.08 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 54435 0 0 0 5091 17 0 0 25 0 4 0 651103083 877035520 136786 33554432000 4194304 4650419 140737467977216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 856480

[startup+102.301 s]
/proc/loadavg: 7.83 7.40 7.32 9/302 19846
/proc/meminfo: memFree=26518012/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=864592 CPUtime=408.1 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 324207 0 0 0 40702 108 0 0 25 0 4 0 651103083 885342208 147668 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 216148 147668 395 112 0 211113 0
[pid=19839/tid=19840] ppid=19837 vsize=864592 CPUtime=102.26 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 78673 0 0 0 10201 25 0 0 25 0 4 0 651103083 885342208 147668 33554432000 4194304 4650419 140737467977216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=864592 CPUtime=101.32 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 88252 0 0 0 10101 31 0 0 25 0 4 0 651103083 885342208 147668 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=864592 CPUtime=102.26 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 82803 0 0 0 10199 27 0 0 25 0 4 0 651103083 885342208 147668 33554432000 4194304 4650419 140737467977216 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 864592

[startup+162.311 s]

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

[pid=19839] ppid=19837 vsize=1368772 CPUtime=2802.43 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 1717998 0 0 0 279716 527 0 0 25 0 4 0 651103083 1401622528 266628 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363484 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 342193 266628 395 112 0 337158 0
[pid=19839/tid=19840] ppid=19837 vsize=1368772 CPUtime=702.27 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 353131 0 0 0 70109 118 0 0 25 0 4 0 651103083 1401622528 266632 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=1368772 CPUtime=695.74 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 339869 0 0 0 69448 126 0 0 25 0 4 0 651103083 1401622528 266632 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476756 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=1368772 CPUtime=702.26 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 382174 0 0 0 70097 129 0 0 25 0 4 0 651103083 1401622528 266632 33554432000 4194304 4650419 140737467977216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.43
Current children cumulated vsize (KiB) 1368772

[startup+762.301 s]
/proc/loadavg: 8.09 8.03 7.70 9/302 19864
/proc/meminfo: memFree=25499500/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=1369060 CPUtime=3041.84 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 1812552 0 0 0 303621 563 0 0 25 0 4 0 651103083 1401917440 284896 33554432000 4194304 4650419 140737467977216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 342265 284896 395 112 0 337230 0
[pid=19839/tid=19840] ppid=19837 vsize=1369060 CPUtime=762.26 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 364210 0 0 0 76105 121 0 0 25 0 4 0 651103083 1401917440 284896 33554432000 4194304 4650419 140737467977216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=1369060 CPUtime=755.2 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 366011 0 0 0 75383 137 0 0 25 0 4 0 651103083 1401917440 284896 33554432000 4194304 4650419 140737467977216 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=1369060 CPUtime=762.25 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 410768 0 0 0 76085 140 0 0 25 0 4 0 651103083 1401917440 284896 33554432000 4194304 4650419 140737467977216 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.84
Current children cumulated vsize (KiB) 1369060

[startup+822.312 s]
/proc/loadavg: 8.20 8.07 7.73 9/302 19865
/proc/meminfo: memFree=25593348/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=1436004 CPUtime=3281.31 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 1899860 0 0 0 327531 600 0 0 25 0 4 0 651103083 1470468096 279729 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 359001 279729 395 112 0 353966 0
[pid=19839/tid=19840] ppid=19837 vsize=1436004 CPUtime=822.26 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 390928 0 0 0 82093 133 0 0 25 0 4 0 651103083 1470468096 279729 33554432000 4194304 4650419 140737467977216 18446744073709551615 4315488 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=1436004 CPUtime=814.65 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 396129 0 0 0 81317 148 0 0 25 0 4 0 651103083 1470468096 279729 33554432000 4194304 4650419 140737467977216 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=1436004 CPUtime=822.26 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 438213 0 0 0 82074 152 0 0 25 0 4 0 651103083 1470468096 279729 33554432000 4194304 4650419 140737467977216 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.31
Current children cumulated vsize (KiB) 1436004

[startup+882.301 s]
/proc/loadavg: 8.14 8.07 7.75 9/302 19867
/proc/meminfo: memFree=25601236/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=1426588 CPUtime=3520.7 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 2002222 0 0 0 351431 639 0 0 25 0 4 0 651103083 1460826112 283087 33554432000 4194304 4650419 140737467977216 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 356647 283087 395 112 0 351612 0
[pid=19839/tid=19840] ppid=19837 vsize=1426588 CPUtime=882.25 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 418588 0 0 0 88080 145 0 0 25 0 4 0 651103083 1460826112 283087 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=1426588 CPUtime=874.09 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 422954 0 0 0 87250 159 0 0 25 0 4 0 651103083 1460826112 283087 33554432000 4194304 4650419 140737467977216 18446744073709551615 4310799 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=1426588 CPUtime=882.25 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 463457 0 0 0 88063 162 0 0 25 0 4 0 651103083 1460826112 283087 33554432000 4194304 4650419 140737467977216 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3520.7
Current children cumulated vsize (KiB) 1426588

[startup+942.301 s]
/proc/loadavg: 8.17 8.08 7.77 9/302 19868
/proc/meminfo: memFree=25345132/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=1507404 CPUtime=3760.12 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 2131907 0 0 0 375331 681 0 0 25 0 4 0 651103083 1543581696 309543 33554432000 4194304 4650419 140737467977216 18446744073709551615 4328518 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 376851 309543 395 112 0 371816 0
[pid=19839/tid=19840] ppid=19837 vsize=1507404 CPUtime=942.25 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 446358 0 0 0 94070 155 0 0 25 0 4 0 651103083 1543581696 309543 33554432000 4194304 4650419 140737467977216 18446744073709551615 4364497 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=1507404 CPUtime=933.54 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 465639 0 0 0 93183 171 0 0 25 0 4 0 651103083 1543581696 309543 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=1507404 CPUtime=942.24 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 494203 0 0 0 94051 173 0 0 25 0 4 0 651103083 1543581696 309543 33554432000 4194304 4650419 140737467977216 18446744073709551615 4328179 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.12
Current children cumulated vsize (KiB) 1507404

[startup+1002.3 s]
/proc/loadavg: 8.11 8.08 7.79 9/302 19870
/proc/meminfo: memFree=25345076/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=1573900 CPUtime=3999.56 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 2326351 0 0 0 399226 730 0 0 25 0 4 0 651103083 1611673600 314323 33554432000 4194304 4650419 140737467977216 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 393475 314323 395 112 0 388440 0
[pid=19839/tid=19840] ppid=19837 vsize=1573900 CPUtime=1002.24 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 453507 0 0 0 100066 158 0 0 25 0 4 0 651103083 1611673600 314323 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=1573900 CPUtime=992.99 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 599959 0 0 0 99110 189 0 0 25 0 4 0 651103083 1611673600 314323 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=1573900 CPUtime=1002.23 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 518505 0 0 0 100037 186 0 0 25 0 4 0 651103083 1611673600 314323 33554432000 4194304 4650419 140737467977216 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.56
Current children cumulated vsize (KiB) 1573900

[startup+1062.3 s]
/proc/loadavg: 8.08 8.08 7.81 9/302 19881
/proc/meminfo: memFree=25422952/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=1439380 CPUtime=4238.96 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 2495601 0 0 0 423120 776 0 0 25 0 4 0 651103083 1473925120 290158 33554432000 4194304 4650419 140737467977216 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 359845 290158 395 112 0 354810 0
[pid=19839/tid=19840] ppid=19837 vsize=1439380 CPUtime=1062.24 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 467641 0 0 0 106059 165 0 0 25 0 4 0 651103083 1473925120 290158 33554432000 4194304 4650419 140737467977216 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=1439380 CPUtime=1052.42 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 702692 0 0 0 105038 204 0 0 25 0 4 0 651103083 1473925120 290158 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476201 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=1439380 CPUtime=1062.23 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 543680 0 0 0 106025 198 0 0 25 0 4 0 651103083 1473925120 290158 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.96
Current children cumulated vsize (KiB) 1439380

[startup+1122.3 s]
/proc/loadavg: 8.07 8.08 7.82 9/302 19882
/proc/meminfo: memFree=25298568/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=1561112 CPUtime=4478.38 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 2681318 0 0 0 447015 823 0 0 25 0 4 0 651103083 1598578688 333453 33554432000 4194304 4650419 140737467977216 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 390278 333453 395 112 0 385243 0
[pid=19839/tid=19840] ppid=19837 vsize=1561112 CPUtime=1122.24 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 495768 0 0 0 112046 178 0 0 25 0 4 0 651103083 1598578688 333453 33554432000 4194304 4650419 140737467977216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=1561112 CPUtime=1111.84 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 702692 0 0 0 110980 204 0 0 25 0 4 0 651103083 1598578688 333453 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=1561112 CPUtime=1122.23 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 680682 0 0 0 112002 221 0 0 25 0 4 0 651103083 1598578688 333453 33554432000 4194304 4650419 140737467977216 18446744073709551615 4443768 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4478.38
Current children cumulated vsize (KiB) 1561112

[startup+1182.3 s]
/proc/loadavg: 5.80 7.46 7.63 5/293 19902
/proc/meminfo: memFree=26487924/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=1562640 CPUtime=4717.81 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 2907710 0 0 0 470905 876 0 0 25 0 4 0 651103083 1600143360 325874 33554432000 4194304 4650419 140737467977216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 390660 325874 395 112 0 385625 0
[pid=19839/tid=19840] ppid=19837 vsize=1562640 CPUtime=1181.77 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 519400 0 0 0 117983 194 0 0 25 0 4 0 651103083 1600143360 325874 33554432000 4194304 4650419 140737467977216 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=1562640 CPUtime=1171.77 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 702692 0 0 0 116973 204 0 0 25 0 4 0 651103083 1600143360 325874 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=1562640 CPUtime=1182.23 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 859523 0 0 0 117977 246 0 0 25 0 4 0 651103083 1600143360 325874 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4717.81
Current children cumulated vsize (KiB) 1562640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.91 s]
/proc/loadavg: 5.35 7.25 7.55 5/293 19903
/proc/meminfo: memFree=26461008/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=1562792 CPUtime=4800.08 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 2925401 0 0 0 479120 888 0 0 25 0 4 0 651103083 1600299008 332253 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 390698 332253 395 112 0 385663 0
[pid=19839/tid=19840] ppid=19837 vsize=1562792 CPUtime=1202.19 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 527513 0 0 0 120019 200 0 0 25 0 4 0 651103083 1600299008 332255 33554432000 4194304 4650419 140737467977216 18446744073709551615 4366047 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=1562792 CPUtime=1192.39 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 702692 0 0 0 119035 204 0 0 25 0 4 0 651103083 1600299008 332255 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=1562792 CPUtime=1202.85 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 859523 0 0 0 120039 246 0 0 25 0 4 0 651103083 1600299008 332255 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 1562792

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

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

[startup+1202.91 s]
/proc/loadavg: 5.35 7.25 7.55 5/293 19903
/proc/meminfo: memFree=26461008/32951124 swapFree=63649232/67111528
[pid=19839] ppid=19837 vsize=1562792 CPUtime=4800.08 cores=1,3,5,7
/proc/19839/stat : 19839 (strangenight1-m) R 19837 19839 19034 0 -1 4202496 2925401 0 0 0 479120 888 0 0 25 0 4 0 651103083 1600299008 332253 33554432000 4194304 4650419 140737467977216 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19839/statm: 390698 332253 395 112 0 385663 0
[pid=19839/tid=19840] ppid=19837 vsize=1562792 CPUtime=1202.19 cores=1,3,5,7
/proc/19839/task/19840/stat : 19840 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 527513 0 0 0 120019 200 0 0 25 0 4 0 651103083 1600299008 332255 33554432000 4194304 4650419 140737467977216 18446744073709551615 4366047 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19839/tid=19841] ppid=19837 vsize=1562792 CPUtime=1192.39 cores=1,3,5,7
/proc/19839/task/19841/stat : 19841 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 702692 0 0 0 119035 204 0 0 25 0 4 0 651103083 1600299008 332255 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19839/tid=19842] ppid=19837 vsize=1562792 CPUtime=1202.85 cores=1,3,5,7
/proc/19839/task/19842/stat : 19842 (strangenight1-m) R 19837 19839 19034 0 -1 4202560 859523 0 0 0 120039 246 0 0 25 0 4 0 651103083 1600299008 332255 33554432000 4194304 4650419 140737467977216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 1562792

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.98
CPU time (s): 4800.18
CPU user time (s): 4791.24
CPU system time (s): 8.94064
CPU usage (%): 399.023
Max. virtual memory (cumulated for all children) (KiB): 1573900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.24
system time used= 8.94064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2925405
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= 12031
involuntary context switches= 33993

runsolver used 2.99754 second user time and 8.20775 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-14 19:44:06
IDJOB=3368509
IDBENCH=82518
IDSOLVER=1846
FILE ID=node130/3368509-1305395046
RUNJOBID= node130-1305394563-19744
PBS_JOBID= 13324426
Free space on /tmp= 73420 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368509-1305395046/watcher-3368509-1305395046 -o /tmp/evaluation-result-3368509-1305395046/solver-3368509-1305395046 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368509-1305395046.cnf

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

MD5SUM BENCH= 839440d6b1cc9d3b4faa8d33a4dd7359
RANDOM SEED=875677062

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27221004 kB
Buffers:        249020 kB
Cached:        3593148 kB
SwapCached:      10248 kB
Active:        1666140 kB
Inactive:      3793660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27221004 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:            7780 kB
Writeback:           0 kB
AnonPages:     1616032 kB
Mapped:          13924 kB
Slab:           182060 kB
PageTables:      26572 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52281212 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73420 MiB
End job on node130 at 2011-05-14 20:04:11