Trace number 3368575

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.27 1203.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf
MD5SUMcf967108532c9cfea4028aa361399380
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.8385
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.05	c Using 4 threads
0.25/0.10	c This is CryptoMiniSat 2.9.0
0.25/0.10	c compiled with gcc version 4.4.5
0.25/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.25/0.10	c Reading file 'HOME/instance-3368575-1305397713.cnf'
0.25/0.10	c -- header says num vars:          15000
0.25/0.10	c -- header says num clauses:       63000
0.25/0.19	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.25/0.19	c -- vars added      15000
0.25/0.19	c Parsing time:  0.14 s
0.25/0.19	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.25/0.19	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.25/0.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.71/0.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.71/0.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.71/0.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.71/0.26	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
0.71/1.02	c lits-rem:         0  cl-subs:        0  v-elim:    477  v-fix:    0  time:  0.56 s
0.71/1.02	c Finding binary XORs  T:     0.01 s  found:       0
0.71/1.02	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
0.71/1.02	c calculated reachability. Time: 0.00
0.71/1.02	c Calc default polars -  time:   0.02 s pos:    6593 undec:    1782 neg:    6625
0.71/1.02	c =========================================================================================
0.71/1.02	c types(t): F = full restart, N = normal restart
0.71/1.02	c types(t): S = simplification begin/end, E = solution found
0.71/1.02	c restart types(rt): st = static, dy = dynamic
0.71/1.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.71/1.02	c  B st     0         0     14523     62500         0         0    190210         0   no data   no data  --
4.62/1.22	c  N dy    16      4114     14523     62500         0      4113    190210    811737    109.12    116.23  --
7.81/2.02	c  N dy    46      8161     14523     62500         0      8160    190210   1525884    112.07    117.97  --
11.01/2.86	c  N dy    72     12256     14523     62500         0     12254    190210   2260383    111.57    135.54  --
14.60/3.74	c  N dy   101     16276     14523     62500         0     16274    190210   3004012    112.57    156.46  --
18.18/4.67	c  N dy   127     20352     14523     62500         0     10356    190210    558238    112.42    125.00  --
21.76/5.55	c  N dy   154     24482     14523     62500         0     14486    190210   1306960    112.38    120.32  --
22.16/5.66	c  F st   156     25001     14523     62500         0     15005    190210   1398405    112.34   no data  --
26.95/6.88	c  N dy   162     30000     14523     62500         0     20004    190210   2639638    112.34   no data  --
26.95/6.88	c  S st   162     30000     14523     62500         0     20004    190210   2639638    112.34   no data  --
27.35/6.99	c  S st   162     30508     14523     62500         0     20512    190210   2709827    112.34   no data  --
27.75/7.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.75/7.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.75/7.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
28.55/7.28	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.55/7.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.55/7.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
28.55/7.29	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
45.30/11.45	c lits-rem:        17  cl-subs:        5  v-elim:      0  v-fix:    0  time: 16.48 s
45.70/11.54	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.36
45.70/11.54	c calculated reachability. Time: 0.00
45.70/11.54	c  N dy   162     30508     14523     62500         0     20507    190210   2709287    112.34   no data  --
50.08/12.66	c  N dy   189     34644     14523     62500         0     24642    190210   3438517    111.95    120.02  --
54.47/13.74	c  N dy   213     38668     14523     62500         0     28666    190210   4166829    111.60    118.12  --
59.25/14.94	c  N dy   242     43119     14523     62500         0     17621    190210    991346    111.62    122.13  --
62.04/15.65	c  S st   263     45762     14523     62500         0     20264    190210   1470951    111.74   no data  --
62.44/15.77	c  S st   263     46262     14523     62500         0     20764    190210   1533336    111.74   no data  --
62.44/15.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
62.44/15.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.84/15.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.26
63.24/15.94	c bin-w-bin subsume rem            0 bins  time:  0.02 s
63.24/15.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
63.24/15.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
63.24/15.96	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
74.81/18.82	c lits-rem:         9  cl-subs:        0  v-elim:      0  v-fix:    0  time: 11.37 s
74.81/18.82	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
74.81/18.84	c vivif2 --  cl tried    20764 cl shrink        0 lits rem          0 time: 0.08
75.21/18.92	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.32
75.21/18.93	c calculated reachability. Time: 0.00
75.21/18.93	c  N dy   263     46262     14523     62500         0     20764    190210   1533327    111.74   no data  --
78.79/19.89	c  N dy   294     50306     14523     62500         0     24808    190210   2252340    112.01    120.16  --
82.78/20.89	c  N dy   322     54409     14523     62500         0     28911    190210   2992969    112.11    119.44  --
87.16/21.93	c  N dy   349     58601     14523     62500         0     33102    190210   3716891    111.91    118.92  --
91.54/23.00	c  N dy   379     62655     14523     62500         0     37156    190210   4469447    112.31    137.40  --
95.54/24.03	c  N dy   406     66907     14523     62500         0     22658    190210   1313985    112.62    118.60  --
97.93/24.63	c  S st   425     69395     14523     62500         0     25146    190210   1769661    112.79   no data  --
98.33/24.76	c  S st   425     69902     14523     62500         0     25653    190210   1849935    112.79   no data  --
98.33/24.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
98.33/24.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.73/24.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
99.16/24.96	c bin-w-bin subsume rem            0 bins  time:  0.02 s
99.16/24.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
99.16/24.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
99.16/24.98	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
113.08/28.41	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.65 s
113.08/28.41	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
113.08/28.44	c vivif2 --  cl tried    25652 cl shrink        0 lits rem          0 time: 0.10
113.48/28.53	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.35
113.48/28.53	c calculated reachability. Time: 0.00
113.48/28.53	c  N dy   425     69902     14523     62500         0     25652    190210   1849132    112.79   no data  --
117.87/29.65	c  N dy   457     74411     14523     62500         0     30161    190210   2660880    112.87    122.15  --
122.65/30.88	c  N dy   489     79236     14523     62500         0     34985    190210   3516203    112.85    119.43  --
128.24/32.26	c  N dy   526     84386     14523     62500         0     40135    190210   4461135    112.96    120.14  --
131.83/33.11	c  F st   551     87500     14523     62500         0     22372    190210    834953    113.04   no data  --
135.41/34.00	c  N st   556     90795     14523     62500         0     25665    190210   1753439    113.04   no data  --
141.40/35.54	c  N dy   579     96662     14523     62500         0     31531    190210   2990177    113.01    120.66  --
148.18/37.28	c  N dy   619    102905     14523     62500         0     37774    190210   4151814    113.17    119.38  --
150.57/37.80	c  S st   633    104853     14523     62500         0     39722    190210   4512235    113.35   no data  --
150.97/37.94	c  S st   633    105355     14523     62500         0     40224    190210   4583288    113.35   no data  --
150.97/37.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
150.97/37.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.37/38.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.32
152.56/38.31	c bin-w-bin subsume rem            0 bins  time:  0.02 s
152.56/38.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
152.56/38.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
152.56/38.33	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
278.19/69.84	c lits-rem:         0  cl-subs:       10  v-elim:      0  v-fix:    0  time: 125.46 s
278.19/69.84	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
278.59/69.90	c vivif2 --  cl tried    40214 cl shrink        0 lits rem          0 time: 0.24
279.02/70.03	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.51
279.02/70.04	c calculated reachability. Time: 0.00
279.02/70.04	c  N dy   633    105355     14523     62500         0     40214    190210   4580364    113.35   no data  --
286.17/71.85	c  N dy   673    112198     14523     62500         0     24625    190210    911625    113.20    124.07  --
293.35/73.67	c  N dy   725    119434     14523     62500         0     31861    190210   2210510    113.29    125.45  --
301.37/75.69	c  N dy   778    127059     14523     62500         0     39484    190210   3578069    113.27    131.76  --
310.89/78.07	c  N dy   835    135215     14523     62500         0     23923    190210    546155    113.40    119.88  --
319.66/80.26	c  N dy   897    143886     14523     62500         0     32593    190210   2111676    113.49    128.91  --
329.63/82.74	c  N dy   959    153154     14523     62500         0     41860    190210   3799022    113.51    121.37  --
335.23/84.13	c  S st   995    158032     14523     62500         0     46738    190210   4697866    113.55    113.11  --
335.62/84.29	c  S st   995    158536     14523     62500         0     47242    190210   4762533    113.55   no data  --
336.04/84.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
336.04/84.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
336.04/84.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
337.21/84.65	c bin-w-bin subsume rem            0 bins  time:  0.02 s
337.21/84.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
337.21/84.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
337.21/84.67	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
533.87/133.96	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time: 196.18 s
533.87/133.96	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.03
534.22/134.03	c vivif2 --  cl tried    47234 cl shrink        0 lits rem          0 time: 0.25
534.62/134.17	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.55
534.62/134.17	c calculated reachability. Time: 0.00
534.62/134.17	c  N dy   995    158536     14523     62500         0     47234    190210   4759949    113.55   no data  --
546.19/137.05	c  N dy  1066    168846     14523     62500         0     32685    190210   1912513    113.66    120.47  --
558.55/140.13	c  N dy  1142    179674     14523     62500         0     43511    190210   3891314    113.86    144.18  --
572.11/143.56	c  N dy  1221    191246     14523     62500         0     29153    190210   1035093    113.77    121.83  --
585.68/146.99	c  N dy  1306    203556     14523     62500         0     41462    190210   3282110    113.86    120.25  --
602.02/151.02	c  N dy  1393    216565     14523     62500         0     27507    190210    550628    113.99    137.65  --
617.22/154.81	c  N dy  1480    230435     14523     62500         0     41375    190210   3106162    114.01    122.12  --
626.00/157.05	c  S st  1531    237804     14523     62500         0     48742    190210   4470944    114.03   no data  --
626.75/157.21	c  S st  1531    238310     14523     62500         0     49248    190210   4539192    114.03   no data  --
626.75/157.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
626.75/157.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
627.15/157.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
627.94/157.56	c bin-w-bin subsume rem            0 bins  time:  0.02 s
627.94/157.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
627.94/157.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
627.94/157.57	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
809.02/202.98	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 180.60 s
809.02/202.99	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
809.42/203.05	c vivif2 --  cl tried    49242 cl shrink        0 lits rem          0 time: 0.24
809.83/203.21	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.61
810.26/203.21	c calculated reachability. Time: 0.00
810.26/203.21	c  N dy  1531    238310     14523     62500         0     49242    190210   4537575    114.03   no data  --
827.81/207.65	c  N dy  1631    253545     14523     62500         0     36496    190210   1972527    113.94    120.80  --
847.30/212.54	c  N dy  1745    269870     14523     62500         0     52820    190210   4935046    114.04    121.05  --
867.28/217.58	c  N dy  1863    287235     14523     62500         0     41194    190210   2694411    114.14    121.13  --
889.23/223.09	c  N dy  1995    305675     14523     62500         0     59634    190210   6048547    114.24    130.19  --
890.36/223.30	c  F st  1999    306253     14523     62500         0     30217    190210    466748    114.23   no data  --
912.31/228.87	c  N dy  2099    325273     14523     62500         0     49234    190210   4247877    114.27    121.54  --
937.05/235.03	c  N dy  2220    345277     14523     62500         0     38253    190210   1766176    114.14    121.16  --
951.39/238.64	c  S st  2303    357465     14523     62500         0     50440    190210   3995609    114.18     94.02  --
952.18/238.81	c  S st  2303    357967     14523     62500         0     50942    190210   4056629    114.18   no data  --
952.18/238.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
952.18/238.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
952.58/238.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
953.39/239.13	c bin-w-bin subsume rem            0 bins  time:  0.02 s
953.39/239.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
953.39/239.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
953.39/239.15	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1089.38/273.27	c lits-rem:         3  cl-subs:        8  v-elim:      0  v-fix:    0  time: 135.78 s
1089.38/273.28	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
1089.78/273.33	c vivif2 --  cl tried    50934 cl shrink        0 lits rem          0 time: 0.23
1090.18/273.48	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.58
1090.18/273.49	c calculated reachability. Time: 0.00
1090.18/273.49	c  N dy  2303    357967     14523     62500         0     50934    190210   4054049    114.18   no data  --
1115.71/279.86	c  N dy  2438    378120     14523     62500         0     39094    190210   1743595    114.27    122.10  --
1141.23/286.28	c  N dy  2564    398225     14523     62500         0     59198    190210   5343661    114.19    121.98  --
1167.15/292.73	c  N dy  2699    418510     14523     62500         0     46480    190210   2885169    114.23    126.92  --
1193.87/299.46	c  N dy  2832    438516     14523     62500         0     66484    190210   6466757    114.18    122.24  --
1218.98/305.74	c  N dy  2968    458657     14523     62500         0     52630    190210   3841422    114.20    120.28  --
1246.90/312.70	c  N dy  3105    478754     14523     62500         0     37723    190210    931594    114.22    122.15  --
1272.42/319.13	c  N dy  3238    498983     14523     62500         0     57950    190210   4632233    114.22    124.56  --
1300.35/326.15	c  N dy  3366    519038     14523     62500         0     42008    190210   1503114    114.19    122.49  --
1323.87/332.08	c  S st  3493    536950     14523     62500         0     59918    190210   4792564    114.28     85.69  --
1324.67/332.28	c  S st  3493    537453     14523     62500         0     60421    190210   4864135    114.28   no data  --
1324.67/332.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1325.07/332.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1325.47/332.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.40
1326.27/332.66	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1326.27/332.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1326.27/332.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
1326.27/332.67	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1576.72/395.40	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time: 249.69 s
1576.72/395.41	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
1576.72/395.47	c vivif2 --  cl tried    60413 cl shrink        0 lits rem          0 time: 0.26
1577.54/395.64	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.67
1577.54/395.65	c calculated reachability. Time: 0.00
1577.54/395.65	c  N dy  3493    537453     14523     62500         0     60413    190210   4860928    114.28   no data  --
1602.24/401.86	c  N dy  3621    557507     14523     62500         0     43464    190210   1571492    114.27    120.72  --
1626.97/408.00	c  N dy  3759    577627     14523     62500         0     63581    190210   5303610    114.30    125.19  --
1651.71/414.29	c  N dy  3891    597659     14523     62500         0     45618    190210   1838637    114.31    121.90  --
1676.42/420.43	c  N dy  4027    617682     14523     62500         0     65641    190210   5520091    114.39    137.35  --
1702.35/426.94	c  N dy  4161    637970     14523     62500         0     46929    190210   1849132    114.38    120.52  --
1727.12/433.16	c  N dy  4300    658044     14523     62500         0     67003    190210   5561327    114.44    122.47  --
1753.44/439.73	c  N dy  4432    678257     14523     62500         0     47219    190210   1745515    114.45    125.23  --
1777.72/445.88	c  N dy  4557    698272     14523     62500         0     67233    190210   5367918    114.43    122.26  --
1804.44/452.56	c  N dy  4688    718315     14523     62500         0     46277    190210   1404099    114.46    122.59  --
1828.77/458.67	c  N dy  4815    738316     14523     62500         0     66277    190210   5047094    114.48    121.27  --
1856.28/465.53	c  N dy  4949    758377     14523     62500         0     44342    190210    868808    114.50    122.33  --
1880.66/471.62	c  N dy  5084    778407     14523     62500         0     64371    190210   4616893    114.57    121.85  --
1908.53/478.62	c  N dy  5221    798598     14523     62500         0     84562    190210   8280274    114.58    121.68  --
1917.70/480.94	c  S st  5276    806179     14523     62500         0     49140    190210   1559342    114.59   no data  --
1918.10/481.09	c  S st  5276    806681     14523     62500         0     49642    190210   1623278    114.59   no data  --
1918.50/481.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1918.50/481.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1918.50/481.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.33
1918.89/481.28	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1918.89/481.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1918.89/481.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
1919.30/481.30	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1934.85/485.21	c lits-rem:         5  cl-subs:        1  v-elim:      0  v-fix:    0  time: 15.57 s
1934.85/485.22	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
1934.85/485.24	c vivif2 --  cl tried    49641 cl shrink        0 lits rem          0 time: 0.09
1935.24/485.37	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.51
1935.24/485.37	c calculated reachability. Time: 0.00
1935.24/485.37	c  N dy  5276    806681     14523     62500         0     49641    190210   1623103    114.59   no data  --
1960.77/491.73	c  N dy  5422    826740     14523     62500         0     69697    190210   5363970    114.70    121.17  --
1989.49/498.92	c  N dy  5554    846757     14523     62500         0     45721    190210    763642    114.73    127.52  --
2015.41/505.49	c  N dy  5678    866758     14523     62500         0     65721    190210   4386476    114.71    121.80  --
2046.12/513.16	c  N dy  5802    886785     14523     62500         0     85745    190210   8056952    114.70    120.86  --
2074.03/520.18	c  N dy  5939    906801     14523     62500         0     60763    190210   3403188    114.73    120.87  --
2104.39/527.73	c  N dy  6075    926856     14523     62500         0     80817    190210   7110675    114.76    121.98  --
2135.43/535.57	c  N dy  6213    946885     14523     62500         0     54846    190210   2099550    114.78    122.72  --
2164.16/542.73	c  N dy  6341    966977     14523     62500         0     74938    190210   5763496    114.78    123.30  --
2196.51/550.88	c  N dy  6480    987159     14523     62500         0     48117    190210    662196    114.84    124.44  --
2223.57/557.67	c  N dy  6607   1007302     14523     62500         0     68259    190210   4377432    114.86    124.51  --
2255.48/565.64	c  N dy  6750   1027492     14523     62500         0     88448    190210   8126197    114.92    121.63  --
2284.59/572.97	c  N dy  6879   1047565     14523     62500         0     60530    190210   2764938    114.91    128.81  --
2314.52/580.42	c  N dy  7013   1067581     14523     62500         0     80545    190210   6426329    114.94    123.90  --
2321.28/582.12	c  F st  7044   1071876     14523     62500         0     84840    190210   7212386    114.95    112.53  --
2346.00/588.31	c  N dy  7129   1087585     14523     62500         0     51544    190210    944331    114.97    134.40  --
2372.32/594.99	c  N dy  7263   1107599     14523     62500         0     71556    190210   4650329    115.00    126.26  --
2403.03/602.63	c  N dy  7399   1127625     14523     62500         0     91581    190210   8312058    115.00    123.02  --
2432.15/609.92	c  N dy  7536   1147652     14523     62500         0     61610    190210   2588874    115.01    146.07  --
2460.86/617.11	c  N dy  7676   1167679     14523     62500         0     81636    190210   6303025    115.08    122.14  --
2492.77/625.18	c  N dy  7800   1187733     14523     62500         0    101689    190210   9965066    115.06    121.81  --
2518.69/631.68	c  N dy  7935   1207881     14523     62500         0     70839    190210   4158169    115.09    123.49  --
2521.88/632.42	c  S st  7952   1210021     14523     62500         0     72979    190210   4550533    115.09   no data  --
2522.68/632.61	c  S st  7952   1210523     14523     62500         0     73481    190210   4617233    115.09   no data  --
2522.68/632.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2522.68/632.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2523.08/632.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.41
2523.88/632.96	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2523.88/632.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2523.88/632.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
2523.88/632.98	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
2748.02/689.12	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time: 223.53 s
2748.02/689.13	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
2748.02/689.19	c vivif2 --  cl tried    73477 cl shrink        0 lits rem          0 time: 0.25
2748.83/689.39	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.77
2748.83/689.39	c calculated reachability. Time: 0.00
2748.83/689.39	c  N dy  7952   1210523     14523     62500         0     73477    190210   4616187    115.09   no data  --
2777.92/696.60	c  N dy  8076   1230572     14523     62500         0     93526    190210   8258481    115.08    123.55  --
2805.85/703.70	c  N dy  8203   1250765     14523     62500         0     61726    190210   2253723    115.08    125.26  --
2833.35/710.53	c  N dy  8339   1270826     14523     62500         0     81784    190210   5965299    115.10    136.75  --
2863.65/718.17	c  N dy  8459   1290915     14523     62500         0    101872    190210   9694234    115.09    121.75  --
2890.77/724.97	c  N dy  8586   1311017     14523     62500         0     68967    190210   3387142    115.08    125.01  --
2919.49/732.18	c  N dy  8726   1331115     14523     62500         0     89064    190210   7108976    115.12    138.28  --
2951.04/740.08	c  N dy  8864   1351171     14523     62500         0     55121    190210    692731    115.14    122.90  --
2977.36/746.69	c  N dy  9012   1371255     14523     62500         0     75204    190210   4445208    115.22    156.99  --
3006.82/754.02	c  N dy  9140   1391262     14523     62500         0     95210    190210   8185250    115.24    139.68  --
3037.13/761.66	c  N dy  9278   1411263     14523     62500         0     60217    190210   1477824    115.27    239.44  --
3064.25/768.49	c  N dy  9419   1431444     14523     62500         0     80397    190210   5174514    115.29    123.68  --
3096.95/776.65	c  N dy  9564   1451473     14523     62500         0    100425    190210   8877888    115.32    126.07  --
3129.25/784.74	c  N dy  9697   1471663     14523     62500         0     64619    190210   2096025    115.33    121.50  --
3158.36/792.07	c  N dy  9820   1491771     14523     62500         0     84726    190210   5784930    115.32    123.62  --
3191.88/800.43	c  N dy  9961   1511787     14523     62500         0    104742    190210   9488787    115.35    130.83  --
3222.59/808.16	c  N dy 10087   1531810     14523     62500         0     67765    190210   2501327    115.34    122.84  --
3254.07/816.00	c  N dy 10221   1551915     14523     62500         0     87869    190210   6250928    115.36    122.56  --
3289.96/825.01	c  N dy 10360   1571933     14523     62500         0    107886    190210   9919817    115.37    123.31  --
3322.26/833.14	c  N dy 10489   1592133     14523     62500         0     70091    190210   2734439    115.38    122.02  --
3353.77/841.05	c  N dy 10627   1612168     14523     62500         0     90124    190210   6427576    115.40    123.70  --
3389.71/850.03	c  N dy 10762   1632279     14523     62500         0    110233    190210  10195048    115.43    128.38  --
3421.95/858.18	c  N dy 10886   1652333     14523     62500         0     71284    190210   2734750    115.42    144.05  --
3453.86/866.18	c  N dy 11016   1672602     14523     62500         0     91552    190210   6536480    115.44    122.22  --
3488.95/874.92	c  N dy 11141   1692663     14523     62500         0    111610    190210  10219144    115.43    126.90  --
3518.05/882.25	c  S st 11272   1710524     14523     62500         0     69473    190210   2305007    115.46   no data  --
3518.85/882.45	c  S st 11272   1711028     14523     62500         0     69977    190210   2377484    115.46   no data  --
3518.85/882.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3518.85/882.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3519.25/882.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.41
3520.06/882.71	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3520.06/882.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3520.06/882.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
3520.06/882.72	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3550.77/890.45	c lits-rem:         7  cl-subs:        0  v-elim:      0  v-fix:    0  time: 30.73 s
3550.77/890.45	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.03
3550.77/890.49	c vivif2 --  cl tried    69977 cl shrink        0 lits rem          0 time: 0.15
3551.58/890.68	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.74
3551.58/890.69	c calculated reachability. Time: 0.00
3551.58/890.69	c  N dy 11272   1711028     14523     62500         0     69977    190210   2377477    115.46   no data  --
3581.47/898.13	c  N dy 11400   1731103     14523     62500         0     90050    190210   6032376    115.46    122.41  --
3615.77/906.71	c  N dy 11539   1751195     14523     62500         0    110140    190210   9815531    115.49    143.46  --
3648.86/915.03	c  N dy 11675   1771289     14523     62500         0     69241    190210   2037488    115.51    148.73  --
3678.80/922.57	c  N dy 11807   1791432     14523     62500         0     89383    190210   5780245    115.54    122.42  --
3712.68/931.09	c  N dy 11944   1811434     14523     62500         0    109382    190210   9497957    115.56    122.95  --
3750.16/940.41	c  N dy 12082   1831509     14523     62500         0     67464    190210   1531388    115.58    141.21  --
3782.07/948.40	c  N dy 12217   1851671     14523     62500         0     87626    190210   5345360    115.61    121.97  --
3817.96/957.40	c  N dy 12352   1871824     14523     62500         0    107779    190210   9048312    115.61    124.30  --
3857.04/967.20	c  N dy 12487   1891909     14523     62500         0     64866    190210    889521    115.62    122.35  --
3887.35/974.87	c  N dy 12619   1911982     14523     62500         0     84938    190210   4566865    115.62    135.37  --
3922.44/983.62	c  N dy 12746   1932051     14523     62500         0    105004    190210   8219678    115.61    122.30  --
3961.91/993.58	c  N dy 12885   1952107     14523     62500         0    125060    190210  11972206    115.63    127.56  --
3994.64/1001.78	c  N dy 13022   1972174     14523     62500         0     81131    190210   3735621    115.65    130.48  --
4030.15/1010.67	c  N dy 13162   1992261     14523     62500         0    101218    190210   7493801    115.67    124.95  --
4066.79/1019.84	c  N dy 13300   2012324     14523     62500         0    121280    190210  11256500    115.70    131.93  --
4100.33/1028.23	c  N dy 13438   2032348     14523     62500         0     76307    190210   2633267    115.70    123.69  --
4131.78/1036.10	c  N dy 13575   2052384     14523     62500         0     96342    190210   6326365    115.71    122.34  --
4166.88/1044.93	c  N dy 13703   2072442     14523     62500         0    116398    190210  10038419    115.71    123.26  --
4203.97/1054.26	c  N dy 13838   2092510     14523     62500         0     70468    190210   1404154    115.74    125.14  --
4234.28/1061.83	c  N dy 13976   2112572     14523     62500         0     90530    190210   5108048    115.76    123.16  --
4268.57/1070.46	c  N dy 14115   2132670     14523     62500         0    110628    190210   8833658    115.76    128.06  --
4307.26/1080.15	c  N dy 14261   2152748     14523     62500         0    130704    190210  12583069    115.81    124.77  --
4340.36/1088.48	c  N dy 14396   2172899     14523     62500         0     83854    190210   3689138    115.82    123.71  --
4375.85/1097.32	c  N dy 14522   2193047     14523     62500         0    104002    190210   7386887    115.82    125.76  --
4411.36/1106.22	c  S st 14644   2211028     14523     62500         0    121982    190210  10732884    115.83    104.67  --
4412.53/1106.53	c  S st 14644   2211532     14523     62500         0    122486    190210  10798687    115.83   no data  --
4412.53/1106.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4412.53/1106.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4413.33/1106.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.63
4416.17/1107.42	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4416.17/1107.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4416.17/1107.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
4416.17/1107.44	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: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368575-1305397713/watcher-3368575-1305397713 -o /tmp/evaluation-result-3368575-1305397713/solver-3368575-1305397713 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368575-1305397713.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: 3.12 3.78 3.45 3/367 16743
/proc/meminfo: memFree=22613436/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 651369046 52465664 352 33554432000 4194304 4650419 140735173064256 18446744073709551615 47529227556786 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16743/statm: 12809 352 303 112 0 7774 0
[pid=16743/tid=16744] ppid=16741 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 651369046 52465664 352 33554432000 4194304 4650419 140735173064256 18446744073709551615 47529227556786 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 651369046 52465664 352 33554432000 4194304 4650419 140735173064256 18446744073709551615 47529227556786 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651369046 52465664 352 33554432000 4194304 4650419 140735173064256 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0876021 s]
/proc/loadavg: 3.12 3.78 3.45 3/367 16743
/proc/meminfo: memFree=22613436/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=51236 CPUtime=0.21 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 417 0 0 0 21 0 0 0 22 0 4 0 651369046 52465664 357 33554432000 4194304 4650419 140735173064256 18446744073709551615 47529227556786 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16743/statm: 12809 357 306 112 0 7774 0
[pid=16743/tid=16744] ppid=16741 vsize=51236 CPUtime=0.05 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 4 0 0 0 5 0 0 0 22 0 4 0 651369046 52465664 357 33554432000 4194304 4650419 140735173064256 18446744073709551615 47529227556371 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=51236 CPUtime=0.07 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1 0 0 0 7 0 0 0 22 0 4 0 651369046 52465664 357 33554432000 4194304 4650419 140735173064256 18446744073709551615 47529227556377 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=51236 CPUtime=0.03 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 4 0 651369046 52465664 357 33554432000 4194304 4650419 140735173064256 18446744073709551615 47529227556377 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 51236

[startup+0.100559 s]
/proc/loadavg: 3.12 3.78 3.45 3/367 16743
/proc/meminfo: memFree=22613436/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=51236 CPUtime=0.25 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 417 0 0 0 25 0 0 0 22 0 4 0 651369046 52465664 357 33554432000 4194304 4650419 140735173064256 18446744073709551615 47529227556786 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16743/statm: 12809 357 306 112 0 7774 0
[pid=16743/tid=16744] ppid=16741 vsize=51236 CPUtime=0.06 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 4 0 0 0 6 0 0 0 22 0 4 0 651369046 52465664 357 33554432000 4194304 4650419 140735173064256 18446744073709551615 47529227556371 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=51236 CPUtime=0.08 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1 0 0 0 8 0 0 0 22 0 4 0 651369046 52465664 357 33554432000 4194304 4650419 140735173064256 18446744073709551615 47529227556371 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=51236 CPUtime=0.04 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 4 0 651369046 52465664 357 33554432000 4194304 4650419 140735173064256 18446744073709551615 47529227556377 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 51236

[startup+1.10634 s]
/proc/loadavg: 3.12 3.78 3.45 3/367 16743
/proc/meminfo: memFree=22613436/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=316716 CPUtime=4.24 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 24830 0 0 0 420 4 0 0 19 0 4 0 651369046 324317184 20278 33554432000 4194304 4650419 140735173064256 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 79179 20278 391 112 0 74144 0
[pid=16743/tid=16744] ppid=16741 vsize=316716 CPUtime=1.06 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 7141 0 0 0 105 1 0 0 19 0 4 0 651369046 324317184 20278 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=316716 CPUtime=1.07 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 7149 0 0 0 107 0 0 0 19 0 4 0 651369046 324317184 20279 33554432000 4194304 4650419 140735173064256 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=316716 CPUtime=1.03 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 3621 0 0 0 103 0 0 0 19 0 4 0 651369046 324317184 20279 33554432000 4194304 4650419 140735173064256 18446744073709551615 4367287 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 316716

[startup+1.20033 s]
/proc/loadavg: 3.12 3.78 3.45 3/367 16743
/proc/meminfo: memFree=22613436/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=316716 CPUtime=4.62 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 25178 0 0 0 458 4 0 0 19 0 4 0 651369046 324317184 20626 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363617 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 79179 20626 391 112 0 74144 0
[pid=16743/tid=16744] ppid=16741 vsize=316716 CPUtime=1.15 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 7226 0 0 0 114 1 0 0 19 0 4 0 651369046 324317184 20626 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=316716 CPUtime=1.16 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 7233 0 0 0 116 0 0 0 19 0 4 0 651369046 324317184 20627 33554432000 4194304 4650419 140735173064256 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=316716 CPUtime=1.13 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 3709 0 0 0 113 0 0 0 19 0 4 0 651369046 324317184 20627 33554432000 4194304 4650419 140735173064256 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 316716

[startup+1.50028 s]
/proc/loadavg: 3.12 3.78 3.45 3/367 16743
/proc/meminfo: memFree=22613436/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=316716 CPUtime=5.82 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 26445 0 0 0 578 4 0 0 19 0 4 0 651369046 324317184 21893 33554432000 4194304 4650419 140735173064256 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 79179 21893 391 112 0 74144 0
[pid=16743/tid=16744] ppid=16741 vsize=316716 CPUtime=1.45 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 7492 0 0 0 144 1 0 0 19 0 4 0 651369046 324317184 21893 33554432000 4194304 4650419 140735173064256 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=316716 CPUtime=1.46 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 7517 0 0 0 146 0 0 0 19 0 4 0 651369046 324317184 21893 33554432000 4194304 4650419 140735173064256 18446744073709551615 4332020 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=316716 CPUtime=1.43 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 4147 0 0 0 143 0 0 0 19 0 4 0 651369046 324317184 21893 33554432000 4194304 4650419 140735173064256 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 316716

[startup+3.10098 s]
/proc/loadavg: 3.83 3.92 3.50 9/377 16756
/proc/meminfo: memFree=22262312/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=469260 CPUtime=12.2 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 32136 0 0 0 1214 6 0 0 24 0 4 0 651369046 480522240 27584 33554432000 4194304 4650419 140735173064256 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 117315 27584 391 112 0 112280 0
[pid=16743/tid=16744] ppid=16741 vsize=469260 CPUtime=3.06 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 8901 0 0 0 304 2 0 0 24 0 4 0 651369046 480522240 27584 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=469260 CPUtime=3.07 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 8955 0 0 0 306 1 0 0 25 0 4 0 651369046 480522240 27584 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=469260 CPUtime=3.03 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 5613 0 0 0 302 1 0 0 24 0 4 0 651369046 480522240 27584 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 469260

[startup+6.31439 s]
/proc/loadavg: 4.16 3.99 3.52 9/377 16757
/proc/meminfo: memFree=22231536/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=328252 CPUtime=25.01 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 48225 0 0 0 2491 10 0 0 25 0 4 0 651369046 336130048 27459 33554432000 4194304 4650419 140735173064256 18446744073709551615 4331155 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 82063 27459 394 112 0 77028 0
[pid=16743/tid=16744] ppid=16741 vsize=328252 CPUtime=6.27 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 12959 0 0 0 624 3 0 0 25 0 4 0 651369046 336130048 27459 33554432000 4194304 4650419 140735173064256 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=328252 CPUtime=6.28 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 13132 0 0 0 627 1 0 0 25 0 4 0 651369046 336130048 27460 33554432000 4194304 4650419 140735173064256 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=328252 CPUtime=6.25 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 9731 0 0 0 623 2 0 0 25 0 4 0 651369046 336130048 27460 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 328252

[startup+12.7002 s]
/proc/loadavg: 4.47 4.05 3.55 9/377 16757
/proc/meminfo: memFree=22012728/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=556588 CPUtime=50.48 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 116409 0 0 0 5022 26 0 0 25 0 4 0 651369046 569946112 84191 33554432000 4194304 4650419 140735173064256 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 139147 84191 395 112 0 134112 0
[pid=16743/tid=16744] ppid=16741 vsize=556588 CPUtime=12.65 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 35020 0 0 0 1257 8 0 0 25 0 4 0 651369046 569946112 84191 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476491 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=556588 CPUtime=12.67 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 23948 0 0 0 1263 4 0 0 25 0 4 0 651369046 569946112 84191 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=556588 CPUtime=12.63 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 28392 0 0 0 1256 7 0 0 25 0 4 0 651369046 569946112 84191 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 556588

[startup+25.5009 s]
/proc/loadavg: 5.01 4.18 3.59 9/377 16757
/proc/meminfo: memFree=21772868/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=611036 CPUtime=101.52 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 163584 0 0 0 10115 37 0 0 25 0 4 0 651369046 625700864 92104 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 152759 92104 395 112 0 147724 0
[pid=16743/tid=16744] ppid=16741 vsize=611036 CPUtime=25.46 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 43759 0 0 0 2535 11 0 0 25 0 4 0 651369046 625700864 92104 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=611036 CPUtime=25.46 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 41853 0 0 0 2538 8 0 0 25 0 4 0 651369046 625700864 92104 33554432000 4194304 4650419 140735173064256 18446744073709551615 4438951 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=611036 CPUtime=25.43 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 38056 0 0 0 2534 9 0 0 25 0 4 0 651369046 625700864 92104 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 611036

[startup+51.1002 s]
/proc/loadavg: 6.09 4.50 3.71 9/377 16758
/proc/meminfo: memFree=21457780/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=762844 CPUtime=203.61 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 232082 0 0 0 20303 58 0 0 25 0 4 0 651369046 781152256 118180 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 190711 118180 395 112 0 185676 0
[pid=16743/tid=16744] ppid=16741 vsize=762844 CPUtime=51.04 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 60965 0 0 0 5089 15 0 0 25 0 4 0 651369046 781152256 118180 33554432000 4194304 4650419 140735173064256 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=762844 CPUtime=51.07 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 58899 0 0 0 5092 15 0 0 25 0 4 0 651369046 781152256 118180 33554432000 4194304 4650419 140735173064256 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=762844 CPUtime=51.03 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 55298 0 0 0 5088 15 0 0 25 0 4 0 651369046 781152256 118180 33554432000 4194304 4650419 140735173064256 18446744073709551615 4333231 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.61
Current children cumulated vsize (KiB) 762844

[startup+102.301 s]
/proc/loadavg: 7.41 5.15 3.98 9/377 16759
/proc/meminfo: memFree=21309192/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=798016 CPUtime=407.8 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 331958 0 0 0 40686 94 0 0 25 0 4 0 651369046 817168384 140001 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476220 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 199504 140001 395 112 0 194469 0
[pid=16743/tid=16744] ppid=16741 vsize=798016 CPUtime=102.24 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 86219 0 0 0 10200 24 0 0 25 0 4 0 651369046 817168384 140001 33554432000 4194304 4650419 140735173064256 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=798016 CPUtime=102.26 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 91303 0 0 0 10199 27 0 0 25 0 4 0 651369046 817168384 140001 33554432000 4194304 4650419 140735173064256 18446744073709551615 4332022 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=798016 CPUtime=102.23 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 88428 0 0 0 10197 26 0 0 25 0 4 0 651369046 817168384 140001 33554432000 4194304 4650419 140735173064256 18446744073709551615 4333045 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.8
Current children cumulated vsize (KiB) 798016

[startup+162.301 s]

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

[pid=16743] ppid=16741 vsize=1149596 CPUtime=2800.65 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 2541240 0 0 0 279413 652 0 0 25 0 4 0 651369046 1177186304 218132 33554432000 4194304 4650419 140735173064256 18446744073709551615 4364433 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 287399 218132 395 112 0 282364 0
[pid=16743/tid=16744] ppid=16741 vsize=1149596 CPUtime=702.25 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1012104 0 0 0 70019 206 0 0 25 0 4 0 651369046 1177186304 218132 33554432000 4194304 4650419 140735173064256 18446744073709551615 4331084 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=1149596 CPUtime=702.26 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 637841 0 0 0 70049 177 0 0 25 0 4 0 651369046 1177186304 218132 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=1149596 CPUtime=702.21 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 676938 0 0 0 70043 178 0 0 25 0 4 0 651369046 1177186304 218132 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.65
Current children cumulated vsize (KiB) 1149596

[startup+762.3 s]
/proc/loadavg: 8.22 7.82 6.08 9/377 16777
/proc/meminfo: memFree=20358008/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=1176972 CPUtime=3039.91 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 2666624 0 0 0 303294 697 0 0 25 0 4 0 651369046 1205219328 228021 33554432000 4194304 4650419 140735173064256 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 294243 228021 395 112 0 289208 0
[pid=16743/tid=16744] ppid=16741 vsize=1176972 CPUtime=762.25 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1042139 0 0 0 76007 218 0 0 25 0 4 0 651369046 1205219328 228021 33554432000 4194304 4650419 140735173064256 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=1176972 CPUtime=762.26 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 672022 0 0 0 76037 189 0 0 25 0 4 0 651369046 1205219328 228021 33554432000 4194304 4650419 140735173064256 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=1176972 CPUtime=762.21 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 706764 0 0 0 76032 189 0 0 25 0 4 0 651369046 1205219328 228021 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363314 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3039.91
Current children cumulated vsize (KiB) 1176972

[startup+822.301 s]
/proc/loadavg: 8.12 7.86 6.20 9/377 16778
/proc/meminfo: memFree=20160244/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=1296068 CPUtime=3279.2 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 2894569 0 0 0 327163 757 0 0 25 0 4 0 651369046 1327173632 260772 33554432000 4194304 4650419 140735173064256 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 324017 260772 395 112 0 318982 0
[pid=16743/tid=16744] ppid=16741 vsize=1296068 CPUtime=822.25 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1063200 0 0 0 81998 227 0 0 25 0 4 0 651369046 1327173632 260772 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=1296068 CPUtime=822.25 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 827161 0 0 0 82012 213 0 0 25 0 4 0 651369046 1327173632 260772 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476175 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=1296068 CPUtime=822.2 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 735888 0 0 0 82017 203 0 0 25 0 4 0 651369046 1327173632 260772 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.2
Current children cumulated vsize (KiB) 1296068

[startup+882.301 s]
/proc/loadavg: 8.12 7.90 6.31 9/377 16780
/proc/meminfo: memFree=20164404/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=1190484 CPUtime=3518.45 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 3114696 0 0 0 351031 814 0 0 25 0 4 0 651369046 1219055616 249949 33554432000 4194304 4650419 140735173064256 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 297621 249949 395 112 0 292586 0
[pid=16743/tid=16744] ppid=16741 vsize=1190484 CPUtime=882.25 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1068813 0 0 0 87995 230 0 0 25 0 4 0 651369046 1219055616 249949 33554432000 4194304 4650419 140735173064256 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=1190484 CPUtime=882.26 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 992125 0 0 0 87989 237 0 0 25 0 4 0 651369046 1219055616 249949 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=1190484 CPUtime=882.2 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 765193 0 0 0 88000 220 0 0 25 0 4 0 651369046 1219055616 249949 33554432000 4194304 4650419 140735173064256 18446744073709551615 4366172 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3518.45
Current children cumulated vsize (KiB) 1190484

[startup+942.301 s]
/proc/loadavg: 8.08 7.93 6.42 9/377 16782
/proc/meminfo: memFree=20092800/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=1322696 CPUtime=3757.76 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 3404802 0 0 0 374897 879 0 0 25 0 4 0 651369046 1354440704 272104 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 330674 272104 395 112 0 325639 0
[pid=16743/tid=16744] ppid=16741 vsize=1322696 CPUtime=942.26 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1095892 0 0 0 93983 243 0 0 25 0 4 0 651369046 1354440704 272104 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=1322696 CPUtime=942.27 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1157902 0 0 0 93967 260 0 0 25 0 4 0 651369046 1354440704 272104 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=1322696 CPUtime=942.21 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 843889 0 0 0 93982 239 0 0 25 0 4 0 651369046 1354440704 272104 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3757.76
Current children cumulated vsize (KiB) 1322696

[startup+1002.3 s]
/proc/loadavg: 8.06 7.96 6.52 9/377 16783
/proc/meminfo: memFree=19947896/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=1430516 CPUtime=3997 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 3887568 0 0 0 398730 970 0 0 25 0 4 0 651369046 1464848384 281086 33554432000 4194304 4650419 140735173064256 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 357629 281086 395 112 0 352594 0
[pid=16743/tid=16744] ppid=16741 vsize=1430516 CPUtime=1002.25 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1123205 0 0 0 99964 261 0 0 25 0 4 0 651369046 1464848384 281086 33554432000 4194304 4650419 140735173064256 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=1430516 CPUtime=1002.26 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1359572 0 0 0 99938 288 0 0 25 0 4 0 651369046 1464848384 281086 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=1430516 CPUtime=1002.2 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1077329 0 0 0 99947 273 0 0 25 0 4 0 651369046 1464848384 281086 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3997
Current children cumulated vsize (KiB) 1430516

[startup+1062.31 s]
/proc/loadavg: 8.19 8.01 6.63 9/377 16785
/proc/meminfo: memFree=20054480/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=1470740 CPUtime=4236.32 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 4229559 0 0 0 422588 1044 0 0 25 0 4 0 651369046 1506037760 273313 33554432000 4194304 4650419 140735173064256 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 367685 273313 395 112 0 362650 0
[pid=16743/tid=16744] ppid=16741 vsize=1470740 CPUtime=1062.26 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1148288 0 0 0 105950 276 0 0 25 0 4 0 651369046 1506037760 273313 33554432000 4194304 4650419 140735173064256 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=1470740 CPUtime=1062.26 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1402658 0 0 0 105925 301 0 0 25 0 4 0 651369046 1506037760 273313 33554432000 4194304 4650419 140735173064256 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=1470740 CPUtime=1062.21 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1326463 0 0 0 105915 306 0 0 25 0 4 0 651369046 1506037760 273313 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4236.32
Current children cumulated vsize (KiB) 1470740

[startup+1122.3 s]
/proc/loadavg: 8.07 8.00 6.71 9/377 16786
/proc/meminfo: memFree=19806744/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=1532896 CPUtime=4475.54 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 4696038 0 0 0 446424 1130 0 0 25 0 4 0 651369046 1569685504 321251 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 383224 321251 395 112 0 378189 0
[pid=16743/tid=16744] ppid=16741 vsize=1532896 CPUtime=1122.25 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1305961 0 0 0 111924 301 0 0 25 0 4 0 651369046 1569685504 321251 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=1532896 CPUtime=1122.25 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1426753 0 0 0 111908 317 0 0 25 0 4 0 651369046 1569685504 321251 33554432000 4194304 4650419 140735173064256 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=1532896 CPUtime=1122.2 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1580642 0 0 0 111879 341 0 0 25 0 4 0 651369046 1569685504 321251 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4475.54
Current children cumulated vsize (KiB) 1532896

[startup+1182.3 s]
/proc/loadavg: 8.14 8.03 6.80 9/377 16788
/proc/meminfo: memFree=19755248/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=1547100 CPUtime=4714.8 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 5195511 0 0 0 470258 1222 0 0 25 0 4 0 651369046 1584230400 322636 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 386775 322636 400 112 0 381740 0
[pid=16743/tid=16744] ppid=16741 vsize=1547100 CPUtime=1182.25 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1509505 0 0 0 117893 332 0 0 25 0 4 0 651369046 1584230400 322636 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=1547100 CPUtime=1182.25 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1452370 0 0 0 117890 335 0 0 25 0 4 0 651369046 1584230400 322636 33554432000 4194304 4650419 140735173064256 18446744073709551615 4310353 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=1547100 CPUtime=1182.2 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1850932 0 0 0 117837 383 0 0 25 0 4 0 651369046 1584230400 322636 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4714.8
Current children cumulated vsize (KiB) 1547100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.10 8.03 6.83 9/377 16789
/proc/meminfo: memFree=19832116/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=1492764 CPUtime=4800.15 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 5389203 0 0 0 478760 1255 0 0 25 0 4 0 651369046 1528590336 317412 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 373191 317412 395 112 0 368156 0
[pid=16743/tid=16744] ppid=16741 vsize=1492764 CPUtime=1203.66 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1584755 0 0 0 120022 344 0 0 25 0 4 0 651369046 1528590336 317415 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=1492764 CPUtime=1203.67 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1461466 0 0 0 120025 342 0 0 25 0 4 0 651369046 1528590336 317415 33554432000 4194304 4650419 140735173064256 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=1492764 CPUtime=1203.61 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1960281 0 0 0 119963 398 0 0 25 0 4 0 651369046 1528590336 317415 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1492764

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

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

[startup+1203.7 s]
/proc/loadavg: 8.10 8.03 6.83 9/377 16789
/proc/meminfo: memFree=19832116/32951124 swapFree=67111348/67111528
[pid=16743] ppid=16741 vsize=1492764 CPUtime=4800.15 cores=1,3,5,7
/proc/16743/stat : 16743 (strangenight1-m) R 16741 16743 16711 0 -1 4202496 5389203 0 0 0 478760 1255 0 0 25 0 4 0 651369046 1528590336 317412 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16743/statm: 373191 317412 395 112 0 368156 0
[pid=16743/tid=16744] ppid=16741 vsize=1492764 CPUtime=1203.66 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1584755 0 0 0 120022 344 0 0 25 0 4 0 651369046 1528590336 317415 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16743/tid=16745] ppid=16741 vsize=1492764 CPUtime=1203.67 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1461466 0 0 0 120025 342 0 0 25 0 4 0 651369046 1528590336 317415 33554432000 4194304 4650419 140735173064256 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16743/tid=16746] ppid=16741 vsize=1492764 CPUtime=1203.61 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (strangenight1-m) R 16741 16743 16711 0 -1 4202560 1960281 0 0 0 119963 398 0 0 25 0 4 0 651369046 1528590336 317415 33554432000 4194304 4650419 140735173064256 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1492764

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.78
CPU time (s): 4800.27
CPU user time (s): 4787.65
CPU system time (s): 12.6161
CPU usage (%): 398.766
Max. virtual memory (cumulated for all children) (KiB): 1547100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.65
system time used= 12.6161
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5389208
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= 1743
involuntary context switches= 19145

runsolver used 3.89141 second user time and 10.6044 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-14 20:28:33
IDJOB=3368575
IDBENCH=82584
IDSOLVER=1846
FILE ID=node139/3368575-1305397713
RUNJOBID= node139-1305397713-16730
PBS_JOBID= 13324464
Free space on /tmp= 73356 MiB

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

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

MD5SUM BENCH= cf967108532c9cfea4028aa361399380
RANDOM SEED=1803363784

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22613716 kB
Buffers:        296384 kB
Cached:        2886148 kB
SwapCached:          0 kB
Active:        7960056 kB
Inactive:      2069680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22613716 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           10312 kB
Writeback:           0 kB
AnonPages:     6847152 kB
Mapped:          28376 kB
Slab:           203812 kB
PageTables:      38540 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 76776008 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= 73340 MiB
End job on node139 at 2011-05-14 20:48:39