Trace number 3175067

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.12 1201.77

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf
MD5SUMd6c81b59e209c449a4578a840944dc82
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.4941
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-3175067-1304081157.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.34/0.17	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.34/0.17	c -- vars added      20000
0.34/0.17	c Parsing time:  0.21 s
0.34/0.17	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.34/0.17	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.22
0.34/0.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.14
0.81/0.34	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.81/0.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.81/0.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.02 s
0.81/0.34	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.03 s
0.81/0.53	c lits-rem:         0  cl-subs:        0  v-elim:    687  v-fix:    0  time:  0.79 s
0.81/0.53	c Finding binary XORs  T:     0.02 s  found:       0
0.81/0.53	c Finding non-binary XORs:     0.15 s (found:       0, avg size: nan)
0.81/0.53	c calculated reachability. Time: 0.00
0.81/0.53	c Calc default polars -  time:   0.03 s pos:    8824 undec:    2398 neg:    8778
0.81/0.53	c =========================================================================================
0.81/0.53	c types(t): F = full restart, N = normal restart
0.81/0.53	c types(t): S = simplification begin/end, E = solution found
0.81/0.53	c restart types(rt): st = static, dy = dynamic
0.81/0.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.81/0.53	c  B st     0         0     19313     83081         0         0    252987         0   no data   no data  --
6.00/1.55	c  N dy    22      4041     19313     83081         0      4041    252987    969334    131.35    138.61  --
9.92/2.54	c  N dy    46      8100     19313     83081         0      8100    252987   1805642    129.02    138.22  --
13.91/3.56	c  N dy    73     12127     19313     83081         0     12127    252987   2626688    129.35    138.98  --
18.70/4.70	c  N dy   103     16456     19313     83081         0     16456    252987   3505728    129.58    140.54  --
23.09/5.85	c  N dy   131     20546     19313     83081         0     10546    252987    678766    130.31    161.06  --
27.48/6.91	c  N dy   157     24676     19313     83081         0     14676    252987   1509456    129.41    136.49  --
27.48/6.99	c  F st   160     25003     19313     83081         0     15003    252987   1579509    129.50   no data  --
33.49/8.46	c  N dy   166     30003     19313     83081         0     20002    252987   3021426    129.50   no data  --
33.49/8.46	c  S st   166     30003     19313     83081         0     20002    252987   3021426    129.50   no data  --
34.27/8.61	c  S st   166     30506     19313     83081         0     20505    252987   3105771    129.50   no data  --
34.27/8.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
34.27/8.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.67/8.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.38
35.87/9.03	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.87/9.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.87/9.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
35.87/9.05	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
57.04/14.35	c lits-rem:         8  cl-subs:        6  v-elim:      0  v-fix:    0  time: 21.08 s
57.44/14.47	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.45
57.44/14.47	c calculated reachability. Time: 0.00
57.44/14.47	c  N dy   166     30506     19313     83081         0     20499    252987   3103342    129.50   no data  --
63.03/15.85	c  N dy   193     34719     19313     83081         0     24712    252987   3961900    129.30    137.36  --
68.22/17.15	c  N dy   216     38772     19313     83081         0     28765    252987   4771040    128.50    140.24  --
73.43/18.48	c  N dy   244     42794     19313     83081         0     17288    252987   1019193    128.81    170.90  --
77.43/19.41	c  S st   262     45759     19313     83081         0     20253    252987   1618256    128.76    124.91  --
77.83/19.56	c  S st   262     46261     19313     83081         0     20755    252987   1694532    128.76   no data  --
77.83/19.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
77.83/19.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.21/19.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.40
78.61/19.80	c bin-w-bin subsume rem            0 bins  time:  0.02 s
79.01/19.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
79.01/19.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
79.01/19.82	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
92.19/23.11	c lits-rem:         8  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.14 s
92.19/23.12	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
92.19/23.14	c vivif2 --  cl tried    20754 cl shrink        0 lits rem          0 time: 0.10
92.59/23.25	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.43
92.59/23.26	c calculated reachability. Time: 0.00
92.59/23.26	c  N dy   262     46261     19313     83081         0     20754    252987   1694175    128.76   no data  --
97.38/24.45	c  N dy   290     50304     19313     83081         0     24797    252987   2501018    128.76    136.40  --
102.57/25.72	c  N dy   317     54408     19313     83081         0     28901    252987   3356414    128.98    137.30  --
107.77/27.00	c  N dy   345     58533     19313     83081         0     33025    252987   4205954    129.05    137.89  --
112.98/28.32	c  N dy   374     62573     19313     83081         0     37065    252987   5048247    129.22    138.29  --
117.75/29.56	c  N dy   399     66676     19313     83081         0     22419    252987   1407187    129.10    136.49  --
120.94/30.40	c  S st   420     69391     19313     83081         0     25133    252987   1963623    129.16   no data  --
121.77/30.54	c  S st   420     69895     19313     83081         0     25637    252987   2042541    129.16   no data  --
121.77/30.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
121.77/30.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
122.15/30.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.41
122.94/30.81	c bin-w-bin subsume rem            0 bins  time:  0.02 s
122.94/30.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
122.94/30.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
122.94/30.83	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
140.11/35.11	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 17.05 s
140.11/35.12	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
140.11/35.15	c vivif2 --  cl tried    25636 cl shrink        0 lits rem          0 time: 0.12
140.51/35.27	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.47
140.51/35.27	c calculated reachability. Time: 0.00
140.51/35.27	c  N dy   420     69895     19313     83081         0     25636    252987   2042422    129.16   no data  --
146.51/36.72	c  N dy   452     74761     19313     83081         0     30502    252987   3024721    129.30    140.58  --
152.53/38.22	c  N dy   483     79634     19313     83081         0     35374    252987   4023758    129.26    136.39  --
158.89/39.83	c  N dy   513     84777     19313     83081         0     40515    252987   5074740    129.23    136.85  --
162.48/40.71	c  F st   532     87503     19313     83081         0     22369    252987    933510    129.33   no data  --
166.48/41.71	c  N st   537     90800     19313     83081         0     25666    252987   1768613    129.33   no data  --
173.67/43.55	c  N dy   564     96650     19313     83081         0     31513    252987   3105490    129.52    136.76  --
182.06/45.68	c  N dy   611    102911     19313     83081         0     37773    252987   4399606    129.73    138.05  --
184.85/46.30	c  S st   624    104842     19313     83081         0     39703    252987   4798418    129.78    133.18  --
185.25/46.47	c  S st   624    105345     19313     83081         0     40206    252987   4874995    129.78   no data  --
185.25/46.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
185.25/46.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
186.06/46.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.45
187.27/46.93	c bin-w-bin subsume rem            0 bins  time:  0.02 s
187.27/46.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
187.27/46.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
187.27/46.95	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
384.59/96.32	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 196.88 s
384.59/96.33	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
384.59/96.39	c vivif2 --  cl tried    40203 cl shrink        0 lits rem          0 time: 0.27
385.40/96.54	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.57
385.40/96.54	c calculated reachability. Time: 0.00
385.40/96.54	c  N dy   624    105345     19313     83081         0     40203    252987   4873411    129.78   no data  --
394.19/98.74	c  N dy   669    112151     19313     83081         0     24577    252987   1030450    129.78    146.58  --
402.98/100.95	c  N dy   722    119314     19313     83081         0     31740    252987   2528231    129.91    137.51  --
412.55/103.38	c  N dy   773    127011     19313     83081         0     39437    252987   4076727    129.82    139.38  --
423.73/106.17	c  N dy   825    135292     19313     83081         0     24003    252987    601738    129.77    138.72  --
435.32/109.01	c  N dy   880    144059     19313     83081         0     32769    252987   2364926    129.65    136.98  --
447.70/112.15	c  N dy   946    153266     19313     83081         0     41975    252987   4276775    129.79    137.92  --
454.49/113.86	c  S st   976    158017     19313     83081         0     46726    252987   5237133    129.74    135.63  --
455.30/114.03	c  S st   976    158521     19313     83081         0     47230    252987   5316700    129.74   no data  --
455.30/114.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
455.30/114.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
455.70/114.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
457.28/114.50	c bin-w-bin subsume rem            0 bins  time:  0.02 s
457.28/114.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
457.28/114.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
457.28/114.52	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
713.32/178.61	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 255.43 s
713.32/178.62	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
713.72/178.70	c vivif2 --  cl tried    47227 cl shrink        0 lits rem          0 time: 0.31
714.12/178.86	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.66
714.12/178.87	c calculated reachability. Time: 0.00
714.12/178.87	c  N dy   976    158521     19313     83081         0     47227    252987   5315405    129.74   no data  --
727.72/182.25	c  N dy  1044    168720     19313     83081         0     32568    252987   2083830    129.60    141.15  --
742.49/185.93	c  N dy  1126    179492     19313     83081         0     43340    252987   4362408    129.91    143.65  --
758.89/190.03	c  N dy  1207    191178     19313     83081         0     29097    252987   1182613    130.06    137.88  --
774.85/194.05	c  N dy  1287    203457     19313     83081         0     41376    252987   3702707    130.07    149.10  --
793.63/198.78	c  N dy  1379    216570     19313     83081         0     27525    252987    596092    130.02    144.04  --
811.99/203.37	c  N dy  1473    230434     19313     83081         0     41389    252987   3470664    130.14    141.26  --
822.38/205.95	c  S st  1519    237781     19313     83081         0     48736    252987   4961689    130.05   no data  --
823.18/206.16	c  S st  1519    238287     19313     83081         0     49242    252987   5042335    130.05   no data  --
823.18/206.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
823.18/206.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
823.98/206.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.50
825.17/206.61	c bin-w-bin subsume rem            0 bins  time:  0.02 s
825.17/206.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
825.17/206.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
825.17/206.63	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1061.25/265.77	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time: 236.00 s
1061.25/265.78	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
1061.66/265.85	c vivif2 --  cl tried    49233 cl shrink        0 lits rem          0 time: 0.29
1062.44/266.02	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.69
1062.44/266.03	c calculated reachability. Time: 0.00
1062.44/266.03	c  N dy  1519    238287     19313     83081         0     49233    252987   5039250    130.05   no data  --
1083.64/271.37	c  N dy  1618    253699     19313     83081         0     36663    252987   2216075    129.93    137.27  --
1106.39/277.02	c  N dy  1724    269892     19313     83081         0     52856    252987   5575305    129.91    137.81  --
1129.96/282.99	c  N dy  1835    287154     19313     83081         0     41129    252987   2949399    129.91    140.91  --
1157.12/289.79	c  N dy  1960    305661     19313     83081         0     59636    252987   6798271    130.07    136.95  --
1158.33/290.05	c  F st  1963    306252     19313     83081         0     30231    252987    497615    130.05    116.15  --
1184.69/296.63	c  N dy  2061    325276     19313     83081         0     49254    252987   4818077    130.06    144.38  --
1213.83/303.95	c  N dy  2202    345285     19313     83081         0     38263    252987   1938752    130.27    140.57  --
1231.01/308.24	c  S st  2289    357430     19313     83081         0     50407    252987   4472810    130.38   no data  --
1231.81/308.44	c  S st  2289    357931     19313     83081         0     50908    252987   4553285    130.38   no data  --
1231.81/308.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1231.81/308.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1232.21/308.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.50
1233.42/308.86	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1233.42/308.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1233.42/308.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
1233.42/308.89	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1411.16/353.37	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 177.49 s
1411.16/353.38	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
1411.56/353.45	c vivif2 --  cl tried    50907 cl shrink        0 lits rem          0 time: 0.28
1412.36/353.63	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.71
1412.36/353.63	c calculated reachability. Time: 0.00
1412.36/353.63	c  N dy  2289    357931     19313     83081         0     50907    252987   4552640    130.38   no data  --
1443.12/361.30	c  N dy  2419    377941     19313     83081         0     38926    252987   1937563    130.46    137.73  --
1473.08/368.82	c  N dy  2545    397984     19313     83081         0     58969    252987   6025835    130.43    140.62  --
1503.03/376.32	c  N dy  2673    418027     19313     83081         0     46010    252987   3147236    130.44    161.89  --
1534.59/384.25	c  N dy  2806    438048     19313     83081         0     66031    252987   7300848    130.50    144.84  --
1564.95/391.87	c  N dy  2946    458118     19313     83081         0     52105    252987   4177058    130.59    138.81  --
1596.11/399.64	c  N dy  3087    478135     19313     83081         0     37122    252987    876812    130.70    145.08  --
1625.26/406.96	c  N dy  3216    498311     19313     83081         0     57298    252987   5057747    130.71    141.48  --
1656.02/414.65	c  N dy  3351    518462     19313     83081         0     41447    252987   1571817    130.73    138.51  --
1682.79/421.37	c  S st  3482    536896     19313     83081         0     59881    252987   5405582    130.80   no data  --
1683.59/421.58	c  S st  3482    537400     19313     83081         0     60385    252987   5480746    130.80   no data  --
1683.99/421.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1683.99/421.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1684.39/421.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.54
1685.60/422.06	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1685.60/422.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1685.60/422.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
1685.60/422.09	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1977.58/495.16	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 291.48 s
1977.58/495.17	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.03
1977.97/495.25	c vivif2 --  cl tried    60383 cl shrink        0 lits rem          0 time: 0.31
1978.77/495.43	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.74
1978.77/495.44	c calculated reachability. Time: 0.00
1978.77/495.44	c  N dy  3482    537400     19313     83081         0     60383    252987   5480271    130.80   no data  --
2007.93/502.72	c  N dy  3608    557409     19313     83081         0     43391    252987   1722052    130.74    140.33  --
2036.30/509.82	c  N dy  3741    577422     19313     83081         0     63403    252987   5848045    130.81    144.33  --
2065.85/517.24	c  N dy  3876    597436     19313     83081         0     45421    252987   2005128    130.87    138.25  --
2094.23/524.37	c  N dy  4001    617477     19313     83081         0     65462    252987   6113942    130.83    138.31  --
2124.17/531.85	c  N dy  4129    637636     19313     83081         0     46621    252987   2006714    130.81    141.58  --
2152.93/539.07	c  N dy  4265    657688     19313     83081         0     66673    252987   6209298    130.87    199.05  --
2183.28/546.64	c  N dy  4394    677785     19313     83081         0     46769    252987   1840816    130.85    182.99  --
2212.04/553.88	c  N dy  4531    697797     19313     83081         0     66778    252987   6024892    130.87    138.06  --
2243.62/561.71	c  N dy  4671    717894     19313     83081         0     45871    252987   1462957    130.89    145.49  --
2272.36/568.95	c  N dy  4807    738052     19313     83081         0     66029    252987   5658669    130.89    137.95  --
2304.31/576.91	c  N dy  4944    758171     19313     83081         0     44151    252987    925059    130.96    138.04  --
2332.67/584.07	c  N dy  5084    778218     19313     83081         0     64197    252987   5100696    130.98    138.66  --
2365.43/592.22	c  N dy  5219    798308     19313     83081         0     84281    252987   9269789    131.01    138.31  --
2377.41/595.20	c  S st  5272    806100     19313     83081         0     49075    252987   1713131    131.03   no data  --
2377.81/595.39	c  S st  5272    806604     19313     83081         0     49579    252987   1785541    131.03   no data  --
2378.21/595.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2378.21/595.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2378.61/595.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.49
2379.01/595.66	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2379.01/595.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2379.01/595.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
2379.01/595.68	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
2396.58/600.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time: 17.44 s
2396.58/600.06	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
2396.58/600.09	c vivif2 --  cl tried    49579 cl shrink        0 lits rem          0 time: 0.11
2397.40/600.25	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.65
2397.40/600.26	c calculated reachability. Time: 0.00
2397.40/600.26	c  N dy  5272    806604     19313     83081         0     49579    252987   1785541    131.03   no data  --
2428.93/608.11	c  N dy  5410    826771     19313     83081         0     69744    252987   6013561    131.08    138.42  --
2464.49/617.01	c  N dy  5545    846892     19313     83081         0     45869    252987    864258    131.16    145.17  --
2495.64/624.82	c  N dy  5671    866930     19313     83081         0     65906    252987   5048333    131.15    142.06  --
2530.40/633.56	c  N dy  5818    887026     19313     83081         0     86000    252987   9337677    131.25    139.10  --
2562.75/641.63	c  N dy  5947    907139     19313     83081         0     61114    252987   3845998    131.26    142.47  --
2597.11/650.27	c  N dy  6083    927166     19313     83081         0     81140    252987   8044127    131.28    139.72  --
2631.86/658.91	c  N dy  6210    947248     19313     83081         0     55228    252987   2389619    131.29    141.73  --
2665.02/667.28	c  N dy  6344    967342     19313     83081         0     75320    252987   6582553    131.29    139.70  --
2701.76/676.43	c  N dy  6475    987363     19313     83081         0     48346    252987    756409    131.31    140.91  --
2733.32/684.33	c  N dy  6605   1007393     19313     83081         0     68375    252987   4880369    131.29    138.63  --
2769.27/693.36	c  N dy  6738   1027561     19313     83081         0     88543    252987   9124384    131.30    139.81  --
2803.62/701.93	c  N dy  6879   1047677     19313     83081         0     60657    252987   3157641    131.37    140.67  --
2837.20/710.38	c  N dy  7018   1067778     19313     83081         0     80757    252987   7358649    131.40    143.52  --
2844.37/712.19	c  F st  7049   1071875     19313     83081         0     84853    252987   8186734    131.40    131.32  --
2872.73/719.20	c  N dy  7122   1087927     19313     83081         0     51908    252987   1107471    131.39    139.47  --
2903.89/727.07	c  N dy  7256   1108172     19313     83081         0     72149    252987   5374783    131.41    144.99  --
2939.03/735.82	c  N dy  7386   1128266     19313     83081         0     92241    252987   9528446    131.42    139.61  --
2972.20/744.15	c  N dy  7522   1148384     19313     83081         0     62367    252987   3049347    131.42    140.46  --
3006.54/752.73	c  N dy  7666   1168557     19313     83081         0     82540    252987   7301448    131.47    138.76  --
3042.09/761.67	c  N dy  7802   1188774     19313     83081         0     51757    252987    644056    131.49    141.15  --
3071.65/769.09	c  N dy  7937   1208793     19313     83081         0     71773    252987   4847850    131.51    138.52  --
3073.65/769.54	c  S st  7946   1209907     19313     83081         0     72887    252987   5088184    131.52    135.77  --
3074.47/769.76	c  S st  7946   1210413     19313     83081         0     73393    252987   5161948    131.52   no data  --
3074.47/769.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3074.47/769.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3075.25/769.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.56
3076.45/770.22	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3076.45/770.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3076.45/770.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
3076.45/770.24	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
3347.66/838.18	c lits-rem:         1  cl-subs:        8  v-elim:      0  v-fix:    0  time: 270.98 s
3347.66/838.19	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
3348.06/838.26	c vivif2 --  cl tried    73385 cl shrink        0 lits rem          0 time: 0.30
3348.85/838.47	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.84
3348.85/838.48	c calculated reachability. Time: 0.00
3348.85/838.48	c  N dy  7946   1210413     19313     83081         0     73385    252987   5158934    131.52   no data  --
3382.03/846.77	c  N dy  8068   1230511     19313     83081         0     93481    252987   9324747    131.51    170.33  --
3415.56/855.10	c  N dy  8207   1250574     19313     83081         0     61545    252987   2500968    131.54    173.82  --
3447.12/863.00	c  N dy  8345   1270621     19313     83081         0     81592    252987   6691677    131.56    144.34  --
3481.47/871.67	c  N dy  8482   1290632     19313     83081         0    101602    252987  10841607    131.57    141.70  --
3513.03/879.58	c  N dy  8624   1310672     19313     83081         0     68646    252987   3796436    131.59    141.63  --
3545.77/887.78	c  N dy  8759   1330855     19313     83081         0     88829    252987   7973590    131.58    147.54  --
3581.73/896.77	c  N dy  8886   1350912     19313     83081         0     54886    252987    689460    131.57    138.85  --
3612.48/904.41	c  N dy  9025   1371104     19313     83081         0     75077    252987   4854736    131.58    141.76  --
3645.65/912.74	c  N dy  9158   1391172     19313     83081         0     95143    252987   8998695    131.58    139.89  --
3680.39/921.49	c  N dy  9281   1411201     19313     83081         0     60174    252987   1589797    131.60    142.27  --
3712.72/929.55	c  N dy  9411   1431351     19313     83081         0     80321    252987   5863502    131.62    140.53  --
3749.87/938.85	c  N dy  9550   1451429     19313     83081         0    100397    252987  10040516    131.63    141.67  --
3786.62/948.03	c  N dy  9690   1471511     19313     83081         0     64485    252987   2278233    131.65    140.66  --
3820.57/956.59	c  N dy  9827   1491595     19313     83081         0     84564    252987   6505155    131.68    167.98  --
3858.92/966.15	c  N dy  9960   1511688     19313     83081         0    104655    252987  10680151    131.69    161.00  --
3896.08/975.46	c  N dy 10098   1531899     19313     83081         0     67870    252987   2855144    131.72    143.17  --
3932.81/984.63	c  N dy 10232   1552266     19313     83081         0     88235    252987   7119853    131.73    140.82  --
3972.77/994.69	c  N dy 10362   1572337     19313     83081         0    108306    252987  11232835    131.71    145.32  --
4010.34/1004.08	c  N dy 10498   1592481     19313     83081         0     70452    252987   3078096    131.74    140.03  --
4046.65/1013.18	c  N dy 10623   1612571     19313     83081         0     90541    252987   7344918    131.76    147.23  --
4087.01/1023.25	c  N dy 10763   1632588     19313     83081         0    110557    252987  11538798    131.78    141.63  --
4124.95/1032.73	c  N dy 10904   1652707     19313     83081         0     71676    252987   3194234    131.83    139.64  --
4161.70/1041.92	c  N dy 11038   1672767     19313     83081         0     91736    252987   7449259    131.84    143.62  --
4201.65/1051.92	c  N dy 11168   1692821     19313     83081         0    111790    252987  11641477    131.85    140.13  --
4234.42/1060.15	c  S st 11290   1710413     19313     83081         0     69382    252987   2514441    131.86   no data  --
4235.20/1060.37	c  S st 11290   1710916     19313     83081         0     69885    252987   2581034    131.86   no data  --
4235.20/1060.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4235.20/1060.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4235.99/1060.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.57
4236.79/1060.70	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4236.79/1060.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4236.79/1060.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
4236.79/1060.73	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
4270.35/1069.19	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time: 33.74 s
4270.75/1069.20	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
4270.75/1069.24	c vivif2 --  cl tried    69884 cl shrink        0 lits rem          0 time: 0.17
4271.55/1069.45	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.83
4271.55/1069.46	c calculated reachability. Time: 0.00
4271.55/1069.46	c  N dy 11290   1710916     19313     83081         0     69884    252987   2580897    131.86   no data  --
4306.30/1078.15	c  N dy 11421   1731110     19313     83081         0     90075    252987   6771101    131.85    139.54  --
4345.05/1087.84	c  N dy 11560   1751177     19313     83081         0    110140    252987  10951933    131.86    139.32  --
4385.79/1098.09	c  N dy 11694   1771268     19313     83081         0     69239    252987   2286854    131.88    148.25  --
4422.95/1107.33	c  N dy 11829   1791276     19313     83081         0     89245    252987   6422411    131.89    140.20  --
4464.08/1117.69	c  N dy 11962   1811383     19313     83081         0    109350    252987  10616539    131.89    140.63  --
4507.22/1128.46	c  N dy 12099   1831622     19313     83081         0     67595    252987   1707951    131.91    140.39  --
4543.57/1137.57	c  N dy 12226   1851633     19313     83081         0     87605    252987   5881067    131.91    139.08  --
4584.72/1147.84	c  N dy 12364   1871699     19313     83081         0    107669    252987  10130465    131.93    153.43  --
4629.87/1159.15	c  N dy 12515   1891757     19313     83081         0     64728    252987    935271    131.98    140.55  --
4665.40/1168.08	c  N dy 12641   1911916     19313     83081         0     84886    252987   5101768    131.96    141.19  --
4706.54/1178.36	c  N dy 12781   1932130     19313     83081         0    105099    252987   9393142    131.99    141.42  --
4750.89/1189.46	c  N dy 12915   1952155     19313     83081         0    125123    252987  13575603    131.98    157.13  --
4789.23/1199.06	c  N dy 13061   1972251     19313     83081         0     81223    252987   4167827    132.01    152.08  --

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-3175067-1304081157/watcher-3175067-1304081157 -o /tmp/evaluation-result-3175067-1304081157/solver-3175067-1304081157 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175067-1304081157.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: 8.11 8.15 8.09 1/175 26877
/proc/meminfo: memFree=17446776/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=183284 CPUtime=0 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 790 0 0 0 0 0 0 0 25 0 4 0 598346525 187682816 717 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988592443 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 45821 743 331 112 0 40786 0
[pid=26877/tid=26878] ppid=26875 vsize=183284 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 143 0 0 0 0 0 0 0 25 0 4 0 598346525 187682816 800 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988592443 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=183284 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 19 0 0 0 0 0 0 0 25 0 4 0 598346525 187682816 836 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988289291 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=183284 CPUtime=0 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 166 0 0 0 0 0 0 0 25 0 4 0 598346525 187682816 868 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988592443 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.046818 s]
/proc/loadavg: 8.11 8.15 8.09 1/175 26877
/proc/meminfo: memFree=17446776/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=365532 CPUtime=0.14 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) S 26875 26877 26674 0 -1 4202496 11276 0 0 0 10 4 0 0 18 0 4 0 598346525 374304768 9350 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988697582 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 91383 9350 344 112 0 86348 0
[pid=26877/tid=26878] ppid=26875 vsize=365532 CPUtime=0.02 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) S 26875 26877 26674 0 -1 4202560 2685 0 0 0 2 0 0 0 18 0 4 0 598346525 374304768 9350 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988697582 0 0 4096 2 18446604444067236736 0 0 -1 4 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=365532 CPUtime=0.02 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) S 26875 26877 26674 0 -1 4202560 2735 0 0 0 2 0 0 0 18 0 4 0 598346525 374304768 9350 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988697582 0 0 4096 2 18446604444067236736 0 0 -1 6 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=365532 CPUtime=0.03 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 2763 0 0 0 2 1 0 0 18 0 4 0 598346525 374304768 9350 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 365532

[startup+0.101634 s]
/proc/loadavg: 8.11 8.15 8.09 1/175 26877
/proc/meminfo: memFree=17446776/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=367912 CPUtime=0.34 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 14389 0 0 0 23 11 0 0 18 0 4 0 598346525 376741888 12463 33554432000 4194304 4650419 140734127446640 18446744073709551615 4536479 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 91978 12491 360 112 0 86943 0
[pid=26877/tid=26878] ppid=26875 vsize=367912 CPUtime=0.07 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 3535 0 0 0 5 2 0 0 18 0 4 0 598346525 376741888 12506 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=367912 CPUtime=0.07 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) S 26875 26877 26674 0 -1 4202560 3420 0 0 0 5 2 0 0 17 0 4 0 598346525 376741888 12547 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988697582 0 0 4096 2 18446604444067236736 0 0 -1 6 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=367912 CPUtime=0.08 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 3537 0 0 0 6 2 0 0 18 0 4 0 598346525 376741888 12570 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988635831 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 367912

[startup+0.323871 s]
/proc/loadavg: 8.11 8.15 8.09 1/175 26877
/proc/meminfo: memFree=17446776/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=392548 CPUtime=1.63 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 29516 0 0 0 149 14 0 0 18 0 4 0 598346525 401969152 24454 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988697582 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 98137 24454 387 112 0 93102 0
[pid=26877/tid=26878] ppid=26875 vsize=392548 CPUtime=0.4 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 8563 0 0 0 37 3 0 0 18 0 4 0 598346525 401969152 24455 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=392548 CPUtime=0.4 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) S 26875 26877 26674 0 -1 4202560 8150 0 0 0 37 3 0 0 18 0 4 0 598346525 401969152 24455 33554432000 4194304 4650419 140734127446640 18446744073709551615 215988697582 0 0 4096 2 18446604444067236736 0 0 -1 6 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=392548 CPUtime=0.4 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 3852 0 0 0 38 2 0 0 18 0 4 0 598346525 401969152 24744 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 392548

[startup+1.21939 s]
/proc/loadavg: 8.11 8.15 8.09 1/175 26877
/proc/meminfo: memFree=17446776/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=392548 CPUtime=4.79 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 33776 0 0 0 464 15 0 0 19 0 4 0 598346525 401969152 27213 33554432000 4194304 4650419 140734127446640 18446744073709551615 4363331 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 98137 27213 391 112 0 93102 0
[pid=26877/tid=26878] ppid=26875 vsize=392548 CPUtime=1.19 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 9951 0 0 0 115 4 0 0 19 0 4 0 598346525 401969152 27213 33554432000 4194304 4650419 140734127446640 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=392548 CPUtime=1.19 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 9394 0 0 0 115 4 0 0 19 0 4 0 598346525 401969152 27213 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=392548 CPUtime=1.18 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 4477 0 0 0 116 2 0 0 19 0 4 0 598346525 401969152 27213 33554432000 4194304 4650419 140734127446640 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 392548

[startup+1.51934 s]
/proc/loadavg: 8.11 8.15 8.09 1/175 26877
/proc/meminfo: memFree=17446776/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=392548 CPUtime=6 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 34846 0 0 0 584 16 0 0 20 0 4 0 598346525 401969152 28283 33554432000 4194304 4650419 140734127446640 18446744073709551615 4306746 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 98137 28283 391 112 0 93102 0
[pid=26877/tid=26878] ppid=26875 vsize=392548 CPUtime=1.49 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 10227 0 0 0 145 4 0 0 19 0 4 0 598346525 401969152 28283 33554432000 4194304 4650419 140734127446640 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=392548 CPUtime=1.49 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 9674 0 0 0 145 4 0 0 19 0 4 0 598346525 401969152 28284 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=392548 CPUtime=1.48 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 4732 0 0 0 146 2 0 0 19 0 4 0 598346525 401969152 28284 33554432000 4194304 4650419 140734127446640 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 392548

[startup+3.10106 s]
/proc/loadavg: 8.34 8.20 8.11 9/184 26911
/proc/meminfo: memFree=17133552/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=552172 CPUtime=12.31 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 40465 0 0 0 1213 18 0 0 24 0 4 0 598346525 565424128 33902 33554432000 4194304 4650419 140734127446640 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 138043 33902 391 112 0 133008 0
[pid=26877/tid=26878] ppid=26875 vsize=552172 CPUtime=3.08 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 11592 0 0 0 303 5 0 0 24 0 4 0 598346525 565424128 33902 33554432000 4194304 4650419 140734127446640 18446744073709551615 4306767 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=552172 CPUtime=3.06 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 11025 0 0 0 302 4 0 0 24 0 4 0 598346525 565424128 33902 33554432000 4194304 4650419 140734127446640 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=552172 CPUtime=3.07 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 6220 0 0 0 304 3 0 0 24 0 4 0 598346525 565424128 33902 33554432000 4194304 4650419 140734127446640 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 552172

[startup+6.3065 s]
/proc/loadavg: 8.34 8.20 8.11 9/184 26911
/proc/meminfo: memFree=17110928/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=405776 CPUtime=25.11 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 55964 0 0 0 2490 21 0 0 25 0 4 0 598346525 415514624 30453 33554432000 4194304 4650419 140734127446640 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 101444 30453 393 112 0 96409 0
[pid=26877/tid=26878] ppid=26875 vsize=405776 CPUtime=6.28 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 15354 0 0 0 623 5 0 0 25 0 4 0 598346525 415514624 30453 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=405776 CPUtime=6.25 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 15094 0 0 0 620 5 0 0 25 0 4 0 598346525 415514624 30453 33554432000 4194304 4650419 140734127446640 18446744073709551615 4331873 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=405776 CPUtime=6.27 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 10352 0 0 0 623 4 0 0 25 0 4 0 598346525 415514624 30453 33554432000 4194304 4650419 140734127446640 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 405776

[startup+12.7004 s]
/proc/loadavg: 8.29 8.19 8.10 9/184 26911
/proc/meminfo: memFree=16932920/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=647264 CPUtime=50.65 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 112625 0 0 0 5030 35 0 0 25 0 4 0 598346525 662798336 75367 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 161816 75367 395 112 0 156781 0
[pid=26877/tid=26878] ppid=26875 vsize=647264 CPUtime=12.67 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 40243 0 0 0 1256 11 0 0 25 0 4 0 598346525 662798336 75367 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476136 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=647264 CPUtime=12.61 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 21351 0 0 0 1255 6 0 0 25 0 4 0 598346525 662798336 75367 33554432000 4194304 4650419 140734127446640 18446744073709551615 4238797 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=647264 CPUtime=12.66 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 16582 0 0 0 1261 5 0 0 25 0 4 0 598346525 662798336 75367 33554432000 4194304 4650419 140734127446640 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 647264

[startup+25.5011 s]
/proc/loadavg: 8.25 8.18 8.10 10/184 26911
/proc/meminfo: memFree=16507144/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=852388 CPUtime=101.77 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 163713 0 0 0 10130 47 0 0 25 0 4 0 598346525 872845312 105462 33554432000 4194304 4650419 140734127446640 18446744073709551615 4363562 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 213097 105462 398 112 0 208062 0
[pid=26877/tid=26878] ppid=26875 vsize=852388 CPUtime=25.47 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 44461 0 0 0 2535 12 0 0 25 0 4 0 598346525 872845312 105462 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=852388 CPUtime=25.41 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 36486 0 0 0 2530 11 0 0 25 0 4 0 598346525 872845312 105462 33554432000 4194304 4650419 140734127446640 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=852388 CPUtime=25.39 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 38175 0 0 0 2529 10 0 0 25 0 4 0 598346525 872845312 105462 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 852388

[startup+51.1007 s]
/proc/loadavg: 8.16 8.17 8.10 9/184 26912
/proc/meminfo: memFree=16317720/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=870820 CPUtime=204.03 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 251637 0 0 0 20334 69 0 0 25 0 4 0 598346525 891719680 132897 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 217705 132897 395 112 0 212670 0
[pid=26877/tid=26878] ppid=26875 vsize=870820 CPUtime=51.07 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 57802 0 0 0 5092 15 0 0 25 0 4 0 598346525 891719680 132897 33554432000 4194304 4650419 140734127446640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=870820 CPUtime=51 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 60940 0 0 0 5083 17 0 0 25 0 4 0 598346525 891719680 132897 33554432000 4194304 4650419 140734127446640 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=870820 CPUtime=50.85 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 58259 0 0 0 5070 15 0 0 25 0 4 0 598346525 891719680 132897 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 870820

[startup+102.301 s]
/proc/loadavg: 8.06 8.14 8.09 9/184 26913
/proc/meminfo: memFree=16103076/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=883804 CPUtime=408.55 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 363924 0 0 0 40755 100 0 0 25 0 4 0 598346525 905015296 154574 33554432000 4194304 4650419 140734127446640 18446744073709551615 4363460 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 220951 154574 395 112 0 215916 0
[pid=26877/tid=26878] ppid=26875 vsize=883804 CPUtime=102.27 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 88029 0 0 0 10203 24 0 0 25 0 4 0 598346525 905015296 154574 33554432000 4194304 4650419 140734127446640 18446744073709551615 4314936 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=883804 CPUtime=102.2 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 90134 0 0 0 10192 28 0 0 25 0 4 0 598346525 905015296 154574 33554432000 4194304 4650419 140734127446640 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=883804 CPUtime=101.76 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 84778 0 0 0 10154 22 0 0 25 0 4 0 598346525 905015296 154574 33554432000 4194304 4650419 140734127446640 18446744073709551615 4363624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.55
Current children cumulated vsize (KiB) 883804

[startup+162.3 s]

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

[pid=26877] ppid=26875 vsize=1439840 CPUtime=2805.22 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 1390118 0 0 0 280082 440 0 0 25 0 4 0 598346525 1474396160 270450 33554432000 4194304 4650419 140734127446640 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 359960 270450 395 112 0 354925 0
[pid=26877/tid=26878] ppid=26875 vsize=1439840 CPUtime=699.97 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 358096 0 0 0 69882 115 0 0 25 0 4 0 598346525 1474396160 270450 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=1439840 CPUtime=702.16 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 313866 0 0 0 70100 116 0 0 25 0 4 0 598346525 1474396160 270450 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=1439840 CPUtime=700.78 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 305348 0 0 0 69976 102 0 0 25 0 4 0 598346525 1474396160 270450 33554432000 4194304 4650419 140734127446640 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.22
Current children cumulated vsize (KiB) 1439840

[startup+762.3 s]
/proc/loadavg: 8.05 8.03 8.05 10/184 26931
/proc/meminfo: memFree=15013784/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=1400476 CPUtime=3044.89 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 1478796 0 0 0 304016 473 0 0 25 0 4 0 598346525 1434087424 282135 33554432000 4194304 4650419 140734127446640 18446744073709551615 4363522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 350119 282135 395 112 0 345084 0
[pid=26877/tid=26878] ppid=26875 vsize=1400476 CPUtime=759.64 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 361666 0 0 0 75848 116 0 0 25 0 4 0 598346525 1434087424 282135 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=1400476 CPUtime=762.16 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 343103 0 0 0 76089 127 0 0 25 0 4 0 598346525 1434087424 282135 33554432000 4194304 4650419 140734127446640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=1400476 CPUtime=760.78 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 336042 0 0 0 75965 113 0 0 25 0 4 0 598346525 1434087424 282135 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3044.89
Current children cumulated vsize (KiB) 1400476

[startup+822.301 s]
/proc/loadavg: 8.07 8.04 8.04 9/184 26933
/proc/meminfo: memFree=15083084/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=1427972 CPUtime=3284.55 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 1572472 0 0 0 327948 507 0 0 25 0 4 0 598346525 1462243328 272393 33554432000 4194304 4650419 140734127446640 18446744073709551615 4440752 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 356993 272393 395 112 0 351958 0
[pid=26877/tid=26878] ppid=26875 vsize=1427972 CPUtime=819.31 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 391085 0 0 0 81803 128 0 0 25 0 4 0 598346525 1462243328 272393 33554432000 4194304 4650419 140734127446640 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=1427972 CPUtime=822.15 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 373175 0 0 0 82079 136 0 0 25 0 4 0 598346525 1462243328 272393 33554432000 4194304 4650419 140734127446640 18446744073709551615 4360372 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=1427972 CPUtime=820.78 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 367873 0 0 0 81953 125 0 0 25 0 4 0 598346525 1462243328 272393 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.55
Current children cumulated vsize (KiB) 1427972

[startup+882.3 s]
/proc/loadavg: 8.10 8.06 8.05 10/184 26934
/proc/meminfo: memFree=15098928/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=1470356 CPUtime=3524.2 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 1678268 0 0 0 351878 542 0 0 25 0 4 0 598346525 1505644544 279537 33554432000 4194304 4650419 140734127446640 18446744073709551615 4334468 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26877/statm: 367589 279537 395 112 0 362554 0
[pid=26877/tid=26878] ppid=26875 vsize=1470356 CPUtime=878.98 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 415358 0 0 0 87761 137 0 0 25 0 4 0 598346525 1505644544 279537 33554432000 4194304 4650419 140734127446640 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=1470356 CPUtime=882.13 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 405117 0 0 0 88067 146 0 0 25 0 4 0 598346525 1505644544 279537 33554432000 4194304 4650419 140734127446640 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=1470356 CPUtime=880.78 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 396520 0 0 0 87942 136 0 0 25 0 4 0 598346525 1505644544 279537 33554432000 4194304 4650419 140734127446640 18446744073709551615 4333931 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.2
Current children cumulated vsize (KiB) 1470356

[startup+942.301 s]
/proc/loadavg: 8.11 8.07 8.05 9/184 26945
/proc/meminfo: memFree=14973112/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=1574464 CPUtime=3763.87 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 1859956 0 0 0 375799 588 0 0 25 0 4 0 598346525 1612251136 296181 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26877/statm: 393616 296181 395 112 0 388581 0
[pid=26877/tid=26878] ppid=26875 vsize=1574464 CPUtime=938.83 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 441060 0 0 0 93735 148 0 0 25 0 4 0 598346525 1612251136 296181 33554432000 4194304 4650419 140734127446640 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=1574464 CPUtime=942.14 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 502180 0 0 0 94051 163 0 0 25 0 4 0 598346525 1612251136 296181 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=1574464 CPUtime=940.79 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 427421 0 0 0 93934 145 0 0 25 0 4 0 598346525 1612251136 296181 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.87
Current children cumulated vsize (KiB) 1574464

[startup+1002.3 s]
/proc/loadavg: 8.04 8.06 8.05 10/184 26946
/proc/meminfo: memFree=14893616/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=1548212 CPUtime=4003.52 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 2107894 0 0 0 399711 641 0 0 25 0 4 0 598346525 1585369088 298744 33554432000 4194304 4650419 140734127446640 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26877/statm: 387053 298744 397 112 0 382018 0
[pid=26877/tid=26878] ppid=26875 vsize=1548212 CPUtime=998.82 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 456952 0 0 0 99728 154 0 0 25 0 4 0 598346525 1585369088 298744 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=1548212 CPUtime=1002.13 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 678220 0 0 0 100026 187 0 0 25 0 4 0 598346525 1585369088 298744 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=1548212 CPUtime=1000.77 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 455712 0 0 0 99922 155 0 0 25 0 4 0 598346525 1585369088 298744 33554432000 4194304 4650419 140734127446640 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.52
Current children cumulated vsize (KiB) 1548212

[startup+1062.31 s]
/proc/loadavg: 8.12 8.07 8.05 9/184 26948
/proc/meminfo: memFree=14848464/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=1548428 CPUtime=4243.21 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 2194750 0 0 0 423651 670 0 0 25 0 4 0 598346525 1585590272 316967 33554432000 4194304 4650419 140734127446640 18446744073709551615 4438643 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26877/statm: 387107 316967 395 112 0 382072 0
[pid=26877/tid=26878] ppid=26875 vsize=1548428 CPUtime=1058.81 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 464100 0 0 0 105724 157 0 0 25 0 4 0 598346525 1585590272 316967 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=1548428 CPUtime=1062.14 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 710933 0 0 0 106023 191 0 0 25 0 4 0 598346525 1585590272 316967 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=1548428 CPUtime=1060.78 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 482051 0 0 0 105910 168 0 0 25 0 4 0 598346525 1585590272 316967 33554432000 4194304 4650419 140734127446640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.21
Current children cumulated vsize (KiB) 1548428

[startup+1122.3 s]
/proc/loadavg: 8.16 8.09 8.06 10/184 26950
/proc/meminfo: memFree=14748752/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=1681704 CPUtime=4482.85 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 2336771 0 0 0 447576 709 0 0 25 0 4 0 598346525 1722064896 345133 33554432000 4194304 4650419 140734127446640 18446744073709551615 4316029 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26877/statm: 420426 345133 395 112 0 415391 0
[pid=26877/tid=26878] ppid=26875 vsize=1681704 CPUtime=1118.8 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 485179 0 0 0 111712 168 0 0 25 0 4 0 598346525 1722064896 345133 33554432000 4194304 4650419 140734127446640 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=1681704 CPUtime=1122.14 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 773501 0 0 0 112014 200 0 0 25 0 4 0 598346525 1722064896 345133 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=1681704 CPUtime=1120.78 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 517084 0 0 0 111900 178 0 0 25 0 4 0 598346525 1722064896 345133 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.85
Current children cumulated vsize (KiB) 1681704

[startup+1182.3 s]
/proc/loadavg: 8.16 8.10 8.06 9/184 26951
/proc/meminfo: memFree=14723692/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=1706072 CPUtime=4722.52 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 2474832 0 0 0 471506 746 0 0 25 0 4 0 598346525 1747017728 338461 33554432000 4194304 4650419 140734127446640 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26877/statm: 426518 338461 395 112 0 421483 0
[pid=26877/tid=26878] ppid=26875 vsize=1706072 CPUtime=1178.8 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 513279 0 0 0 117697 183 0 0 25 0 4 0 598346525 1747017728 338461 33554432000 4194304 4650419 140734127446640 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=1706072 CPUtime=1182.14 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 822405 0 0 0 118008 206 0 0 25 0 4 0 598346525 1747017728 338461 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=1706072 CPUtime=1180.78 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 557762 0 0 0 117894 184 0 0 25 0 4 0 598346525 1747017728 338461 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.52
Current children cumulated vsize (KiB) 1706072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.17 8.11 8.07 9/184 26952
/proc/meminfo: memFree=14803784/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=1720536 CPUtime=4800.03 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 2493063 0 0 0 479249 754 0 0 25 0 4 0 598346525 1761828864 330498 33554432000 4194304 4650419 140734127446640 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26877/statm: 430134 330498 395 112 0 425099 0
[pid=26877/tid=26878] ppid=26875 vsize=1720536 CPUtime=1198.2 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 522350 0 0 0 119633 187 0 0 25 0 4 0 598346525 1761828864 330499 33554432000 4194304 4650419 140734127446640 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=1720536 CPUtime=1201.54 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 822405 0 0 0 119948 206 0 0 25 0 4 0 598346525 1761828864 330499 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=1720536 CPUtime=1200.19 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 557762 0 0 0 119835 184 0 0 25 0 4 0 598346525 1761828864 330499 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 1720536

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.17 8.11 8.07 9/184 26952
/proc/meminfo: memFree=14803784/32950940 swapFree=67111528/67111528
[pid=26877] ppid=26875 vsize=1720536 CPUtime=4800.03 cores=0,2,4,6
/proc/26877/stat : 26877 (strangenight1-m) R 26875 26877 26674 0 -1 4202496 2493063 0 0 0 479249 754 0 0 25 0 4 0 598346525 1761828864 330498 33554432000 4194304 4650419 140734127446640 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26877/statm: 430134 330498 395 112 0 425099 0
[pid=26877/tid=26878] ppid=26875 vsize=1720536 CPUtime=1198.2 cores=0,2,4,6
/proc/26877/task/26878/stat : 26878 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 522350 0 0 0 119633 187 0 0 25 0 4 0 598346525 1761828864 330499 33554432000 4194304 4650419 140734127446640 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26877/tid=26879] ppid=26875 vsize=1720536 CPUtime=1201.54 cores=0,2,4,6
/proc/26877/task/26879/stat : 26879 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 822405 0 0 0 119948 206 0 0 25 0 4 0 598346525 1761828864 330499 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26877/tid=26880] ppid=26875 vsize=1720536 CPUtime=1200.19 cores=0,2,4,6
/proc/26877/task/26880/stat : 26880 (strangenight1-m) R 26875 26877 26674 0 -1 4202560 557762 0 0 0 119835 184 0 0 25 0 4 0 598346525 1761828864 330499 33554432000 4194304 4650419 140734127446640 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 1720536

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.12
CPU user time (s): 4792.52
CPU system time (s): 7.60584
CPU usage (%): 399.421
Max. virtual memory (cumulated for all children) (KiB): 1747540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.52
system time used= 7.60584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2493068
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= 10513
involuntary context switches= 34724

runsolver used 1.9727 second user time and 4.5933 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-29 14:45:58
IDJOB=3175067
IDBENCH=82685
IDSOLVER=1588
FILE ID=node117/3175067-1304081157
RUNJOBID= node117-1304078749-26692
PBS_JOBID= 13170523
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= d6c81b59e209c449a4578a840944dc82
RANDOM SEED=864265661

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      17447064 kB
Buffers:       2379436 kB
Cached:       12476228 kB
SwapCached:          0 kB
Active:        8156900 kB
Inactive:      6765352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      17447064 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7836 kB
Writeback:           0 kB
AnonPages:       65340 kB
Mapped:          15100 kB
Slab:           518084 kB
PageTables:       4628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   220100 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= 71664 MiB
End job on node117 at 2011-04-29 15:06:01