Trace number 3368564

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.27 1203.64

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf
MD5SUM576af4ef397491948f4ca2b3f3b7cd4f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.5984
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512750

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 4 threads
0.00/0.08	c This is CryptoMiniSat 2.9.0
0.00/0.08	c compiled with gcc version 4.4.5
0.00/0.08	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.08	c Reading file 'HOME/instance-3368564-1305397351.cnf'
0.00/0.08	c -- header says num vars:            150
0.00/0.08	c -- header says num clauses:       12750
1.05/0.39	c -- clauses added:            0 learnts,        12750 normals,            0 xors
1.05/0.39	c -- vars added        150
1.05/0.39	c Parsing time:  0.02 s
1.05/0.39	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.05/0.39	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.05/0.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.05/0.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.05/0.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.05/0.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.05/0.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.45/0.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
3.45/0.95	c Finding binary XORs  T:     0.00 s  found:       0
3.45/0.95	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.45/0.95	c calculated reachability. Time: 0.00
3.45/0.95	c Calc default polars -  time:   0.00 s pos:      77 undec:       1 neg:      72
3.45/0.95	c =========================================================================================
3.45/0.95	c types(t): F = full restart, N = normal restart
3.45/0.95	c types(t): S = simplification begin/end, E = solution found
3.45/0.95	c restart types(rt): st = static, dy = dynamic
3.45/0.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.45/0.95	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
3.45/0.95	c  N dy     9      4155       150     12750         0      3967     89250    181682     41.73     43.95  --
3.45/0.95	c  N dy    10      8541       150     12750         0      5777     89250    233004     39.29     41.61  --
3.85/1.08	c  N dy    15     13298       150     12750         0      6272     89250    221138     38.71     40.75  --
5.04/1.38	c  N dy    19     18702       150     12750         0      6064     89250    175725     38.37     40.56  --
6.24/1.64	c  N dy    40     23441       150     12750         0     10612     89250    378791     38.59     40.65  --
6.64/1.73	c  F st    43     25000       150     12750         0     12117     89250    445783     38.57     38.47  --
7.44/1.92	c  N st    48     28298       150     12750         0      8738     89250    265068     38.57   no data  --
7.84/2.01	c  S st    49     30000       150     12750         0     10379     89250    342595     38.57   no data  --
7.84/2.06	c  S st    49     30505       150     12750         0     10873     89250    364249     38.57   no data  --
7.84/2.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.84/2.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.84/2.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.84/2.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.84/2.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.84/2.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.84/2.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.21/4.12	c lits-rem:      2365  cl-subs:      490  v-elim:      0  v-fix:    0  time:  8.15 s
17.85/4.56	c asymm  cl-useful: 0/11119/12750 lits-rem:0 time: 1.73
17.85/4.56	c calculated reachability. Time: 0.00
17.85/4.56	c  N dy    49     30505       150     12750         0     10383     89250    333141     38.57   no data  --
19.80/5.05	c  N dy    60     37721       150     12750         0      9712     89250    270457     38.38     40.48  --
21.00/5.37	c  N dy    72     42529       150     12750         0     14335     89250    474559     38.37     40.83  --
22.23/5.62	c  S st    87     45757       150     12750         0      8859     89250    201326     38.42     34.36  --
22.23/5.66	c  S st    87     46258       150     12750         0      9351     89250    222796     38.42   no data  --
22.23/5.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.23/5.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.23/5.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
22.23/5.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.23/5.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.23/5.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
22.23/5.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.58/7.29	c lits-rem:       261  cl-subs:       59  v-elim:      0  v-fix:    0  time:  6.46 s
28.58/7.29	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
28.58/7.29	c vivif2 --  cl tried     9292 cl shrink        0 lits rem          0 time: 0.01
28.98/7.36	c asymm  cl-useful: 0/1631/12750 lits-rem:0 time: 0.25
28.98/7.36	c calculated reachability. Time: 0.00
28.98/7.36	c  N dy    87     46258       150     12750         0      9292     89250    219271     38.42   no data  --
30.17/7.63	c  N dy   107     50302       150     12750         0     13181     89250    394912     38.54     41.61  --
31.36/7.95	c  N dy   118     54976       150     12750         0     17633     89250    592325     38.53     40.78  --
32.56/8.23	c  N dy   130     59023       150     12750         0     11927     89250    307156     38.55     40.65  --
33.76/8.50	c  N dy   143     63198       150     12750         0     15943     89250    484815     38.54     40.59  --
34.98/8.83	c  N dy   167     67303       150     12750         0     19873     89250    660012     38.64     40.68  --
35.75/9.01	c  S st   182     69389       150     12750         0     11334     89250    247340     38.69   no data  --
35.75/9.05	c  S st   182     69891       150     12750         0     11819     89250    268183     38.69   no data  --
35.75/9.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.75/9.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.75/9.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
35.75/9.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
35.75/9.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35.75/9.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
35.75/9.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.76/11.08	c lits-rem:       501  cl-subs:       96  v-elim:      0  v-fix:    0  time:  8.02 s
43.76/11.08	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
43.76/11.09	c vivif2 --  cl tried    11723 cl shrink        0 lits rem          0 time: 0.01
46.13/11.60	c asymm  cl-useful: 0/9974/12750 lits-rem:0 time: 2.06
46.13/11.60	c calculated reachability. Time: 0.00
46.13/11.60	c  N dy   182     69891       150     12750         0     11723     89250    262223     38.69   no data  --
47.32/11.96	c  N dy   210     74496       150     12750         0     16152     89250    461643     38.78     41.06  --
49.71/12.53	c  N dy   218     81010       150     12750         0     22387     89250    739641     38.70     41.03  --
51.31/12.95	c  N dy   245     86235       150     12750         0     15912     89250    421008     38.78     42.79  --
51.71/13.05	c  F st   250     87500       150     12750         0     17124     89250    475218     38.79   no data  --
53.29/13.46	c  N dy   256     92694       150     12750         0     22080     89250    694866     38.79   no data  --
55.30/13.98	c  N dy   268     99450       150     12750         0     16075     89250    396449     38.76     40.80  --
56.91/14.40	c  S st   280    104836       150     12750         0     21247     89250    628839     38.77     38.45  --
57.33/14.47	c  S st   280    105337       150     12750         0     21736     89250    649682     38.77   no data  --
57.33/14.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.33/14.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.33/14.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
57.68/14.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.68/14.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.68/14.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
57.68/14.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.26/17.47	c lits-rem:      2335  cl-subs:      901  v-elim:      0  v-fix:    0  time: 11.82 s
69.26/17.47	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
69.26/17.48	c vivif2 --  cl tried    20835 cl shrink        0 lits rem          0 time: 0.02
70.50/17.72	c asymm  cl-useful: 0/2776/12750 lits-rem:0 time: 0.96
70.50/17.72	c calculated reachability. Time: 0.00
70.50/17.72	c  N dy   280    105337       150     12750         0     20835     89250    598481     38.77   no data  --
73.24/18.40	c  N dy   282    114167       150     12750         0     15880     89250    356887     38.55     40.58  --
75.23/18.95	c  N dy   293    121453       150     12750         0     22840     89250    670203     38.50     40.62  --
78.43/19.73	c  N dy   326    129403       150     12750         0     16108     89250    333873     38.53     40.56  --
81.21/20.44	c  N dy   338    137873       150     12750         0     24218     89250    693428     38.47     41.06  --
84.41/21.28	c  N dy   379    146747       150     12750         0     17432     89250    362892     38.53     40.77  --
88.04/22.16	c  N dy   418    157214       150     12750         0     27487     89250    810979     38.55     40.68  --
88.39/22.24	c  S st   422    158005       150     12750         0     28249     89250    844746     38.55     36.48  --
88.79/22.32	c  S st   422    158510       150     12750         0     28742     89250    866734     38.55   no data  --
88.79/22.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
88.79/22.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
88.79/22.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
88.79/22.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.79/22.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.79/22.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
88.79/22.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
111.13/27.90	c lits-rem:      2112  cl-subs:     1305  v-elim:      0  v-fix:    0  time: 22.08 s
111.13/27.90	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
111.13/27.91	c vivif2 --  cl tried    27437 cl shrink        0 lits rem          0 time: 0.04
111.93/28.18	c asymm  cl-useful: 0/3151/12750 lits-rem:0 time: 1.09
111.93/28.19	c calculated reachability. Time: 0.00
111.93/28.19	c  N dy   422    158510       150     12750         0     27437     89250    792720     38.55   no data  --
116.31/29.25	c  N dy   471    168834       150     12750         0     21085     89250    491252     38.61     40.66  --
120.70/30.35	c  N dy   497    180958       150     12750         0     32667     89250   1003381     38.57     40.90  --
125.89/31.67	c  N dy   543    193805       150     12750         0     27718     89250    753507     38.58     40.75  --
131.91/33.14	c  N dy   591    206266       150     12750         0     21490     89250    444218     38.62     41.77  --
138.25/34.73	c  N dy   646    219696       150     12750         0     34392     89250   1021174     38.66     40.70  --
145.08/36.43	c  N dy   692    234283       150     12750         0     29205     89250    752372     38.67     41.18  --
147.02/36.93	c  S st   718    237766       150     12750         0     32536     89250    902833     38.70   no data  --
147.42/37.04	c  S st   718    238268       150     12750         0     33025     89250    924400     38.70   no data  --
147.42/37.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
147.42/37.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.42/37.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
147.42/37.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.42/37.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.42/37.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
147.42/37.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
164.98/41.46	c lits-rem:       785  cl-subs:     1380  v-elim:      0  v-fix:    0  time: 17.42 s
164.98/41.46	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
164.98/41.47	c vivif2 --  cl tried    31645 cl shrink        0 lits rem          0 time: 0.04
166.18/41.71	c asymm  cl-useful: 0/2454/12750 lits-rem:0 time: 0.94
166.18/41.71	c calculated reachability. Time: 0.00
166.18/41.71	c  N dy   718    238268       150     12750         0     31645     89250    848116     38.70   no data  --
172.54/43.38	c  N dy   783    253589       150     12750         0     26268     89250    593670     38.73     41.22  --
179.75/45.13	c  N dy   828    269831       150     12750         0     41738     89250   1283194     38.72     42.49  --
187.31/47.06	c  N dy   873    288895       150     12750         0     38999     89250   1128235     38.70     40.76  --
195.29/49.01	c  F st   940    306250       150     12750         0     33592     89250    853036     38.73     39.35  --
195.69/49.15	c  N st   943    307440       150     12750         0     34733     89250    902376     38.73   no data  --
204.86/51.43	c  N dy  1002    327157       150     12750         0     30614     89250    689110     38.75     42.68  --
215.28/54.05	c  N dy  1059    349020       150     12750         0     27565     89250    520721     38.73     40.94  --
218.83/54.97	c  S st  1082    357402       150     12750         0     35619     89250    878969     38.73   no data  --
219.25/55.08	c  S st  1082    357904       150     12750         0     36103     89250    900259     38.73   no data  --
219.25/55.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
219.25/55.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
219.25/55.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.10
219.67/55.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
219.67/55.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
219.67/55.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
219.67/55.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
247.13/62.03	c lits-rem:      2094  cl-subs:     1309  v-elim:      0  v-fix:    0  time: 27.50 s
247.13/62.03	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
247.13/62.04	c vivif2 --  cl tried    34794 cl shrink        0 lits rem          0 time: 0.04
248.74/62.40	c asymm  cl-useful: 0/2119/12750 lits-rem:0 time: 1.44
248.74/62.40	c calculated reachability. Time: 0.00
248.74/62.40	c  N dy  1082    357904       150     12750         0     34794     89250    828388     38.73   no data  --
260.29/65.35	c  N dy  1135    380667       150     12750         0     31734     89250    672443     38.71     40.84  --
271.89/68.24	c  N dy  1199    401147       150     12750         0     51379     89250   1546201     38.70     40.78  --
282.24/70.87	c  N dy  1253    421764       150     12750         0     45302     89250   1242816     38.69     40.92  --
293.83/73.81	c  N dy  1292    444684       150     12750         0     40376     89250    990811     38.63     40.68  --
305.78/76.74	c  N dy  1348    465149       150     12750         0     32175     89250    592873     38.63     40.79  --
316.93/79.54	c  N dy  1434    485217       150     12750         0     51376     89250   1445984     38.65     40.98  --
328.51/82.45	c  N dy  1459    507424       150     12750         0     43846     89250   1082982     38.58     40.70  --
340.07/85.35	c  N dy  1519    527465       150     12750         0     33411     89250    585192     38.58     40.65  --
344.45/86.49	c  S st  1549    536856       150     12750         0     42428     89250    986770     38.58     33.65  --
345.25/86.60	c  S st  1549    537359       150     12750         0     42919     89250   1008158     38.58   no data  --
345.25/86.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
345.25/86.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
345.25/86.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
345.25/86.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
345.25/86.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
345.25/86.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
345.25/86.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
373.22/93.62	c lits-rem:      1553  cl-subs:     1385  v-elim:      0  v-fix:    0  time: 27.76 s
373.22/93.62	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
373.22/93.64	c vivif2 --  cl tried    41534 cl shrink        0 lits rem          0 time: 0.04
374.37/93.91	c asymm  cl-useful: 0/1877/12750 lits-rem:0 time: 1.08
374.37/93.91	c calculated reachability. Time: 0.00
374.37/93.91	c  N dy  1549    537359       150     12750         0     41534     89250    931842     38.58   no data  --
386.73/97.07	c  N dy  1603    559988       150     12750         0     32618     89250    513330     38.57     40.68  --
397.90/99.88	c  N dy  1663    580026       150     12750         0     51812     89250   1372784     38.58     40.82  --
411.47/103.26	c  N dy  1737    600447       150     12750         0     39803     89250    802518     38.59     40.68  --
425.03/106.65	c  N dy  1779    621858       150     12750         0     60332     89250   1714445     38.58     40.75  --
436.99/109.69	c  N dy  1842    643019       150     12750         0     48002     89250   1130826     38.59     41.02  --
451.35/113.26	c  N dy  1900    663163       150     12750         0     33765     89250    468833     38.58     40.92  --
462.92/116.16	c  N dy  1976    683844       150     12750         0     53544     89250   1352504     38.59     40.97  --
484.45/121.52	c  N dy  2036    719185       150     12750         0     52858     89250   1289339     38.55     40.62  --
498.82/125.17	c  N dy  2073    739270       150     12750         0     36716     89250    534316     38.53     40.74  --
511.58/128.34	c  N dy  2150    759347       150     12750         0     56025     89250   1395874     38.55     42.77  --
528.74/132.68	c  N dy  2234    780076       150     12750         0     39493     89250    620408     38.57     40.69  --
542.30/136.07	c  N dy  2294    800118       150     12750         0     58755     89250   1482385     38.57     43.13  --
547.88/137.47	c  S st  2312    806039       150     12750         0     64429     89250   1733771     38.57     38.05  --
548.72/137.66	c  S st  2312    806542       150     12750         0     64918     89250   1755246     38.57   no data  --
548.72/137.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
548.72/137.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
549.07/137.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
549.07/137.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
549.07/137.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
549.07/137.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
549.07/137.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
635.63/159.40	c lits-rem:      2388  cl-subs:     2940  v-elim:      0  v-fix:    0  time: 86.27 s
635.63/159.40	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
635.63/159.42	c vivif2 --  cl tried    61978 cl shrink        0 lits rem          0 time: 0.07
636.81/159.75	c asymm  cl-useful: 0/1352/12750 lits-rem:0 time: 1.31
636.81/159.75	c calculated reachability. Time: 0.00
636.81/159.75	c  N dy  2312    806542       150     12750         0     61978     89250   1594425     38.57   no data  --
650.77/163.23	c  N dy  2352    826995       150     12750         0     44206     89250    797059     38.56     40.62  --
664.74/166.71	c  N dy  2402    848371       150     12750         0     64659     89250   1704470     38.55     41.10  --
679.10/170.37	c  N dy  2468    869078       150     12750         0     46168     89250    855169     38.55     40.64  --
740.92/185.90	c  N dy  2552    962645       150     12750         0     55973     89250   1237772     38.31     40.48  --
758.90/190.31	c  N dy  2651    983543       150     12750         0     76016     89250   2133243     38.34     40.46  --
773.22/193.90	c  N dy  2716   1003590       150     12750         0     54235     89250   1124006     38.34     40.41  --
788.78/197.87	c  N dy  2789   1023960       150     12750         0     73801     89250   1995326     38.35     40.49  --
805.94/202.13	c  N dy  2834   1046941       150     12750         0     53651     89250   1060727     38.34     40.48  --
823.89/206.67	c  N dy  2898   1066989       150     12750         0     72896     89250   1917353     38.34     40.41  --
828.68/207.84	c  F st  2903   1071875       150     12750         0     77547     89250   2120956     38.33     37.72  --
842.26/211.30	c  N dy  2946   1087007       150     12750         0     48972     89250    819334     38.34     40.90  --
858.59/215.35	c  N dy  3003   1107495       150     12750         0     68538     89250   1685236     38.33     40.39  --
880.13/220.74	c  N dy  3101   1127519       150     12750         0     87724     89250   2541366     38.35     41.04  --
896.86/224.96	c  N dy  3186   1148324       150     12750         0     63649     89250   1435218     38.36     40.40  --
916.42/229.90	c  N dy  3254   1168553       150     12750         0     83044     89250   2301256     38.37     41.31  --
934.80/234.43	c  N dy  3322   1189042       150     12750         0     57654     89250   1134150     38.37     40.46  --
953.50/239.14	c  N dy  3397   1209702       150     12750         0     77471     89250   2016147     38.38     40.59  --
953.50/239.18	c  S st  3398   1209813       150     12750         0     77579     89250   2020948     38.38     39.13  --
954.70/239.42	c  S st  3398   1210315       150     12750         0     78069     89250   2042839     38.38   no data  --
954.70/239.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
954.70/239.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
954.70/239.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
955.10/239.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
955.10/239.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
955.10/239.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
955.10/239.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1158.89/290.64	c lits-rem:      3553  cl-subs:     3193  v-elim:      0  v-fix:    0  time: 203.76 s
1158.89/290.64	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1158.89/290.66	c vivif2 --  cl tried    74876 cl shrink        0 lits rem          0 time: 0.10
1160.90/291.14	c asymm  cl-useful: 0/1132/12750 lits-rem:0 time: 1.90
1160.90/291.14	c calculated reachability. Time: 0.00
1160.90/291.14	c  N dy  3398   1210315       150     12750         0     74876     89250   1866330     38.38   no data  --
1187.61/297.81	c  N dy  3486   1230404       150     12750         0     48182     89250    680398     38.39     41.69  --
1207.15/302.70	c  N dy  3577   1250410       150     12750         0     67329     89250   1532911     38.41     40.44  --
1231.88/308.94	c  N dy  3652   1271155       150     12750         0     87170     89250   2420179     38.42     40.58  --
1254.22/314.55	c  N dy  3731   1291189       150     12750         0     59487     89250   1151631     38.43     41.09  --
1277.74/320.47	c  N dy  3844   1311251       150     12750         0     78749     89250   2018001     38.45     40.53  --
1303.66/326.93	c  N dy  3902   1331265       150     12750         0     50008     89250    693384     38.45     42.17  --
1322.81/331.73	c  N dy  3965   1351308       150     12750         0     69160     89250   1545183     38.45     42.21  --
1347.93/338.07	c  N dy  4035   1371483       150     12750         0     88512     89250   2405330     38.46     40.54  --
1371.08/343.85	c  N dy  4098   1391537       150     12750         0     58888     89250   1058076     38.46     40.73  --
1392.61/349.21	c  N dy  4147   1411574       150     12750         0     78043     89250   1907200     38.46     40.59  --
1464.40/367.23	c  N dy  4216   1473469       150     12750         0     87203     89250   2277715     38.38     40.49  --
1492.31/374.23	c  N dy  4296   1493577       150     12750         0     55886     89250    863220     38.39     40.54  --
1513.90/379.66	c  N dy  4380   1513704       150     12750         0     75159     89250   1723053     38.40     40.70  --
1540.22/386.21	c  N dy  4428   1535413       150     12750         0     95916     89250   2651337     38.40     40.52  --
1565.71/392.64	c  N dy  4511   1555832       150     12750         0     63893     89250   1180800     38.41     40.46  --
1588.83/398.41	c  N dy  4558   1578344       150     12750         0     85330     89250   2128203     38.39     40.50  --
1618.35/405.90	c  N dy  4652   1598911       150     12750         0    105064     89250   3009547     38.40     40.58  --
1637.49/410.64	c  N dy  4728   1618929       150     12750         0     71642     89250   1498855     38.41     41.23  --
1661.02/416.55	c  N dy  4798   1639014       150     12750         0     90870     89250   2355748     38.41     42.07  --
1689.73/423.74	c  N dy  4895   1659052       150     12750         0     56492     89250    785097     38.43     40.89  --
1709.27/428.69	c  N dy  4959   1679197       150     12750         0     75782     89250   1642802     38.43     40.71  --
1734.40/434.99	c  N dy  5031   1699218       150     12750         0     94954     89250   2499593     38.43     42.35  --
1750.80/439.07	c  S st  5078   1710316       150     12750         0    105598     89250   2975971     38.44     35.13  --
1752.35/439.42	c  S st  5078   1710816       150     12750         0    106091     89250   2997753     38.44   no data  --
1752.35/439.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1752.35/439.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1752.75/439.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.28
1752.75/439.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1752.75/439.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1752.75/439.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1752.75/439.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2906.15/728.80	c lits-rem:      4010  cl-subs:     5627  v-elim:      0  v-fix:    0  time: 1152.80 s
2906.55/728.80	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
2906.55/728.83	c vivif2 --  cl tried   100464 cl shrink        0 lits rem          0 time: 0.13
2907.75/729.16	c asymm  cl-useful: 0/665/12750 lits-rem:0 time: 1.31
2907.75/729.16	c calculated reachability. Time: 0.00
2907.75/729.16	c  N dy  5078   1710816       150     12750         0    100464     89250   2696053     38.44   no data  --
2932.48/735.38	c  N dy  5202   1730888       150     12750         0     65270     89250   1144709     38.45     40.80  --
2954.01/740.78	c  N dy  5287   1751289       150     12750         0     84806     89250   2012528     38.46     40.69  --
2981.93/747.72	c  N dy  5366   1772469       150     12750         0    105045     89250   2914531     38.46     40.51  --
3004.27/753.38	c  N dy  5459   1792497       150     12750         0     68764     89250   1260379     38.47     40.51  --
3025.41/758.68	c  N dy  5541   1812764       150     12750         0     88163     89250   2129218     38.48     40.53  --
3054.51/765.90	c  N dy  5634   1833629       150     12750         0    108144     89250   3025744     38.49     40.69  --
3074.86/771.08	c  N dy  5682   1853704       150     12750         0     70861     89250   1315503     38.49     40.77  --
3097.64/776.77	c  N dy  5752   1875060       150     12750         0     91313     89250   2227367     38.49     40.70  --
3125.91/783.89	c  N dy  5847   1895063       150     12750         0    110470     89250   3084647     38.50     40.83  --
3148.24/789.45	c  N dy  5913   1915875       150     12750         0     72962     89250   1375019     38.50     40.53  --
3171.79/795.38	c  N dy  5966   1938196       150     12750         0     94279     89250   2324109     38.50     40.59  --
3202.51/803.07	c  N dy  6049   1958216       150     12750         0    113446     89250   3178556     38.50     41.49  --
3227.62/809.39	c  N dy  6125   1980369       150     12750         0     76225     89250   1488978     38.51     40.63  --
3253.54/815.86	c  N dy  6212   2000423       150     12750         0     95460     89250   2349376     38.51     40.86  --
3290.26/825.03	c  N dy  6289   2027912       150     12750         0     62452     89250    840540     38.51     40.61  --
3309.77/829.92	c  N dy  6361   2048166       150     12750         0     81790     89250   1703456     38.51     40.55  --
3334.89/836.21	c  N dy  6452   2068223       150     12750         0    101080     89250   2567462     38.52     40.57  --
3364.41/843.71	c  N dy  6531   2088234       150     12750         0    120266     89250   3427510     38.53     40.61  --
3382.80/848.28	c  N dy  6600   2108436       150     12750         0     79303     89250   1560479     38.53     40.58  --
3405.88/854.02	c  N dy  6697   2128626       150     12750         0     98697     89250   2429635     38.54     40.65  --
3432.21/860.63	c  N dy  6771   2148941       150     12750         0    118174     89250   3300879     38.55     40.59  --
3454.14/866.15	c  N dy  6846   2171156       150     12750         0     78093     89250   1471298     38.55     40.64  --
3475.67/871.53	c  N dy  6932   2191231       150     12750         0     97317     89250   2330975     38.55     40.83  --
3501.25/877.92	c  S st  6981   2210817       150     12750         0    115997     89250   3165828     38.55   no data  --
3502.40/878.26	c  S st  6981   2211320       150     12750         0    116479     89250   3187394     38.55   no data  --
3502.40/878.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3502.40/878.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3502.80/878.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
3503.20/878.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3503.20/878.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3503.20/878.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3503.20/878.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3368564-1305397351/watcher-3368564-1305397351 -o /tmp/evaluation-result-3368564-1305397351/solver-3368564-1305397351 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368564-1305397351.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: 1.45 3.07 3.40 4/353 12568
/proc/meminfo: memFree=21314672/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=51236 CPUtime=0.16 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 415 0 0 0 16 0 0 0 19 0 4 0 651332817 52465664 356 33554432000 4194304 4650419 140737250392704 18446744073709551615 46919435695641 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 12809 356 306 112 0 7774 0
[pid=12568/tid=12572] ppid=12564 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 651332817 52465664 356 33554432000 4194304 4650419 140737250392704 18446744073709551615 46919435696050 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=51236 CPUtime=0.07 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 4 0 0 0 7 0 0 0 19 0 4 0 651332817 52465664 356 33554432000 4194304 4650419 140737250392704 18446744073709551615 46919435695635 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 4 0 651332817 52465664 356 33554432000 4194304 4650419 140737250392704 18446744073709551615 46919435695632 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.181995 s]
/proc/loadavg: 1.45 3.07 3.40 4/353 12568
/proc/meminfo: memFree=21314672/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=282796 CPUtime=0.58 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 2201 0 0 0 58 0 0 0 18 0 4 0 651332817 289583104 2110 33554432000 4194304 4650419 140737250392704 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 70699 2110 366 112 0 65664 0
[pid=12568/tid=12572] ppid=12564 vsize=282796 CPUtime=0.1 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 411 0 0 0 10 0 0 0 20 0 4 0 651332817 289583104 2110 33554432000 4194304 4650419 140737250392704 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=282796 CPUtime=0.17 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 407 0 0 0 17 0 0 0 18 0 4 0 651332817 289583104 2110 33554432000 4194304 4650419 140737250392704 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=282796 CPUtime=0.12 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 552 0 0 0 12 0 0 0 18 0 4 0 651332817 289583104 2110 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 282796

[startup+0.281975 s]
/proc/loadavg: 1.45 3.07 3.40 4/353 12568
/proc/meminfo: memFree=21314672/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=282796 CPUtime=0.98 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 2402 0 0 0 98 0 0 0 18 0 4 0 651332817 289583104 2311 33554432000 4194304 4650419 140737250392704 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 70699 2311 366 112 0 65664 0
[pid=12568/tid=12572] ppid=12564 vsize=282796 CPUtime=0.2 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 428 0 0 0 20 0 0 0 20 0 4 0 651332817 289583104 2311 33554432000 4194304 4650419 140737250392704 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=282796 CPUtime=0.27 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 426 0 0 0 27 0 0 0 18 0 4 0 651332817 289583104 2311 33554432000 4194304 4650419 140737250392704 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=282796 CPUtime=0.22 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 698 0 0 0 22 0 0 0 18 0 4 0 651332817 289583104 2311 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 282796

[startup+0.300972 s]
/proc/loadavg: 1.45 3.07 3.40 4/353 12568
/proc/meminfo: memFree=21314672/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=282796 CPUtime=1.05 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 2431 0 0 0 105 0 0 0 18 0 4 0 651332817 289583104 2340 33554432000 4194304 4650419 140737250392704 18446744073709551615 4371120 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 70699 2340 367 112 0 65664 0
[pid=12568/tid=12572] ppid=12564 vsize=282796 CPUtime=0.22 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 430 0 0 0 22 0 0 0 20 0 4 0 651332817 289583104 2340 33554432000 4194304 4650419 140737250392704 18446744073709551615 4370465 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=282796 CPUtime=0.29 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 427 0 0 0 29 0 0 0 18 0 4 0 651332817 289583104 2340 33554432000 4194304 4650419 140737250392704 18446744073709551615 4371135 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=282796 CPUtime=0.24 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 722 0 0 0 24 0 0 0 18 0 4 0 651332817 289583104 2340 33554432000 4194304 4650419 140737250392704 18446744073709551615 4350796 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 282796

[startup+0.700903 s]
/proc/loadavg: 1.45 3.07 3.40 4/353 12568
/proc/meminfo: memFree=21314672/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=290820 CPUtime=2.65 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 7953 0 0 0 264 1 0 0 18 0 4 0 651332817 297799680 5448 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 72705 5448 390 112 0 67670 0
[pid=12568/tid=12572] ppid=12564 vsize=290820 CPUtime=0.61 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 1901 0 0 0 61 0 0 0 21 0 4 0 651332817 297799680 5448 33554432000 4194304 4650419 140737250392704 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=290820 CPUtime=0.69 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 1896 0 0 0 69 0 0 0 18 0 4 0 651332817 297799680 5448 33554432000 4194304 4650419 140737250392704 18446744073709551615 4354952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=290820 CPUtime=0.64 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 1813 0 0 0 64 0 0 0 18 0 4 0 651332817 297799680 5448 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 290820

[startup+1.50076 s]
/proc/loadavg: 1.45 3.07 3.40 10/361 12576
/proc/meminfo: memFree=21270960/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=292284 CPUtime=5.84 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 13130 0 0 0 582 2 0 0 19 0 4 0 651332817 299298816 6237 33554432000 4194304 4650419 140737250392704 18446744073709551615 4349936 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 73071 6238 391 112 0 68036 0
[pid=12568/tid=12572] ppid=12564 vsize=292284 CPUtime=1.4 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 3133 0 0 0 140 0 0 0 23 0 4 0 651332817 299298816 6238 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=292284 CPUtime=1.49 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 3166 0 0 0 149 0 0 0 19 0 4 0 651332817 299298816 6240 33554432000 4194304 4650419 140737250392704 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=292284 CPUtime=1.44 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 3185 0 0 0 144 0 0 0 19 0 4 0 651332817 299298816 6240 33554432000 4194304 4650419 140737250392704 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 292284

[startup+3.10048 s]
/proc/loadavg: 2.06 3.16 3.43 10/361 12576
/proc/meminfo: memFree=21254840/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=299948 CPUtime=12.22 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 29450 0 0 0 1218 4 0 0 25 0 4 0 651332817 307146752 17631 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 74987 17631 392 112 0 69952 0
[pid=12568/tid=12572] ppid=12564 vsize=299948 CPUtime=2.99 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 6222 0 0 0 298 1 0 0 25 0 4 0 651332817 307146752 17631 33554432000 4194304 4650419 140737250392704 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=299948 CPUtime=3.09 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 8322 0 0 0 308 1 0 0 23 0 4 0 651332817 307146752 17631 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=299948 CPUtime=3.03 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 8013 0 0 0 303 0 0 0 25 0 4 0 651332817 307146752 17631 33554432000 4194304 4650419 140737250392704 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 299948

[startup+6.3009 s]
/proc/loadavg: 2.06 3.16 3.43 10/361 12576
/proc/meminfo: memFree=21171768/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=280860 CPUtime=24.99 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 34782 0 0 0 2493 6 0 0 25 0 4 0 651332817 287600640 17337 33554432000 4194304 4650419 140737250392704 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 70215 17337 392 112 0 65180 0
[pid=12568/tid=12572] ppid=12564 vsize=280860 CPUtime=6.15 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 7307 0 0 0 614 1 0 0 25 0 4 0 651332817 287600640 17337 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=280860 CPUtime=6.29 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 9102 0 0 0 628 1 0 0 25 0 4 0 651332817 287600640 17337 33554432000 4194304 4650419 140737250392704 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=280860 CPUtime=6.23 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 9840 0 0 0 622 1 0 0 25 0 4 0 651332817 287600640 17337 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 280860

[startup+12.7007 s]
/proc/loadavg: 2.97 3.32 3.48 10/361 12576
/proc/meminfo: memFree=21070004/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=313596 CPUtime=50.51 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 51946 0 0 0 5042 9 0 0 25 0 4 0 651332817 321122304 27640 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 78399 27640 392 112 0 73364 0
[pid=12568/tid=12572] ppid=12564 vsize=313596 CPUtime=12.47 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 11302 0 0 0 1246 1 0 0 25 0 4 0 651332817 321122304 27640 33554432000 4194304 4650419 140737250392704 18446744073709551615 4298320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=313596 CPUtime=12.69 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 13707 0 0 0 1267 2 0 0 25 0 4 0 651332817 321122304 27640 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=313596 CPUtime=12.63 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 15923 0 0 0 1261 2 0 0 25 0 4 0 651332817 321122304 27640 33554432000 4194304 4650419 140737250392704 18446744073709551615 4439535 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 313596

[startup+25.5004 s]
/proc/loadavg: 3.74 3.48 3.53 10/361 12577
/proc/meminfo: memFree=21001288/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=335016 CPUtime=101.55 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 77500 0 0 0 10139 16 0 0 25 0 4 0 651332817 343056384 37134 33554432000 4194304 4650419 140737250392704 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 83754 37134 392 112 0 78719 0
[pid=12568/tid=12572] ppid=12564 vsize=335016 CPUtime=25.12 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 15035 0 0 0 2510 2 0 0 25 0 4 0 651332817 343056384 37134 33554432000 4194304 4650419 140737250392704 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=335016 CPUtime=25.49 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 22225 0 0 0 2545 4 0 0 25 0 4 0 651332817 343056384 37134 33554432000 4194304 4650419 140737250392704 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=335016 CPUtime=25.43 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 23692 0 0 0 2538 5 0 0 25 0 4 0 651332817 343056384 37134 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 335016

[startup+51.1008 s]
/proc/loadavg: 5.26 3.85 3.65 10/361 12577
/proc/meminfo: memFree=20957944/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=344200 CPUtime=203.66 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 116384 0 0 0 20339 27 0 0 25 0 4 0 651332817 352460800 47807 33554432000 4194304 4650419 140737250392704 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 86050 47807 392 112 0 81015 0
[pid=12568/tid=12572] ppid=12564 vsize=344200 CPUtime=50.43 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 21667 0 0 0 5039 4 0 0 25 0 4 0 651332817 352460800 47807 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=344200 CPUtime=51.08 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 34091 0 0 0 5100 8 0 0 25 0 4 0 651332817 352460800 47807 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=344200 CPUtime=51.03 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 36194 0 0 0 5095 8 0 0 25 0 4 0 651332817 352460800 47807 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.66
Current children cumulated vsize (KiB) 344200

[startup+102.301 s]
/proc/loadavg: 7.03 4.58 3.91 10/361 12579
/proc/meminfo: memFree=20862688/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=400056 CPUtime=407.89 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 176605 0 0 0 40743 46 0 0 25 0 4 0 651332817 409657344 61649 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 100014 61649 392 112 0 94979 0
[pid=12568/tid=12572] ppid=12564 vsize=400056 CPUtime=101.04 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 26701 0 0 0 10098 6 0 0 25 0 4 0 651332817 409657344 61653 33554432000 4194304 4650419 140737250392704 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=400056 CPUtime=102.3 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 51992 0 0 0 10216 14 0 0 25 0 4 0 651332817 409657344 61653 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=400056 CPUtime=102.25 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 59449 0 0 0 10210 15 0 0 25 0 4 0 651332817 409657344 61653 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.89
Current children cumulated vsize (KiB) 400056

[startup+162.301 s]

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

[pid=12568] ppid=12564 vsize=654532 CPUtime=2800.87 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 540679 0 0 0 279907 180 0 0 25 0 4 0 651332817 670240768 109879 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 163633 109879 393 112 0 158598 0
[pid=12568/tid=12572] ppid=12564 vsize=654532 CPUtime=694 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 45178 0 0 0 69384 16 0 0 25 0 4 0 651332817 670240768 109879 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=654532 CPUtime=702.29 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 169457 0 0 0 70172 57 0 0 25 0 4 0 651332817 670240768 109879 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=654532 CPUtime=702.25 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 188372 0 0 0 70159 66 0 0 25 0 4 0 651332817 670240768 109879 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.87
Current children cumulated vsize (KiB) 654532

[startup+762.3 s]
/proc/loadavg: 8.16 7.71 6.02 10/361 12596
/proc/meminfo: memFree=20365004/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=591940 CPUtime=3040.19 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 562739 0 0 0 303827 192 0 0 25 0 4 0 651332817 606146560 114384 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 147985 114384 392 112 0 142950 0
[pid=12568/tid=12572] ppid=12564 vsize=591940 CPUtime=753.3 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 47005 0 0 0 75312 18 0 0 25 0 4 0 651332817 606146560 114386 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=591940 CPUtime=762.3 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 169458 0 0 0 76173 57 0 0 25 0 4 0 651332817 606146560 114386 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=591940 CPUtime=762.27 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 198826 0 0 0 76154 73 0 0 25 0 4 0 651332817 606146560 114386 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.19
Current children cumulated vsize (KiB) 591940

[startup+822.3 s]
/proc/loadavg: 8.19 7.79 6.16 10/361 12598
/proc/meminfo: memFree=20317964/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=643860 CPUtime=3279.45 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 583688 0 0 0 327740 205 0 0 25 0 4 0 651332817 659312640 113422 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 160965 113422 392 112 0 155930 0
[pid=12568/tid=12572] ppid=12564 vsize=643860 CPUtime=812.59 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 48397 0 0 0 81240 19 0 0 25 0 4 0 651332817 659312640 113422 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=643860 CPUtime=822.29 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 169458 0 0 0 82172 57 0 0 25 0 4 0 651332817 659312640 113422 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=643860 CPUtime=822.26 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 209767 0 0 0 82145 81 0 0 25 0 4 0 651332817 659312640 113422 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.45
Current children cumulated vsize (KiB) 643860

[startup+882.314 s]
/proc/loadavg: 8.19 7.86 6.28 10/361 12599
/proc/meminfo: memFree=20333312/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=762120 CPUtime=3518.8 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 610486 0 0 0 351661 219 0 0 25 0 4 0 651332817 780410880 113849 33554432000 4194304 4650419 140737250392704 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 190530 113849 392 112 0 185495 0
[pid=12568/tid=12572] ppid=12564 vsize=762120 CPUtime=871.88 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 50888 0 0 0 87168 20 0 0 25 0 4 0 651332817 780410880 113849 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=762120 CPUtime=882.29 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 174603 0 0 0 88170 59 0 0 25 0 4 0 651332817 780410880 113849 33554432000 4194304 4650419 140737250392704 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=762120 CPUtime=882.28 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 219584 0 0 0 88142 86 0 0 25 0 4 0 651332817 780410880 113849 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3518.8
Current children cumulated vsize (KiB) 762120

[startup+942.301 s]
/proc/loadavg: 8.18 7.91 6.39 10/361 12601
/proc/meminfo: memFree=20227012/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=871120 CPUtime=3758.05 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 632018 0 0 0 375576 229 0 0 25 0 4 0 651332817 892026880 115820 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 217780 115820 392 112 0 212745 0
[pid=12568/tid=12572] ppid=12564 vsize=871120 CPUtime=931.17 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 53209 0 0 0 93095 22 0 0 25 0 4 0 651332817 892026880 115820 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=871120 CPUtime=942.28 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 182996 0 0 0 94164 64 0 0 25 0 4 0 651332817 892026880 115820 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=871120 CPUtime=942.26 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 227119 0 0 0 94137 89 0 0 25 0 4 0 651332817 892026880 115820 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.05
Current children cumulated vsize (KiB) 871120

[startup+1002.3 s]
/proc/loadavg: 8.17 7.95 6.50 10/361 12603
/proc/meminfo: memFree=20214708/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=766400 CPUtime=3997.35 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 655888 0 0 0 399493 242 0 0 25 0 4 0 651332817 784793600 114468 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 191600 114468 392 112 0 186565 0
[pid=12568/tid=12572] ppid=12564 vsize=766400 CPUtime=990.46 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 54729 0 0 0 99022 24 0 0 25 0 4 0 651332817 784793600 114468 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=766400 CPUtime=1002.28 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 190682 0 0 0 100159 69 0 0 25 0 4 0 651332817 784793600 114468 33554432000 4194304 4650419 140737250392704 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=766400 CPUtime=1002.27 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 236476 0 0 0 100133 94 0 0 25 0 4 0 651332817 784793600 114468 33554432000 4194304 4650419 140737250392704 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3997.35
Current children cumulated vsize (KiB) 766400

[startup+1062.3 s]
/proc/loadavg: 8.16 7.99 6.60 9/361 12604
/proc/meminfo: memFree=20182572/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=766928 CPUtime=4236.64 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 675890 0 0 0 423413 251 0 0 25 0 4 0 651332817 785334272 118660 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 191732 118660 392 112 0 186697 0
[pid=12568/tid=12572] ppid=12564 vsize=766928 CPUtime=1049.76 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 57029 0 0 0 104950 26 0 0 25 0 4 0 651332817 785334272 118660 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=766928 CPUtime=1062.28 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 195355 0 0 0 106157 71 0 0 25 0 4 0 651332817 785334272 118660 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=766928 CPUtime=1062.26 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 245883 0 0 0 106128 98 0 0 25 0 4 0 651332817 785334272 118660 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4236.64
Current children cumulated vsize (KiB) 766928

[startup+1122.3 s]
/proc/loadavg: 8.06 7.99 6.69 10/361 12606
/proc/meminfo: memFree=20188372/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=810232 CPUtime=4475.93 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 700525 0 0 0 447331 262 0 0 25 0 4 0 651332817 829677568 127034 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 202558 127034 392 112 0 197523 0
[pid=12568/tid=12572] ppid=12564 vsize=810232 CPUtime=1109.04 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 59405 0 0 0 110877 27 0 0 25 0 4 0 651332817 829677568 127034 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=810232 CPUtime=1122.28 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 201550 0 0 0 112152 76 0 0 25 0 4 0 651332817 829677568 127034 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=810232 CPUtime=1122.27 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 260031 0 0 0 112124 103 0 0 25 0 4 0 651332817 829677568 127034 33554432000 4194304 4650419 140737250392704 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4475.93
Current children cumulated vsize (KiB) 810232

[startup+1182.3 s]
/proc/loadavg: 8.07 8.00 6.77 10/361 12607
/proc/meminfo: memFree=20188080/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=811152 CPUtime=4715.23 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 709797 0 0 0 471254 269 0 0 25 0 4 0 651332817 830619648 122528 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 202788 122528 392 112 0 197753 0
[pid=12568/tid=12572] ppid=12564 vsize=811152 CPUtime=1168.34 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 61244 0 0 0 116805 29 0 0 25 0 4 0 651332817 830619648 122528 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=811152 CPUtime=1182.28 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 207048 0 0 0 118147 81 0 0 25 0 4 0 651332817 830619648 122528 33554432000 4194304 4650419 140737250392704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=811152 CPUtime=1182.27 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 261567 0 0 0 118124 103 0 0 25 0 4 0 651332817 830619648 122528 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4715.23
Current children cumulated vsize (KiB) 811152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.13 8.02 6.80 5/357 12609
/proc/meminfo: memFree=20838736/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=729380 CPUtime=4800.19 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 718924 0 0 0 479745 274 0 0 25 0 4 0 651332817 746885120 117995 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 182345 117995 392 112 0 177310 0
[pid=12568/tid=12572] ppid=12564 vsize=729380 CPUtime=1189.39 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 64742 0 0 0 118907 32 0 0 25 0 4 0 651332817 746885120 117996 33554432000 4194304 4650419 140737250392704 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=729380 CPUtime=1203.59 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 211427 0 0 0 120276 83 0 0 25 0 4 0 651332817 746885120 117996 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=729380 CPUtime=1203.58 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 262503 0 0 0 120255 103 0 0 25 0 4 0 651332817 746885120 117996 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 729380

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

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

[startup+1203.6 s]
/proc/loadavg: 8.13 8.02 6.80 5/357 12609
/proc/meminfo: memFree=20838736/32951124 swapFree=65581052/67111528
[pid=12568] ppid=12564 vsize=729380 CPUtime=4800.19 cores=1,3,5,7
/proc/12568/stat : 12568 (strangenight1-m) R 12564 12568 12531 0 -1 4202496 718924 0 0 0 479745 274 0 0 25 0 4 0 651332817 746885120 117995 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12568/statm: 182345 117995 392 112 0 177310 0
[pid=12568/tid=12572] ppid=12564 vsize=729380 CPUtime=1189.39 cores=1,3,5,7
/proc/12568/task/12572/stat : 12572 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 64742 0 0 0 118907 32 0 0 25 0 4 0 651332817 746885120 117996 33554432000 4194304 4650419 140737250392704 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12568/tid=12573] ppid=12564 vsize=729380 CPUtime=1203.59 cores=1,3,5,7
/proc/12568/task/12573/stat : 12573 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 211427 0 0 0 120276 83 0 0 25 0 4 0 651332817 746885120 117996 33554432000 4194304 4650419 140737250392704 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12568/tid=12574] ppid=12564 vsize=729380 CPUtime=1203.58 cores=1,3,5,7
/proc/12568/task/12574/stat : 12574 (strangenight1-m) R 12564 12568 12531 0 -1 4202560 262503 0 0 0 120255 103 0 0 25 0 4 0 651332817 746885120 117996 33554432000 4194304 4650419 140737250392704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 729380

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.27
CPU user time (s): 4797.5
CPU system time (s): 2.76558
CPU usage (%): 398.813
Max. virtual memory (cumulated for all children) (KiB): 876688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.5
system time used= 2.76558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 718926
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= 907
involuntary context switches= 29552

runsolver used 3.9544 second user time and 10.2394 second system time

The end

Launcher Data 

Begin job on node137 at 2011-05-14 20:22:31
IDJOB=3368564
IDBENCH=82573
IDSOLVER=1846
FILE ID=node137/3368564-1305397351
RUNJOBID= node137-1305397351-12550
PBS_JOBID= 13324457
Free space on /tmp= 73676 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368564-1305397351/watcher-3368564-1305397351 -o /tmp/evaluation-result-3368564-1305397351/solver-3368564-1305397351 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368564-1305397351.cnf

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

MD5SUM BENCH= 576af4ef397491948f4ca2b3f3b7cd4f
RANDOM SEED=1299927078

node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21315108 kB
Buffers:        274268 kB
Cached:        3697072 kB
SwapCached:      36328 kB
Active:        1609000 kB
Inactive:      9801800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21315108 kB
SwapTotal:    67111528 kB
SwapFree:     65581052 kB
Dirty:           13260 kB
Writeback:           0 kB
AnonPages:     7413024 kB
Mapped:          18544 kB
Slab:           120144 kB
PageTables:      38544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75891628 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= 73668 MiB
End job on node137 at 2011-05-14 20:42:37