Trace number 3174955

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.4 1201.74

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3174955-1304059001.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:       12750
0.00/0.01	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.01	c -- vars added        150
1.17/0.31	c Parsing time:  0.03 s
1.17/0.31	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.17/0.31	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.17/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.17/0.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.17/0.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.17/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1.17/0.90	c Finding binary XORs  T:     0.00 s  found:       0
1.17/0.90	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.17/0.90	c calculated reachability. Time: 0.00
1.17/0.90	c Calc default polars -  time:   0.00 s pos:      77 undec:       1 neg:      72
1.17/0.90	c =========================================================================================
1.17/0.90	c types(t): F = full restart, N = normal restart
1.17/0.90	c types(t): S = simplification begin/end, E = solution found
1.17/0.90	c restart types(rt): st = static, dy = dynamic
1.17/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.17/0.90	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.17/0.90	c  N dy     9      4155       150     12750         0      3967     89250    181682     41.73     43.95  --
1.17/0.90	c  N dy    10      8541       150     12750         0      5777     89250    233004     39.29     41.61  --
1.17/1.10	c  N dy    15     13298       150     12750         0      6272     89250    221138     38.71     40.75  --
5.57/1.40	c  N dy    19     18702       150     12750         0      6064     89250    175725     38.37     40.56  --
6.37/1.60	c  N dy    40     23441       150     12750         0     10612     89250    378791     38.59     40.65  --
6.77/1.70	c  F st    43     25000       150     12750         0     12117     89250    445783     38.57     38.47  --
7.17/1.84	c  N st    48     28298       150     12750         0      8738     89250    265068     38.57   no data  --
7.58/1.94	c  S st    49     30000       150     12750         0     10379     89250    342595     38.57   no data  --
7.58/1.98	c  S st    49     30505       150     12750         0     10873     89250    364249     38.57   no data  --
7.58/1.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.58/1.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.58/1.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.58/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.58/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.58/2.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.58/2.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.55/4.40	c lits-rem:      2365  cl-subs:      490  v-elim:      0  v-fix:    0  time:  9.58 s
19.15/4.83	c asymm  cl-useful: 0/11119/12750 lits-rem:0 time: 1.72
19.15/4.83	c calculated reachability. Time: 0.00
19.15/4.83	c  N dy    49     30505       150     12750         0     10383     89250    333141     38.57   no data  --
21.17/5.31	c  N dy    60     37721       150     12750         0      9712     89250    270457     38.38     40.48  --
22.34/5.62	c  N dy    72     42529       150     12750         0     14335     89250    474559     38.37     40.83  --
23.15/5.87	c  S st    87     45757       150     12750         0      8859     89250    201326     38.42     34.36  --
23.55/5.91	c  S st    87     46258       150     12750         0      9351     89250    222796     38.42   no data  --
23.55/5.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.55/5.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.55/5.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.55/5.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.55/5.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.55/5.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.55/5.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.73/7.79	c lits-rem:       261  cl-subs:       59  v-elim:      0  v-fix:    0  time:  7.47 s
31.12/7.80	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
31.12/7.80	c vivif2 --  cl tried     9292 cl shrink        0 lits rem          0 time: 0.01
31.12/7.86	c asymm  cl-useful: 0/1631/12750 lits-rem:0 time: 0.26
31.12/7.86	c calculated reachability. Time: 0.00
31.12/7.86	c  N dy    87     46258       150     12750         0      9292     89250    219271     38.42   no data  --
32.33/8.13	c  N dy   107     50302       150     12750         0     13181     89250    394912     38.54     41.61  --
33.53/8.45	c  N dy   118     54976       150     12750         0     17633     89250    592325     38.53     40.78  --
34.73/8.73	c  N dy   130     59023       150     12750         0     11927     89250    307156     38.55     40.65  --
35.93/9.00	c  N dy   143     63198       150     12750         0     15943     89250    484815     38.54     40.59  --
37.13/9.33	c  N dy   167     67303       150     12750         0     19873     89250    660012     38.64     40.68  --
37.93/9.50	c  S st   182     69389       150     12750         0     11334     89250    247340     38.69   no data  --
37.93/9.55	c  S st   182     69891       150     12750         0     11819     89250    268183     38.69   no data  --
37.93/9.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
37.93/9.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.93/9.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.93/9.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.93/9.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.93/9.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
37.93/9.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.13/11.89	c lits-rem:       501  cl-subs:       96  v-elim:      0  v-fix:    0  time:  9.29 s
47.13/11.90	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
47.13/11.90	c vivif2 --  cl tried    11723 cl shrink        0 lits rem          0 time: 0.01
49.10/12.35	c asymm  cl-useful: 0/9974/12750 lits-rem:0 time: 1.81
49.10/12.35	c calculated reachability. Time: 0.00
49.10/12.35	c  N dy   182     69891       150     12750         0     11723     89250    262223     38.69   no data  --
50.71/12.70	c  N dy   210     74496       150     12750         0     16152     89250    461643     38.78     41.06  --
52.70/13.26	c  N dy   218     81010       150     12750         0     22387     89250    739641     38.70     41.03  --
54.30/13.66	c  N dy   245     86235       150     12750         0     15912     89250    421008     38.78     42.79  --
54.70/13.76	c  F st   250     87500       150     12750         0     17124     89250    475218     38.79   no data  --
56.32/14.16	c  N dy   256     92694       150     12750         0     22080     89250    694866     38.79   no data  --
58.30/14.68	c  N dy   268     99450       150     12750         0     16075     89250    396449     38.76     40.80  --
59.89/15.08	c  S st   280    104836       150     12750         0     21247     89250    628839     38.77     38.45  --
60.31/15.15	c  S st   280    105337       150     12750         0     21736     89250    649682     38.77   no data  --
60.31/15.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
60.31/15.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.31/15.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
60.31/15.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.31/15.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.31/15.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
60.31/15.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.90/18.56	c lits-rem:      2335  cl-subs:      901  v-elim:      0  v-fix:    0  time: 13.48 s
73.90/18.56	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
73.90/18.56	c vivif2 --  cl tried    20835 cl shrink        0 lits rem          0 time: 0.02
74.67/18.79	c asymm  cl-useful: 0/2776/12750 lits-rem:0 time: 0.88
74.67/18.79	c calculated reachability. Time: 0.00
74.67/18.79	c  N dy   280    105337       150     12750         0     20835     89250    598481     38.77   no data  --
77.47/19.47	c  N dy   282    114167       150     12750         0     15880     89250    356887     38.55     40.58  --
79.86/20.02	c  N dy   293    121453       150     12750         0     22840     89250    670203     38.50     40.62  --
82.69/20.77	c  N dy   326    129403       150     12750         0     16108     89250    333873     38.53     40.56  --
85.46/21.44	c  N dy   338    137873       150     12750         0     24218     89250    693428     38.47     41.06  --
88.65/22.28	c  N dy   379    146747       150     12750         0     17432     89250    362892     38.53     40.77  --
92.25/23.16	c  N dy   418    157214       150     12750         0     27487     89250    810979     38.55     40.68  --
92.65/23.24	c  S st   422    158005       150     12750         0     28249     89250    844746     38.55     36.48  --
93.04/23.33	c  S st   422    158510       150     12750         0     28742     89250    866734     38.55   no data  --
93.04/23.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
93.04/23.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
93.04/23.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
93.04/23.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
93.04/23.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.04/23.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
93.04/23.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
118.22/29.62	c lits-rem:      2112  cl-subs:     1305  v-elim:      0  v-fix:    0  time: 24.93 s
118.22/29.63	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
118.22/29.63	c vivif2 --  cl tried    27437 cl shrink        0 lits rem          0 time: 0.03
119.02/29.85	c asymm  cl-useful: 0/3151/12750 lits-rem:0 time: 0.87
119.02/29.85	c calculated reachability. Time: 0.00
119.02/29.85	c  N dy   422    158510       150     12750         0     27437     89250    792720     38.55   no data  --
123.41/30.94	c  N dy   471    168834       150     12750         0     21085     89250    491252     38.61     40.66  --
128.60/32.24	c  N dy   497    180958       150     12750         0     32667     89250   1003381     38.57     40.90  --
133.79/33.54	c  N dy   543    193805       150     12750         0     27718     89250    753507     38.58     40.75  --
139.81/35.04	c  N dy   591    206266       150     12750         0     21490     89250    444218     38.62     41.77  --
146.17/36.65	c  N dy   646    219696       150     12750         0     34392     89250   1021174     38.66     40.70  --
152.17/38.15	c  N dy   692    234283       150     12750         0     29205     89250    752372     38.67     41.18  --
153.76/38.55	c  S st   718    237766       150     12750         0     32536     89250    902833     38.70   no data  --
154.16/38.64	c  S st   718    238268       150     12750         0     33025     89250    924400     38.70   no data  --
154.16/38.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
154.16/38.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.16/38.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
154.16/38.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.16/38.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.16/38.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
154.16/38.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
173.33/43.43	c lits-rem:       785  cl-subs:     1380  v-elim:      0  v-fix:    0  time: 18.92 s
173.33/43.43	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
173.33/43.44	c vivif2 --  cl tried    31645 cl shrink        0 lits rem          0 time: 0.04
174.13/43.68	c asymm  cl-useful: 0/2454/12750 lits-rem:0 time: 0.94
174.13/43.68	c calculated reachability. Time: 0.00
174.13/43.68	c  N dy   718    238268       150     12750         0     31645     89250    848116     38.70   no data  --
180.92/45.33	c  N dy   783    253589       150     12750         0     26268     89250    593670     38.73     41.22  --
187.74/47.08	c  N dy   828    269831       150     12750         0     41738     89250   1283194     38.72     42.49  --
195.71/49.00	c  N dy   873    288895       150     12750         0     38999     89250   1128235     38.70     40.76  --
203.29/50.96	c  F st   940    306250       150     12750         0     33592     89250    853036     38.73     39.35  --
204.09/51.10	c  N st   943    307440       150     12750         0     34733     89250    902376     38.73   no data  --
213.29/53.40	c  N dy  1002    327157       150     12750         0     30614     89250    689110     38.75     42.68  --
224.06/56.12	c  N dy  1059    349020       150     12750         0     27565     89250    520721     38.73     40.94  --
228.06/57.10	c  S st  1082    357402       150     12750         0     35619     89250    878969     38.73   no data  --
228.46/57.20	c  S st  1082    357904       150     12750         0     36103     89250    900259     38.73   no data  --
228.46/57.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
228.46/57.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
228.46/57.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
228.46/57.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
228.46/57.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
228.46/57.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
228.46/57.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
258.05/64.64	c lits-rem:      2094  cl-subs:     1309  v-elim:      0  v-fix:    0  time: 29.50 s
258.05/64.64	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
258.05/64.65	c vivif2 --  cl tried    34794 cl shrink        0 lits rem          0 time: 0.04
259.62/65.00	c asymm  cl-useful: 0/2119/12750 lits-rem:0 time: 1.40
259.62/65.01	c calculated reachability. Time: 0.00
259.62/65.01	c  N dy  1082    357904       150     12750         0     34794     89250    828388     38.73   no data  --
271.22/67.96	c  N dy  1135    380667       150     12750         0     31734     89250    672443     38.71     40.84  --
282.79/70.88	c  N dy  1199    401147       150     12750         0     51379     89250   1546201     38.70     40.78  --
293.20/73.50	c  N dy  1253    421764       150     12750         0     45302     89250   1242816     38.69     40.92  --
304.36/76.20	c  N dy  1292    444684       150     12750         0     40376     89250    990811     38.63     40.68  --
315.57/79.07	c  N dy  1348    465149       150     12750         0     32175     89250    592873     38.63     40.79  --
326.73/81.85	c  N dy  1434    485217       150     12750         0     51376     89250   1445984     38.65     40.98  --
338.32/84.76	c  N dy  1459    507424       150     12750         0     43846     89250   1082982     38.58     40.70  --
349.90/87.64	c  N dy  1519    527465       150     12750         0     33411     89250    585192     38.58     40.65  --
354.29/88.78	c  S st  1549    536856       150     12750         0     42428     89250    986770     38.58     33.65  --
354.71/88.89	c  S st  1549    537359       150     12750         0     42919     89250   1008158     38.58   no data  --
354.71/88.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
354.71/88.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
355.11/88.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
355.11/88.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
355.11/88.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
355.11/88.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
355.11/88.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
385.06/96.45	c lits-rem:      1553  cl-subs:     1385  v-elim:      0  v-fix:    0  time: 29.98 s
385.06/96.45	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
385.06/96.46	c vivif2 --  cl tried    41534 cl shrink        0 lits rem          0 time: 0.04
386.25/96.72	c asymm  cl-useful: 0/1877/12750 lits-rem:0 time: 1.04
386.25/96.72	c calculated reachability. Time: 0.00
386.25/96.73	c  N dy  1549    537359       150     12750         0     41534     89250    931842     38.58   no data  --
399.82/100.17	c  N dy  1603    559988       150     12750         0     32618     89250    513330     38.57     40.68  --
411.42/103.01	c  N dy  1663    580026       150     12750         0     51812     89250   1372784     38.58     40.82  --
424.60/106.32	c  N dy  1737    600447       150     12750         0     39803     89250    802518     38.59     40.68  --
436.98/109.46	c  N dy  1779    621858       150     12750         0     60332     89250   1714445     38.58     40.75  --
449.36/112.52	c  N dy  1842    643019       150     12750         0     48002     89250   1130826     38.59     41.02  --
463.35/116.06	c  N dy  1900    663163       150     12750         0     33765     89250    468833     38.58     40.92  --
474.93/118.97	c  N dy  1976    683844       150     12750         0     53544     89250   1352504     38.59     40.97  --
497.30/124.55	c  N dy  2036    719185       150     12750         0     52858     89250   1289339     38.55     40.62  --
512.48/128.37	c  N dy  2073    739270       150     12750         0     36716     89250    534316     38.53     40.74  --
525.66/131.63	c  N dy  2150    759347       150     12750         0     56025     89250   1395874     38.55     42.77  --
542.43/135.82	c  N dy  2234    780076       150     12750         0     39493     89250    620408     38.57     40.69  --
556.02/139.22	c  N dy  2294    800118       150     12750         0     58755     89250   1482385     38.57     43.13  --
560.82/140.47	c  S st  2312    806039       150     12750         0     64429     89250   1733771     38.57     38.05  --
561.63/140.65	c  S st  2312    806542       150     12750         0     64918     89250   1755246     38.57   no data  --
561.63/140.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
561.63/140.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
562.01/140.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
562.01/140.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
562.01/140.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
562.01/140.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
562.01/140.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
653.91/163.78	c lits-rem:      2388  cl-subs:     2940  v-elim:      0  v-fix:    0  time: 91.89 s
653.91/163.78	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
654.28/163.80	c vivif2 --  cl tried    61978 cl shrink        0 lits rem          0 time: 0.07
655.48/164.14	c asymm  cl-useful: 0/1352/12750 lits-rem:0 time: 1.35
655.48/164.14	c calculated reachability. Time: 0.00
655.48/164.14	c  N dy  2312    806542       150     12750         0     61978     89250   1594425     38.57   no data  --
669.47/167.63	c  N dy  2352    826995       150     12750         0     44206     89250    797059     38.56     40.62  --
683.45/171.10	c  N dy  2402    848371       150     12750         0     64659     89250   1704470     38.55     41.10  --
697.85/174.78	c  N dy  2468    869078       150     12750         0     46168     89250    855169     38.55     40.64  --
759.74/190.26	c  N dy  2552    962645       150     12750         0     55973     89250   1237772     38.31     40.48  --
777.72/194.75	c  N dy  2651    983543       150     12750         0     76016     89250   2133243     38.34     40.46  --
792.10/198.30	c  N dy  2716   1003590       150     12750         0     54235     89250   1124006     38.34     40.41  --
808.07/202.37	c  N dy  2789   1023960       150     12750         0     73801     89250   1995326     38.35     40.49  --
828.46/207.42	c  N dy  2834   1046941       150     12750         0     53651     89250   1060727     38.34     40.48  --
845.23/211.66	c  N dy  2898   1066989       150     12750         0     72896     89250   1917353     38.34     40.41  --
849.62/212.74	c  F st  2903   1071875       150     12750         0     77547     89250   2120956     38.33     37.72  --
863.21/216.17	c  N dy  2946   1087007       150     12750         0     48972     89250    819334     38.34     40.90  --
879.19/220.16	c  N dy  3003   1107495       150     12750         0     68538     89250   1685236     38.33     40.39  --
901.96/225.80	c  N dy  3101   1127519       150     12750         0     87724     89250   2541366     38.35     41.04  --
918.33/229.93	c  N dy  3186   1148324       150     12750         0     63649     89250   1435218     38.36     40.40  --
937.90/234.88	c  N dy  3254   1168553       150     12750         0     83044     89250   2301256     38.37     41.31  --
958.28/239.92	c  N dy  3322   1189042       150     12750         0     57654     89250   1134150     38.37     40.46  --
979.85/245.37	c  N dy  3397   1209702       150     12750         0     77471     89250   2016147     38.38     40.59  --
980.25/245.40	c  S st  3398   1209813       150     12750         0     77579     89250   2020948     38.38     39.13  --
981.04/245.65	c  S st  3398   1210315       150     12750         0     78069     89250   2042839     38.38   no data  --
981.04/245.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
981.04/245.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
981.44/245.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
981.44/245.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
981.44/245.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
981.44/245.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
981.44/245.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1189.17/297.70	c lits-rem:      3553  cl-subs:     3193  v-elim:      0  v-fix:    0  time: 207.43 s
1189.17/297.70	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1189.17/297.72	c vivif2 --  cl tried    74876 cl shrink        0 lits rem          0 time: 0.10
1191.16/298.20	c asymm  cl-useful: 0/1132/12750 lits-rem:0 time: 1.91
1191.16/298.21	c calculated reachability. Time: 0.00
1191.16/298.21	c  N dy  3398   1210315       150     12750         0     74876     89250   1866330     38.38   no data  --
1217.93/304.90	c  N dy  3486   1230404       150     12750         0     48182     89250    680398     38.39     41.69  --
1237.10/309.76	c  N dy  3577   1250410       150     12750         0     67329     89250   1532911     38.41     40.44  --
1262.26/316.02	c  N dy  3652   1271155       150     12750         0     87170     89250   2420179     38.42     40.58  --
1285.04/321.71	c  N dy  3731   1291189       150     12750         0     59487     89250   1151631     38.43     41.09  --
1308.62/327.65	c  N dy  3844   1311251       150     12750         0     78749     89250   2018001     38.45     40.53  --
1334.60/334.11	c  N dy  3902   1331265       150     12750         0     50008     89250    693384     38.45     42.17  --
1353.75/338.91	c  N dy  3965   1351308       150     12750         0     69160     89250   1545183     38.45     42.21  --
1378.94/345.25	c  N dy  4035   1371483       150     12750         0     88512     89250   2405330     38.46     40.54  --
1401.68/351.00	c  N dy  4098   1391537       150     12750         0     58888     89250   1058076     38.46     40.73  --
1423.26/356.39	c  N dy  4147   1411574       150     12750         0     78043     89250   1907200     38.46     40.59  --
1495.56/374.44	c  N dy  4216   1473469       150     12750         0     87203     89250   2277715     38.38     40.49  --
1523.53/381.46	c  N dy  4296   1493577       150     12750         0     55886     89250    863220     38.39     40.54  --
1545.09/386.82	c  N dy  4380   1513704       150     12750         0     75159     89250   1723053     38.40     40.70  --
1571.46/393.46	c  N dy  4428   1535413       150     12750         0     95916     89250   2651337     38.40     40.52  --
1595.42/399.48	c  N dy  4511   1555832       150     12750         0     63893     89250   1180800     38.41     40.46  --
1618.20/405.19	c  N dy  4558   1578344       150     12750         0     85330     89250   2128203     38.39     40.50  --
1648.15/412.67	c  N dy  4652   1598911       150     12750         0    105064     89250   3009547     38.40     40.58  --
1667.33/417.44	c  N dy  4728   1618929       150     12750         0     71642     89250   1498855     38.41     41.23  --
1690.91/423.33	c  N dy  4798   1639014       150     12750         0     90870     89250   2355748     38.41     42.07  --
1719.65/430.51	c  N dy  4895   1659052       150     12750         0     56492     89250    785097     38.43     40.89  --
1739.25/435.45	c  N dy  4959   1679197       150     12750         0     75782     89250   1642802     38.43     40.71  --
1764.40/441.77	c  N dy  5031   1699218       150     12750         0     94954     89250   2499593     38.43     42.35  --
1780.77/445.89	c  S st  5078   1710316       150     12750         0    105598     89250   2975971     38.44     35.13  --
1782.37/446.23	c  S st  5078   1710816       150     12750         0    106091     89250   2997753     38.44   no data  --
1782.37/446.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1782.37/446.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1782.78/446.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
1782.78/446.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1782.78/446.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1782.78/446.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1782.78/446.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2952.02/739.04	c lits-rem:      4010  cl-subs:     5627  v-elim:      0  v-fix:    0  time: 1168.27 s
2952.02/739.04	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
2952.02/739.08	c vivif2 --  cl tried   100464 cl shrink        0 lits rem          0 time: 0.13
2953.60/739.41	c asymm  cl-useful: 0/665/12750 lits-rem:0 time: 1.32
2953.60/739.41	c calculated reachability. Time: 0.00
2953.60/739.41	c  N dy  5078   1710816       150     12750         0    100464     89250   2696053     38.44   no data  --
2978.38/745.65	c  N dy  5202   1730888       150     12750         0     65270     89250   1144709     38.45     40.80  --
2999.96/751.04	c  N dy  5287   1751289       150     12750         0     84806     89250   2012528     38.46     40.69  --
3027.90/758.01	c  N dy  5366   1772469       150     12750         0    105045     89250   2914531     38.46     40.51  --
3050.27/763.65	c  N dy  5459   1792497       150     12750         0     68764     89250   1260379     38.47     40.51  --
3071.84/769.00	c  N dy  5541   1812764       150     12750         0     88163     89250   2129218     38.48     40.53  --
3100.61/776.25	c  N dy  5634   1833629       150     12750         0    108144     89250   3025744     38.49     40.69  --
3121.37/781.40	c  N dy  5682   1853704       150     12750         0     70861     89250   1315503     38.49     40.77  --
3144.14/787.11	c  N dy  5752   1875060       150     12750         0     91313     89250   2227367     38.49     40.70  --
3174.51/794.76	c  N dy  5847   1895063       150     12750         0    110470     89250   3084647     38.50     40.83  --
3198.86/800.82	c  N dy  5913   1915875       150     12750         0     72962     89250   1375019     38.50     40.53  --
3223.24/806.92	c  N dy  5966   1938196       150     12750         0     94279     89250   2324109     38.50     40.59  --
3252.40/814.27	c  N dy  6049   1958216       150     12750         0    113446     89250   3178556     38.50     41.49  --
3275.57/820.08	c  N dy  6125   1980369       150     12750         0     76225     89250   1488978     38.51     40.63  --
3300.33/826.20	c  N dy  6212   2000423       150     12750         0     95460     89250   2349376     38.51     40.86  --
3336.68/835.36	c  N dy  6289   2027912       150     12750         0     62452     89250    840540     38.51     40.61  --
3356.28/840.23	c  N dy  6361   2048166       150     12750         0     81790     89250   1703456     38.51     40.55  --
3381.43/846.55	c  N dy  6452   2068223       150     12750         0    101080     89250   2567462     38.52     40.57  --
3410.18/853.72	c  N dy  6531   2088234       150     12750         0    120266     89250   3427510     38.53     40.61  --
3428.16/858.27	c  N dy  6600   2108436       150     12750         0     79303     89250   1560479     38.53     40.58  --
3451.33/864.00	c  N dy  6697   2128626       150     12750         0     98697     89250   2429635     38.54     40.65  --
3477.70/870.68	c  N dy  6771   2148941       150     12750         0    118174     89250   3300879     38.55     40.59  --
3501.28/876.52	c  N dy  6846   2171156       150     12750         0     78093     89250   1471298     38.55     40.64  --
3524.43/882.38	c  N dy  6932   2191231       150     12750         0     97317     89250   2330975     38.55     40.83  --
3550.39/888.86	c  S st  6981   2210817       150     12750         0    115997     89250   3165828     38.55   no data  --
3551.99/889.20	c  S st  6981   2211320       150     12750         0    116479     89250   3187394     38.55   no data  --
3551.99/889.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3551.99/889.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3551.99/889.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
3552.39/889.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3552.39/889.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3552.39/889.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3552.39/889.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3174955-1304059001/watcher-3174955-1304059001 -o /tmp/evaluation-result-3174955-1304059001/solver-3174955-1304059001 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174955-1304059001.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: 8.07 8.11 7.93 1/172 29728
/proc/meminfo: memFree=26588164/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 498315594 52465664 352 33554432000 4194304 4650419 140734036733072 18446744073709551615 228095507441 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 12809 352 303 112 0 7774 0
[pid=29728/tid=29729] ppid=29726 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 498315594 52465664 352 33554432000 4194304 4650419 140734036733072 18446744073709551615 47125921773490 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 498315594 52465664 352 33554432000 4194304 4650419 140734036733072 18446744073709551615 47125921773490 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 498315594 52465664 352 33554432000 4194304 4650419 140734036733072 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.10664 s]
/proc/loadavg: 8.07 8.11 7.93 1/172 29728
/proc/meminfo: memFree=26588164/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=282928 CPUtime=0.4 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 2205 0 0 0 40 0 0 0 18 0 4 0 498315594 289718272 2108 33554432000 4194304 4650419 140734036733072 18446744073709551615 4370633 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 70732 2108 366 112 0 65697 0
[pid=29728/tid=29729] ppid=29726 vsize=282928 CPUtime=0.1 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 411 0 0 0 10 0 0 0 18 0 4 0 498315594 289718272 2108 33554432000 4194304 4650419 140734036733072 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=282928 CPUtime=0.1 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 403 0 0 0 10 0 0 0 25 0 4 0 498315594 289718272 2108 33554432000 4194304 4650419 140734036733072 18446744073709551615 4370547 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=282928 CPUtime=0.09 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 545 0 0 0 9 0 0 0 18 0 4 0 498315594 289718272 2109 33554432000 4194304 4650419 140734036733072 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282928

[startup+0.200622 s]
/proc/loadavg: 8.07 8.11 7.93 1/172 29728
/proc/meminfo: memFree=26588164/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=283080 CPUtime=0.77 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 2394 0 0 0 77 0 0 0 18 0 4 0 498315594 289873920 2297 33554432000 4194304 4650419 140734036733072 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 70770 2297 366 112 0 65735 0
[pid=29728/tid=29729] ppid=29726 vsize=283080 CPUtime=0.19 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 428 0 0 0 19 0 0 0 18 0 4 0 498315594 289873920 2297 33554432000 4194304 4650419 140734036733072 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=283080 CPUtime=0.19 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 422 0 0 0 19 0 0 0 25 0 4 0 498315594 289873920 2297 33554432000 4194304 4650419 140734036733072 18446744073709551615 4370547 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=283080 CPUtime=0.19 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 682 0 0 0 19 0 0 0 18 0 4 0 498315594 289873920 2297 33554432000 4194304 4650419 140734036733072 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283080

[startup+0.300604 s]
/proc/loadavg: 8.07 8.11 7.93 1/172 29728
/proc/meminfo: memFree=26588164/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=284360 CPUtime=1.17 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 2846 0 0 0 117 0 0 0 18 0 4 0 498315594 291184640 2398 33554432000 4194304 4650419 140734036733072 18446744073709551615 4371151 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 71090 2398 370 112 0 66055 0
[pid=29728/tid=29729] ppid=29726 vsize=284360 CPUtime=0.29 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 441 0 0 0 29 0 0 0 18 0 4 0 498315594 291184640 2398 33554432000 4194304 4650419 140734036733072 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=284360 CPUtime=0.29 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 434 0 0 0 29 0 0 0 25 0 4 0 498315594 291184640 2398 33554432000 4194304 4650419 140734036733072 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=284360 CPUtime=0.29 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 1095 0 0 0 29 0 0 0 18 0 4 0 498315594 291184640 2398 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284360

[startup+1.30642 s]
/proc/loadavg: 8.07 8.11 7.93 1/172 29728
/proc/meminfo: memFree=26588164/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=299296 CPUtime=5.2 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 12325 0 0 0 518 2 0 0 19 0 4 0 498315594 306479104 6560 33554432000 4194304 4650419 140734036733072 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 74824 6561 391 112 0 69789 0
[pid=29728/tid=29729] ppid=29726 vsize=299296 CPUtime=1.29 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 3110 0 0 0 129 0 0 0 19 0 4 0 498315594 306479104 6561 33554432000 4194304 4650419 140734036733072 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=299296 CPUtime=1.29 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 3010 0 0 0 129 0 0 0 19 0 4 0 498315594 306479104 6561 33554432000 4194304 4650419 140734036733072 18446744073709551615 4516692 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=299296 CPUtime=1.29 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 2685 0 0 0 129 0 0 0 19 0 4 0 498315594 306479104 6561 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 299296

[startup+1.50039 s]
/proc/loadavg: 8.07 8.11 7.93 1/172 29728
/proc/meminfo: memFree=26588164/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=290152 CPUtime=5.97 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 13421 0 0 0 595 2 0 0 19 0 4 0 498315594 297115648 6439 33554432000 4194304 4650419 140734036733072 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 72538 6439 391 112 0 67503 0
[pid=29728/tid=29729] ppid=29726 vsize=290152 CPUtime=1.49 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 3268 0 0 0 149 0 0 0 19 0 4 0 498315594 297115648 6439 33554432000 4194304 4650419 140734036733072 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=290152 CPUtime=1.48 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 3260 0 0 0 148 0 0 0 19 0 4 0 498315594 297115648 6439 33554432000 4194304 4650419 140734036733072 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=290152 CPUtime=1.48 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 3209 0 0 0 148 0 0 0 20 0 4 0 498315594 297115648 6439 33554432000 4194304 4650419 140734036733072 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 290152

[startup+3.10709 s]
/proc/loadavg: 8.07 8.11 7.93 9/184 29745
/proc/meminfo: memFree=26472548/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=303100 CPUtime=12.38 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 29336 0 0 0 1233 5 0 0 23 0 4 0 498315594 310374400 17457 33554432000 4194304 4650419 140734036733072 18446744073709551615 4438661 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 75775 17457 392 112 0 70740 0
[pid=29728/tid=29729] ppid=29726 vsize=303100 CPUtime=3.09 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 6326 0 0 0 309 0 0 0 25 0 4 0 498315594 310374400 17457 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=303100 CPUtime=3.08 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 8297 0 0 0 307 1 0 0 23 0 4 0 498315594 310374400 17457 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=303100 CPUtime=3.09 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 7871 0 0 0 308 1 0 0 25 0 4 0 498315594 310374400 17457 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 303100

[startup+6.3005 s]
/proc/loadavg: 8.07 8.11 7.93 9/184 29745
/proc/meminfo: memFree=26424312/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=275164 CPUtime=25.16 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 35147 0 0 0 2510 6 0 0 25 0 4 0 498315594 281767936 17675 33554432000 4194304 4650419 140734036733072 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 68791 17675 392 112 0 63756 0
[pid=29728/tid=29729] ppid=29726 vsize=275164 CPUtime=6.29 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 7698 0 0 0 629 0 0 0 25 0 4 0 498315594 281767936 17675 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=275164 CPUtime=6.26 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 9135 0 0 0 625 1 0 0 25 0 4 0 498315594 281767936 17675 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=275164 CPUtime=6.29 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 9833 0 0 0 627 2 0 0 25 0 4 0 498315594 281767936 17675 33554432000 4194304 4650419 140734036733072 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 275164

[startup+12.7003 s]
/proc/loadavg: 8.06 8.10 7.93 9/184 29746
/proc/meminfo: memFree=26347692/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=295120 CPUtime=50.71 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 51686 0 0 0 5061 10 0 0 25 0 4 0 498315594 302202880 29002 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 73780 29002 392 112 0 68745 0
[pid=29728/tid=29729] ppid=29726 vsize=295120 CPUtime=12.68 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 11841 0 0 0 1267 1 0 0 25 0 4 0 498315594 302202880 29002 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=295120 CPUtime=12.62 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 13693 0 0 0 1260 2 0 0 25 0 4 0 498315594 302202880 29002 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=295120 CPUtime=12.69 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 15512 0 0 0 1266 3 0 0 25 0 4 0 498315594 302202880 29002 33554432000 4194304 4650419 140734036733072 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 295120

[startup+25.501 s]
/proc/loadavg: 8.05 8.10 7.93 9/184 29746
/proc/meminfo: memFree=26286176/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=297684 CPUtime=101.84 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 79858 0 0 0 10167 17 0 0 25 0 4 0 498315594 304828416 34988 33554432000 4194304 4650419 140734036733072 18446744073709551615 4439644 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 74421 34988 392 112 0 69386 0
[pid=29728/tid=29729] ppid=29726 vsize=297684 CPUtime=25.49 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 17367 0 0 0 2546 3 0 0 25 0 4 0 498315594 304828416 34988 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=297684 CPUtime=25.36 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 22379 0 0 0 2531 5 0 0 25 0 4 0 498315594 304828416 34988 33554432000 4194304 4650419 140734036733072 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=297684 CPUtime=25.49 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 23394 0 0 0 2544 5 0 0 25 0 4 0 498315594 304828416 34988 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 297684

[startup+51.1002 s]
/proc/loadavg: 8.03 8.09 7.93 9/184 29747
/proc/meminfo: memFree=26239200/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=363388 CPUtime=204.09 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 121172 0 0 0 20380 29 0 0 25 0 4 0 498315594 372109312 45217 33554432000 4194304 4650419 140734036733072 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 90847 45217 392 112 0 85812 0
[pid=29728/tid=29729] ppid=29726 vsize=363388 CPUtime=51.08 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 26901 0 0 0 5103 5 0 0 25 0 4 0 498315594 372109312 45217 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=363388 CPUtime=50.82 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 34036 0 0 0 5073 9 0 0 25 0 4 0 498315594 372109312 45217 33554432000 4194304 4650419 140734036733072 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=363388 CPUtime=51.08 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 35535 0 0 0 5100 8 0 0 25 0 4 0 498315594 372109312 45217 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 363388

[startup+102.301 s]
/proc/loadavg: 8.06 8.09 7.93 9/184 29748
/proc/meminfo: memFree=26139296/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=435040 CPUtime=408.62 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 181467 0 0 0 40811 51 0 0 25 0 4 0 498315594 445480960 59889 33554432000 4194304 4650419 140734036733072 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 108760 59889 392 112 0 103725 0
[pid=29728/tid=29729] ppid=29726 vsize=435040 CPUtime=102.29 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 38368 0 0 0 10221 8 0 0 25 0 4 0 498315594 445480960 59889 33554432000 4194304 4650419 140734036733072 18446744073709551615 4363845 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=435040 CPUtime=101.73 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 48421 0 0 0 10160 13 0 0 25 0 4 0 498315594 445480960 59889 33554432000 4194304 4650419 140734036733072 18446744073709551615 4334268 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=435040 CPUtime=102.29 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 55953 0 0 0 10213 16 0 0 25 0 4 0 498315594 445480960 59889 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 435040

[startup+162.301 s]

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

[pid=29728] ppid=29726 vsize=656588 CPUtime=2565.72 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 551105 0 0 0 256376 196 0 0 25 0 4 0 498315594 672346112 104219 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 164147 104219 392 112 0 159112 0
[pid=29728/tid=29729] ppid=29726 vsize=656588 CPUtime=642.29 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 131097 0 0 0 64188 41 0 0 25 0 4 0 498315594 672346112 104219 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=656588 CPUtime=638.8 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 159857 0 0 0 63825 55 0 0 25 0 4 0 498315594 672346112 104219 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=656588 CPUtime=642.28 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 131732 0 0 0 64177 51 0 0 25 0 4 0 498315594 672346112 104219 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 656588

[startup+702.301 s]
/proc/loadavg: 8.03 8.06 7.98 9/184 29764
/proc/meminfo: memFree=25658820/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=657396 CPUtime=2805.4 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 579578 0 0 0 280331 209 0 0 25 0 4 0 498315594 673173504 103220 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 164349 103220 393 112 0 159314 0
[pid=29728/tid=29729] ppid=29726 vsize=657396 CPUtime=702.3 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 139109 0 0 0 70184 46 0 0 25 0 4 0 498315594 673173504 103220 33554432000 4194304 4650419 140734036733072 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=657396 CPUtime=698.49 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 160450 0 0 0 69793 56 0 0 25 0 4 0 498315594 673173504 103220 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=657396 CPUtime=702.28 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 141654 0 0 0 70171 57 0 0 25 0 4 0 498315594 673173504 103220 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 657396

[startup+762.301 s]
/proc/loadavg: 8.01 8.04 7.98 9/184 29766
/proc/meminfo: memFree=25667484/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=594992 CPUtime=3045.07 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 607372 0 0 0 304284 223 0 0 25 0 4 0 498315594 609271808 106003 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 148748 106003 392 112 0 143713 0
[pid=29728/tid=29729] ppid=29726 vsize=594992 CPUtime=762.29 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 147198 0 0 0 76178 51 0 0 25 0 4 0 498315594 609271808 106003 33554432000 4194304 4650419 140734036733072 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=594992 CPUtime=758.16 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 160451 0 0 0 75760 56 0 0 25 0 4 0 498315594 609271808 106003 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=594992 CPUtime=762.29 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 151207 0 0 0 76166 63 0 0 25 0 4 0 498315594 609271808 106003 33554432000 4194304 4650419 140734036733072 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 594992

[startup+822.301 s]
/proc/loadavg: 8.00 8.03 7.98 9/184 29767
/proc/meminfo: memFree=25574160/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=722884 CPUtime=3284.75 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 636627 0 0 0 328236 239 0 0 25 0 4 0 498315594 740233216 117593 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365231 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 180721 117593 392 112 0 175686 0
[pid=29728/tid=29729] ppid=29726 vsize=722884 CPUtime=822.29 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 155454 0 0 0 82174 55 0 0 25 0 4 0 498315594 740233216 117593 33554432000 4194304 4650419 140734036733072 18446744073709551615 4313315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=722884 CPUtime=817.84 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 160451 0 0 0 81728 56 0 0 25 0 4 0 498315594 740233216 117593 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=722884 CPUtime=822.28 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 161085 0 0 0 82160 68 0 0 25 0 4 0 498315594 740233216 117593 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 722884

[startup+882.301 s]
/proc/loadavg: 8.00 8.02 7.98 9/184 29769
/proc/meminfo: memFree=25599020/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=670532 CPUtime=3524.43 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 669191 0 0 0 352190 253 0 0 25 0 4 0 498315594 686624768 113253 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 167633 113253 392 112 0 162598 0
[pid=29728/tid=29729] ppid=29726 vsize=670532 CPUtime=882.3 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 164117 0 0 0 88171 59 0 0 25 0 4 0 498315594 686624768 113253 33554432000 4194304 4650419 140734036733072 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=670532 CPUtime=877.5 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 164625 0 0 0 87693 57 0 0 25 0 4 0 498315594 686624768 113253 33554432000 4194304 4650419 140734036733072 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=670532 CPUtime=882.28 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 171693 0 0 0 88155 73 0 0 25 0 4 0 498315594 686624768 113253 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 670532

[startup+942.301 s]
/proc/loadavg: 8.05 8.03 7.99 9/184 29770
/proc/meminfo: memFree=25446684/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=789516 CPUtime=3764.11 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 696659 0 0 0 376143 268 0 0 25 0 4 0 498315594 808464384 115733 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476411 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 197379 115733 392 112 0 192344 0
[pid=29728/tid=29729] ppid=29726 vsize=789516 CPUtime=942.3 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 172039 0 0 0 94166 64 0 0 25 0 4 0 498315594 808464384 115733 33554432000 4194304 4650419 140734036733072 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=789516 CPUtime=937.19 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 173105 0 0 0 93656 63 0 0 25 0 4 0 498315594 808464384 115733 33554432000 4194304 4650419 140734036733072 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=789516 CPUtime=942.28 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 177764 0 0 0 94152 76 0 0 25 0 4 0 498315594 808464384 115733 33554432000 4194304 4650419 140734036733072 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 789516

[startup+1002.3 s]
/proc/loadavg: 8.02 8.02 7.99 9/184 29772
/proc/meminfo: memFree=25473048/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=724484 CPUtime=4003.78 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 726823 0 0 0 400098 280 0 0 25 0 4 0 498315594 741871616 108817 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 181121 108817 392 112 0 176086 0
[pid=29728/tid=29729] ppid=29726 vsize=724484 CPUtime=1002.3 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 174016 0 0 0 100165 65 0 0 25 0 4 0 498315594 741871616 108817 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=724484 CPUtime=996.85 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 180833 0 0 0 99619 66 0 0 25 0 4 0 498315594 741871616 108817 33554432000 4194304 4650419 140734036733072 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=724484 CPUtime=1002.29 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 187059 0 0 0 100147 82 0 0 25 0 4 0 498315594 741871616 108817 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 724484

[startup+1062.3 s]
/proc/loadavg: 8.12 8.05 8.00 9/184 29774
/proc/meminfo: memFree=25432716/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=725012 CPUtime=4243.49 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 760736 0 0 0 424050 299 0 0 25 0 4 0 498315594 742412288 118962 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 181253 118962 392 112 0 176218 0
[pid=29728/tid=29729] ppid=29726 vsize=725012 CPUtime=1062.31 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 182894 0 0 0 106159 72 0 0 25 0 4 0 498315594 742412288 118962 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=725012 CPUtime=1056.54 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 185190 0 0 0 105585 69 0 0 25 0 4 0 498315594 742412288 118962 33554432000 4194304 4650419 140734036733072 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=725012 CPUtime=1062.29 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 196494 0 0 0 106140 89 0 0 25 0 4 0 498315594 742412288 118962 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 725012

[startup+1122.3 s]
/proc/loadavg: 8.12 8.05 8.00 9/184 29775
/proc/meminfo: memFree=25431308/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=689804 CPUtime=4483.14 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 796570 0 0 0 448001 313 0 0 25 0 4 0 498315594 706359296 120098 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 172451 120098 392 112 0 167416 0
[pid=29728/tid=29729] ppid=29726 vsize=689804 CPUtime=1122.3 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 188503 0 0 0 112154 76 0 0 25 0 4 0 498315594 706359296 120098 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=689804 CPUtime=1116.2 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 191546 0 0 0 111547 73 0 0 25 0 4 0 498315594 706359296 120098 33554432000 4194304 4650419 140734036733072 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=689804 CPUtime=1122.28 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 207645 0 0 0 112135 93 0 0 25 0 4 0 498315594 706359296 120098 33554432000 4194304 4650419 140734036733072 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 689804

[startup+1182.31 s]
/proc/loadavg: 8.04 8.04 8.00 9/184 29777
/proc/meminfo: memFree=25448228/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=703624 CPUtime=4722.84 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 822450 0 0 0 471958 326 0 0 25 0 4 0 498315594 720510976 113137 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 175906 113137 392 112 0 170871 0
[pid=29728/tid=29729] ppid=29726 vsize=703624 CPUtime=1182.31 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 197027 0 0 0 118149 82 0 0 25 0 4 0 498315594 720510976 113137 33554432000 4194304 4650419 140734036733072 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=703624 CPUtime=1175.88 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 197559 0 0 0 117511 77 0 0 25 0 4 0 498315594 720510976 113137 33554432000 4194304 4650419 140734036733072 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=703624 CPUtime=1182.29 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 207707 0 0 0 118136 93 0 0 25 0 4 0 498315594 720510976 113137 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.84
Current children cumulated vsize (KiB) 703624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.03 8.04 8.00 9/184 29777
/proc/meminfo: memFree=25371320/32951124 swapFree=67111524/67111528
[pid=29728] ppid=29726 vsize=758892 CPUtime=4800.34 cores=1,3,5,7
/proc/29728/stat : 29728 (strangenight1-m) R 29726 29728 29500 0 -1 4202496 835273 0 0 0 479705 329 0 0 25 0 4 0 498315594 777105408 120891 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29728/statm: 189723 120891 392 112 0 184688 0
[pid=29728/tid=29729] ppid=29726 vsize=758892 CPUtime=1201.71 cores=1,3,5,7
/proc/29728/task/29729/stat : 29729 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 202797 0 0 0 120088 83 0 0 25 0 4 0 498315594 777105408 120891 33554432000 4194304 4650419 140734036733072 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29728/tid=29730] ppid=29726 vsize=758892 CPUtime=1195.18 cores=1,3,5,7
/proc/29728/task/29730/stat : 29730 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 200757 0 0 0 119439 79 0 0 25 0 4 0 498315594 777105408 120891 33554432000 4194304 4650419 140734036733072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29728/tid=29731] ppid=29726 vsize=758892 CPUtime=1201.69 cores=1,3,5,7
/proc/29728/task/29731/stat : 29731 (strangenight1-m) R 29726 29728 29500 0 -1 4202560 207707 0 0 0 120076 93 0 0 25 0 4 0 498315594 777105408 120891 33554432000 4194304 4650419 140734036733072 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 758892

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.4
CPU user time (s): 4797.07
CPU system time (s): 3.3205
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 895432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.07
system time used= 3.3205
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 835274
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= 1357
involuntary context switches= 33746

runsolver used 1.91871 second user time and 4.65029 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-29 08:36:41
IDJOB=3174955
IDBENCH=82573
IDSOLVER=1588
FILE ID=node142/3174955-1304059001
RUNJOBID= node142-1304056593-29519
PBS_JOBID= 13170434
Free space on /tmp= 71316 MiB

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

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

MD5SUM BENCH= 576af4ef397491948f4ca2b3f3b7cd4f
RANDOM SEED=922604385

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26588444 kB
Buffers:       1651908 kB
Cached:        4107436 kB
SwapCached:          4 kB
Active:         688316 kB
Inactive:      5135312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26588444 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6648 kB
Writeback:           0 kB
AnonPages:       64420 kB
Mapped:          14308 kB
Slab:           475284 kB
PageTables:       4288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184600 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= 71300 MiB
End job on node142 at 2011-04-29 08:56:45