Trace number 3174900

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? (TO) 4800.17 1201.78

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174900-1304047964.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.00/0.12	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.00/0.12	c -- vars added      20000
0.00/0.12	c Parsing time:  0.22 s
0.00/0.12	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.00/0.12	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.23
0.00/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.14
0.51/0.25	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.51/0.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.51/0.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.02 s
0.51/0.25	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.03 s
0.51/0.85	c lits-rem:         0  cl-subs:        0  v-elim:    728  v-fix:    0  time:  0.84 s
0.51/0.85	c Finding binary XORs  T:     0.02 s  found:       0
0.51/0.85	c Finding non-binary XORs:     0.15 s (found:       0, avg size: nan)
0.51/0.85	c calculated reachability. Time: 0.00
0.51/0.85	c Calc default polars -  time:   0.02 s pos:    8896 undec:    2384 neg:    8720
0.51/0.85	c =========================================================================================
0.51/0.85	c types(t): F = full restart, N = normal restart
0.51/0.85	c types(t): S = simplification begin/end, E = solution found
0.51/0.85	c restart types(rt): st = static, dy = dynamic
0.51/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.51/0.85	c  B st     0         0     19272     83150         0         0    253638         0   no data   no data  --
5.60/1.45	c  N dy    22      4054     19272     83150         0      4054    253638    822769    116.89    134.38  --
9.55/2.44	c  N dy    53      8157     19272     83150         0      8157    253638   1610853    121.28    128.32  --
13.55/3.45	c  N dy    84     12216     19272     83150         0     12216    253638   2409074    123.64    137.16  --
17.54/4.49	c  N dy   112     16282     19272     83150         0     16282    253638   3208655    124.12    131.88  --
22.33/5.62	c  N dy   145     20362     19272     83150         0     10365    253638    611364    126.70    136.86  --
26.33/6.67	c  N dy   173     24497     19272     83150         0     14499    253638   1456774    127.00    134.07  --
27.12/6.81	c  F st   177     25003     19272     83150         0     15005    253638   1562241    127.04    104.79  --
32.72/8.23	c  N dy   183     30001     19272     83150         0     20002    253638   2908512    127.04   no data  --
32.72/8.23	c  S st   183     30001     19272     83150         0     20002    253638   2908512    127.04   no data  --
33.12/8.37	c  S st   183     30505     19272     83150         0     20506    253638   2982819    127.04   no data  --
33.12/8.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
33.12/8.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.53/8.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.36
34.71/8.78	c bin-w-bin subsume rem            0 bins  time:  0.02 s
34.71/8.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
34.71/8.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.02 s
35.11/8.80	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
55.91/14.04	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time: 20.83 s
56.29/14.15	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.43
56.29/14.16	c calculated reachability. Time: 0.00
56.29/14.16	c  N dy   183     30505     19272     83150         0     20504    253638   2981829    127.04   no data  --
61.48/15.45	c  N dy   212     34591     19272     83150         0     24590    253638   3805153    127.26    134.52  --
66.67/16.76	c  N dy   239     38675     19272     83150         0     28674    253638   4623449    127.19    139.52  --
71.86/18.09	c  N dy   266     42758     19272     83150         0     17257    253638   1029479    127.20    133.99  --
75.86/19.06	c  S st   289     45759     19272     83150         0     20258    253638   1657980    127.55    127.61  --
76.66/19.20	c  S st   289     46262     19272     83150         0     20761    253638   1725537    127.55   no data  --
76.66/19.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
76.66/19.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.06/19.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.38
77.48/19.43	c bin-w-bin subsume rem            0 bins  time:  0.02 s
77.48/19.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
77.48/19.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.02 s
77.48/19.45	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
91.83/23.06	c lits-rem:         7  cl-subs:        0  v-elim:      0  v-fix:    0  time: 14.35 s
91.83/23.07	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.03
91.83/23.09	c vivif2 --  cl tried    20761 cl shrink        0 lits rem          0 time: 0.10
92.23/23.20	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.42
92.63/23.20	c calculated reachability. Time: 0.00
92.63/23.20	c  N dy   289     46262     19272     83150         0     20761    253638   1725530    127.55   no data  --
97.43/24.41	c  N dy   319     50318     19272     83150         0     24817    253638   2562681    127.92    136.45  --
102.23/25.63	c  N dy   348     54379     19272     83150         0     28877    253638   3382858    128.11    140.08  --
107.42/26.95	c  N dy   379     58611     19272     83150         0     33109    253638   4252588    128.29    136.63  --
112.62/28.24	c  N dy   409     62690     19272     83150         0     37188    253638   5061881    128.25    150.63  --
117.42/29.42	c  N dy   433     66713     19272     83150         0     22463    253638   1384358    127.99    136.56  --
120.60/30.20	c  S st   453     69393     19272     83150         0     25143    253638   1907431    128.00    127.76  --
121.00/30.35	c  S st   453     69902     19272     83150         0     25652    253638   1984886    128.00   no data  --
121.00/30.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
121.00/30.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
121.41/30.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.39
122.20/30.61	c bin-w-bin subsume rem            0 bins  time:  0.02 s
122.20/30.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
122.20/30.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
122.20/30.63	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
138.17/34.64	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time: 15.97 s
138.17/34.65	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
138.17/34.68	c vivif2 --  cl tried    25652 cl shrink        0 lits rem          0 time: 0.11
138.57/34.79	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.47
138.57/34.80	c calculated reachability. Time: 0.00
138.57/34.80	c  N dy   453     69902     19272     83150         0     25652    253638   1984883    128.00   no data  --
144.16/36.15	c  N dy   483     74424     19272     83150         0     30174    253638   2912403    128.16    135.72  --
150.15/37.63	c  N dy   517     79268     19272     83150         0     35018    253638   3909683    128.25    137.66  --
156.56/39.24	c  N dy   552     84371     19272     83150         0     40121    253638   4938000    128.32    138.70  --
160.54/40.25	c  F st   577     87500     19272     83150         0     22376    253638    931672    128.57   no data  --
164.54/41.21	c  N st   582     90798     19272     83150         0     25673    253638   1742623    128.57   no data  --
172.12/43.11	c  N dy   611     96885     19272     83150         0     31760    253638   3184022    128.57    139.33  --
180.10/45.18	c  N dy   655    103218     19272     83150         0     38092    253638   4464949    128.58    137.80  --
182.51/45.73	c  S st   669    104854     19272     83150         0     39727    253638   4809462    128.68   no data  --
183.33/45.91	c  S st   669    105358     19272     83150         0     40231    253638   4882281    128.68   no data  --
183.33/45.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
183.33/45.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
183.71/46.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.45
184.90/46.37	c bin-w-bin subsume rem            0 bins  time:  0.02 s
184.90/46.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
184.90/46.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
184.90/46.39	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
381.05/95.44	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 195.37 s
381.05/95.45	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.03
381.43/95.52	c vivif2 --  cl tried    40228 cl shrink        0 lits rem          0 time: 0.27
381.83/95.66	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.57
381.83/95.67	c calculated reachability. Time: 0.00
381.83/95.67	c  N dy   669    105358     19272     83150         0     40228    253638   4881075    128.68   no data  --
390.61/97.83	c  N dy   717    112123     19272     83150         0     24559    253638    994274    128.87    135.67  --
399.40/100.00	c  N dy   770    119305     19272     83150         0     31741    253638   2519225    129.12    136.40  --
408.99/102.42	c  N dy   824    126978     19272     83150         0     39412    253638   4096427    129.22    136.39  --
419.78/105.17	c  N dy   877    135105     19272     83150         0     23819    253638    564412    129.26    156.53  --
430.95/107.90	c  N dy   941    143762     19272     83150         0     32473    253638   2322156    129.44    136.73  --
443.34/111.02	c  N dy   996    153065     19272     83150         0     41776    253638   4235345    129.30    143.72  --
449.74/112.65	c  S st  1028    158038     19272     83150         0     46749    253638   5242424    129.31   no data  --
450.54/112.82	c  S st  1028    158545     19272     83150         0     47256    253638   5317946    129.31   no data  --
450.54/112.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
450.54/112.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
450.95/112.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.45
452.12/113.28	c bin-w-bin subsume rem            0 bins  time:  0.02 s
452.12/113.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
452.12/113.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
452.52/113.30	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
707.37/177.19	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 254.53 s
707.78/177.20	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
707.78/177.28	c vivif2 --  cl tried    47250 cl shrink        0 lits rem          0 time: 0.31
708.58/177.45	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.66
708.58/177.45	c calculated reachability. Time: 0.00
708.58/177.45	c  N dy  1028    158545     19272     83150         0     47250    253638   5315895    129.31   no data  --
721.76/180.79	c  N dy  1098    168733     19272     83150         0     32582    253638   2111242    129.38    146.27  --
736.56/184.48	c  N dy  1172    179701     19272     83150         0     43550    253638   4391963    129.56    139.42  --
752.51/188.46	c  N dy  1246    191246     19272     83150         0     29169    253638   1174583    129.59    137.45  --
768.49/192.47	c  N dy  1329    203456     19272     83150         0     41379    253638   3662757    129.63    138.85  --
787.27/197.11	c  N dy  1415    216492     19272     83150         0     27451    253638    571787    129.68    141.56  --
805.25/201.63	c  N dy  1511    230444     19272     83150         0     41403    253638   3427744    129.78    140.25  --
815.65/204.21	c  S st  1563    237817     19272     83150         0     48776    253638   4929500    129.80   no data  --
816.42/204.41	c  S st  1563    238322     19272     83150         0     49281    253638   5004744    129.80   no data  --
816.42/204.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
816.42/204.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
816.82/204.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
818.03/204.85	c bin-w-bin subsume rem            0 bins  time:  0.02 s
818.03/204.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
818.03/204.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
818.03/204.87	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1056.10/264.47	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time: 237.36 s
1056.10/264.48	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
1056.51/264.56	c vivif2 --  cl tried    49276 cl shrink        0 lits rem          0 time: 0.29
1057.32/264.72	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.67
1057.32/264.73	c calculated reachability. Time: 0.00
1057.32/264.73	c  N dy  1563    238322     19272     83150         0     49276    253638   5003173    129.80   no data  --
1079.29/270.25	c  N dy  1668    253594     19272     83150         0     36566    253638   2266829    129.97    168.78  --
1103.24/276.25	c  N dy  1781    270511     19272     83150         0     53483    253638   5806941    130.03    137.33  --
1127.21/282.22	c  N dy  1903    287866     19272     83150         0     41847    253638   3140476    130.18    138.19  --
1153.99/288.95	c  F st  2029    306250     19272     83150         0     30232    253638    504458    130.28   no data  --
1153.99/288.98	c  N st  2029    306250     19272     83150         0     30232    253638    504458    130.28   no data  --
1180.75/295.63	c  N dy  2130    326099     19272     83150         0     50081    253638   4806133    130.23    141.25  --
1209.49/302.88	c  N dy  2272    346170     19272     83150         0     39159    253638   2151341    130.35    168.59  --
1225.07/306.79	c  S st  2345    357484     19272     83150         0     50473    253638   4489055    130.41   no data  --
1225.87/306.98	c  S st  2345    357987     19272     83150         0     50976    253638   4563405    130.41   no data  --
1226.27/307.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1226.27/307.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1226.67/307.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
1227.86/307.40	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1227.86/307.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1227.86/307.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
1227.86/307.42	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1404.02/351.57	c lits-rem:         7  cl-subs:        2  v-elim:      0  v-fix:    0  time: 175.90 s
1404.02/351.58	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
1404.43/351.65	c vivif2 --  cl tried    50974 cl shrink        0 lits rem          0 time: 0.26
1405.22/351.83	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.71
1405.22/351.84	c calculated reachability. Time: 0.00
1405.22/351.84	c  N dy  2345    357987     19272     83150         0     50974    253638   4563106    130.41   no data  --
1435.20/359.37	c  N dy  2483    378013     19272     83150         0     38998    253638   1928775    130.49    154.57  --
1464.74/366.76	c  N dy  2624    398102     19272     83150         0     59085    253638   6086620    130.60    138.30  --
1494.29/374.15	c  N dy  2762    418115     19272     83150         0     46100    253638   3153927    130.69    137.59  --
1525.46/381.97	c  N dy  2895    438288     19272     83150         0     66272    253638   7290614    130.71    144.15  --
1553.42/388.93	c  N dy  3031    458340     19272     83150         0     52324    253638   4240818    130.83    138.92  --
1583.38/396.49	c  N dy  3170    478377     19272     83150         0     37369    253638    926382    130.93    147.65  --
1612.13/403.69	c  N dy  3302    498417     19272     83150         0     57407    253638   5080206    130.91    138.72  --
1642.49/411.20	c  N dy  3433    518470     19272     83150         0     41462    253638   1613070    130.93    139.70  --
1668.85/417.88	c  S st  3559    536981     19272     83150         0     59970    253638   5464968    130.99   no data  --
1669.64/418.09	c  S st  3559    537484     19272     83150         0     60473    253638   5539038    130.99   no data  --
1670.05/418.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1670.05/418.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1670.45/418.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.53
1671.64/418.57	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1671.64/418.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1671.64/418.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
1672.05/418.60	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1970.83/493.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time: 298.44 s
1970.83/493.42	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
1971.25/493.50	c vivif2 --  cl tried    60473 cl shrink        0 lits rem          0 time: 0.31
1971.65/493.69	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.73
1971.65/493.69	c calculated reachability. Time: 0.00
1971.65/493.69	c  N dy  3559    537484     19272     83150         0     60473    253638   5539038    130.99   no data  --
2000.79/500.91	c  N dy  3693    557519     19272     83150         0     43509    253638   1813848    131.02    138.98  --
2028.76/507.93	c  N dy  3822    577536     19272     83150         0     63522    253638   5942066    130.98    137.90  --
2057.90/515.21	c  N dy  3951    597585     19272     83150         0     45572    253638   2000665    130.97    147.94  --
2085.89/522.25	c  N dy  4079    617676     19272     83150         0     65663    253638   6103584    130.91    138.95  --
2115.42/529.60	c  N dy  4209    637782     19272     83150         0     46775    253638   2052174    130.87    139.88  --
2143.78/536.70	c  N dy  4337    658016     19272     83150         0     67007    253638   6191806    130.86    142.18  --
2173.36/544.16	c  N dy  4471    678101     19272     83150         0     47094    253638   1921001    130.89    193.69  --
2202.49/551.42	c  N dy  4616    698138     19272     83150         0     67130    253638   6138275    130.96    138.70  --
2232.45/558.98	c  N dy  4744    718199     19272     83150         0     46190    253638   1511216    130.92    141.20  --
2261.23/566.12	c  N dy  4874    738228     19272     83150         0     66218    253638   5641131    130.94    145.82  --
2292.39/573.99	c  N dy  5014    758313     19272     83150         0     44299    253638    949365    130.99    141.92  --
2321.12/581.15	c  N dy  5138    778375     19272     83150         0     64361    253638   5088754    130.99    142.96  --
2354.28/589.41	c  N dy  5273    798394     19272     83150         0     84377    253638   9261278    131.00    161.39  --
2365.86/592.34	c  S st  5328    806227     19272     83150         0     49217    253638   1789440    131.02    117.70  --
2366.69/592.53	c  S st  5328    806730     19272     83150         0     49720    253638   1868838    131.02   no data  --
2366.69/592.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2366.69/592.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2367.08/592.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
2367.46/592.79	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2367.85/592.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2367.85/592.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
2367.85/592.82	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
2386.63/597.56	c lits-rem:         8  cl-subs:        3  v-elim:      0  v-fix:    0  time: 18.92 s
2386.63/597.57	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
2387.03/597.60	c vivif2 --  cl tried    49717 cl shrink        0 lits rem          0 time: 0.12
2387.43/597.76	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.64
2387.43/597.76	c calculated reachability. Time: 0.00
2387.43/597.77	c  N dy  5328    806730     19272     83150         0     49717    253638   1868112    131.02   no data  --
2418.19/605.46	c  N dy  5460    826780     19272     83150         0     69767    253638   5984907    131.01    137.95  --
2452.94/614.15	c  N dy  5592    846805     19272     83150         0     45791    253638    823733    131.04    139.16  --
2482.50/621.50	c  N dy  5719    866826     19272     83150         0     65810    253638   4933813    131.01    138.09  --
2516.48/630.01	c  N dy  5855    886910     19272     83150         0     85894    253638   9131234    131.05    140.52  --
2548.00/637.96	c  N dy  5991    906946     19272     83150         0     60932    253638   3743602    131.07    146.49  --
2581.98/646.46	c  N dy  6129    927014     19272     83150         0     81000    253638   7922266    131.09    143.66  --
2616.31/655.06	c  N dy  6264    947280     19272     83150         0     55267    253638   2465044    131.12    138.71  --
2648.67/663.19	c  N dy  6398    967348     19272     83150         0     75334    253638   6600404    131.12    144.77  --
2685.42/672.36	c  N dy  6542    987420     19272     83150         0     48404    253638    743372    131.15    139.41  --
2716.58/680.11	c  N dy  6678   1007521     19272     83150         0     68502    253638   4882687    131.17    141.15  --
2752.12/689.00	c  N dy  6819   1027667     19272     83150         0     88648    253638   9076799    131.21    139.30  --
2785.68/697.48	c  N dy  6953   1047701     19272     83150         0     60688    253638   3180522    131.23    158.22  --
2818.03/705.50	c  N dy  7087   1067765     19272     83150         0     80749    253638   7332127    131.23    138.78  --
2824.82/707.28	c  F st  7117   1071875     19272     83150         0     84858    253638   8212620    131.25   no data  --
2853.18/714.34	c  N dy  7197   1088123     19272     83150         0     52105    253638   1132593    131.26    141.66  --
2883.94/722.00	c  N dy  7337   1108155     19272     83150         0     72135    253638   5340595    131.30    139.21  --
2918.69/730.75	c  N dy  7475   1128384     19272     83150         0     92363    253638   9574099    131.34    138.36  --
2951.84/739.09	c  N dy  7612   1148497     19272     83150         0     62483    253638   3110029    131.35    138.79  --
2985.00/747.31	c  N dy  7750   1168635     19272     83150         0     82619    253638   7333883    131.39    139.70  --
3019.75/756.02	c  N dy  7885   1188640     19272     83150         0     51625    253638    616096    131.41    140.61  --
3049.31/763.40	c  N dy  8024   1208723     19272     83150         0     71703    253638   4856970    131.46    144.14  --
3051.31/763.91	c  S st  8031   1210095     19272     83150         0     73075    253638   5143838    131.45   no data  --
3052.12/764.13	c  S st  8031   1210602     19272     83150         0     73582    253638   5222851    131.45   no data  --
3052.12/764.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3052.12/764.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3052.53/764.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.55
3053.70/764.58	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3053.70/764.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3053.70/764.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
3054.10/764.61	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
3328.12/833.25	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 273.82 s
3328.12/833.26	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.03
3328.52/833.33	c vivif2 --  cl tried    73576 cl shrink        0 lits rem          0 time: 0.30
3329.33/833.54	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.82
3329.33/833.55	c calculated reachability. Time: 0.00
3329.33/833.55	c  N dy  8031   1210602     19272     83150         0     73576    253638   5219300    131.45   no data  --
3362.06/841.77	c  N dy  8156   1230610     19272     83150         0     93582    253638   9303520    131.42    142.98  --
3394.02/849.79	c  N dy  8293   1250629     19272     83150         0     61605    253638   2482763    131.45    148.55  --
3425.59/857.61	c  N dy  8430   1270820     19272     83150         0     81794    253638   6675007    131.46    139.21  --
3460.32/866.34	c  N dy  8570   1290951     19272     83150         0    101924    253638  10865615    131.48    138.57  --
3491.08/874.00	c  N dy  8705   1310974     19272     83150         0     68953    253638   3802515    131.47    165.82  --
3523.02/882.04	c  N dy  8835   1331074     19272     83150         0     89053    253638   8067757    131.49    145.46  --
3558.57/890.99	c  N dy  8971   1351080     19272     83150         0     55057    253638    731913    131.51    141.98  --
3588.93/898.50	c  N dy  9114   1371163     19272     83150         0     75140    253638   4899668    131.53    144.87  --
3621.69/906.75	c  N dy  9246   1391170     19272     83150         0     95145    253638   9069528    131.55    142.63  --
3656.44/915.44	c  N dy  9376   1411175     19272     83150         0     60152    253638   1605432    131.55    190.72  --
3688.79/923.54	c  N dy  9508   1431236     19272     83150         0     80213    253638   5761971    131.55    140.57  --
3725.14/932.63	c  N dy  9645   1451246     19272     83150         0    100223    253638   9974407    131.57    152.30  --
3762.29/941.92	c  N dy  9786   1471864     19272     83150         0     64841    253638   2332934    131.58    139.78  --
3795.84/950.34	c  N dy  9925   1491883     19272     83150         0     84859    253638   6629829    131.63    138.70  --
3832.99/959.65	c  N dy 10060   1511904     19272     83150         0    104879    253638  10818911    131.64    179.41  --
3868.94/968.66	c  N dy 10185   1531992     19272     83150         0     67973    253638   2856935    131.64    142.62  --
3904.51/977.51	c  N dy 10322   1552033     19272     83150         0     88013    253638   7044217    131.65    155.47  --
3943.64/987.30	c  N dy 10462   1572060     19272     83150         0    108038    253638  11332657    131.69    148.65  --
3980.39/996.50	c  N dy 10598   1592202     19272     83150         0     70184    253638   3100820    131.69    139.45  --
4016.33/1005.50	c  N dy 10736   1612268     19272     83150         0     90249    253638   7367954    131.73    145.04  --
4055.48/1015.37	c  N dy 10873   1632325     19272     83150         0    110306    253638  11612341    131.75    140.10  --
4092.24/1024.56	c  N dy 11006   1652367     19272     83150         0     71352    253638   3149253    131.74    140.81  --
4128.60/1033.65	c  N dy 11144   1672796     19272     83150         0     91780    253638   7439809    131.74    141.70  --
4167.33/1043.37	c  N dy 11287   1692804     19272     83150         0    111785    253638  11611698    131.75    141.55  --
4199.31/1051.34	c  S st 11403   1710602     19272     83150         0     69580    253638   2515023    131.74    114.73  --
4200.08/1051.56	c  S st 11403   1711105     19272     83150         0     70083    253638   2594950    131.74   no data  --
4200.08/1051.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4200.08/1051.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4200.88/1051.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.55
4201.28/1051.89	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4201.28/1051.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4201.67/1051.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19272 time:  0.03 s
4201.67/1051.91	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
4234.46/1060.14	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time: 32.79 s
4234.46/1060.15	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
4234.83/1060.20	c vivif2 --  cl tried    70081 cl shrink        0 lits rem          0 time: 0.17
4235.63/1060.40	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.82
4235.63/1060.41	c calculated reachability. Time: 0.00
4235.63/1060.41	c  N dy 11403   1711105     19272     83150         0     70081    253638   2594574    131.74   no data  --
4269.98/1069.07	c  N dy 11538   1731150     19272     83150         0     90125    253638   6726778    131.74    141.09  --
4310.73/1079.25	c  N dy 11679   1751205     19272     83150         0    110177    253638  10970700    131.78    139.01  --
4350.27/1089.19	c  N dy 11819   1771342     19272     83150         0     69319    253638   2302480    131.79    141.69  --
4386.23/1098.17	c  N dy 11953   1791380     19272     83150         0     89355    253638   6461885    131.79    141.38  --
4425.77/1108.09	c  N dy 12084   1811451     19272     83150         0    109423    253638  10607026    131.79    139.90  --
4466.11/1118.18	c  N dy 12211   1831506     19272     83150         0     67487    253638   1705007    131.77    140.41  --
4502.09/1127.13	c  N dy 12348   1851605     19272     83150         0     87586    253638   5925758    131.80    138.77  --
4542.03/1137.13	c  N dy 12487   1871669     19272     83150         0    107648    253638  10132932    131.82    141.43  --
4585.56/1148.05	c  N dy 12623   1891743     19272     83150         0     64724    253638    919510    131.84    140.28  --
4620.72/1156.86	c  N dy 12756   1911982     19272     83150         0     84962    253638   5163844    131.85    139.18  --
4660.27/1166.74	c  N dy 12888   1932075     19272     83150         0    105055    253638   9420905    131.86    141.87  --
4703.79/1177.61	c  N dy 13022   1952175     19272     83150         0    125154    253638  13688454    131.88    166.17  --
4740.13/1186.71	c  N dy 13166   1972183     19272     83150         0     81163    253638   4182954    131.92    149.69  --
4778.09/1196.24	c  N dy 13298   1992198     19272     83150         0    101176    253638   8408757    131.93    151.11  --

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-3174900-1304047964/watcher-3174900-1304047964 -o /tmp/evaluation-result-3174900-1304047964/solver-3174900-1304047964 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174900-1304047964.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: 6.61 7.74 6.80 3/172 4182
/proc/meminfo: memFree=22197852/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 4 0 497211755 52465664 357 33554432000 4194304 4650419 140736846442672 18446744073709551615 254261616571 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 12809 357 306 112 0 7774 0
[pid=4182/tid=4183] ppid=4180 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 497211755 52465664 357 33554432000 4194304 4650419 140736846442672 18446744073709551615 47539762276264 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 497211755 52465664 357 33554432000 4194304 4650419 140736846442672 18446744073709551615 47539762276274 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 497211756 52465664 357 33554432000 4194304 4650419 140736846442672 18446744073709551615 254256663638 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0707709 s]
/proc/loadavg: 6.61 7.74 6.80 3/172 4182
/proc/meminfo: memFree=22197852/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=333884 CPUtime=0.51 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 18031 0 0 0 48 3 0 0 18 0 4 0 497211755 341897216 15407 33554432000 4194304 4650419 140736846442672 18446744073709551615 254261659783 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 77315 14541 377 112 0 72280 0
[pid=4182/tid=4183] ppid=4180 vsize=309260 CPUtime=0.16 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 4729 0 0 0 16 0 0 0 18 0 4 0 497211755 316682240 14795 33554432000 4194304 4650419 140736846442672 18446744073709551615 4426983 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=309260 CPUtime=0.16 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) D 4180 4182 4149 0 -1 4202560 4950 0 0 0 16 0 0 0 18 0 4 0 497211755 316682240 15334 33554432000 4194304 4650419 140736846442672 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=309260 CPUtime=0.17 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 3717 0 0 0 16 1 0 0 18 0 4 0 497211756 316682240 15511 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 333884

[startup+0.24392 s]
/proc/loadavg: 6.61 7.74 6.80 3/172 4182
/proc/meminfo: memFree=22197852/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=309524 CPUtime=3.59 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 32602 0 0 0 354 5 0 0 19 0 4 0 497211755 316952576 24145 33554432000 4194304 4650419 140736846442672 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 77381 24145 391 112 0 72346 0
[pid=4182/tid=4183] ppid=4180 vsize=309524 CPUtime=0.89 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 9235 0 0 0 89 0 0 0 19 0 4 0 497211755 316952576 24145 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=309524 CPUtime=0.89 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 9295 0 0 0 88 1 0 0 19 0 4 0 497211755 316952576 24145 33554432000 4194304 4650419 140736846442672 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=309524 CPUtime=0.89 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 4374 0 0 0 88 1 0 0 19 0 4 0 497211756 316952576 24145 33554432000 4194304 4650419 140736846442672 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 309524

[startup+1.00936 s]
/proc/loadavg: 6.61 7.74 6.80 3/172 4182
/proc/meminfo: memFree=22197852/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=309680 CPUtime=4 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 33022 0 0 0 394 6 0 0 19 0 4 0 497211755 317112320 24565 33554432000 4194304 4650419 140736846442672 18446744073709551615 4310809 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 77420 24565 391 112 0 72385 0
[pid=4182/tid=4183] ppid=4180 vsize=309680 CPUtime=0.99 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 9349 0 0 0 99 0 0 0 19 0 4 0 497211755 317112320 24565 33554432000 4194304 4650419 140736846442672 18446744073709551615 4333550 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=309680 CPUtime=0.99 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 9405 0 0 0 98 1 0 0 19 0 4 0 497211755 317112320 24566 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=309680 CPUtime=0.99 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 4476 0 0 0 98 1 0 0 19 0 4 0 497211756 317112320 24566 33554432000 4194304 4650419 140736846442672 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 309680

[startup+1.10934 s]
/proc/loadavg: 6.61 7.74 6.80 3/172 4182
/proc/meminfo: memFree=22197852/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=309680 CPUtime=4.4 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 33359 0 0 0 434 6 0 0 19 0 4 0 497211755 317112320 24902 33554432000 4194304 4650419 140736846442672 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 77420 24902 391 112 0 72385 0
[pid=4182/tid=4183] ppid=4180 vsize=309680 CPUtime=1.09 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 9438 0 0 0 109 0 0 0 19 0 4 0 497211755 317112320 24902 33554432000 4194304 4650419 140736846442672 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=309680 CPUtime=1.09 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 9487 0 0 0 108 1 0 0 19 0 4 0 497211755 317112320 24902 33554432000 4194304 4650419 140736846442672 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=309680 CPUtime=1.09 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 4568 0 0 0 108 1 0 0 19 0 4 0 497211756 317112320 24902 33554432000 4194304 4650419 140736846442672 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 309680

[startup+1.50028 s]
/proc/loadavg: 6.61 7.74 6.80 3/172 4182
/proc/meminfo: memFree=22197852/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=309844 CPUtime=5.96 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 34689 0 0 0 590 6 0 0 20 0 4 0 497211755 317280256 26232 33554432000 4194304 4650419 140736846442672 18446744073709551615 4328518 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 77461 26232 391 112 0 72426 0
[pid=4182/tid=4183] ppid=4180 vsize=309844 CPUtime=1.48 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 9774 0 0 0 148 0 0 0 19 0 4 0 497211755 317280256 26232 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=309844 CPUtime=1.48 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 9808 0 0 0 147 1 0 0 20 0 4 0 497211755 317280256 26232 33554432000 4194304 4650419 140736846442672 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=309844 CPUtime=1.48 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 4934 0 0 0 147 1 0 0 20 0 4 0 497211756 317280256 26232 33554432000 4194304 4650419 140736846442672 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 309844

[startup+3.10099 s]
/proc/loadavg: 6.61 7.74 6.80 9/184 4194
/proc/meminfo: memFree=21933040/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=428512 CPUtime=12.35 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 40204 0 0 0 1228 7 0 0 25 0 4 0 497211755 438796288 31747 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 107128 31747 391 112 0 102093 0
[pid=4182/tid=4183] ppid=4180 vsize=428512 CPUtime=3.09 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 11069 0 0 0 308 1 0 0 25 0 4 0 497211755 438796288 31747 33554432000 4194304 4650419 140736846442672 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=428512 CPUtime=3.07 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 11110 0 0 0 305 2 0 0 25 0 4 0 497211755 438796288 31747 33554432000 4194304 4650419 140736846442672 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=428512 CPUtime=3.08 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 6584 0 0 0 307 1 0 0 25 0 4 0 497211756 438796288 31747 33554432000 4194304 4650419 140736846442672 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 428512

[startup+6.30642 s]
/proc/loadavg: 6.72 7.75 6.80 9/184 4194
/proc/meminfo: memFree=21905872/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=328060 CPUtime=25.15 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 56214 0 0 0 2503 12 0 0 25 0 4 0 497211755 335933440 28706 33554432000 4194304 4650419 140736846442672 18446744073709551615 4333611 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 82015 28706 393 112 0 76980 0
[pid=4182/tid=4183] ppid=4180 vsize=328060 CPUtime=6.29 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 15002 0 0 0 627 2 0 0 25 0 4 0 497211755 335933440 28706 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363482 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=328060 CPUtime=6.26 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 14998 0 0 0 623 3 0 0 25 0 4 0 497211755 335933440 28706 33554432000 4194304 4650419 140736846442672 18446744073709551615 4310774 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=328060 CPUtime=6.29 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 10892 0 0 0 627 2 0 0 25 0 4 0 497211756 335933440 28706 33554432000 4194304 4650419 140736846442672 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 328060

[startup+12.7003 s]
/proc/loadavg: 6.83 7.75 6.81 10/184 4194
/proc/meminfo: memFree=21633604/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=567848 CPUtime=50.7 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 115909 0 0 0 5045 25 0 0 25 0 4 0 497211755 581476352 76598 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 141962 76598 395 112 0 136927 0
[pid=4182/tid=4183] ppid=4180 vsize=567848 CPUtime=12.68 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 42110 0 0 0 1260 8 0 0 25 0 4 0 497211755 581476352 76598 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=567848 CPUtime=12.62 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 22236 0 0 0 1257 5 0 0 25 0 4 0 497211755 581476352 76598 33554432000 4194304 4650419 140736846442672 18446744073709551615 4426561 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=567848 CPUtime=12.68 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 17108 0 0 0 1264 4 0 0 25 0 4 0 497211756 581476352 76598 33554432000 4194304 4650419 140736846442672 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 567848

[startup+25.501 s]
/proc/loadavg: 7.09 7.76 6.83 9/184 4194
/proc/meminfo: memFree=21341692/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=749164 CPUtime=101.83 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 195855 0 0 0 10142 41 0 0 25 0 4 0 497211755 767143936 106052 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 187291 106053 395 112 0 182256 0
[pid=4182/tid=4183] ppid=4180 vsize=749164 CPUtime=25.49 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 76759 0 0 0 2537 12 0 0 25 0 4 0 497211755 767143936 106053 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=749164 CPUtime=25.35 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 37099 0 0 0 2525 10 0 0 25 0 4 0 497211755 767143936 106054 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=749164 CPUtime=25.48 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 38615 0 0 0 2539 9 0 0 25 0 4 0 497211756 767143936 106054 33554432000 4194304 4650419 140736846442672 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 749164

[startup+51.1005 s]
/proc/loadavg: 7.40 7.78 6.86 10/184 4195
/proc/meminfo: memFree=21147444/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=859688 CPUtime=204.07 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 328774 0 0 0 20339 68 0 0 25 0 4 0 497211755 880320512 133941 33554432000 4194304 4650419 140736846442672 18446744073709551615 4441467 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 214922 133957 395 112 0 209887 0
[pid=4182/tid=4183] ppid=4180 vsize=859688 CPUtime=51.08 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 134179 0 0 0 5087 21 0 0 25 0 4 0 497211755 880320512 133963 33554432000 4194304 4650419 140736846442672 18446744073709551615 4332995 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=859688 CPUtime=50.81 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 61071 0 0 0 5065 16 0 0 25 0 4 0 497211755 880320512 133973 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=859688 CPUtime=51.08 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 52799 0 0 0 5095 13 0 0 25 0 4 0 497211756 880320512 133983 33554432000 4194304 4650419 140736846442672 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 859688

[startup+102.3 s]
/proc/loadavg: 7.77 7.83 6.92 9/184 4196
/proc/meminfo: memFree=21000472/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=805504 CPUtime=408.59 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 641693 0 0 0 40732 127 0 0 25 0 4 0 497211755 824836096 145739 33554432000 4194304 4650419 140736846442672 18446744073709551615 4333632 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 201376 145739 395 112 0 196341 0
[pid=4182/tid=4183] ppid=4180 vsize=805504 CPUtime=102.28 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 163476 0 0 0 10197 31 0 0 25 0 4 0 497211755 824836096 145739 33554432000 4194304 4650419 140736846442672 18446744073709551615 4334283 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=805504 CPUtime=101.73 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 94622 0 0 0 10146 27 0 0 25 0 4 0 497211755 824836096 145740 33554432000 4194304 4650419 140736846442672 18446744073709551615 4314709 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=805504 CPUtime=102.27 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 71869 0 0 0 10206 21 0 0 25 0 4 0 497211756 824836096 145740 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 805504

[startup+162.301 s]

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

[pid=4182] ppid=4180 vsize=1264400 CPUtime=2805.25 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 3208218 0 0 0 279876 649 0 0 25 0 4 0 497211755 1294745600 257799 33554432000 4194304 4650419 140736846442672 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 316100 257799 395 112 0 311065 0
[pid=4182/tid=4183] ppid=4180 vsize=1264400 CPUtime=702.28 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1127164 0 0 0 70024 204 0 0 25 0 4 0 497211755 1294745600 257799 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=1264400 CPUtime=698.46 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 698319 0 0 0 69690 156 0 0 25 0 4 0 497211755 1294745600 257799 33554432000 4194304 4650419 140736846442672 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=1264400 CPUtime=702.22 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 288938 0 0 0 70125 97 0 0 25 0 4 0 497211756 1294745600 257799 33554432000 4194304 4650419 140736846442672 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.25
Current children cumulated vsize (KiB) 1264400

[startup+762.301 s]
/proc/loadavg: 8.06 8.04 7.49 9/184 4214
/proc/meminfo: memFree=20018832/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=1320708 CPUtime=3044.91 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 3483899 0 0 0 303786 705 0 0 25 0 4 0 497211755 1352404992 264301 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 330177 264301 395 112 0 325142 0
[pid=4182/tid=4183] ppid=4180 vsize=1320708 CPUtime=762.28 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1320488 0 0 0 75996 232 0 0 25 0 4 0 497211755 1352404992 264301 33554432000 4194304 4650419 140736846442672 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=1320708 CPUtime=758.12 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 726571 0 0 0 75647 165 0 0 25 0 4 0 497211755 1352404992 264301 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=1320708 CPUtime=762.21 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 311954 0 0 0 76117 104 0 0 25 0 4 0 497211756 1352404992 264301 33554432000 4194304 4650419 140736846442672 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3044.91
Current children cumulated vsize (KiB) 1320708

[startup+822.301 s]
/proc/loadavg: 8.06 8.05 7.53 9/184 4216
/proc/meminfo: memFree=20028984/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=1332704 CPUtime=3284.58 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 3563916 0 0 0 327718 740 0 0 25 0 4 0 497211755 1364688896 262765 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 333176 262765 395 112 0 328141 0
[pid=4182/tid=4183] ppid=4180 vsize=1332704 CPUtime=822.28 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1349272 0 0 0 81983 245 0 0 25 0 4 0 497211755 1364688896 262765 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=1332704 CPUtime=817.8 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 752918 0 0 0 81604 176 0 0 25 0 4 0 497211755 1364688896 262765 33554432000 4194304 4650419 140736846442672 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=1332704 CPUtime=822.2 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 335884 0 0 0 82105 115 0 0 25 0 4 0 497211756 1364688896 262765 33554432000 4194304 4650419 140736846442672 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.58
Current children cumulated vsize (KiB) 1332704

[startup+882.3 s]
/proc/loadavg: 8.13 8.07 7.56 9/184 4217
/proc/meminfo: memFree=19977756/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=1375268 CPUtime=3524.22 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 3674691 0 0 0 351647 775 0 0 25 0 4 0 497211755 1408274432 267318 33554432000 4194304 4650419 140736846442672 18446744073709551615 4328275 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 343817 267318 395 112 0 338782 0
[pid=4182/tid=4183] ppid=4180 vsize=1375268 CPUtime=882.27 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1381786 0 0 0 87970 257 0 0 25 0 4 0 497211755 1408274432 267318 33554432000 4194304 4650419 140736846442672 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=1375268 CPUtime=877.47 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 781115 0 0 0 87562 185 0 0 25 0 4 0 497211755 1408274432 267318 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=1375268 CPUtime=882.19 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 361456 0 0 0 88097 122 0 0 25 0 4 0 497211756 1408274432 267319 33554432000 4194304 4650419 140736846442672 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.22
Current children cumulated vsize (KiB) 1375268

[startup+942.301 s]
/proc/loadavg: 8.12 8.07 7.59 10/184 4219
/proc/meminfo: memFree=19848152/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=1400744 CPUtime=3763.91 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 3920483 0 0 0 375557 834 0 0 25 0 4 0 497211755 1434361856 292370 33554432000 4194304 4650419 140736846442672 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 350186 292370 395 112 0 345151 0
[pid=4182/tid=4183] ppid=4180 vsize=1400744 CPUtime=942.27 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1409122 0 0 0 93960 267 0 0 25 0 4 0 497211755 1434361856 292370 33554432000 4194304 4650419 140736846442672 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=1400744 CPUtime=937.14 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 935153 0 0 0 93505 209 0 0 25 0 4 0 497211755 1434361856 292370 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=1400744 CPUtime=942.19 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 391729 0 0 0 94087 132 0 0 25 0 4 0 497211756 1434361856 292370 33554432000 4194304 4650419 140736846442672 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.91
Current children cumulated vsize (KiB) 1400744

[startup+1002.3 s]
/proc/loadavg: 8.04 8.05 7.62 9/184 4220
/proc/meminfo: memFree=19857556/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=1456872 CPUtime=4003.56 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 4279528 0 0 0 399449 907 0 0 25 0 4 0 497211755 1491836928 289439 33554432000 4194304 4650419 140736846442672 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 364218 289439 395 112 0 359183 0
[pid=4182/tid=4183] ppid=4180 vsize=1456872 CPUtime=1002.27 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1417558 0 0 0 99956 271 0 0 25 0 4 0 497211755 1491836928 289439 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=1456872 CPUtime=996.81 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1229829 0 0 0 99428 253 0 0 25 0 4 0 497211755 1491836928 289439 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=1456872 CPUtime=1002.18 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 420321 0 0 0 100074 144 0 0 25 0 4 0 497211756 1491836928 289439 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.56
Current children cumulated vsize (KiB) 1456872

[startup+1062.31 s]
/proc/loadavg: 8.16 8.07 7.65 9/184 4222
/proc/meminfo: memFree=19787608/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=1457756 CPUtime=4243.24 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 4650635 0 0 0 423348 976 0 0 25 0 4 0 497211755 1492742144 283755 33554432000 4194304 4650419 140736846442672 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 364439 283755 395 112 0 359404 0
[pid=4182/tid=4183] ppid=4180 vsize=1457756 CPUtime=1062.27 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1430016 0 0 0 105951 276 0 0 25 0 4 0 497211755 1492742144 283755 33554432000 4194304 4650419 140736846442672 18446744073709551615 4315153 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=1457756 CPUtime=1056.49 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1536821 0 0 0 105354 295 0 0 25 0 4 0 497211755 1492742144 283755 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=1457756 CPUtime=1062.18 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 448971 0 0 0 106061 157 0 0 25 0 4 0 497211756 1492742144 283755 33554432000 4194304 4650419 140736846442672 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.24
Current children cumulated vsize (KiB) 1457756

[startup+1122.3 s]
/proc/loadavg: 8.19 8.09 7.68 9/184 4224
/proc/meminfo: memFree=19697328/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=1544628 CPUtime=4482.89 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 5052092 0 0 0 447237 1052 0 0 25 0 4 0 497211755 1581699072 312805 33554432000 4194304 4650419 140736846442672 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 386157 312805 404 112 0 381122 0
[pid=4182/tid=4183] ppid=4180 vsize=1544628 CPUtime=1122.27 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1458078 0 0 0 111936 291 0 0 25 0 4 0 497211755 1581699072 312805 33554432000 4194304 4650419 140736846442672 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=1544628 CPUtime=1116.16 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1865761 0 0 0 111275 341 0 0 25 0 4 0 497211755 1581699072 312805 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=1544628 CPUtime=1122.17 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 468241 0 0 0 112057 160 0 0 25 0 4 0 497211756 1581699072 312805 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.89
Current children cumulated vsize (KiB) 1544628

[startup+1182.3 s]
/proc/loadavg: 8.13 8.09 7.70 10/184 4225
/proc/meminfo: memFree=19760660/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=1488932 CPUtime=4722.55 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 5484656 0 0 0 471127 1128 0 0 25 0 4 0 497211755 1524666368 306141 33554432000 4194304 4650419 140736846442672 18446744073709551615 4333957 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 372233 306141 416 112 0 367198 0
[pid=4182/tid=4183] ppid=4180 vsize=1488932 CPUtime=1182.27 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1482025 0 0 0 117923 304 0 0 25 0 4 0 497211755 1524666368 306141 33554432000 4194304 4650419 140736846442672 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=1488932 CPUtime=1175.84 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 2249572 0 0 0 117192 392 0 0 25 0 4 0 497211755 1524666368 306141 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=1488932 CPUtime=1182.17 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 468245 0 0 0 118057 160 0 0 25 0 4 0 497211756 1524666368 306141 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.55
Current children cumulated vsize (KiB) 1488932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.08 7.71 9/184 4226
/proc/meminfo: memFree=19635664/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=1545304 CPUtime=4800.07 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 5666741 0 0 0 478849 1158 0 0 25 0 4 0 497211755 1582391296 322519 33554432000 4194304 4650419 140736846442672 18446744073709551615 4328348 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 386326 322519 396 112 0 381291 0
[pid=4182/tid=4183] ppid=4180 vsize=1545304 CPUtime=1201.68 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1490059 0 0 0 119859 309 0 0 25 0 4 0 497211755 1582391296 322519 33554432000 4194304 4650419 140736846442672 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=1545304 CPUtime=1195.14 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 2415149 0 0 0 119100 414 0 0 25 0 4 0 497211755 1582391296 322519 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=1545304 CPUtime=1201.57 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 468245 0 0 0 119997 160 0 0 25 0 4 0 497211756 1582391296 322519 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1545304

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

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

[startup+1201.7 s]
/proc/loadavg: 8.09 8.08 7.71 9/184 4226
/proc/meminfo: memFree=19635664/32951124 swapFree=67111528/67111528
[pid=4182] ppid=4180 vsize=1545304 CPUtime=4800.07 cores=0,2,4,6
/proc/4182/stat : 4182 (strangenight1-m) R 4180 4182 4149 0 -1 4202496 5666741 0 0 0 478849 1158 0 0 25 0 4 0 497211755 1582391296 322519 33554432000 4194304 4650419 140736846442672 18446744073709551615 4328348 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4182/statm: 386326 322519 396 112 0 381291 0
[pid=4182/tid=4183] ppid=4180 vsize=1545304 CPUtime=1201.68 cores=0,2,4,6
/proc/4182/task/4183/stat : 4183 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 1490059 0 0 0 119859 309 0 0 25 0 4 0 497211755 1582391296 322519 33554432000 4194304 4650419 140736846442672 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4182/tid=4184] ppid=4180 vsize=1545304 CPUtime=1195.14 cores=0,2,4,6
/proc/4182/task/4184/stat : 4184 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 2415149 0 0 0 119100 414 0 0 25 0 4 0 497211755 1582391296 322519 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4182/tid=4185] ppid=4180 vsize=1545304 CPUtime=1201.57 cores=0,2,4,6
/proc/4182/task/4185/stat : 4185 (strangenight1-m) R 4180 4182 4149 0 -1 4202560 468245 0 0 0 119997 160 0 0 25 0 4 0 497211756 1582391296 322519 33554432000 4194304 4650419 140736846442672 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1545304

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.17
CPU user time (s): 4788.52
CPU system time (s): 11.6492
CPU usage (%): 399.422
Max. virtual memory (cumulated for all children) (KiB): 1545304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.52
system time used= 11.6492
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5666744
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= 2243
involuntary context switches= 22664

runsolver used 2.01969 second user time and 4.55131 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 05:32:44
IDJOB=3174900
IDBENCH=82518
IDSOLVER=1588
FILE ID=node140/3174900-1304047964
RUNJOBID= node140-1304047964-4167
PBS_JOBID= 13170406
Free space on /tmp= 72660 MiB

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

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

MD5SUM BENCH= 839440d6b1cc9d3b4faa8d33a4dd7359
RANDOM SEED=1447663791

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22198008 kB
Buffers:       2296080 kB
Cached:        7825712 kB
SwapCached:          0 kB
Active:        2645596 kB
Inactive:      7538576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22198008 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           16080 kB
Writeback:           0 kB
AnonPages:       62696 kB
Mapped:          14456 kB
Slab:           504116 kB
PageTables:       4684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   182032 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= 72648 MiB
End job on node140 at 2011-04-29 05:52:48