Trace number 3368676

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.42 1203.17

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368676-1305400521.cnf'
0.00/0.01	c -- header says num vars:          20000
0.00/0.01	c -- header says num clauses:       84000
0.00/0.08	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.00/0.08	c -- vars added      20000
0.00/0.08	c Parsing time:  0.21 s
0.00/0.08	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.35/0.13	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.23
0.35/0.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.14
0.74/0.26	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.74/0.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.74/0.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.02 s
4.33/1.12	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.02 s
4.33/1.12	c lits-rem:         0  cl-subs:        0  v-elim:    687  v-fix:    0  time:  0.81 s
4.33/1.12	c Finding binary XORs  T:     0.01 s  found:       0
4.33/1.12	c Finding non-binary XORs:     0.15 s (found:       0, avg size: nan)
4.33/1.12	c calculated reachability. Time: 0.00
4.33/1.12	c Calc default polars -  time:   0.02 s pos:    8824 undec:    2398 neg:    8778
4.33/1.12	c =========================================================================================
4.33/1.12	c types(t): F = full restart, N = normal restart
4.33/1.12	c types(t): S = simplification begin/end, E = solution found
4.33/1.12	c restart types(rt): st = static, dy = dynamic
4.33/1.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.33/1.12	c  B st     0         0     19313     83081         0         0    252987         0   no data   no data  --
5.88/1.52	c  N dy    22      4041     19313     83081         0      4041    252987    969334    131.35    138.61  --
9.47/2.50	c  N dy    46      8100     19313     83081         0      8100    252987   1805642    129.02    138.22  --
13.87/3.50	c  N dy    73     12127     19313     83081         0     12127    252987   2626688    129.35    138.98  --
18.25/4.61	c  N dy   103     16456     19313     83081         0     16456    252987   3505728    129.58    140.54  --
22.64/5.74	c  N dy   131     20546     19313     83081         0     10546    252987    678766    130.31    161.06  --
26.62/6.78	c  N dy   157     24676     19313     83081         0     14676    252987   1509456    129.41    136.49  --
27.02/6.87	c  F st   160     25003     19313     83081         0     15003    252987   1579509    129.50   no data  --
33.02/8.31	c  N dy   166     30003     19313     83081         0     20002    252987   3021426    129.50   no data  --
33.02/8.31	c  S st   166     30003     19313     83081         0     20002    252987   3021426    129.50   no data  --
33.42/8.45	c  S st   166     30506     19313     83081         0     20505    252987   3105771    129.50   no data  --
33.42/8.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
33.42/8.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.82/8.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.37
35.05/8.87	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.05/8.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.05/8.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.02 s
35.05/8.89	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
56.16/14.19	c lits-rem:         8  cl-subs:        6  v-elim:      0  v-fix:    0  time: 21.08 s
56.58/14.31	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.43
56.99/14.31	c calculated reachability. Time: 0.00
56.99/14.31	c  N dy   166     30506     19313     83081         0     20499    252987   3103342    129.50   no data  --
62.14/15.63	c  N dy   193     34719     19313     83081         0     24712    252987   3961900    129.30    137.36  --
66.92/16.89	c  N dy   216     38772     19313     83081         0     28765    252987   4771040    128.50    140.24  --
72.12/18.19	c  N dy   244     42794     19313     83081         0     17288    252987   1019193    128.81    170.90  --
76.11/19.10	c  S st   262     45759     19313     83081         0     20253    252987   1618256    128.76    124.91  --
76.51/19.25	c  S st   262     46261     19313     83081         0     20755    252987   1694532    128.76   no data  --
76.51/19.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
76.51/19.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
76.91/19.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.38
77.31/19.47	c bin-w-bin subsume rem            0 bins  time:  0.02 s
77.31/19.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
77.31/19.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.02 s
77.31/19.49	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
90.87/22.80	c lits-rem:         8  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.14 s
90.87/22.81	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
90.87/22.83	c vivif2 --  cl tried    20754 cl shrink        0 lits rem          0 time: 0.10
91.27/22.94	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.42
91.27/22.94	c calculated reachability. Time: 0.00
91.27/22.94	c  N dy   262     46261     19313     83081         0     20754    252987   1694175    128.76   no data  --
96.07/24.11	c  N dy   290     50304     19313     83081         0     24797    252987   2501018    128.76    136.40  --
100.88/25.35	c  N dy   317     54408     19313     83081         0     28901    252987   3356414    128.98    137.30  --
106.02/26.61	c  N dy   345     58533     19313     83081         0     33025    252987   4205954    129.05    137.89  --
111.21/27.90	c  N dy   374     62573     19313     83081         0     37065    252987   5048247    129.22    138.29  --
116.01/29.12	c  N dy   399     66676     19313     83081         0     22419    252987   1407187    129.10    136.49  --
119.20/29.94	c  S st   420     69391     19313     83081         0     25133    252987   1963623    129.16   no data  --
119.60/30.09	c  S st   420     69895     19313     83081         0     25637    252987   2042541    129.16   no data  --
120.00/30.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
120.00/30.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
120.40/30.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.40
120.79/30.35	c bin-w-bin subsume rem            0 bins  time:  0.02 s
120.79/30.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
120.79/30.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
120.79/30.37	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
137.95/34.66	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 17.06 s
137.95/34.67	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.03
137.95/34.69	c vivif2 --  cl tried    25636 cl shrink        0 lits rem          0 time: 0.11
138.75/34.81	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.45
138.75/34.81	c calculated reachability. Time: 0.00
138.75/34.81	c  N dy   420     69895     19313     83081         0     25636    252987   2042422    129.16   no data  --
144.35/36.23	c  N dy   452     74761     19313     83081         0     30502    252987   3024721    129.30    140.58  --
150.32/37.71	c  N dy   483     79634     19313     83081         0     35374    252987   4023758    129.26    136.39  --
156.70/39.30	c  N dy   513     84777     19313     83081         0     40515    252987   5074740    129.23    136.85  --
159.89/40.17	c  F st   532     87503     19313     83081         0     22369    252987    933510    129.33   no data  --
163.89/41.15	c  N st   537     90800     19313     83081         0     25666    252987   1768613    129.33   no data  --
171.10/42.96	c  N dy   564     96650     19313     83081         0     31513    252987   3105490    129.52    136.76  --
179.46/45.05	c  N dy   611    102911     19313     83081         0     37773    252987   4399606    129.73    138.05  --
181.84/45.67	c  S st   624    104842     19313     83081         0     39703    252987   4798418    129.78    133.18  --
182.64/45.83	c  S st   624    105345     19313     83081         0     40206    252987   4874995    129.78   no data  --
182.64/45.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
182.64/45.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
183.04/45.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.44
184.27/46.28	c bin-w-bin subsume rem            0 bins  time:  0.02 s
184.27/46.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
184.27/46.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
184.62/46.30	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
382.53/95.93	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 197.44 s
382.53/95.94	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
382.93/96.01	c vivif2 --  cl tried    40203 cl shrink        0 lits rem          0 time: 0.27
383.33/96.15	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.57
383.33/96.16	c calculated reachability. Time: 0.00
383.33/96.16	c  N dy   624    105345     19313     83081         0     40203    252987   4873411    129.78   no data  --
392.11/98.34	c  N dy   669    112151     19313     83081         0     24577    252987   1030450    129.78    146.58  --
400.89/100.52	c  N dy   722    119314     19313     83081         0     31740    252987   2528231    129.91    137.51  --
410.46/102.93	c  N dy   773    127011     19313     83081         0     39437    252987   4076727    129.82    139.38  --
421.64/105.73	c  N dy   825    135292     19313     83081         0     24003    252987    601738    129.77    138.72  --
432.81/108.50	c  N dy   880    144059     19313     83081         0     32769    252987   2364926    129.65    136.98  --
444.78/111.58	c  N dy   946    153266     19313     83081         0     41975    252987   4276775    129.79    137.92  --
451.17/113.20	c  S st   976    158017     19313     83081         0     46726    252987   5237133    129.74    135.63  --
452.00/113.38	c  S st   976    158521     19313     83081         0     47230    252987   5316700    129.74   no data  --
452.36/113.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
452.36/113.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
452.76/113.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.47
453.95/113.85	c bin-w-bin subsume rem            0 bins  time:  0.02 s
453.95/113.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
453.95/113.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
453.95/113.87	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
710.96/178.22	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 256.00 s
710.96/178.23	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
711.31/178.30	c vivif2 --  cl tried    47227 cl shrink        0 lits rem          0 time: 0.31
711.71/178.47	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.65
711.71/178.47	c calculated reachability. Time: 0.00
711.71/178.47	c  N dy   976    158521     19313     83081         0     47227    252987   5315405    129.74   no data  --
724.88/181.80	c  N dy  1044    168720     19313     83081         0     32568    252987   2083830    129.60    141.15  --
739.65/185.44	c  N dy  1126    179492     19313     83081         0     43340    252987   4362408    129.91    143.65  --
755.60/189.49	c  N dy  1207    191178     19313     83081         0     29097    252987   1182613    130.06    137.88  --
771.57/193.45	c  N dy  1287    203457     19313     83081         0     41376    252987   3702707    130.07    149.10  --
790.32/198.10	c  N dy  1379    216570     19313     83081         0     27525    252987    596092    130.02    144.04  --
808.28/202.64	c  N dy  1473    230434     19313     83081         0     41389    252987   3470664    130.14    141.26  --
818.25/205.19	c  S st  1519    237781     19313     83081         0     48736    252987   4961689    130.05   no data  --
819.05/205.39	c  S st  1519    238287     19313     83081         0     49242    252987   5042335    130.05   no data  --
819.45/205.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
819.45/205.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
819.85/205.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
821.04/205.83	c bin-w-bin subsume rem            0 bins  time:  0.02 s
821.04/205.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
821.04/205.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
821.04/205.85	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
1058.05/265.27	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time: 236.12 s
1058.05/265.28	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
1058.45/265.35	c vivif2 --  cl tried    49233 cl shrink        0 lits rem          0 time: 0.29
1059.25/265.52	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.68
1059.25/265.53	c calculated reachability. Time: 0.00
1059.25/265.53	c  N dy  1519    238287     19313     83081         0     49233    252987   5039250    130.05   no data  --
1080.40/270.84	c  N dy  1618    253699     19313     83081         0     36663    252987   2216075    129.93    137.27  --
1102.34/276.39	c  N dy  1724    269892     19313     83081         0     52856    252987   5575305    129.91    137.81  --
1126.29/282.32	c  N dy  1835    287154     19313     83081         0     41129    252987   2949399    129.91    140.91  --
1153.03/289.00	c  N dy  1960    305661     19313     83081         0     59636    252987   6798271    130.07    136.95  --
1153.84/289.25	c  F st  1963    306252     19313     83081         0     30231    252987    497615    130.05    116.15  --
1179.76/295.77	c  N dy  2061    325276     19313     83081         0     49254    252987   4818077    130.06    144.38  --
1208.48/302.98	c  N dy  2202    345285     19313     83081         0     38263    252987   1938752    130.27    140.57  --
1225.64/307.21	c  S st  2289    357430     19313     83081         0     50407    252987   4472810    130.38   no data  --
1226.43/307.41	c  S st  2289    357931     19313     83081         0     50908    252987   4553285    130.38   no data  --
1226.43/307.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1226.43/307.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1226.83/307.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.50
1228.03/307.82	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1228.03/307.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1228.03/307.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
1228.03/307.85	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1405.99/352.41	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 177.24 s
1405.99/352.42	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
1405.99/352.49	c vivif2 --  cl tried    50907 cl shrink        0 lits rem          0 time: 0.27
1406.79/352.67	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.71
1406.79/352.67	c calculated reachability. Time: 0.00
1406.79/352.67	c  N dy  2289    357931     19313     83081         0     50907    252987   4552640    130.38   no data  --
1436.71/360.19	c  N dy  2419    377941     19313     83081         0     38926    252987   1937563    130.46    137.73  --
1466.23/367.54	c  N dy  2545    397984     19313     83081         0     58969    252987   6025835    130.43    140.62  --
1495.38/374.87	c  N dy  2673    418027     19313     83081         0     46010    252987   3147236    130.44    161.89  --
1526.50/382.64	c  N dy  2806    438048     19313     83081         0     66031    252987   7300848    130.50    144.84  --
1556.03/390.08	c  N dy  2946    458118     19313     83081         0     52105    252987   4177058    130.59    138.81  --
1587.15/397.86	c  N dy  3087    478135     19313     83081         0     37122    252987    876812    130.70    145.08  --
1615.47/404.92	c  N dy  3216    498311     19313     83081         0     57298    252987   5057747    130.71    141.48  --
1645.83/412.54	c  N dy  3351    518462     19313     83081         0     41447    252987   1571817    130.73    138.51  --
1672.17/419.12	c  S st  3482    536896     19313     83081         0     59881    252987   5405582    130.80   no data  --
1672.93/419.32	c  S st  3482    537400     19313     83081         0     60385    252987   5480746    130.80   no data  --
1672.93/419.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1672.93/419.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1673.33/419.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.51
1674.53/419.78	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1674.53/419.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1674.53/419.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
1674.93/419.80	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
1965.41/492.63	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 290.13 s
1965.41/492.63	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.03
1965.82/492.71	c vivif2 --  cl tried    60383 cl shrink        0 lits rem          0 time: 0.30
1966.59/492.90	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.74
1966.59/492.90	c calculated reachability. Time: 0.00
1966.59/492.91	c  N dy  3482    537400     19313     83081         0     60383    252987   5480271    130.80   no data  --
1995.32/500.16	c  N dy  3608    557409     19313     83081         0     43391    252987   1722052    130.74    140.33  --
2023.29/507.14	c  N dy  3741    577422     19313     83081         0     63403    252987   5848045    130.81    144.33  --
2052.78/514.51	c  N dy  3876    597436     19313     83081         0     45421    252987   2005128    130.87    138.25  --
2081.10/521.65	c  N dy  4001    617477     19313     83081         0     65462    252987   6113942    130.83    138.31  --
2110.65/529.04	c  N dy  4129    637636     19313     83081         0     46621    252987   2006714    130.81    141.58  --
2139.37/536.21	c  N dy  4265    657688     19313     83081         0     66673    252987   6209298    130.87    199.05  --
2169.28/543.70	c  N dy  4394    677785     19313     83081         0     46769    252987   1840816    130.85    182.99  --
2197.62/550.85	c  N dy  4531    697797     19313     83081         0     66778    252987   6024892    130.87    138.06  --
2228.74/558.65	c  N dy  4671    717894     19313     83081         0     45871    252987   1462957    130.89    145.49  --
2257.46/565.82	c  N dy  4807    738052     19313     83081         0     66029    252987   5658669    130.89    137.95  --
2288.99/573.71	c  N dy  4944    758171     19313     83081         0     44151    252987    925059    130.96    138.04  --
2317.36/580.85	c  N dy  5084    778218     19313     83081         0     64197    252987   5100696    130.98    138.66  --
2349.24/588.82	c  N dy  5219    798308     19313     83081         0     84281    252987   9269789    131.01    138.31  --
2360.82/591.75	c  S st  5272    806100     19313     83081         0     49075    252987   1713131    131.03   no data  --
2361.60/591.94	c  S st  5272    806604     19313     83081         0     49579    252987   1785541    131.03   no data  --
2361.60/591.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2361.60/591.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2362.00/592.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.48
2362.80/592.20	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2362.80/592.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2362.80/592.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
2362.80/592.22	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
2380.35/596.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time: 17.59 s
2380.35/596.65	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
2380.35/596.68	c vivif2 --  cl tried    49579 cl shrink        0 lits rem          0 time: 0.12
2381.16/596.84	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.67
2381.16/596.85	c calculated reachability. Time: 0.00
2381.16/596.85	c  N dy  5272    806604     19313     83081         0     49579    252987   1785541    131.03   no data  --
2413.08/604.81	c  N dy  5410    826771     19313     83081         0     69744    252987   6013561    131.08    138.42  --
2447.79/613.50	c  N dy  5545    846892     19313     83081         0     45869    252987    864258    131.16    145.17  --
2478.52/621.24	c  N dy  5671    866930     19313     83081         0     65906    252987   5048333    131.15    142.06  --
2514.44/630.25	c  N dy  5818    887026     19313     83081         0     86000    252987   9337677    131.25    139.10  --
2545.94/638.17	c  N dy  5947    907139     19313     83081         0     61114    252987   3845998    131.26    142.47  --
2579.86/646.61	c  N dy  6083    927166     19313     83081         0     81140    252987   8044127    131.28    139.72  --
2613.37/655.04	c  N dy  6210    947248     19313     83081         0     55228    252987   2389619    131.29    141.73  --
2646.12/663.21	c  N dy  6344    967342     19313     83081         0     75320    252987   6582553    131.29    139.70  --
2681.65/672.19	c  N dy  6475    987363     19313     83081         0     48346    252987    756409    131.31    140.91  --
2712.73/679.91	c  N dy  6605   1007393     19313     83081         0     68375    252987   4880369    131.29    138.63  --
2747.84/688.79	c  N dy  6738   1027561     19313     83081         0     88543    252987   9124384    131.30    139.81  --
2780.16/696.90	c  N dy  6879   1047677     19313     83081         0     60657    252987   3157641    131.37    140.67  --
2812.90/705.02	c  N dy  7018   1067778     19313     83081         0     80757    252987   7358649    131.40    143.52  --
2820.06/706.80	c  F st  7049   1071875     19313     83081         0     84853    252987   8186734    131.40    131.32  --
2847.20/713.69	c  N dy  7122   1087927     19313     83081         0     51908    252987   1107471    131.39    139.47  --
2878.33/721.48	c  N dy  7256   1108172     19313     83081         0     72149    252987   5374783    131.41    144.99  --
2913.03/730.13	c  N dy  7386   1128266     19313     83081         0     92241    252987   9528446    131.42    139.61  --
2946.14/738.40	c  N dy  7522   1148384     19313     83081         0     62367    252987   3049347    131.42    140.46  --
2978.87/746.65	c  N dy  7666   1168557     19313     83081         0     82540    252987   7301448    131.47    138.76  --
3013.97/755.45	c  N dy  7802   1188774     19313     83081         0     51757    252987    644056    131.49    141.15  --
3043.50/762.80	c  N dy  7937   1208793     19313     83081         0     71773    252987   4847850    131.51    138.52  --
3045.10/763.26	c  S st  7946   1209907     19313     83081         0     72887    252987   5088184    131.52    135.77  --
3045.93/763.48	c  S st  7946   1210413     19313     83081         0     73393    252987   5161948    131.52   no data  --
3045.93/763.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3046.29/763.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3046.69/763.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.55
3047.89/763.93	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3047.89/763.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3047.89/763.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
3047.89/763.95	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.03 s
3318.41/831.71	c lits-rem:         1  cl-subs:        8  v-elim:      0  v-fix:    0  time: 269.96 s
3318.41/831.72	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.03
3318.81/831.80	c vivif2 --  cl tried    73385 cl shrink        0 lits rem          0 time: 0.30
3319.61/832.01	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.84
3319.61/832.01	c calculated reachability. Time: 0.00
3319.61/832.01	c  N dy  7946   1210413     19313     83081         0     73385    252987   5158934    131.52   no data  --
3352.33/840.21	c  N dy  8068   1230511     19313     83081         0     93481    252987   9324747    131.51    170.33  --
3385.05/848.40	c  N dy  8207   1250574     19313     83081         0     61545    252987   2500968    131.54    173.82  --
3416.56/856.31	c  N dy  8345   1270621     19313     83081         0     81592    252987   6691677    131.56    144.34  --
3450.48/864.85	c  N dy  8482   1290632     19313     83081         0    101602    252987  10841607    131.57    141.70  --
3481.59/872.69	c  N dy  8624   1310672     19313     83081         0     68646    252987   3796436    131.59    141.63  --
3514.32/880.88	c  N dy  8759   1330855     19313     83081         0     88829    252987   7973590    131.58    147.54  --
3550.24/889.81	c  N dy  8886   1350912     19313     83081         0     54886    252987    689460    131.57    138.85  --
3580.14/897.36	c  N dy  9025   1371104     19313     83081         0     75077    252987   4854736    131.58    141.76  --
3613.66/905.73	c  N dy  9158   1391172     19313     83081         0     95143    252987   8998695    131.58    139.89  --
3649.97/914.89	c  N dy  9281   1411201     19313     83081         0     60174    252987   1589797    131.60    142.27  --
3683.08/923.12	c  N dy  9411   1431351     19313     83081         0     80321    252987   5863502    131.62    140.53  --
3719.39/932.24	c  N dy  9550   1451429     19313     83081         0    100397    252987  10040516    131.63    141.67  --
3755.30/941.26	c  N dy  9690   1471511     19313     83081         0     64485    252987   2278233    131.65    140.66  --
3788.81/949.67	c  N dy  9827   1491595     19313     83081         0     84564    252987   6505155    131.68    167.98  --
3826.32/959.08	c  N dy  9960   1511688     19313     83081         0    104655    252987  10680151    131.69    161.00  --
3863.43/968.39	c  N dy 10098   1531899     19313     83081         0     67870    252987   2855144    131.72    143.17  --
3898.94/977.28	c  N dy 10232   1552266     19313     83081         0     88235    252987   7119853    131.73    140.82  --
3938.05/987.03	c  N dy 10362   1572337     19313     83081         0    108306    252987  11232835    131.71    145.32  --
3974.36/996.16	c  N dy 10498   1592481     19313     83081         0     70452    252987   3078096    131.74    140.03  --
4009.47/1004.98	c  N dy 10623   1612571     19313     83081         0     90541    252987   7344918    131.76    147.23  --
4048.57/1014.77	c  N dy 10763   1632588     19313     83081         0    110557    252987  11538798    131.78    141.63  --
4085.28/1023.97	c  N dy 10904   1652707     19313     83081         0     71676    252987   3194234    131.83    139.64  --
4120.81/1032.85	c  N dy 11038   1672767     19313     83081         0     91736    252987   7449259    131.84    143.62  --
4159.09/1042.43	c  N dy 11168   1692821     19313     83081         0    111790    252987  11641477    131.85    140.13  --
4191.03/1050.51	c  S st 11290   1710413     19313     83081         0     69382    252987   2514441    131.86   no data  --
4192.20/1050.73	c  S st 11290   1710916     19313     83081         0     69885    252987   2581034    131.86   no data  --
4192.20/1050.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4192.20/1050.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4192.60/1050.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.55
4193.41/1051.06	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4193.41/1051.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4193.41/1051.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19313 time:  0.03 s
4193.41/1051.08	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.04 s
4226.92/1059.45	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time: 33.27 s
4226.92/1059.46	c vivif2 --  cl tried    83081 cl shrink        0 lits rem          0 time: 0.04
4227.32/1059.50	c vivif2 --  cl tried    69884 cl shrink        0 lits rem          0 time: 0.16
4228.12/1059.70	c asymm  cl-useful: 0/83081/83081 lits-rem:0 time: 0.81
4228.12/1059.71	c calculated reachability. Time: 0.00
4228.12/1059.71	c  N dy 11290   1710916     19313     83081         0     69884    252987   2580897    131.86   no data  --
4262.03/1068.25	c  N dy 11421   1731110     19313     83081         0     90075    252987   6771101    131.85    139.54  --
4299.94/1077.75	c  N dy 11560   1751177     19313     83081         0    110140    252987  10951933    131.86    139.32  --
4338.65/1087.42	c  N dy 11694   1771268     19313     83081         0     69239    252987   2286854    131.88    148.25  --
4374.56/1096.40	c  N dy 11829   1791276     19313     83081         0     89245    252987   6422411    131.89    140.20  --
4414.46/1106.46	c  N dy 11962   1811383     19313     83081         0    109350    252987  10616539    131.89    140.63  --
4455.95/1116.86	c  N dy 12099   1831622     19313     83081         0     67595    252987   1707951    131.91    140.39  --
4491.46/1125.73	c  N dy 12226   1851633     19313     83081         0     87605    252987   5881067    131.91    139.08  --
4531.36/1135.71	c  N dy 12364   1871699     19313     83081         0    107669    252987  10130465    131.93    153.43  --
4574.85/1146.66	c  N dy 12515   1891757     19313     83081         0     64728    252987    935271    131.98    140.55  --
4609.56/1155.35	c  N dy 12641   1911916     19313     83081         0     84886    252987   5101768    131.96    141.19  --
4649.47/1165.32	c  N dy 12781   1932130     19313     83081         0    105099    252987   9393142    131.99    141.42  --
4692.16/1176.07	c  N dy 12915   1952155     19313     83081         0    125123    252987  13575603    131.98    157.13  --
4729.28/1185.37	c  N dy 13061   1972251     19313     83081         0     81223    252987   4167827    132.01    152.08  --
4769.17/1195.33	c  N dy 13212   1992348     19313     83081         0    101319    252987   8436106    132.06    139.62  --

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-3368676-1305400521/watcher-3368676-1305400521 -o /tmp/evaluation-result-3368676-1305400521/solver-3368676-1305400521 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368676-1305400521.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: 7.47 7.96 7.70 1/309 9965
/proc/meminfo: memFree=22949704/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 730282560 52465664 352 33554432000 4194304 4650419 140734794102912 18446744073709551615 47579060512690 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 12809 352 303 112 0 7774 0
[pid=9965/tid=9966] ppid=9963 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 730282560 52465664 352 33554432000 4194304 4650419 140734794102912 18446744073709551615 47579060512690 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 730282560 52465664 352 33554432000 4194304 4650419 140734794102912 18446744073709551615 47579060512690 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 730282561 52465664 352 33554432000 4194304 4650419 140734794102912 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0956079 s]
/proc/loadavg: 7.47 7.96 7.70 1/309 9965
/proc/meminfo: memFree=22949704/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=302960 CPUtime=0.33 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 14686 0 0 0 31 2 0 0 24 0 4 0 730282560 310231040 12660 33554432000 4194304 4650419 140734794102912 18446744073709551615 4369342 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 75740 12660 367 112 0 70705 0
[pid=9965/tid=9966] ppid=9963 vsize=302960 CPUtime=0.08 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 3563 0 0 0 8 0 0 0 18 0 4 0 730282560 310231040 12660 33554432000 4194304 4650419 140734794102912 18446744073709551615 4536237 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=302960 CPUtime=0.08 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 3565 0 0 0 8 0 0 0 24 0 4 0 730282560 310231040 12660 33554432000 4194304 4650419 140734794102912 18446744073709551615 4536704 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=302960 CPUtime=0.06 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 3653 0 0 0 6 0 0 0 25 0 4 0 730282561 310231040 12660 33554432000 4194304 4650419 140734794102912 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 302960

[startup+0.100607 s]
/proc/loadavg: 7.47 7.96 7.70 1/309 9965
/proc/meminfo: memFree=22949704/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=302960 CPUtime=0.35 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 14690 0 0 0 33 2 0 0 24 0 4 0 730282560 310231040 12664 33554432000 4194304 4650419 140734794102912 18446744073709551615 4369991 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 75740 12664 367 112 0 70705 0
[pid=9965/tid=9966] ppid=9963 vsize=302960 CPUtime=0.08 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 3563 0 0 0 8 0 0 0 18 0 4 0 730282560 310231040 12664 33554432000 4194304 4650419 140734794102912 18446744073709551615 4369255 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=302960 CPUtime=0.08 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 3565 0 0 0 8 0 0 0 24 0 4 0 730282560 310231040 12664 33554432000 4194304 4650419 140734794102912 18446744073709551615 4369856 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=302960 CPUtime=0.07 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 3657 0 0 0 7 0 0 0 25 0 4 0 730282561 310231040 12664 33554432000 4194304 4650419 140734794102912 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 302960

[startup+0.300577 s]
/proc/loadavg: 7.47 7.96 7.70 1/309 9965
/proc/meminfo: memFree=22949704/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=310052 CPUtime=1.1 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 25156 0 0 0 103 7 0 0 18 0 4 0 730282560 317493248 21264 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476175 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 77513 21264 385 112 0 72478 0
[pid=9965/tid=9966] ppid=9963 vsize=310052 CPUtime=0.26 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 7000 0 0 0 25 1 0 0 18 0 4 0 730282560 317493248 21264 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=310052 CPUtime=0.27 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 7000 0 0 0 25 2 0 0 18 0 4 0 730282560 317493248 21264 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=310052 CPUtime=0.27 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 3818 0 0 0 27 0 0 0 25 0 4 0 730282561 317493248 21264 33554432000 4194304 4650419 140734794102912 18446744073709551615 4310809 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 310052

[startup+0.700495 s]
/proc/loadavg: 7.47 7.96 7.70 1/309 9965
/proc/meminfo: memFree=22949704/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=310320 CPUtime=2.7 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 31951 0 0 0 262 8 0 0 18 0 4 0 730282560 317767680 22625 33554432000 4194304 4650419 140734794102912 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 77580 22625 391 112 0 72545 0
[pid=9965/tid=9966] ppid=9963 vsize=310320 CPUtime=0.67 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 9150 0 0 0 65 2 0 0 18 0 4 0 730282560 317767680 22625 33554432000 4194304 4650419 140734794102912 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=310320 CPUtime=0.67 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 9158 0 0 0 65 2 0 0 18 0 4 0 730282560 317767680 22625 33554432000 4194304 4650419 140734794102912 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=310320 CPUtime=0.67 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 4156 0 0 0 67 0 0 0 25 0 4 0 730282561 317767680 22625 33554432000 4194304 4650419 140734794102912 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 310320

[startup+1.50035 s]
/proc/loadavg: 7.47 7.96 7.70 11/321 9983
/proc/meminfo: memFree=22677272/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=310600 CPUtime=5.88 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 34933 0 0 0 580 8 0 0 19 0 4 0 730282560 318054400 25607 33554432000 4194304 4650419 140734794102912 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 77650 25607 391 112 0 72615 0
[pid=9965/tid=9966] ppid=9963 vsize=310600 CPUtime=1.47 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 9894 0 0 0 145 2 0 0 19 0 4 0 730282560 318054400 25607 33554432000 4194304 4650419 140734794102912 18446744073709551615 4333311 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=310600 CPUtime=1.47 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 9921 0 0 0 145 2 0 0 19 0 4 0 730282560 318054400 25607 33554432000 4194304 4650419 140734794102912 18446744073709551615 4331873 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=310600 CPUtime=1.46 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 4864 0 0 0 146 0 0 0 25 0 4 0 730282561 318054400 25608 33554432000 4194304 4650419 140734794102912 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 310600

[startup+3.10105 s]
/proc/loadavg: 7.47 7.96 7.70 9/321 9983
/proc/meminfo: memFree=22648876/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=471584 CPUtime=12.28 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 40546 0 0 0 1218 10 0 0 24 0 4 0 730282560 482902016 31220 33554432000 4194304 4650419 140734794102912 18446744073709551615 4363469 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 117896 31220 391 112 0 112861 0
[pid=9965/tid=9966] ppid=9963 vsize=471584 CPUtime=3.06 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 11231 0 0 0 304 2 0 0 23 0 4 0 730282560 482902016 31220 33554432000 4194304 4650419 140734794102912 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=471584 CPUtime=3.06 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 11277 0 0 0 304 2 0 0 23 0 4 0 730282560 482902016 31220 33554432000 4194304 4650419 140734794102912 18446744073709551615 4333890 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=471584 CPUtime=3.04 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 6446 0 0 0 304 0 0 0 25 0 4 0 730282561 482902016 31220 33554432000 4194304 4650419 140734794102912 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 471584

[startup+6.30046 s]
/proc/loadavg: 7.51 7.97 7.70 9/321 9983
/proc/meminfo: memFree=22580004/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=328776 CPUtime=25.04 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 57093 0 0 0 2491 13 0 0 25 0 4 0 730282560 336666624 28553 33554432000 4194304 4650419 140734794102912 18446744073709551615 4330612 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 82194 28553 393 112 0 77159 0
[pid=9965/tid=9966] ppid=9963 vsize=328776 CPUtime=6.26 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 15324 0 0 0 623 3 0 0 25 0 4 0 730282560 336666624 28553 33554432000 4194304 4650419 140734794102912 18446744073709551615 4354992 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=328776 CPUtime=6.27 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 15452 0 0 0 623 4 0 0 25 0 4 0 730282560 336666624 28553 33554432000 4194304 4650419 140734794102912 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=328776 CPUtime=6.21 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 10609 0 0 0 620 1 0 0 25 0 4 0 730282561 336666624 28553 33554432000 4194304 4650419 140734794102912 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 328776

[startup+12.7003 s]
/proc/loadavg: 7.55 7.97 7.70 9/321 9983
/proc/meminfo: memFree=22430172/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=569076 CPUtime=50.56 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 122011 0 0 0 5027 29 0 0 25 0 4 0 730282560 582733824 81682 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 142269 81682 395 112 0 137234 0
[pid=9965/tid=9966] ppid=9963 vsize=569076 CPUtime=12.66 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 41723 0 0 0 1256 10 0 0 25 0 4 0 730282560 582733824 81683 33554432000 4194304 4650419 140734794102912 18446744073709551615 4441572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=569076 CPUtime=12.66 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 27839 0 0 0 1260 6 0 0 25 0 4 0 730282560 582733824 81683 33554432000 4194304 4650419 140734794102912 18446744073709551615 4438259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=569076 CPUtime=12.55 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 16734 0 0 0 1252 3 0 0 25 0 4 0 730282561 582733824 81683 33554432000 4194304 4650419 140734794102912 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 569076

[startup+25.5009 s]
/proc/loadavg: 7.73 7.98 7.71 9/321 9983
/proc/meminfo: memFree=21969764/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=689436 CPUtime=101.63 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 200849 0 0 0 10120 43 0 0 25 0 4 0 730282560 705982464 100520 33554432000 4194304 4650419 140734794102912 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 172359 100538 404 112 0 167324 0
[pid=9965/tid=9966] ppid=9963 vsize=689436 CPUtime=25.46 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 81010 0 0 0 2532 14 0 0 25 0 4 0 730282560 705982464 100544 33554432000 4194304 4650419 140734794102912 18446744073709551615 252458109287 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=689436 CPUtime=25.47 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 36892 0 0 0 2538 9 0 0 25 0 4 0 730282560 705982464 100555 33554432000 4194304 4650419 140734794102912 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=689436 CPUtime=25.22 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 38371 0 0 0 2515 7 0 0 25 0 4 0 730282561 705982464 100564 33554432000 4194304 4650419 140734794102912 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 689436

[startup+51.1011 s]
/proc/loadavg: 7.82 7.98 7.72 9/321 9984
/proc/meminfo: memFree=21810608/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=751516 CPUtime=203.78 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 329371 0 0 0 20302 76 0 0 25 0 4 0 730282560 769552384 130215 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 187879 130215 395 112 0 182844 0
[pid=9965/tid=9966] ppid=9963 vsize=751516 CPUtime=51.05 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 136238 0 0 0 5081 24 0 0 25 0 4 0 730282560 769552384 130215 33554432000 4194304 4650419 140734794102912 18446744073709551615 4334268 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=751516 CPUtime=51.06 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 59596 0 0 0 5090 16 0 0 25 0 4 0 730282560 769552384 130215 33554432000 4194304 4650419 140734794102912 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=751516 CPUtime=50.56 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 51320 0 0 0 5043 13 0 0 25 0 4 0 730282561 769552384 130215 33554432000 4194304 4650419 140734794102912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 751516

[startup+102.313 s]
/proc/loadavg: 7.92 7.98 7.73 9/321 9985
/proc/meminfo: memFree=21652824/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=827976 CPUtime=408.12 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 644009 0 0 0 40676 136 0 0 25 0 4 0 730282560 847847424 142598 33554432000 4194304 4650419 140734794102912 18446744073709551615 4330898 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 206994 142598 395 112 0 201959 0
[pid=9965/tid=9966] ppid=9963 vsize=827976 CPUtime=102.27 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 166664 0 0 0 10191 36 0 0 25 0 4 0 730282560 847847424 142598 33554432000 4194304 4650419 140734794102912 18446744073709551615 4306796 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=827976 CPUtime=102.27 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 94015 0 0 0 10200 27 0 0 25 0 4 0 730282560 847847424 142598 33554432000 4194304 4650419 140734794102912 18446744073709551615 4331155 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=827976 CPUtime=101.26 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 69118 0 0 0 10106 20 0 0 25 0 4 0 730282561 847847424 142598 33554432000 4194304 4650419 140734794102912 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.12
Current children cumulated vsize (KiB) 827976

[startup+162.3 s]

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

[pid=9965] ppid=9963 vsize=1321816 CPUtime=2802.11 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 3658336 0 0 0 279434 777 0 0 25 0 4 0 730282560 1353539584 261150 33554432000 4194304 4650419 140734794102912 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 330454 261150 415 112 0 325419 0
[pid=9965/tid=9966] ppid=9963 vsize=1321816 CPUtime=702.27 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1144337 0 0 0 70003 224 0 0 25 0 4 0 730282560 1353539584 261151 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=1321816 CPUtime=702.28 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1059023 0 0 0 70009 219 0 0 25 0 4 0 730282560 1353539584 261151 33554432000 4194304 4650419 140734794102912 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=1321816 CPUtime=695.26 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 268309 0 0 0 69419 107 0 0 25 0 4 0 730282561 1353539584 261151 33554432000 4194304 4650419 140734794102912 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.11
Current children cumulated vsize (KiB) 1321816

[startup+762.312 s]
/proc/loadavg: 8.08 8.06 7.89 9/321 10003
/proc/meminfo: memFree=20704160/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=1323616 CPUtime=3041.55 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 3932177 0 0 0 303312 843 0 0 25 0 4 0 730282560 1355382784 264934 33554432000 4194304 4650419 140734794102912 18446744073709551615 4304130 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 330904 264934 395 112 0 325869 0
[pid=9965/tid=9966] ppid=9963 vsize=1323616 CPUtime=762.27 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1332476 0 0 0 75974 253 0 0 25 0 4 0 730282560 1355382784 264934 33554432000 4194304 4650419 140734794102912 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=1323616 CPUtime=762.29 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1089608 0 0 0 75998 231 0 0 25 0 4 0 730282560 1355382784 264934 33554432000 4194304 4650419 140734794102912 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=1323616 CPUtime=754.67 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 292434 0 0 0 75349 118 0 0 25 0 4 0 730282561 1355382784 264934 33554432000 4194304 4650419 140734794102912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.55
Current children cumulated vsize (KiB) 1323616

[startup+822.301 s]
/proc/loadavg: 8.09 8.07 7.91 9/321 10004
/proc/meminfo: memFree=20691236/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=1335656 CPUtime=3280.9 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 4014730 0 0 0 327212 878 0 0 25 0 4 0 730282560 1367711744 266320 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 333914 266320 395 112 0 328879 0
[pid=9965/tid=9966] ppid=9963 vsize=1335656 CPUtime=822.26 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1361776 0 0 0 81963 263 0 0 25 0 4 0 730282560 1367711744 266320 33554432000 4194304 4650419 140734794102912 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=1335656 CPUtime=822.28 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1120455 0 0 0 81984 244 0 0 25 0 4 0 730282560 1367711744 266320 33554432000 4194304 4650419 140734794102912 18446744073709551615 4367401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=1335656 CPUtime=814.06 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 314278 0 0 0 81277 129 0 0 25 0 4 0 730282561 1367711744 266320 33554432000 4194304 4650419 140734794102912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.9
Current children cumulated vsize (KiB) 1335656

[startup+882.301 s]
/proc/loadavg: 8.08 8.06 7.91 9/321 10006
/proc/meminfo: memFree=20615196/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=1378304 CPUtime=3520.3 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 4125121 0 0 0 351113 917 0 0 25 0 4 0 730282560 1411383296 271367 33554432000 4194304 4650419 140734794102912 18446744073709551615 4333874 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 344576 271367 395 112 0 339541 0
[pid=9965/tid=9966] ppid=9963 vsize=1378304 CPUtime=882.26 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1394215 0 0 0 87952 274 0 0 25 0 4 0 730282560 1411383296 271367 33554432000 4194304 4650419 140734794102912 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=1378304 CPUtime=882.14 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1148024 0 0 0 87961 253 0 0 25 0 4 0 730282560 1411383296 271367 33554432000 4194304 4650419 140734794102912 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=1378304 CPUtime=873.59 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 339540 0 0 0 87220 139 0 0 25 0 4 0 730282561 1411383296 271367 33554432000 4194304 4650419 140734794102912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3520.3
Current children cumulated vsize (KiB) 1378304

[startup+942.3 s]
/proc/loadavg: 8.08 8.06 7.92 9/321 10008
/proc/meminfo: memFree=20516968/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=1458908 CPUtime=3759.69 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 4424545 0 0 0 374980 989 0 0 25 0 4 0 730282560 1493921792 286663 33554432000 4194304 4650419 140734794102912 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 364727 286663 395 112 0 359692 0
[pid=9965/tid=9966] ppid=9963 vsize=1458908 CPUtime=942.26 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1421297 0 0 0 93940 286 0 0 25 0 4 0 730282560 1493921792 286663 33554432000 4194304 4650419 140734794102912 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=1458908 CPUtime=941.54 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1356106 0 0 0 93868 286 0 0 25 0 4 0 730282560 1493921792 286663 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=1458908 CPUtime=933.6 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 369930 0 0 0 93209 151 0 0 25 0 4 0 730282561 1493921792 286663 33554432000 4194304 4650419 140734794102912 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3759.69
Current children cumulated vsize (KiB) 1458908

[startup+1002.3 s]
/proc/loadavg: 8.06 8.06 7.92 9/321 10009
/proc/meminfo: memFree=20518804/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=1459780 CPUtime=3999.09 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 4781022 0 0 0 398845 1064 0 0 25 0 4 0 730282560 1494814720 286166 33554432000 4194304 4650419 140734794102912 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 364945 286166 395 112 0 359910 0
[pid=9965/tid=9966] ppid=9963 vsize=1459780 CPUtime=1002.26 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1429303 0 0 0 99937 289 0 0 25 0 4 0 730282560 1494814720 286166 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=1459780 CPUtime=1000.93 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1651981 0 0 0 99764 329 0 0 25 0 4 0 730282560 1494814720 286166 33554432000 4194304 4650419 140734794102912 18446744073709551615 252457726088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=1459780 CPUtime=993.59 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 398518 0 0 0 99192 167 0 0 25 0 4 0 730282561 1494814720 286166 33554432000 4194304 4650419 140734794102912 18446744073709551615 4366208 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3999.09
Current children cumulated vsize (KiB) 1459780

[startup+1062.3 s]
/proc/loadavg: 8.06 8.06 7.93 9/321 10011
/proc/meminfo: memFree=20524736/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=1404012 CPUtime=4238.5 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 5157269 0 0 0 422709 1141 0 0 25 0 4 0 730282560 1437708288 273573 33554432000 4194304 4650419 140734794102912 18446744073709551615 4364433 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 351003 273573 395 112 0 345968 0
[pid=9965/tid=9966] ppid=9963 vsize=1404012 CPUtime=1062.26 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1441691 0 0 0 105932 294 0 0 25 0 4 0 730282560 1437708288 273573 33554432000 4194304 4650419 140734794102912 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=1404012 CPUtime=1060.34 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1962980 0 0 0 105662 372 0 0 25 0 4 0 730282560 1437708288 273573 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=1404012 CPUtime=1053.6 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 426913 0 0 0 105178 182 0 0 25 0 4 0 730282561 1437708288 273573 33554432000 4194304 4650419 140734794102912 18446744073709551615 4334226 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4238.5
Current children cumulated vsize (KiB) 1404012

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 7.94 9/321 10012
/proc/meminfo: memFree=20396372/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=1531456 CPUtime=4477.9 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 5574699 0 0 0 446566 1224 0 0 25 0 4 0 730282560 1568210944 306339 33554432000 4194304 4650419 140734794102912 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 382864 306339 409 112 0 377829 0
[pid=9965/tid=9966] ppid=9963 vsize=1531456 CPUtime=1122.25 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1470124 0 0 0 111917 308 0 0 25 0 4 0 730282560 1568210944 306339 33554432000 4194304 4650419 140734794102912 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=1531456 CPUtime=1119.74 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 2300128 0 0 0 111552 422 0 0 25 0 4 0 730282560 1568210944 306339 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=1531456 CPUtime=1113.59 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 452600 0 0 0 111172 187 0 0 25 0 4 0 730282561 1568210944 306339 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4477.9
Current children cumulated vsize (KiB) 1531456

[startup+1182.3 s]
/proc/loadavg: 8.07 8.08 7.95 9/321 10014
/proc/meminfo: memFree=20422644/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=1475844 CPUtime=4717.31 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 6057589 0 0 0 470421 1310 0 0 25 0 4 0 730282560 1511264256 303301 33554432000 4194304 4650419 140734794102912 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 368961 303301 403 112 0 363926 0
[pid=9965/tid=9966] ppid=9963 vsize=1475844 CPUtime=1182.26 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1494322 0 0 0 117904 322 0 0 25 0 4 0 730282560 1511264256 303301 33554432000 4194304 4650419 140734794102912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=1475844 CPUtime=1179.15 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 2733310 0 0 0 117435 480 0 0 25 0 4 0 730282560 1511264256 303301 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476234 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=1475844 CPUtime=1173.59 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 452610 0 0 0 117172 187 0 0 25 0 4 0 730282561 1511264256 303301 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4717.31
Current children cumulated vsize (KiB) 1475844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.11 8.09 7.95 9/321 10015
/proc/meminfo: memFree=20306192/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=1533096 CPUtime=4800.32 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 6175612 0 0 0 478696 1336 0 0 25 0 4 0 730282560 1569890304 321265 33554432000 4194304 4650419 140734794102912 18446744073709551615 4360431 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 383274 321265 395 112 0 378239 0
[pid=9965/tid=9966] ppid=9963 vsize=1533096 CPUtime=1203.07 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1502767 0 0 0 119980 327 0 0 25 0 4 0 730282560 1569890304 321270 33554432000 4194304 4650419 140734794102912 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=1533096 CPUtime=1199.74 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 2834078 0 0 0 119478 496 0 0 25 0 4 0 730282560 1569890304 321270 33554432000 4194304 4650419 140734794102912 18446744073709551615 4328325 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=1533096 CPUtime=1194.41 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 452801 0 0 0 119254 187 0 0 25 0 4 0 730282561 1569890304 321270 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1533096

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

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

[startup+1203.1 s]
/proc/loadavg: 8.11 8.09 7.95 9/321 10015
/proc/meminfo: memFree=20306192/32951124 swapFree=59305796/67111528
[pid=9965] ppid=9963 vsize=1533096 CPUtime=4800.32 cores=1,3,5,7
/proc/9965/stat : 9965 (strangenight1-m) R 9963 9965 9737 0 -1 4202496 6175612 0 0 0 478696 1336 0 0 25 0 4 0 730282560 1569890304 321265 33554432000 4194304 4650419 140734794102912 18446744073709551615 4360431 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9965/statm: 383274 321265 395 112 0 378239 0
[pid=9965/tid=9966] ppid=9963 vsize=1533096 CPUtime=1203.07 cores=1,3,5,7
/proc/9965/task/9966/stat : 9966 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 1502767 0 0 0 119980 327 0 0 25 0 4 0 730282560 1569890304 321270 33554432000 4194304 4650419 140734794102912 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9965/tid=9967] ppid=9963 vsize=1533096 CPUtime=1199.74 cores=1,3,5,7
/proc/9965/task/9967/stat : 9967 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 2834078 0 0 0 119478 496 0 0 25 0 4 0 730282560 1569890304 321270 33554432000 4194304 4650419 140734794102912 18446744073709551615 4328325 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9965/tid=9968] ppid=9963 vsize=1533096 CPUtime=1194.41 cores=1,3,5,7
/proc/9965/task/9968/stat : 9968 (strangenight1-m) R 9963 9965 9737 0 -1 4202560 452801 0 0 0 119254 187 0 0 25 0 4 0 730282561 1569890304 321270 33554432000 4194304 4650419 140734794102912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1533096

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.17
CPU time (s): 4800.42
CPU user time (s): 4787
CPU system time (s): 13.413
CPU usage (%): 398.981
Max. virtual memory (cumulated for all children) (KiB): 1533096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787
system time used= 13.413
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6175625
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= 2207
involuntary context switches= 17955

runsolver used 3.13152 second user time and 8.93264 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-14 21:15:21
IDJOB=3368676
IDBENCH=82685
IDSOLVER=1846
FILE ID=node111/3368676-1305400521
RUNJOBID= node111-1305398110-9756
PBS_JOBID= 13324478
Free space on /tmp= 73668 MiB

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

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

MD5SUM BENCH= d6c81b59e209c449a4578a840944dc82
RANDOM SEED=1655242834

node111.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	: 5428.12
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22949984 kB
Buffers:        260772 kB
Cached:        6496328 kB
SwapCached:      13720 kB
Active:         916724 kB
Inactive:      8868936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22949984 kB
SwapTotal:    67111528 kB
SwapFree:     59305796 kB
Dirty:            7784 kB
Writeback:           0 kB
AnonPages:     3024328 kB
Mapped:          12476 kB
Slab:           114776 kB
PageTables:      36008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 53317688 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= 73660 MiB
End job on node111 at 2011-05-14 21:35:26