Trace number 3175064

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf
MD5SUM17341e8eb76284acaef626682c91dea1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark16.4195
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175064-1304080946.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.00/0.09	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.00/0.09	c -- vars added      15000
0.00/0.09	c Parsing time:  0.15 s
0.00/0.09	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.00/0.09	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.00/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.00/0.17	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.00/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.00/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.00/0.17	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
3.40/0.95	c lits-rem:         0  cl-subs:        0  v-elim:    537  v-fix:    0  time:  0.56 s
3.40/0.95	c Finding binary XORs  T:     0.01 s  found:       0
3.40/0.95	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
3.40/0.95	c calculated reachability. Time: 0.00
3.40/0.95	c Calc default polars -  time:   0.02 s pos:    6584 undec:    1865 neg:    6551
3.40/0.95	c =========================================================================================
3.40/0.95	c types(t): F = full restart, N = normal restart
3.40/0.95	c types(t): S = simplification begin/end, E = solution found
3.40/0.95	c restart types(rt): st = static, dy = dynamic
3.40/0.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.40/0.95	c  B st     0         0     14463     62297         0         0    189813         0   no data   no data  --
4.20/1.15	c  N dy    24      4079     14463     62297         0      4079    189813    771875    108.12    113.88  --
7.17/1.90	c  N dy    53      8091     14463     62297         0      8090    189813   1511291    114.33    139.81  --
10.76/2.72	c  N dy    78     12109     14463     62297         0     12107    189813   2238694    113.78    146.62  --
13.96/3.58	c  N dy   102     16166     14463     62297         0     16164    189813   2969924    113.31    121.50  --
17.55/4.49	c  N dy   126     20247     14463     62297         0     10247    189813    553503    112.81    120.35  --
21.14/5.36	c  N dy   152     24496     14463     62297         0     14496    189813   1298933    112.59    119.47  --
21.54/5.47	c  F st   155     25000     14463     62297         0     15000    189813   1386272    112.58   no data  --
26.34/6.60	c  N dy   161     30000     14463     62297         0     19999    189813   2498940    112.58   no data  --
26.34/6.60	c  S st   161     30000     14463     62297         0     19999    189813   2498940    112.58   no data  --
26.73/6.72	c  S st   161     30507     14463     62297         0     20506    189813   2559706    112.58   no data  --
26.73/6.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
26.73/6.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.73/6.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
27.54/6.99	c bin-w-bin subsume rem            0 bins  time:  0.02 s
27.93/7.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
27.93/7.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
27.93/7.01	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
43.50/10.99	c lits-rem:        15  cl-subs:        2  v-elim:      0  v-fix:    0  time: 15.81 s
43.90/11.08	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.35
43.90/11.08	c calculated reachability. Time: 0.00
43.90/11.08	c  N dy   161     30507     14463     62297         0     20504    189813   2559416    112.58   no data  --
48.30/12.15	c  N dy   191     34627     14463     62297         0     24623    189813   3286607    112.83    119.27  --
52.70/13.22	c  N dy   220     38653     14463     62297         0     28649    189813   3998046    113.07    122.69  --
56.69/14.29	c  N dy   246     42692     14463     62297         0     17193    189813    914068    113.17    119.58  --
59.90/15.05	c  S st   267     45760     14463     62297         0     20261    189813   1431072    112.89   no data  --
60.31/15.19	c  S st   267     46263     14463     62297         0     20764    189813   1492936    112.89   no data  --
60.69/15.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
60.69/15.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.69/15.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.28
61.09/15.37	c bin-w-bin subsume rem            0 bins  time:  0.02 s
61.09/15.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
61.09/15.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
61.09/15.39	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
72.67/18.20	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time: 11.21 s
72.67/18.21	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
72.67/18.23	c vivif2 --  cl tried    20762 cl shrink        0 lits rem          0 time: 0.08
73.08/18.31	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.31
73.08/18.31	c calculated reachability. Time: 0.00
73.08/18.31	c  N dy   267     46263     14463     62297         0     20762    189813   1492746    112.89   no data  --
76.67/19.28	c  N dy   292     50344     14463     62297         0     24843    189813   2254255    113.13    120.32  --
80.66/20.25	c  N dy   320     54396     14463     62297         0     28895    189813   2962720    113.13    120.23  --
84.65/21.24	c  N dy   346     58401     14463     62297         0     32900    189813   3667330    113.09    152.10  --
89.05/22.30	c  N dy   377     62490     14463     62297         0     36989    189813   4406964    113.28    121.74  --
92.64/23.28	c  N dy   406     66508     14463     62297         0     22259    189813   1228437    113.41    121.86  --
95.46/23.95	c  S st   424     69395     14463     62297         0     25146    189813   1761318    113.38   no data  --
95.83/24.07	c  S st   424     69901     14463     62297         0     25652    189813   1831789    113.38   no data  --
95.83/24.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
95.83/24.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.23/24.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
96.63/24.25	c bin-w-bin subsume rem            0 bins  time:  0.02 s
96.63/24.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
96.63/24.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
96.63/24.27	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
110.22/27.64	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time: 13.41 s
110.22/27.64	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
110.22/27.67	c vivif2 --  cl tried    25650 cl shrink        0 lits rem          0 time: 0.10
110.62/27.76	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.38
110.62/27.76	c calculated reachability. Time: 0.00
110.62/27.76	c  N dy   424     69901     14463     62297         0     25650    189813   1830828    113.38   no data  --
115.00/28.88	c  N dy   451     74476     14463     62297         0     30225    189813   2640096    113.18    119.58  --
120.21/30.10	c  N dy   483     79344     14463     62297         0     35093    189813   3510402    113.19    120.56  --
125.39/31.48	c  N dy   519     84489     14463     62297         0     40238    189813   4483358    113.50    135.45  --
128.59/32.27	c  F st   542     87502     14463     62297         0     22375    189813    838685    113.46   no data  --
131.79/33.08	c  N st   547     90803     14463     62297         0     25675    189813   1556542    113.46   no data  --
137.78/34.54	c  N dy   571     96631     14463     62297         0     31503    189813   2733630    113.34    124.04  --
144.16/36.19	c  N dy   608    102881     14463     62297         0     37753    189813   3851593    113.27    119.58  --
146.56/36.73	c  S st   621    104851     14463     62297         0     39723    189813   4202712    113.21   no data  --
146.96/36.87	c  S st   621    105353     14463     62297         0     40225    189813   4261367    113.21   no data  --
146.96/36.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
146.96/36.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.36/36.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.32
148.55/37.20	c bin-w-bin subsume rem            0 bins  time:  0.02 s
148.55/37.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
148.55/37.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
148.55/37.21	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
249.62/62.57	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 101.16 s
249.62/62.58	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
250.01/62.64	c vivif2 --  cl tried    40220 cl shrink        0 lits rem          0 time: 0.22
250.41/62.75	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.47
250.41/62.76	c calculated reachability. Time: 0.00
250.41/62.76	c  N dy   621    105353     14463     62297         0     40220    189813   4258562    113.21   no data  --
257.61/64.59	c  N dy   662    112156     14463     62297         0     24589    189813    925781    113.00    119.46  --
264.79/66.39	c  N dy   712    119339     14463     62297         0     31772    189813   2240751    113.19    122.14  --
272.78/68.38	c  N dy   765    126976     14463     62297         0     39409    189813   3664465    113.45    122.66  --
281.97/70.69	c  N dy   822    135150     14463     62297         0     23863    189813    529845    113.53    124.90  --
290.77/72.83	c  N dy   881    143788     14463     62297         0     32501    189813   2092450    113.62    121.81  --
300.35/75.26	c  N dy   942    153013     14463     62297         0     41725    189813   3761956    113.56    120.92  --
305.94/76.65	c  S st   974    158030     14463     62297         0     46742    189813   4646884    113.43   no data  --
306.74/76.81	c  S st   974    158531     14463     62297         0     47243    189813   4713835    113.43   no data  --
306.74/76.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
306.74/76.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
307.14/76.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
307.94/77.17	c bin-w-bin subsume rem            0 bins  time:  0.02 s
307.94/77.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
307.94/77.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
307.94/77.19	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
497.28/124.56	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 188.94 s
497.28/124.57	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
497.68/124.63	c vivif2 --  cl tried    47239 cl shrink        0 lits rem          0 time: 0.25
498.08/124.76	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.53
498.08/124.77	c calculated reachability. Time: 0.00
498.08/124.77	c  N dy   974    158531     14463     62297         0     47239    189813   4713029    113.43   no data  --
509.26/127.56	c  N dy  1047    168656     14463     62297         0     32504    189813   1879451    113.58    137.59  --
520.84/130.45	c  N dy  1119    179480     14463     62297         0     43327    189813   3863416    113.69    120.32  --
534.02/133.78	c  N dy  1196    190943     14463     62297         0     28862    189813   1002499    113.80    122.23  --
547.62/137.10	c  N dy  1276    203136     14463     62297         0     41054    189813   3211349    113.77    126.03  --
562.79/140.98	c  N dy  1354    216106     14463     62297         0     27058    189813    462135    113.66    121.98  --
577.96/144.70	c  N dy  1438    229944     14463     62297         0     40894    189813   2980095    113.62    122.19  --
587.16/147.02	c  S st  1488    237796     14463     62297         0     48746    189813   4422220    113.66   no data  --
587.57/147.19	c  S st  1488    238298     14463     62297         0     49248    189813   4485361    113.66   no data  --
587.95/147.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
587.95/147.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
587.95/147.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
589.15/147.54	c bin-w-bin subsume rem            0 bins  time:  0.02 s
589.15/147.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
589.15/147.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
589.15/147.55	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
762.92/191.06	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 173.40 s
762.92/191.07	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
763.33/191.13	c vivif2 --  cl tried    49242 cl shrink        0 lits rem          0 time: 0.24
763.71/191.27	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.57
763.71/191.28	c calculated reachability. Time: 0.00
763.71/191.28	c  N dy  1488    238298     14463     62297         0     49242    189813   4481343    113.66   no data  --
781.28/195.68	c  N dy  1588    253554     14463     62297         0     36521    189813   2017005    113.70    119.70  --
800.45/200.43	c  N dy  1695    269806     14463     62297         0     52772    189813   4967922    113.71    121.76  --
820.44/205.42	c  N dy  1812    287181     14463     62297         0     41155    189813   2615648    113.74    124.08  --
843.20/211.11	c  N dy  1940    305618     14463     62297         0     59590    189813   5980159    113.88    121.91  --
843.99/211.34	c  F st  1944    306250     14463     62297         0     30229    189813    462014    113.86   no data  --
865.17/216.69	c  N dy  2041    325235     14463     62297         0     49212    189813   4177271    113.90    122.28  --
888.33/222.49	c  N dy  2182    345328     14463     62297         0     38315    189813   1830520    114.14    152.42  --
902.32/225.99	c  S st  2260    357448     14463     62297         0     50435    189813   4020875    114.10   no data  --
903.12/226.16	c  S st  2260    357952     14463     62297         0     50939    189813   4087499    114.10   no data  --
903.12/226.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
903.12/226.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
903.53/226.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
904.31/226.48	c bin-w-bin subsume rem            0 bins  time:  0.02 s
904.31/226.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
904.31/226.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
904.71/226.50	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1043.72/261.38	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 139.05 s
1043.72/261.38	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
1044.13/261.44	c vivif2 --  cl tried    50933 cl shrink        0 lits rem          0 time: 0.22
1044.54/261.59	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.59
1044.54/261.59	c calculated reachability. Time: 0.00
1044.54/261.59	c  N dy  2260    357952     14463     62297         0     50933    189813   4085758    114.10   no data  --
1069.29/267.77	c  N dy  2398    377975     14463     62297         0     38952    189813   1697894    114.17    135.57  --
1094.05/273.90	c  N dy  2533    398125     14463     62297         0     59100    189813   5420155    114.32    120.67  --
1118.82/280.12	c  N dy  2668    418303     14463     62297         0     46279    189813   2863211    114.40    128.68  --
1145.59/286.88	c  N dy  2803    438618     14463     62297         0     66589    189813   6552073    114.40    121.03  --
1170.34/293.09	c  N dy  2939    458645     14463     62297         0     52619    189813   3849935    114.44    126.16  --
1197.11/299.75	c  N dy  3055    478660     14463     62297         0     37637    189813    890324    114.39    121.48  --
1221.87/305.97	c  N dy  3182    498742     14463     62297         0     57716    189813   4568880    114.41    126.39  --
1249.04/312.71	c  N dy  3320    518771     14463     62297         0     41748    189813   1479323    114.48    123.16  --
1272.20/318.55	c  S st  3446    536928     14463     62297         0     59905    189813   4807312    114.48     82.21  --
1273.03/318.75	c  S st  3446    537439     14463     62297         0     60416    189813   4886518    114.48   no data  --
1273.03/318.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1273.03/318.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1273.40/318.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.40
1274.60/319.14	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1274.60/319.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1274.60/319.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
1274.60/319.16	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1526.24/382.10	c lits-rem:         0  cl-subs:       10  v-elim:      0  v-fix:    0  time: 250.99 s
1526.24/382.11	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
1526.24/382.17	c vivif2 --  cl tried    60406 cl shrink        0 lits rem          0 time: 0.26
1527.05/382.33	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.63
1527.05/382.34	c calculated reachability. Time: 0.00
1527.05/382.34	c  N dy  3446    537439     14463     62297         0     60406    189813   4882909    114.48   no data  --
1551.81/388.59	c  N dy  3579    557742     14463     62297         0     43707    189813   1643788    114.52    123.63  --
1575.37/394.50	c  N dy  3703    577803     14463     62297         0     63768    189813   5277392    114.47    128.83  --
1600.53/400.71	c  N dy  3836    597805     14463     62297         0     45771    189813   1837395    114.52    121.71  --
1624.52/406.78	c  N dy  3959    617869     14463     62297         0     65834    189813   5524983    114.52    121.52  --
1650.06/413.10	c  N dy  4096    637948     14463     62297         0     46916    189813   1878571    114.56    123.01  --
1674.03/419.17	c  N dy  4221    658050     14463     62297         0     67018    189813   5505507    114.54    123.33  --
1699.60/425.56	c  N dy  4361    678097     14463     62297         0     47061    189813   1699583    114.57    124.05  --
1723.96/431.63	c  N dy  4486    698203     14463     62297         0     67165    189813   5353115    114.57    125.76  --
1749.92/438.17	c  N dy  4614    718483     14463     62297         0     46451    189813   1425853    114.55    120.85  --
1774.68/444.30	c  N dy  4752    738598     14463     62297         0     66564    189813   5122203    114.62    121.69  --
1801.44/451.07	c  N dy  4886    758768     14463     62297         0     44736    189813    917557    114.63    122.88  --
1825.01/457.00	c  N dy  5006    778839     14463     62297         0     64807    189813   4536719    114.60    120.64  --
1852.99/463.95	c  N dy  5152    798976     14463     62297         0     84942    189813   8266699    114.66    123.49  --
1861.36/466.07	c  S st  5198    806158     14463     62297         0     49125    189813   1518806    114.64   no data  --
1862.15/466.23	c  S st  5198    806660     14463     62297         0     49627    189813   1599368    114.64   no data  --
1862.15/466.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1862.15/466.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1862.55/466.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1862.95/466.42	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1862.95/466.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1862.95/466.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
1862.95/466.43	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1877.74/470.12	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 14.71 s
1877.74/470.12	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
1877.74/470.15	c vivif2 --  cl tried    49624 cl shrink        0 lits rem          0 time: 0.10
1878.14/470.28	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.52
1878.14/470.28	c calculated reachability. Time: 0.00
1878.14/470.28	c  N dy  5198    806660     14463     62297         0     49624    189813   1598159    114.64   no data  --
1903.30/476.53	c  N dy  5338    826738     14463     62297         0     69701    189813   5260467    114.67    123.93  --
1930.45/483.35	c  N dy  5455    846800     14463     62297         0     45764    189813    768474    114.63    124.73  --
1954.82/489.48	c  N dy  5590    867015     14463     62297         0     65978    189813   4463678    114.63    121.95  --
1983.58/496.61	c  N dy  5725    887222     14463     62297         0     86182    189813   8194855    114.67    122.23  --
2011.16/503.56	c  N dy  5860    907368     14463     62297         0     61334    189813   3502090    114.72    124.46  --
2040.30/510.89	c  N dy  5993    927421     14463     62297         0     81385    189813   7231910    114.77    126.98  --
2069.86/518.22	c  N dy  6129    947518     14463     62297         0     55483    189813   2184513    114.81    125.98  --
2097.82/525.26	c  N dy  6258    967619     14463     62297         0     75583    189813   5812161    114.81    121.01  --
2129.80/533.29	c  N dy  6396    987685     14463     62297         0     48649    189813    759150    114.86    123.92  --
2157.34/540.11	c  N dy  6535   1007785     14463     62297         0     68747    189813   4421564    114.88    127.94  --
2188.09/547.83	c  N dy  6667   1027835     14463     62297         0     88797    189813   8115239    114.89    122.95  --
2217.27/555.11	c  N dy  6799   1048036     14463     62297         0     61004    189813   2822106    114.87    122.38  --
2246.82/562.53	c  N dy  6932   1068329     14463     62297         0     81296    189813   6563713    114.89    120.99  --
2252.42/563.93	c  F st  6954   1071876     14463     62297         0     84843    189813   7223094    114.90    117.50  --
2278.37/570.50	c  N dy  7042   1088525     14463     62297         0     52489    189813   1125742    114.95    124.81  --
2306.33/577.43	c  N dy  7178   1108565     14463     62297         0     72527    189813   4808666    114.97    121.36  --
2337.49/585.21	c  N dy  7320   1128666     14463     62297         0     92628    189813   8520456    115.00    127.27  --
2365.45/592.29	c  N dy  7453   1148756     14463     62297         0     62719    189813   2816891    115.02    121.95  --
2393.81/599.39	c  N dy  7582   1168958     14463     62297         0     82919    189813   6510676    115.02    121.46  --
2425.76/607.38	c  N dy  7717   1189090     14463     62297         0     52053    189813    657038    115.04    124.37  --
2452.53/614.08	c  N dy  7850   1209168     14463     62297         0     72129    189813   4355428    115.06    139.26  --
2453.73/614.38	c  S st  7855   1209990     14463     62297         0     72951    189813   4506353    115.06    110.96  --
2454.53/614.59	c  S st  7855   1210494     14463     62297         0     73455    189813   4569412    115.06   no data  --
2454.94/614.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2454.94/614.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2455.32/614.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.44
2456.12/614.97	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2456.12/614.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2456.12/614.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
2456.12/614.99	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
2667.82/667.92	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 211.10 s
2667.82/667.93	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
2667.82/667.99	c vivif2 --  cl tried    73450 cl shrink        0 lits rem          0 time: 0.25
2668.62/668.17	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.72
2668.62/668.17	c calculated reachability. Time: 0.00
2668.62/668.17	c  N dy  7855   1210494     14463     62297         0     73450    189813   4566955    115.06   no data  --
2697.37/675.32	c  N dy  7991   1230578     14463     62297         0     93533    189813   8315464    115.10    125.10  --
2726.13/682.52	c  N dy  8140   1250814     14463     62297         0     61774    189813   2263217    115.13    121.82  --
2752.89/689.28	c  N dy  8279   1271030     14463     62297         0     81988    189813   6011029    115.17    124.36  --
2783.65/696.93	c  N dy  8416   1291150     14463     62297         0    102106    189813   9684252    115.16    122.85  --
2810.42/703.67	c  N dy  8554   1311168     14463     62297         0     69129    189813   3461600    115.20    121.34  --
2839.17/710.86	c  N dy  8691   1331551     14463     62297         0     89511    189813   7201821    115.20    122.59  --
2870.73/718.75	c  N dy  8825   1351617     14463     62297         0     55577    189813    762205    115.21    122.26  --
2897.09/725.35	c  N dy  8966   1371917     14463     62297         0     75876    189813   4533278    115.27    122.09  --
2926.23/732.60	c  N dy  9097   1391976     14463     62297         0     95933    189813   8221129    115.29    123.59  --
2956.20/740.15	c  N dy  9230   1412033     14463     62297         0     60998    189813   1581737    115.29    125.25  --
2982.96/746.80	c  N dy  9361   1432100     14463     62297         0     81063    189813   5296370    115.30    124.47  --
3012.52/754.30	c  N dy  9489   1452101     14463     62297         0    101063    189813   8998067    115.31    125.94  --
3042.08/761.69	c  N dy  9619   1472165     14463     62297         0     65126    189813   2175654    115.33    166.13  --
3070.06/768.62	c  N dy  9757   1492258     14463     62297         0     85218    189813   5916949    115.35    125.60  --
3103.18/776.96	c  N dy  9900   1512483     14463     62297         0    105442    189813   9687703    115.39    121.52  --
3134.35/784.77	c  N dy 10037   1532624     14463     62297         0     68589    189813   2686329    115.42    123.74  --
3164.70/792.32	c  N dy 10169   1552728     14463     62297         0     88692    189813   6413171    115.43    123.03  --
3198.26/800.70	c  N dy 10299   1572780     14463     62297         0    108741    189813  10095179    115.42    127.81  --
3229.81/808.60	c  N dy 10434   1592806     14463     62297         0     70765    189813   2847542    115.42    124.03  --
3261.77/816.61	c  N dy 10571   1612905     14463     62297         0     90863    189813   6620448    115.44    124.20  --
3296.92/825.43	c  N dy 10700   1633003     14463     62297         0    110959    189813  10330694    115.45    122.26  --
3329.29/833.53	c  N dy 10835   1653106     14463     62297         0     72062    189813   2916234    115.46    123.93  --
3361.23/841.50	c  N dy 10963   1673248     14463     62297         0     92201    189813   6614308    115.46    125.58  --
3396.78/850.47	c  N dy 11097   1693268     14463     62297         0    112219    189813  10274465    115.45    122.88  --
3425.14/857.57	c  S st 11209   1710494     14463     62297         0     69450    189813   2315463    115.47    114.31  --
3425.96/857.78	c  S st 11209   1710997     14463     62297         0     69953    189813   2394027    115.47   no data  --
3425.96/857.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3425.96/857.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3426.73/857.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.43
3427.14/858.05	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3427.14/858.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3427.14/858.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
3427.14/858.07	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3458.70/865.90	c lits-rem:        11  cl-subs:        0  v-elim:      0  v-fix:    0  time: 31.24 s
3458.70/865.91	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.03
3458.70/865.94	c vivif2 --  cl tried    69953 cl shrink        0 lits rem          0 time: 0.15
3459.49/866.12	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.71
3459.49/866.13	c calculated reachability. Time: 0.00
3459.49/866.13	c  N dy 11209   1710997     14463     62297         0     69953    189813   2394016    115.47   no data  --
3489.44/873.67	c  N dy 11349   1731045     14463     62297         0     89998    189813   6166355    115.51    125.33  --
3522.62/881.92	c  N dy 11468   1751069     14463     62297         0    110020    189813   9836207    115.50    123.15  --
3555.76/890.23	c  N dy 11610   1771122     14463     62297         0     69083    189813   2049504    115.53    138.75  --
3585.72/897.75	c  N dy 11741   1791242     14463     62297         0     89201    189813   5777092    115.54    122.26  --
3619.66/906.20	c  N dy 11873   1811244     14463     62297         0    109203    189813   9530715    115.56    121.68  --
3654.02/914.88	c  N dy 12011   1831256     14463     62297         0     67218    189813   1482253    115.60    126.33  --
3683.98/922.37	c  N dy 12149   1851384     14463     62297         0     87344    189813   5250197    115.63    122.42  --
3719.13/931.14	c  N dy 12287   1871455     14463     62297         0    107415    189813   8959670    115.65    123.06  --
3758.28/940.97	c  N dy 12426   1891714     14463     62297         0     64677    189813    835199    115.66    126.50  --
3789.44/948.78	c  N dy 12565   1911979     14463     62297         0     84939    189813   4619679    115.68    124.21  --
3824.58/957.57	c  N dy 12709   1931984     14463     62297         0    104943    189813   8390888    115.73    154.39  --
3864.13/967.46	c  N dy 12851   1952070     14463     62297         0    125028    189813  12129336    115.74    124.21  --
3896.88/975.65	c  N dy 12977   1972441     14463     62297         0     81401    189813   3766276    115.74    129.38  --
3931.27/984.25	c  N dy 13112   1992591     14463     62297         0    101550    189813   7516385    115.76    128.71  --
3969.18/993.79	c  N dy 13248   2012628     14463     62297         0    121585    189813  11230448    115.77    122.25  --
4004.34/1002.52	c  N dy 13382   2032634     14463     62297         0     76592    189813   2664404    115.78    122.71  --
4037.49/1010.85	c  N dy 13509   2052654     14463     62297         0     96609    189813   6362652    115.78    126.96  --
4073.44/1019.88	c  N dy 13635   2072726     14463     62297         0    116680    189813  10064727    115.78    122.10  --
4109.79/1028.93	c  N dy 13765   2093014     14463     62297         0     70976    189813   1464544    115.78    121.96  --
4140.15/1036.52	c  N dy 13905   2113151     14463     62297         0     91112    189813   5201972    115.79    123.21  --
4174.10/1045.04	c  N dy 14034   2133244     14463     62297         0    111203    189813   8861531    115.79    141.06  --
4212.06/1054.52	c  N dy 14167   2153294     14463     62297         0    131252    189813  12555530    115.81    124.75  --
4242.40/1062.17	c  N dy 14296   2173328     14463     62297         0     84290    189813   3739596    115.81    124.20  --
4275.16/1070.32	c  N dy 14438   2193335     14463     62297         0    104297    189813   7473903    115.85    124.63  --
4307.12/1078.34	c  S st 14550   2210997     14463     62297         0    121959    189813  10738000    115.84    115.82  --
4308.32/1078.65	c  S st 14550   2211500     14463     62297         0    122462    189813  10802612    115.84   no data  --
4308.32/1078.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4308.32/1078.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4309.13/1078.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.63
4311.91/1079.53	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4311.91/1079.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4311.91/1079.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
4311.91/1079.55	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 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-3175064-1304080946/watcher-3175064-1304080946 -o /tmp/evaluation-result-3175064-1304080946/solver-3175064-1304080946 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175064-1304080946.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.01 8.08 8.00 5/180 534
/proc/meminfo: memFree=30910176/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=40992 CPUtime=0 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 3 0 500510509 41975808 351 33554432000 4194304 4650419 140736077512768 18446744073709551615 220816292849 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/534/statm: 10248 351 303 112 0 5213 0
[pid=534/tid=535] ppid=532 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 500510509 52465664 353 33554432000 4194304 4650419 140736077512768 18446744073709551615 46924691285938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 500510509 52465664 353 33554432000 4194304 4650419 140736077512768 18446744073709551615 46924691285938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 500510509 52465664 353 33554432000 4194304 4650419 140736077512768 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.858371 s]
/proc/loadavg: 8.01 8.08 8.00 5/180 534
/proc/meminfo: memFree=30910176/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=316704 CPUtime=3.4 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 24116 0 0 0 336 4 0 0 18 0 4 0 500510509 324304896 20076 33554432000 4194304 4650419 140736077512768 18446744073709551615 4364433 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 79176 20076 391 112 0 74141 0
[pid=534/tid=535] ppid=532 vsize=316704 CPUtime=0.84 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 6619 0 0 0 83 1 0 0 18 0 4 0 500510509 324304896 20076 33554432000 4194304 4650419 140736077512768 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=316704 CPUtime=0.85 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 7092 0 0 0 84 1 0 0 18 0 4 0 500510509 324304896 20076 33554432000 4194304 4650419 140736077512768 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=316704 CPUtime=0.84 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 3455 0 0 0 84 0 0 0 19 0 4 0 500510509 324304896 20076 33554432000 4194304 4650419 140736077512768 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 316704

[startup+0.958352 s]
/proc/loadavg: 8.01 8.08 8.00 5/180 534
/proc/meminfo: memFree=30910176/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=316704 CPUtime=3.8 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 24495 0 0 0 376 4 0 0 19 0 4 0 500510509 324304896 20455 33554432000 4194304 4650419 140736077512768 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 79176 20455 391 112 0 74141 0
[pid=534/tid=535] ppid=532 vsize=316704 CPUtime=0.94 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 6708 0 0 0 93 1 0 0 18 0 4 0 500510509 324304896 20455 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=316704 CPUtime=0.95 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 7188 0 0 0 94 1 0 0 19 0 4 0 500510509 324304896 20455 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=316704 CPUtime=0.94 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 3552 0 0 0 94 0 0 0 19 0 4 0 500510509 324304896 20455 33554432000 4194304 4650419 140736077512768 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 316704

[startup+1.05834 s]
/proc/loadavg: 8.01 8.08 8.00 5/180 534
/proc/meminfo: memFree=30910176/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=316704 CPUtime=4.2 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 24866 0 0 0 416 4 0 0 19 0 4 0 500510509 324304896 20826 33554432000 4194304 4650419 140736077512768 18446744073709551615 4364358 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 79176 20826 391 112 0 74141 0
[pid=534/tid=535] ppid=532 vsize=316704 CPUtime=1.04 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 6797 0 0 0 103 1 0 0 19 0 4 0 500510509 324304896 20826 33554432000 4194304 4650419 140736077512768 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=316704 CPUtime=1.05 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 7281 0 0 0 104 1 0 0 19 0 4 0 500510509 324304896 20826 33554432000 4194304 4650419 140736077512768 18446744073709551615 4330612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=316704 CPUtime=1.04 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 3645 0 0 0 104 0 0 0 19 0 4 0 500510509 324304896 20826 33554432000 4194304 4650419 140736077512768 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 316704

[startup+1.15832 s]
/proc/loadavg: 8.01 8.08 8.00 5/180 534
/proc/meminfo: memFree=30910176/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=316704 CPUtime=4.6 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 25224 0 0 0 456 4 0 0 19 0 4 0 500510509 324304896 21184 33554432000 4194304 4650419 140736077512768 18446744073709551615 4364352 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 79176 21184 391 112 0 74141 0
[pid=534/tid=535] ppid=532 vsize=316704 CPUtime=1.14 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 6885 0 0 0 113 1 0 0 19 0 4 0 500510509 324304896 21184 33554432000 4194304 4650419 140736077512768 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=316704 CPUtime=1.15 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 7373 0 0 0 114 1 0 0 19 0 4 0 500510509 324304896 21184 33554432000 4194304 4650419 140736077512768 18446744073709551615 4229472 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=316704 CPUtime=1.14 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 3732 0 0 0 114 0 0 0 19 0 4 0 500510509 324304896 21184 33554432000 4194304 4650419 140736077512768 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 316704

[startup+1.50025 s]
/proc/loadavg: 8.01 8.08 8.00 5/180 534
/proc/meminfo: memFree=30910176/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=316704 CPUtime=5.96 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 26639 0 0 0 592 4 0 0 19 0 4 0 500510509 324304896 22599 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 79176 22599 391 112 0 74141 0
[pid=534/tid=535] ppid=532 vsize=316704 CPUtime=1.48 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 7194 0 0 0 147 1 0 0 19 0 4 0 500510509 324304896 22599 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=316704 CPUtime=1.49 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 7682 0 0 0 148 1 0 0 19 0 4 0 500510509 324304896 22599 33554432000 4194304 4650419 140736077512768 18446744073709551615 4367305 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=316704 CPUtime=1.48 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 4205 0 0 0 148 0 0 0 20 0 4 0 500510509 324304896 22599 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 316704

[startup+3.10096 s]
/proc/loadavg: 8.01 8.08 8.00 9/184 538
/proc/meminfo: memFree=30761352/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=469248 CPUtime=12.35 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 32376 0 0 0 1230 5 0 0 25 0 4 0 500510509 480509952 28336 33554432000 4194304 4650419 140736077512768 18446744073709551615 4364427 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 117312 28336 391 112 0 112277 0
[pid=534/tid=535] ppid=532 vsize=469248 CPUtime=3.08 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 8606 0 0 0 307 1 0 0 24 0 4 0 500510509 480509952 28337 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=469248 CPUtime=3.09 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 9143 0 0 0 308 1 0 0 25 0 4 0 500510509 480509952 28337 33554432000 4194304 4650419 140736077512768 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=469248 CPUtime=3.07 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 5656 0 0 0 307 0 0 0 25 0 4 0 500510509 480509952 28338 33554432000 4194304 4650419 140736077512768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 469248

[startup+6.30637 s]
/proc/loadavg: 8.01 8.08 8.00 9/184 538
/proc/meminfo: memFree=30727128/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=328392 CPUtime=25.16 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 48551 0 0 0 2505 11 0 0 25 0 4 0 500510509 336273408 28125 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 82098 28125 394 112 0 77063 0
[pid=534/tid=535] ppid=532 vsize=328392 CPUtime=6.29 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 12681 0 0 0 626 3 0 0 25 0 4 0 500510509 336273408 28125 33554432000 4194304 4650419 140736077512768 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=328392 CPUtime=6.29 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 13305 0 0 0 627 2 0 0 25 0 4 0 500510509 336273408 28126 33554432000 4194304 4650419 140736077512768 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=328392 CPUtime=6.26 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 9833 0 0 0 625 1 0 0 25 0 4 0 500510509 336273408 28126 33554432000 4194304 4650419 140736077512768 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 328392

[startup+12.7002 s]
/proc/loadavg: 8.01 8.08 8.00 9/184 538
/proc/meminfo: memFree=30463292/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=553156 CPUtime=50.7 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 117514 0 0 0 5045 25 0 0 25 0 4 0 500510509 566431744 85448 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363520 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 138289 85448 395 112 0 133254 0
[pid=534/tid=535] ppid=532 vsize=553156 CPUtime=12.68 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 35904 0 0 0 1259 9 0 0 25 0 4 0 500510509 566431744 85448 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=553156 CPUtime=12.68 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 24412 0 0 0 1264 4 0 0 25 0 4 0 500510509 566431744 85448 33554432000 4194304 4650419 140736077512768 18446744073709551615 4303912 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=553156 CPUtime=12.63 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 28509 0 0 0 1257 6 0 0 25 0 4 0 500510509 566431744 85448 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 553156

[startup+25.5008 s]
/proc/loadavg: 8.00 8.07 8.00 9/184 539
/proc/meminfo: memFree=30314360/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=554724 CPUtime=101.83 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 164696 0 0 0 10145 38 0 0 25 0 4 0 500510509 568037376 92753 33554432000 4194304 4650419 140736077512768 18446744073709551615 4439366 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 138681 92753 395 112 0 133646 0
[pid=534/tid=535] ppid=532 vsize=554724 CPUtime=25.48 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 44990 0 0 0 2538 10 0 0 25 0 4 0 500510509 568037376 92753 33554432000 4194304 4650419 140736077512768 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=554724 CPUtime=25.48 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 42626 0 0 0 2538 10 0 0 25 0 4 0 500510509 568037376 92753 33554432000 4194304 4650419 140736077512768 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=554724 CPUtime=25.35 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 36916 0 0 0 2527 8 0 0 25 0 4 0 500510509 568037376 92753 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 554724

[startup+51.1011 s]
/proc/loadavg: 8.08 8.08 8.01 9/184 539
/proc/meminfo: memFree=30137084/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=766428 CPUtime=204.09 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 230801 0 0 0 20353 56 0 0 25 0 4 0 500510509 784822272 122218 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 191607 122218 395 112 0 186572 0
[pid=534/tid=535] ppid=532 vsize=766428 CPUtime=51.08 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 62865 0 0 0 5094 14 0 0 25 0 4 0 500510509 784822272 122218 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=766428 CPUtime=51.08 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 59841 0 0 0 5093 15 0 0 25 0 4 0 500510509 784822272 122218 33554432000 4194304 4650419 140736077512768 18446744073709551615 4365535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=766428 CPUtime=50.81 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 55782 0 0 0 5066 15 0 0 25 0 4 0 500510509 784822272 122218 33554432000 4194304 4650419 140736077512768 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 766428

[startup+102.301 s]
/proc/loadavg: 8.03 8.07 8.00 9/184 541
/proc/meminfo: memFree=30001004/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=796872 CPUtime=408.6 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 328409 0 0 0 40775 85 0 0 25 0 4 0 500510509 815996928 142417 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 199218 142417 395 112 0 194183 0
[pid=534/tid=535] ppid=532 vsize=796872 CPUtime=102.27 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 87560 0 0 0 10204 23 0 0 25 0 4 0 500510509 815996928 142417 33554432000 4194304 4650419 140736077512768 18446744073709551615 4332022 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=796872 CPUtime=102.29 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 92433 0 0 0 10205 24 0 0 25 0 4 0 500510509 815996928 142417 33554432000 4194304 4650419 140736077512768 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=796872 CPUtime=101.72 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 87805 0 0 0 10148 24 0 0 25 0 4 0 500510509 815996928 142418 33554432000 4194304 4650419 140736077512768 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 796872

[startup+162.301 s]

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

[pid=534] ppid=532 vsize=1174124 CPUtime=2805.22 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 2477074 0 0 0 279951 571 0 0 25 0 4 0 500510509 1202302976 232854 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363490 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 293531 232854 395 112 0 288496 0
[pid=534/tid=535] ppid=532 vsize=1174124 CPUtime=702.2 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 1003993 0 0 0 70036 184 0 0 25 0 4 0 500510509 1202302976 232854 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363411 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=1174124 CPUtime=702.28 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 558314 0 0 0 70086 142 0 0 25 0 4 0 500510509 1202302976 232854 33554432000 4194304 4650419 140736077512768 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=1174124 CPUtime=698.43 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 692720 0 0 0 69679 164 0 0 25 0 4 0 500510509 1202302976 232854 33554432000 4194304 4650419 140736077512768 18446744073709551615 4306796 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.22
Current children cumulated vsize (KiB) 1174124

[startup+762.301 s]
/proc/loadavg: 8.13 8.13 8.04 9/184 558
/proc/meminfo: memFree=29239484/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=1175768 CPUtime=3044.88 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 2595401 0 0 0 303879 609 0 0 25 0 4 0 500510509 1203986432 231197 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363883 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 293942 231197 395 112 0 288907 0
[pid=534/tid=535] ppid=532 vsize=1175768 CPUtime=762.2 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 1034231 0 0 0 76025 195 0 0 25 0 4 0 500510509 1203986432 231197 33554432000 4194304 4650419 140736077512768 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=1175768 CPUtime=762.28 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 592211 0 0 0 76076 152 0 0 25 0 4 0 500510509 1203986432 231197 33554432000 4194304 4650419 140736077512768 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=1175768 CPUtime=758.1 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 722816 0 0 0 75637 173 0 0 25 0 4 0 500510509 1203986432 231197 33554432000 4194304 4650419 140736077512768 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.88
Current children cumulated vsize (KiB) 1175768

[startup+822.301 s]
/proc/loadavg: 8.13 8.13 8.04 9/184 560
/proc/meminfo: memFree=29067192/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=1295340 CPUtime=3284.53 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 2819645 0 0 0 327795 658 0 0 25 0 4 0 500510509 1326428160 255597 33554432000 4194304 4650419 140736077512768 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 323835 255597 395 112 0 318800 0
[pid=534/tid=535] ppid=532 vsize=1295340 CPUtime=822.19 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 1055394 0 0 0 82017 202 0 0 25 0 4 0 500510509 1326428160 255597 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=1295340 CPUtime=822.28 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 741784 0 0 0 82054 174 0 0 25 0 4 0 500510509 1326428160 255597 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=1295340 CPUtime=817.78 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 753019 0 0 0 81593 185 0 0 25 0 4 0 500510509 1326428160 255597 33554432000 4194304 4650419 140736077512768 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.53
Current children cumulated vsize (KiB) 1295340

[startup+882.301 s]
/proc/loadavg: 8.08 8.12 8.04 9/184 561
/proc/meminfo: memFree=29072108/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=1242916 CPUtime=3524.2 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 3036836 0 0 0 351712 708 0 0 25 0 4 0 500510509 1272745984 249735 33554432000 4194304 4650419 140736077512768 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 310729 249735 395 112 0 305694 0
[pid=534/tid=535] ppid=532 vsize=1242916 CPUtime=882.17 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 1062656 0 0 0 88013 204 0 0 25 0 4 0 500510509 1272745984 249735 33554432000 4194304 4650419 140736077512768 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=1242916 CPUtime=882.28 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 905318 0 0 0 88029 199 0 0 25 0 4 0 500510509 1272745984 249735 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=1242916 CPUtime=877.44 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 780876 0 0 0 87549 195 0 0 25 0 4 0 500510509 1272745984 249735 33554432000 4194304 4650419 140736077512768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.2
Current children cumulated vsize (KiB) 1242916

[startup+942.301 s]
/proc/loadavg: 8.14 8.12 8.05 9/184 563
/proc/meminfo: memFree=28942104/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=1309460 CPUtime=3763.88 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 3349211 0 0 0 375617 771 0 0 25 0 4 0 500510509 1340887040 275837 33554432000 4194304 4650419 140736077512768 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 327365 275837 395 112 0 322330 0
[pid=534/tid=535] ppid=532 vsize=1309460 CPUtime=942.18 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 1088126 0 0 0 94004 214 0 0 25 0 4 0 500510509 1340887040 275838 33554432000 4194304 4650419 140736077512768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=1309460 CPUtime=942.28 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 1070810 0 0 0 94006 222 0 0 25 0 4 0 500510509 1340887040 275838 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=1309460 CPUtime=937.12 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 881208 0 0 0 93497 215 0 0 25 0 4 0 500510509 1340887040 275838 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.88
Current children cumulated vsize (KiB) 1309460

[startup+1002.3 s]
/proc/loadavg: 8.17 8.13 8.05 9/184 565
/proc/meminfo: memFree=28934004/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=1310116 CPUtime=4003.53 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 3824844 0 0 0 399499 854 0 0 25 0 4 0 500510509 1341558784 277126 33554432000 4194304 4650419 140736077512768 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 327529 277126 395 112 0 322494 0
[pid=534/tid=535] ppid=532 vsize=1310116 CPUtime=1002.16 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 1108886 0 0 0 99991 225 0 0 25 0 4 0 500510509 1341558784 277126 33554432000 4194304 4650419 140736077512768 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=1310116 CPUtime=1002.28 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 1268795 0 0 0 99978 250 0 0 25 0 4 0 500510509 1341558784 277126 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=1310116 CPUtime=996.79 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 1118304 0 0 0 99431 248 0 0 25 0 4 0 500510509 1341558784 277126 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.53
Current children cumulated vsize (KiB) 1310116

[startup+1062.31 s]
/proc/loadavg: 8.16 8.13 8.06 9/184 566
/proc/meminfo: memFree=28920812/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=1417248 CPUtime=4243.23 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 4168634 0 0 0 423402 921 0 0 25 0 4 0 500510509 1451261952 277562 33554432000 4194304 4650419 140736077512768 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 354312 277562 395 112 0 349277 0
[pid=534/tid=535] ppid=532 vsize=1417248 CPUtime=1062.17 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 1130850 0 0 0 105981 236 0 0 25 0 4 0 500510509 1451261952 277562 33554432000 4194304 4650419 140736077512768 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=1417248 CPUtime=1062.29 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 1318781 0 0 0 105966 263 0 0 25 0 4 0 500510509 1451261952 277562 33554432000 4194304 4650419 140736077512768 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=1417248 CPUtime=1056.47 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 1369028 0 0 0 105367 280 0 0 25 0 4 0 500510509 1451261952 277562 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.23
Current children cumulated vsize (KiB) 1417248

[startup+1122.3 s]
/proc/loadavg: 8.18 8.14 8.06 9/185 569
/proc/meminfo: memFree=28708364/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=1515504 CPUtime=4482.88 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 4633898 0 0 0 447284 1004 0 0 25 0 4 0 500510509 1551876096 318468 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 378876 318468 395 112 0 373841 0
[pid=534/tid=535] ppid=532 vsize=1515504 CPUtime=1122.16 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 1299272 0 0 0 111954 262 0 0 25 0 4 0 500510509 1551876096 318468 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=1515504 CPUtime=1122.28 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 1345088 0 0 0 111952 276 0 0 25 0 4 0 500510509 1551876096 318468 33554432000 4194304 4650419 140736077512768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=1515504 CPUtime=1116.14 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 1628505 0 0 0 111293 321 0 0 25 0 4 0 500510509 1551876096 318468 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.88
Current children cumulated vsize (KiB) 1515504

[startup+1182.3 s]
/proc/loadavg: 8.12 8.12 8.06 9/184 578
/proc/meminfo: memFree=28699568/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=1515980 CPUtime=4722.54 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 5143607 0 0 0 471168 1086 0 0 25 0 4 0 500510509 1552363520 316539 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476111 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 378995 316539 405 112 0 373960 0
[pid=534/tid=535] ppid=532 vsize=1515980 CPUtime=1182.15 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 1503504 0 0 0 117924 291 0 0 25 0 4 0 500510509 1552363520 316539 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=1515980 CPUtime=1182.28 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 1370485 0 0 0 117940 288 0 0 25 0 4 0 500510509 1552363520 316539 33554432000 4194304 4650419 140736077512768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=1515980 CPUtime=1175.81 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 1908420 0 0 0 117220 361 0 0 25 0 4 0 500510509 1552363520 316539 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.54
Current children cumulated vsize (KiB) 1515980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.12 8.06 6/183 580
/proc/meminfo: memFree=29294140/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=1515980 CPUtime=4800.05 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 5323725 0 0 0 478892 1113 0 0 25 0 4 0 500510509 1552363520 323688 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 378995 323688 401 112 0 373960 0
[pid=534/tid=535] ppid=532 vsize=1515980 CPUtime=1201.56 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 1571420 0 0 0 119856 300 0 0 25 0 4 0 500510509 1552363520 323689 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=1515980 CPUtime=1201.69 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 1377601 0 0 0 119877 292 0 0 25 0 4 0 500510509 1552363520 323689 33554432000 4194304 4650419 140736077512768 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=1515980 CPUtime=1195.11 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 2013501 0 0 0 119135 376 0 0 25 0 4 0 500510509 1552363520 323689 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476213 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 1515980

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

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

[startup+1201.7 s]
/proc/loadavg: 8.09 8.12 8.06 6/183 580
/proc/meminfo: memFree=29294140/32951124 swapFree=67105204/67111528
[pid=534] ppid=532 vsize=1515980 CPUtime=4800.05 cores=0,2,4,6
/proc/534/stat : 534 (strangenight1-m) R 532 534 32751 0 -1 4202496 5323725 0 0 0 478892 1113 0 0 25 0 4 0 500510509 1552363520 323688 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/534/statm: 378995 323688 401 112 0 373960 0
[pid=534/tid=535] ppid=532 vsize=1515980 CPUtime=1201.56 cores=0,2,4,6
/proc/534/task/535/stat : 535 (strangenight1-m) R 532 534 32751 0 -1 4202560 1571420 0 0 0 119856 300 0 0 25 0 4 0 500510509 1552363520 323689 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=534/tid=536] ppid=532 vsize=1515980 CPUtime=1201.69 cores=0,2,4,6
/proc/534/task/536/stat : 536 (strangenight1-m) R 532 534 32751 0 -1 4202560 1377601 0 0 0 119877 292 0 0 25 0 4 0 500510509 1552363520 323689 33554432000 4194304 4650419 140736077512768 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=534/tid=537] ppid=532 vsize=1515980 CPUtime=1195.11 cores=0,2,4,6
/proc/534/task/537/stat : 537 (strangenight1-m) R 532 534 32751 0 -1 4202560 2013501 0 0 0 119135 376 0 0 25 0 4 0 500510509 1552363520 323689 33554432000 4194304 4650419 140736077512768 18446744073709551615 4476213 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 1515980

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.15
CPU user time (s): 4788.95
CPU system time (s): 11.1973
CPU usage (%): 399.422
Max. virtual memory (cumulated for all children) (KiB): 1567376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.95
system time used= 11.1973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5323727
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= 1638
involuntary context switches= 36091

runsolver used 1.9677 second user time and 4.6023 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-29 14:42:26
IDJOB=3175064
IDBENCH=82682
IDSOLVER=1588
FILE ID=node147/3175064-1304080946
RUNJOBID= node147-1304078537-301
PBS_JOBID= 13170522
Free space on /tmp= 72652 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175064-1304080946/watcher-3175064-1304080946 -o /tmp/evaluation-result-3175064-1304080946/solver-3175064-1304080946 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175064-1304080946.cnf

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

MD5SUM BENCH= 17341e8eb76284acaef626682c91dea1
RANDOM SEED=511318483

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.76
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.836
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.836
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:      30910952 kB
Buffers:        265932 kB
Cached:        1368036 kB
SwapCached:       2808 kB
Active:         154528 kB
Inactive:      1562100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30910952 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:           14440 kB
Writeback:           0 kB
AnonPages:       81456 kB
Mapped:          15008 kB
Slab:           260424 kB
PageTables:       3900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   287156 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= 72644 MiB
End job on node147 at 2011-04-29 15:02:30