Trace number 3174966

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

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.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-3174966-1304061895.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.02/0.13	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.02/0.13	c -- vars added      15000
0.02/0.13	c Parsing time:  0.16 s
0.02/0.13	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.02/0.13	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.48/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.99/1.02	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.99/1.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.99/1.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.99/1.02	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
0.99/1.02	c lits-rem:         0  cl-subs:        0  v-elim:    477  v-fix:    0  time:  0.53 s
0.99/1.02	c Finding binary XORs  T:     0.01 s  found:       0
0.99/1.02	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
0.99/1.02	c calculated reachability. Time: 0.00
0.99/1.02	c Calc default polars -  time:   0.02 s pos:    6593 undec:    1782 neg:    6625
0.99/1.02	c =========================================================================================
0.99/1.02	c types(t): F = full restart, N = normal restart
0.99/1.02	c types(t): S = simplification begin/end, E = solution found
0.99/1.02	c restart types(rt): st = static, dy = dynamic
0.99/1.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.99/1.02	c  B st     0         0     14523     62500         0         0    190210         0   no data   no data  --
4.39/1.16	c  N dy    16      4114     14523     62500         0      4113    190210    811737    109.12    116.23  --
7.54/1.96	c  N dy    46      8161     14523     62500         0      8160    190210   1525884    112.07    117.97  --
11.12/2.82	c  N dy    72     12256     14523     62500         0     12254    190210   2260383    111.57    135.54  --
14.31/3.69	c  N dy   101     16276     14523     62500         0     16274    190210   3004012    112.57    156.46  --
18.31/4.63	c  N dy   127     20352     14523     62500         0     10356    190210    558238    112.42    125.00  --
21.89/5.51	c  N dy   154     24482     14523     62500         0     14486    190210   1306960    112.38    120.32  --
22.30/5.62	c  F st   156     25001     14523     62500         0     15005    190210   1398405    112.34   no data  --
27.09/6.84	c  N dy   162     30000     14523     62500         0     20004    190210   2639638    112.34   no data  --
27.09/6.84	c  S st   162     30000     14523     62500         0     20004    190210   2639638    112.34   no data  --
27.49/6.96	c  S st   162     30508     14523     62500         0     20512    190210   2709827    112.34   no data  --
27.49/6.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.49/6.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.89/7.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.26
28.69/7.28	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.69/7.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.69/7.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
28.69/7.30	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
45.06/11.39	c lits-rem:        17  cl-subs:        5  v-elim:      0  v-fix:    0  time: 16.28 s
45.46/11.48	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.36
45.46/11.48	c calculated reachability. Time: 0.00
45.46/11.48	c  N dy   162     30508     14523     62500         0     20507    190210   2709287    112.34   no data  --
50.26/12.61	c  N dy   189     34644     14523     62500         0     24642    190210   3438517    111.95    120.02  --
54.25/13.69	c  N dy   213     38668     14523     62500         0     28666    190210   4166829    111.60    118.12  --
59.05/14.89	c  N dy   242     43119     14523     62500         0     17621    190210    991346    111.62    122.13  --
62.24/15.61	c  S st   263     45762     14523     62500         0     20264    190210   1470951    111.74   no data  --
62.64/15.74	c  S st   263     46262     14523     62500         0     20764    190210   1533336    111.74   no data  --
62.64/15.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
62.64/15.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.04/15.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
63.44/15.92	c bin-w-bin subsume rem            0 bins  time:  0.02 s
63.44/15.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
63.44/15.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
63.44/15.93	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
74.62/18.75	c lits-rem:         9  cl-subs:        0  v-elim:      0  v-fix:    0  time: 11.21 s
74.62/18.75	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
74.62/18.77	c vivif2 --  cl tried    20764 cl shrink        0 lits rem          0 time: 0.08
75.02/18.85	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.32
75.02/18.86	c calculated reachability. Time: 0.00
75.02/18.86	c  N dy   263     46262     14523     62500         0     20764    190210   1533327    111.74   no data  --
79.02/19.83	c  N dy   294     50306     14523     62500         0     24808    190210   2252340    112.01    120.16  --
83.01/20.83	c  N dy   322     54409     14523     62500         0     28911    190210   2992969    112.11    119.44  --
87.00/21.87	c  N dy   349     58601     14523     62500         0     33102    190210   3716891    111.91    118.92  --
91.39/22.95	c  N dy   379     62655     14523     62500         0     37156    190210   4469447    112.31    137.40  --
95.41/23.98	c  N dy   406     66907     14523     62500         0     22658    190210   1313985    112.62    118.60  --
97.79/24.59	c  S st   425     69395     14523     62500         0     25146    190210   1769661    112.79   no data  --
98.59/24.72	c  S st   425     69902     14523     62500         0     25653    190210   1849935    112.79   no data  --
98.59/24.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
98.59/24.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.99/24.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
99.41/24.91	c bin-w-bin subsume rem            0 bins  time:  0.02 s
99.41/24.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
99.41/24.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
99.41/24.93	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
112.99/28.32	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.53 s
112.99/28.33	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
112.99/28.36	c vivif2 --  cl tried    25652 cl shrink        0 lits rem          0 time: 0.10
113.36/28.45	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.38
113.36/28.46	c calculated reachability. Time: 0.00
113.36/28.46	c  N dy   425     69902     14523     62500         0     25652    190210   1849132    112.79   no data  --
117.76/29.58	c  N dy   457     74411     14523     62500         0     30161    190210   2660880    112.87    122.15  --
122.95/30.82	c  N dy   489     79236     14523     62500         0     34985    190210   3516203    112.85    119.43  --
128.54/32.20	c  N dy   526     84386     14523     62500         0     40135    190210   4461135    112.96    120.14  --
131.73/33.05	c  F st   551     87500     14523     62500         0     22372    190210    834953    113.04   no data  --
135.33/33.93	c  N st   556     90795     14523     62500         0     25665    190210   1753439    113.04   no data  --
141.33/35.47	c  N dy   579     96662     14523     62500         0     31531    190210   2990177    113.01    120.66  --
148.14/37.19	c  N dy   619    102905     14523     62500         0     37774    190210   4151814    113.17    119.38  --
150.52/37.75	c  S st   633    104853     14523     62500         0     39722    190210   4512235    113.35   no data  --
150.92/37.89	c  S st   633    105355     14523     62500         0     40224    190210   4583288    113.35   no data  --
151.31/37.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
151.31/37.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.31/37.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.32
152.53/38.26	c bin-w-bin subsume rem            0 bins  time:  0.02 s
152.53/38.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
152.53/38.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
152.53/38.27	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
277.54/69.55	c lits-rem:         0  cl-subs:       10  v-elim:      0  v-fix:    0  time: 124.60 s
277.54/69.55	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
277.94/69.61	c vivif2 --  cl tried    40214 cl shrink        0 lits rem          0 time: 0.24
278.34/69.73	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.48
278.34/69.74	c calculated reachability. Time: 0.00
278.34/69.74	c  N dy   633    105355     14523     62500         0     40214    190210   4580364    113.35   no data  --
285.53/71.56	c  N dy   673    112198     14523     62500         0     24625    190210    911625    113.20    124.07  --
292.74/73.37	c  N dy   725    119434     14523     62500         0     31861    190210   2210510    113.29    125.45  --
301.11/75.40	c  N dy   778    127059     14523     62500         0     39484    190210   3578069    113.27    131.76  --
310.32/77.76	c  N dy   835    135215     14523     62500         0     23923    190210    546155    113.40    119.88  --
319.11/79.96	c  N dy   897    143886     14523     62500         0     32593    190210   2111676    113.49    128.91  --
329.07/82.44	c  N dy   959    153154     14523     62500         0     41860    190210   3799022    113.51    121.37  --
334.66/83.86	c  S st   995    158032     14523     62500         0     46738    190210   4697866    113.55    113.11  --
335.46/84.01	c  S st   995    158536     14523     62500         0     47242    190210   4762533    113.55   no data  --
335.46/84.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
335.46/84.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
335.86/84.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
336.67/84.38	c bin-w-bin subsume rem            0 bins  time:  0.02 s
336.67/84.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
336.67/84.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
336.67/84.39	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
531.19/133.01	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time: 193.86 s
531.19/133.02	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
531.19/133.08	c vivif2 --  cl tried    47234 cl shrink        0 lits rem          0 time: 0.26
531.99/133.22	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.57
531.99/133.23	c calculated reachability. Time: 0.00
531.99/133.23	c  N dy   995    158536     14523     62500         0     47234    190210   4759949    113.55   no data  --
543.60/136.14	c  N dy  1066    168846     14523     62500         0     32685    190210   1912513    113.66    120.47  --
555.95/139.24	c  N dy  1142    179674     14523     62500         0     43511    190210   3891314    113.86    144.18  --
569.56/142.68	c  N dy  1221    191246     14523     62500         0     29153    190210   1035093    113.77    121.83  --
583.52/146.11	c  N dy  1306    203556     14523     62500         0     41462    190210   3282110    113.86    120.25  --
599.50/150.14	c  N dy  1393    216565     14523     62500         0     27507    190210    550628    113.99    137.65  --
614.67/153.93	c  N dy  1480    230435     14523     62500         0     41375    190210   3106162    114.01    122.12  --
623.47/156.15	c  S st  1531    237804     14523     62500         0     48742    190210   4470944    114.03   no data  --
624.26/156.31	c  S st  1531    238310     14523     62500         0     49248    190210   4539192    114.03   no data  --
624.26/156.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
624.26/156.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
624.66/156.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
625.47/156.67	c bin-w-bin subsume rem            0 bins  time:  0.02 s
625.47/156.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
625.47/156.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
625.47/156.69	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
804.83/201.52	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 178.75 s
804.83/201.52	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
804.83/201.58	c vivif2 --  cl tried    49242 cl shrink        0 lits rem          0 time: 0.25
805.62/201.73	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.57
805.62/201.73	c calculated reachability. Time: 0.00
805.62/201.73	c  N dy  1531    238310     14523     62500         0     49242    190210   4537575    114.03   no data  --
823.20/206.16	c  N dy  1631    253545     14523     62500         0     36496    190210   1972527    113.94    120.80  --
842.77/211.04	c  N dy  1745    269870     14523     62500         0     52820    190210   4935046    114.04    121.05  --
863.15/216.19	c  N dy  1863    287235     14523     62500         0     41194    190210   2694411    114.14    121.13  --
885.11/221.65	c  N dy  1995    305675     14523     62500         0     59634    190210   6048547    114.24    130.19  --
885.94/221.85	c  F st  1999    306253     14523     62500         0     30217    190210    466748    114.23   no data  --
907.08/227.19	c  N dy  2099    325273     14523     62500         0     49234    190210   4247877    114.27    121.54  --
931.85/233.35	c  N dy  2220    345277     14523     62500         0     38253    190210   1766176    114.14    121.16  --
946.23/236.96	c  S st  2303    357465     14523     62500         0     50440    190210   3995609    114.18     94.02  --
947.03/237.13	c  S st  2303    357967     14523     62500         0     50942    190210   4056629    114.18   no data  --
947.03/237.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
947.03/237.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
947.44/237.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
948.23/237.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
948.23/237.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
948.23/237.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
948.23/237.48	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1083.25/271.25	c lits-rem:         3  cl-subs:        8  v-elim:      0  v-fix:    0  time: 134.74 s
1083.25/271.25	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
1083.66/271.31	c vivif2 --  cl tried    50934 cl shrink        0 lits rem          0 time: 0.22
1084.06/271.46	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.59
1084.06/271.46	c calculated reachability. Time: 0.00
1084.06/271.46	c  N dy  2303    357967     14523     62500         0     50934    190210   4054049    114.18   no data  --
1109.21/277.79	c  N dy  2438    378120     14523     62500         0     39094    190210   1743595    114.27    122.10  --
1133.97/283.99	c  N dy  2564    398225     14523     62500         0     59198    190210   5343661    114.19    121.98  --
1160.33/290.53	c  N dy  2699    418510     14523     62500         0     46480    190210   2885169    114.23    126.92  --
1187.49/297.31	c  N dy  2832    438516     14523     62500         0     66484    190210   6466757    114.18    122.24  --
1212.66/303.66	c  N dy  2968    458657     14523     62500         0     52630    190210   3841422    114.20    120.28  --
1240.63/310.65	c  N dy  3105    478754     14523     62500         0     37723    190210    931594    114.22    122.15  --
1266.59/317.11	c  N dy  3238    498983     14523     62500         0     57950    190210   4632233    114.22    124.56  --
1294.57/324.16	c  N dy  3366    519038     14523     62500         0     42008    190210   1503114    114.19    122.49  --
1318.52/330.11	c  S st  3493    536950     14523     62500         0     59918    190210   4792564    114.28     85.69  --
1319.32/330.31	c  S st  3493    537453     14523     62500         0     60421    190210   4864135    114.28   no data  --
1319.32/330.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1319.32/330.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1319.72/330.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.41
1320.94/330.70	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1320.94/330.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1320.94/330.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
1320.94/330.72	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1568.58/392.79	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time: 247.55 s
1568.58/392.79	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
1568.98/392.86	c vivif2 --  cl tried    60413 cl shrink        0 lits rem          0 time: 0.26
1569.78/393.02	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.64
1569.78/393.02	c calculated reachability. Time: 0.00
1569.78/393.02	c  N dy  3493    537453     14523     62500         0     60413    190210   4860928    114.28   no data  --
1594.54/399.26	c  N dy  3621    557507     14523     62500         0     43464    190210   1571492    114.27    120.72  --
1618.91/405.33	c  N dy  3759    577627     14523     62500         0     63581    190210   5303610    114.30    125.19  --
1644.07/411.61	c  N dy  3891    597659     14523     62500         0     45618    190210   1838637    114.31    121.90  --
1668.46/417.75	c  N dy  4027    617682     14523     62500         0     65641    190210   5520091    114.39    137.35  --
1694.42/424.21	c  N dy  4161    637970     14523     62500         0     46929    190210   1849132    114.38    120.52  --
1719.17/430.45	c  N dy  4300    658044     14523     62500         0     67003    190210   5561327    114.44    122.47  --
1745.13/436.98	c  N dy  4432    678257     14523     62500         0     47219    190210   1745515    114.45    125.23  --
1769.89/443.12	c  N dy  4557    698272     14523     62500         0     67233    190210   5367918    114.43    122.26  --
1796.66/449.80	c  N dy  4688    718315     14523     62500         0     46277    190210   1404099    114.46    122.59  --
1820.62/455.83	c  N dy  4815    738316     14523     62500         0     66277    190210   5047094    114.48    121.27  --
1847.79/462.68	c  N dy  4949    758377     14523     62500         0     44342    190210    868808    114.50    122.33  --
1872.15/468.76	c  N dy  5084    778407     14523     62500         0     64371    190210   4616893    114.57    121.85  --
1899.71/475.69	c  N dy  5221    798598     14523     62500         0     84562    190210   8280274    114.58    121.68  --
1909.30/478.02	c  S st  5276    806179     14523     62500         0     49140    190210   1559342    114.59   no data  --
1909.72/478.18	c  S st  5276    806681     14523     62500         0     49642    190210   1623278    114.59   no data  --
1909.72/478.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1909.72/478.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1910.12/478.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1910.50/478.37	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1910.50/478.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1910.50/478.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
1910.50/478.38	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1926.08/482.26	c lits-rem:         5  cl-subs:        1  v-elim:      0  v-fix:    0  time: 15.46 s
1926.08/482.26	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
1926.08/482.29	c vivif2 --  cl tried    49641 cl shrink        0 lits rem          0 time: 0.10
1926.88/482.42	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.53
1926.88/482.43	c calculated reachability. Time: 0.00
1926.88/482.43	c  N dy  5276    806681     14523     62500         0     49641    190210   1623103    114.59   no data  --
1952.03/488.71	c  N dy  5422    826740     14523     62500         0     69697    190210   5363970    114.70    121.17  --
1979.60/495.66	c  N dy  5554    846757     14523     62500         0     45721    190210    763642    114.73    127.52  --
2005.17/502.03	c  N dy  5678    866758     14523     62500         0     65721    190210   4386476    114.71    121.80  --
2034.72/509.46	c  N dy  5802    886785     14523     62500         0     85745    190210   8056952    114.70    120.86  --
2063.09/516.59	c  N dy  5939    906801     14523     62500         0     60763    190210   3403188    114.73    120.87  --
2093.05/524.09	c  N dy  6075    926856     14523     62500         0     80817    190210   7110675    114.76    121.98  --
2123.01/531.57	c  N dy  6213    946885     14523     62500         0     54846    190210   2099550    114.78    122.72  --
2153.36/539.13	c  N dy  6341    966977     14523     62500         0     74938    190210   5763496    114.78    123.30  --
2186.13/547.30	c  N dy  6480    987159     14523     62500         0     48117    190210    662196    114.84    124.44  --
2213.30/554.16	c  N dy  6607   1007302     14523     62500         0     68259    190210   4377432    114.86    124.51  --
2245.24/562.14	c  N dy  6750   1027492     14523     62500         0     88448    190210   8126197    114.92    121.63  --
2274.82/569.53	c  N dy  6879   1047565     14523     62500         0     60530    190210   2764938    114.91    128.81  --
2304.37/576.95	c  N dy  7013   1067581     14523     62500         0     80545    190210   6426329    114.94    123.90  --
2311.16/578.68	c  F st  7044   1071876     14523     62500         0     84840    190210   7212386    114.95    112.53  --
2337.12/585.13	c  N dy  7129   1087585     14523     62500         0     51544    190210    944331    114.97    134.40  --
2364.68/592.04	c  N dy  7263   1107599     14523     62500         0     71556    190210   4650329    115.00    126.26  --
2395.44/599.70	c  N dy  7399   1127625     14523     62500         0     91581    190210   8312058    115.00    123.02  --
2424.22/606.99	c  N dy  7536   1147652     14523     62500         0     61610    190210   2588874    115.01    146.07  --
2452.96/614.18	c  N dy  7676   1167679     14523     62500         0     81636    190210   6303025    115.08    122.14  --
2485.73/622.30	c  N dy  7800   1187733     14523     62500         0    101689    190210   9965066    115.06    121.81  --
2512.09/628.91	c  N dy  7935   1207881     14523     62500         0     70839    190210   4158169    115.09    123.49  --
2514.87/629.65	c  S st  7952   1210021     14523     62500         0     72979    190210   4550533    115.09   no data  --
2515.67/629.84	c  S st  7952   1210523     14523     62500         0     73481    190210   4617233    115.09   no data  --
2515.67/629.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2515.67/629.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2516.09/629.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.41
2517.27/630.20	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2517.27/630.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2517.27/630.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
2517.27/630.21	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
2739.76/685.99	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time: 222.09 s
2739.76/685.99	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
2740.17/686.06	c vivif2 --  cl tried    73477 cl shrink        0 lits rem          0 time: 0.24
2740.95/686.24	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.73
2740.95/686.24	c calculated reachability. Time: 0.00
2740.95/686.25	c  N dy  7952   1210523     14523     62500         0     73477    190210   4616187    115.09   no data  --
2769.71/693.44	c  N dy  8076   1230572     14523     62500         0     93526    190210   8258481    115.08    123.55  --
2797.70/700.49	c  N dy  8203   1250765     14523     62500         0     61726    190210   2253723    115.08    125.26  --
2825.24/707.31	c  N dy  8339   1270826     14523     62500         0     81784    190210   5965299    115.10    136.75  --
2855.59/714.93	c  N dy  8459   1290915     14523     62500         0    101872    190210   9694234    115.09    121.75  --
2882.36/721.63	c  N dy  8586   1311017     14523     62500         0     68967    190210   3387142    115.08    125.01  --
2911.12/728.80	c  N dy  8726   1331115     14523     62500         0     89064    190210   7108976    115.12    138.28  --
2943.07/736.85	c  N dy  8864   1351171     14523     62500         0     55121    190210    692731    115.14    122.90  --
2969.06/743.38	c  N dy  9012   1371255     14523     62500         0     75204    190210   4445208    115.22    156.99  --
2998.60/750.70	c  N dy  9140   1391262     14523     62500         0     95210    190210   8185250    115.24    139.68  --
3028.96/758.38	c  N dy  9278   1411263     14523     62500         0     60217    190210   1477824    115.27    239.44  --
3056.12/765.14	c  N dy  9419   1431444     14523     62500         0     80397    190210   5174514    115.29    123.68  --
3086.88/772.81	c  N dy  9564   1451473     14523     62500         0    100425    190210   8877888    115.32    126.07  --
3117.23/780.47	c  N dy  9697   1471663     14523     62500         0     64619    190210   2096025    115.33    121.50  --
3146.39/787.76	c  N dy  9820   1491771     14523     62500         0     84726    190210   5784930    115.32    123.62  --
3179.97/796.13	c  N dy  9961   1511787     14523     62500         0    104742    190210   9488787    115.35    130.83  --
3211.10/803.98	c  N dy 10087   1531810     14523     62500         0     67765    190210   2501327    115.34    122.84  --
3241.48/811.59	c  N dy 10221   1551915     14523     62500         0     87869    190210   6250928    115.36    122.56  --
3278.20/820.73	c  N dy 10360   1571933     14523     62500         0    107886    190210   9919817    115.37    123.31  --
3310.97/828.97	c  N dy 10489   1592133     14523     62500         0     70091    190210   2734439    115.38    122.02  --
3342.92/836.94	c  N dy 10627   1612168     14523     62500         0     90124    190210   6427576    115.40    123.70  --
3378.87/845.92	c  N dy 10762   1632279     14523     62500         0    110233    190210  10195048    115.43    128.38  --
3411.63/854.17	c  N dy 10886   1652333     14523     62500         0     71284    190210   2734750    115.42    144.05  --
3443.98/862.26	c  N dy 11016   1672602     14523     62500         0     91552    190210   6536480    115.44    122.22  --
3479.94/871.22	c  N dy 11141   1692663     14523     62500         0    111610    190210  10219144    115.43    126.90  --
3509.12/878.57	c  S st 11272   1710524     14523     62500         0     69473    190210   2305007    115.46   no data  --
3509.89/878.77	c  S st 11272   1711028     14523     62500         0     69977    190210   2377484    115.46   no data  --
3509.89/878.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3509.89/878.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3510.29/878.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.43
3511.09/879.03	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3511.09/879.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3511.09/879.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
3511.09/879.05	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3541.45/886.69	c lits-rem:         7  cl-subs:        0  v-elim:      0  v-fix:    0  time: 30.45 s
3541.85/886.70	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.03
3541.85/886.74	c vivif2 --  cl tried    69977 cl shrink        0 lits rem          0 time: 0.14
3542.65/886.92	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.72
3542.65/886.92	c calculated reachability. Time: 0.00
3542.65/886.92	c  N dy 11272   1711028     14523     62500         0     69977    190210   2377477    115.46   no data  --
3572.60/894.41	c  N dy 11400   1731103     14523     62500         0     90050    190210   6032376    115.46    122.41  --
3606.95/903.00	c  N dy 11539   1751195     14523     62500         0    110140    190210   9815531    115.49    143.46  --
3640.12/911.39	c  N dy 11675   1771289     14523     62500         0     69241    190210   2037488    115.51    148.73  --
3670.47/918.98	c  N dy 11807   1791432     14523     62500         0     89383    190210   5780245    115.54    122.42  --
3704.42/927.49	c  N dy 11944   1811434     14523     62500         0    109382    190210   9497957    115.56    122.95  --
3739.57/936.28	c  N dy 12082   1831509     14523     62500         0     67464    190210   1531388    115.58    141.21  --
3770.73/944.06	c  N dy 12217   1851671     14523     62500         0     87626    190210   5345360    115.61    121.97  --
3807.09/953.17	c  N dy 12352   1871824     14523     62500         0    107779    190210   9048312    115.61    124.30  --
3847.03/963.11	c  N dy 12487   1891909     14523     62500         0     64866    190210    889521    115.62    122.35  --
3878.21/970.93	c  N dy 12619   1911982     14523     62500         0     84938    190210   4566865    115.62    135.37  --
3913.36/979.79	c  N dy 12746   1932051     14523     62500         0    105004    190210   8219678    115.61    122.30  --
3953.68/989.89	c  N dy 12885   1952107     14523     62500         0    125060    190210  11972206    115.63    127.56  --
3987.25/998.22	c  N dy 13022   1972174     14523     62500         0     81131    190210   3735621    115.65    130.48  --
4021.99/1006.98	c  N dy 13162   1992261     14523     62500         0    101218    190210   7493801    115.67    124.95  --
4061.14/1016.79	c  N dy 13300   2012324     14523     62500         0    121280    190210  11256500    115.70    131.93  --
4097.50/1025.86	c  N dy 13438   2032348     14523     62500         0     76307    190210   2633267    115.70    123.69  --
4129.07/1033.77	c  N dy 13575   2052384     14523     62500         0     96342    190210   6326365    115.71    122.34  --
4164.22/1042.58	c  N dy 13703   2072442     14523     62500         0    116398    190210  10038419    115.71    123.26  --
4202.15/1052.01	c  N dy 13838   2092510     14523     62500         0     70468    190210   1404154    115.74    125.14  --
4232.50/1059.65	c  N dy 13976   2112572     14523     62500         0     90530    190210   5108048    115.76    123.16  --
4266.86/1068.28	c  N dy 14115   2132670     14523     62500         0    110628    190210   8833658    115.76    128.06  --
4306.00/1078.04	c  N dy 14261   2152748     14523     62500         0    130704    190210  12583069    115.81    124.77  --
4338.36/1086.18	c  N dy 14396   2172899     14523     62500         0     83854    190210   3689138    115.82    123.71  --
4374.31/1095.13	c  N dy 14522   2193047     14523     62500         0    104002    190210   7386887    115.82    125.76  --
4410.28/1104.15	c  S st 14644   2211028     14523     62500         0    121982    190210  10732884    115.83    104.67  --
4411.46/1104.46	c  S st 14644   2211532     14523     62500         0    122486    190210  10798687    115.83   no data  --
4411.46/1104.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4411.46/1104.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4412.26/1104.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.65
4415.06/1105.37	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4415.06/1105.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4415.06/1105.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14523 time:  0.02 s
4415.06/1105.39	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-3174966-1304061895/watcher-3174966-1304061895 -o /tmp/evaluation-result-3174966-1304061895/solver-3174966-1304061895 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174966-1304061895.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.24 4.37 5.98 2/178 6288
/proc/meminfo: memFree=25056356/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 517787711 52465664 353 33554432000 4194304 4650419 140734378019216 18446744073709551615 47872384923564 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 12809 353 303 112 0 7774 0
[pid=6288/tid=6289] ppid=6286 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 517787712 52465664 353 33554432000 4194304 4650419 140734378019216 18446744073709551615 47872384923560 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 517787712 52465664 353 33554432000 4194304 4650419 140734378019216 18446744073709551615 47872384923574 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 517787712 52465664 353 33554432000 4194304 4650419 140734378019216 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0127259 s]
/proc/loadavg: 3.24 4.37 5.98 2/178 6288
/proc/meminfo: memFree=25056356/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=282548 CPUtime=0.02 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 5857 0 0 0 1 1 0 0 18 0 4 0 517787711 289329152 4880 33554432000 4194304 4650419 140734378019216 18446744073709551615 246516877495 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 70637 4944 344 112 0 65602 0
[pid=6288/tid=6289] ppid=6286 vsize=282548 CPUtime=0 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 1500 0 0 0 0 0 0 0 18 0 4 0 517787712 289329152 4966 33554432000 4194304 4650419 140734378019216 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=282548 CPUtime=0 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 1444 0 0 0 0 0 0 0 18 0 4 0 517787712 289329152 4989 33554432000 4194304 4650419 140734378019216 18446744073709551615 4317229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=282548 CPUtime=0 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) S 6286 6288 6256 0 -1 4202560 1348 0 0 0 0 0 0 0 18 0 4 0 517787712 289329152 5013 33554432000 4194304 4650419 140734378019216 18446744073709551615 246516939246 0 0 4096 2 18446604454224049216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 282548

[startup+0.134913 s]
/proc/loadavg: 3.24 4.37 5.98 2/178 6288
/proc/meminfo: memFree=25056356/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=375100 CPUtime=0.48 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 14345 0 0 0 40 8 0 0 17 0 4 0 517787711 384102400 12021 33554432000 4194304 4650419 140734378019216 18446744073709551615 4370820 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 93775 12022 377 112 0 88740 0
[pid=6288/tid=6289] ppid=6286 vsize=375100 CPUtime=0.11 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 4069 0 0 0 10 1 0 0 18 0 4 0 517787712 384102400 12022 33554432000 4194304 4650419 140734378019216 18446744073709551615 4426459 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=375100 CPUtime=0.11 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 3611 0 0 0 10 1 0 0 18 0 4 0 517787712 384102400 12023 33554432000 4194304 4650419 140734378019216 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=375100 CPUtime=0.11 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 2739 0 0 0 9 2 0 0 18 0 4 0 517787712 384102400 12023 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 375100

[startup+1.11648 s]
/proc/loadavg: 3.24 4.37 5.98 2/178 6288
/proc/meminfo: memFree=25056356/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=385788 CPUtime=4.39 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 25272 0 0 0 428 11 0 0 19 0 4 0 517787711 395046912 21793 33554432000 4194304 4650419 140734378019216 18446744073709551615 4333785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 96447 21793 391 112 0 91412 0
[pid=6288/tid=6289] ppid=6286 vsize=385788 CPUtime=1.09 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 7314 0 0 0 107 2 0 0 19 0 4 0 517787712 395046912 21794 33554432000 4194304 4650419 140734378019216 18446744073709551615 4311138 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=385788 CPUtime=1.09 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 7037 0 0 0 107 2 0 0 19 0 4 0 517787712 395046912 21794 33554432000 4194304 4650419 140734378019216 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=385788 CPUtime=1.09 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 3612 0 0 0 107 2 0 0 19 0 4 0 517787712 395046912 21794 33554432000 4194304 4650419 140734378019216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 385788

[startup+1.20047 s]
/proc/loadavg: 3.24 4.37 5.98 2/178 6288
/proc/meminfo: memFree=25056356/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=385788 CPUtime=4.72 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 25578 0 0 0 461 11 0 0 19 0 4 0 517787711 395046912 22099 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 96447 22099 391 112 0 91412 0
[pid=6288/tid=6289] ppid=6286 vsize=385788 CPUtime=1.17 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 7387 0 0 0 115 2 0 0 19 0 4 0 517787712 395046912 22099 33554432000 4194304 4650419 140734378019216 18446744073709551615 4364307 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=385788 CPUtime=1.18 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 7118 0 0 0 116 2 0 0 19 0 4 0 517787712 395046912 22099 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=385788 CPUtime=1.17 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 3687 0 0 0 115 2 0 0 19 0 4 0 517787712 395046912 22099 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363620 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 385788

[startup+1.50041 s]
/proc/loadavg: 3.24 4.37 5.98 2/178 6288
/proc/meminfo: memFree=25056356/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=385788 CPUtime=5.92 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 26649 0 0 0 581 11 0 0 19 0 4 0 517787711 395046912 23170 33554432000 4194304 4650419 140734378019216 18446744073709551615 4367287 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 96447 23170 391 112 0 91412 0
[pid=6288/tid=6289] ppid=6286 vsize=385788 CPUtime=1.47 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 7653 0 0 0 145 2 0 0 19 0 4 0 517787712 395046912 23170 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=385788 CPUtime=1.48 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 7398 0 0 0 146 2 0 0 19 0 4 0 517787712 395046912 23170 33554432000 4194304 4650419 140734378019216 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=385788 CPUtime=1.47 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 3943 0 0 0 145 2 0 0 19 0 4 0 517787712 395046912 23170 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 385788

[startup+3.10112 s]
/proc/loadavg: 3.78 4.46 6.01 9/188 6301
/proc/meminfo: memFree=24696800/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=538332 CPUtime=12.32 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 32165 0 0 0 1219 13 0 0 25 0 4 0 517787711 551251968 28686 33554432000 4194304 4650419 140734378019216 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 134583 28687 391 112 0 129548 0
[pid=6288/tid=6289] ppid=6286 vsize=538332 CPUtime=3.07 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 9019 0 0 0 305 2 0 0 24 0 4 0 517787712 551251968 28687 33554432000 4194304 4650419 140734378019216 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=538332 CPUtime=3.06 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 8780 0 0 0 304 2 0 0 25 0 4 0 517787712 551251968 28687 33554432000 4194304 4650419 140734378019216 18446744073709551615 4364590 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=538332 CPUtime=3.07 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 5309 0 0 0 305 2 0 0 25 0 4 0 517787712 551251968 28687 33554432000 4194304 4650419 140734378019216 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 538332

[startup+6.30653 s]
/proc/loadavg: 4.12 4.52 6.02 9/188 6301
/proc/meminfo: memFree=24671616/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=397324 CPUtime=25.12 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 47595 0 0 0 2495 17 0 0 25 0 4 0 517787711 406859776 27855 33554432000 4194304 4650419 140734378019216 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 99331 27855 394 112 0 94296 0
[pid=6288/tid=6289] ppid=6286 vsize=397324 CPUtime=6.27 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 12697 0 0 0 624 3 0 0 25 0 4 0 517787712 406859776 27855 33554432000 4194304 4650419 140734378019216 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=397324 CPUtime=6.25 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 12854 0 0 0 622 3 0 0 25 0 4 0 517787712 406859776 27855 33554432000 4194304 4650419 140734378019216 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=397324 CPUtime=6.27 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 9079 0 0 0 624 3 0 0 25 0 4 0 517787712 406859776 27855 33554432000 4194304 4650419 140734378019216 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 397324

[startup+12.7004 s]
/proc/loadavg: 4.43 4.58 6.03 9/188 6302
/proc/meminfo: memFree=24479408/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=576224 CPUtime=50.66 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 115147 0 0 0 5034 32 0 0 25 0 4 0 517787711 590053376 82727 33554432000 4194304 4650419 140734378019216 18446744073709551615 4333407 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 144056 82727 395 112 0 139021 0
[pid=6288/tid=6289] ppid=6286 vsize=576224 CPUtime=12.67 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 33615 0 0 0 1260 7 0 0 25 0 4 0 517787712 590053376 82727 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=576224 CPUtime=12.61 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 23618 0 0 0 1256 5 0 0 25 0 4 0 517787712 590053376 82727 33554432000 4194304 4650419 140734378019216 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=576224 CPUtime=12.67 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 27979 0 0 0 1259 8 0 0 19 0 4 0 517787712 590053376 82727 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476213 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 576224

[startup+25.501 s]
/proc/loadavg: 4.98 4.69 6.05 10/188 6302
/proc/meminfo: memFree=24181436/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=545156 CPUtime=101.78 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 157780 0 0 0 10134 44 0 0 25 0 4 0 517787711 558239744 86509 33554432000 4194304 4650419 140734378019216 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 136289 86509 395 112 0 131254 0
[pid=6288/tid=6289] ppid=6286 vsize=545156 CPUtime=25.47 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 42045 0 0 0 2538 9 0 0 25 0 4 0 517787712 558239744 86509 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=545156 CPUtime=25.34 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 35410 0 0 0 2525 9 0 0 25 0 4 0 517787712 558239744 86509 33554432000 4194304 4650419 140734378019216 18446744073709551615 246516502895 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=545156 CPUtime=25.47 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 38082 0 0 0 2536 11 0 0 25 0 4 0 517787712 558239744 86509 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 545156

[startup+51.1003 s]
/proc/loadavg: 6.14 4.99 6.11 9/188 6303
/proc/meminfo: memFree=23883284/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=871732 CPUtime=204.04 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 253761 0 0 0 20338 66 0 0 25 0 4 0 517787711 892653568 123813 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 217933 123813 395 112 0 212898 0
[pid=6288/tid=6289] ppid=6286 vsize=871732 CPUtime=51.07 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 56665 0 0 0 5095 12 0 0 25 0 4 0 517787712 892653568 123813 33554432000 4194304 4650419 140734378019216 18446744073709551615 4315153 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=871732 CPUtime=50.8 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 51131 0 0 0 5066 14 0 0 25 0 4 0 517787712 892653568 123813 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363556 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=871732 CPUtime=51.07 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 59539 0 0 0 5091 16 0 0 25 0 4 0 517787712 892653568 123813 33554432000 4194304 4650419 140734378019216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 871732

[startup+102.301 s]
/proc/loadavg: 7.39 5.52 6.22 9/188 6304
/proc/meminfo: memFree=23690536/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=887432 CPUtime=408.56 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 451539 0 0 0 40743 113 0 0 25 0 4 0 517787711 908730368 145728 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 221858 145728 395 112 0 216823 0
[pid=6288/tid=6289] ppid=6286 vsize=887432 CPUtime=102.26 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 82219 0 0 0 10205 21 0 0 25 0 4 0 517787712 908730368 145728 33554432000 4194304 4650419 140734378019216 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=887432 CPUtime=101.72 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 82449 0 0 0 10148 24 0 0 25 0 4 0 517787712 908730368 145728 33554432000 4194304 4650419 140734378019216 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=887432 CPUtime=102.27 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 93837 0 0 0 10198 29 0 0 25 0 4 0 517787712 908730368 145728 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.56
Current children cumulated vsize (KiB) 887432

[startup+162.301 s]

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

[pid=6288] ppid=6286 vsize=1380568 CPUtime=2805.26 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 1805864 0 0 0 279973 553 0 0 25 0 4 0 517787711 1413701632 239345 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 345142 239346 395 112 0 340107 0
[pid=6288/tid=6289] ppid=6286 vsize=1380568 CPUtime=702.26 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 445044 0 0 0 70107 119 0 0 25 0 4 0 517787712 1413701632 239346 33554432000 4194304 4650419 140734378019216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=1380568 CPUtime=698.43 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 341778 0 0 0 69712 131 0 0 25 0 4 0 517787712 1413701632 239346 33554432000 4194304 4650419 140734378019216 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=1380568 CPUtime=702.26 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 380609 0 0 0 70080 146 0 0 25 0 4 0 517787712 1413701632 239346 33554432000 4194304 4650419 140734378019216 18446744073709551615 4331107 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.26
Current children cumulated vsize (KiB) 1380568

[startup+762.3 s]
/proc/loadavg: 8.15 7.86 7.20 9/188 6322
/proc/meminfo: memFree=22712656/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=1316028 CPUtime=3044.93 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 1917768 0 0 0 303898 595 0 0 25 0 4 0 517787711 1347612672 221918 33554432000 4194304 4650419 140734378019216 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 329007 221918 395 112 0 323972 0
[pid=6288/tid=6289] ppid=6286 vsize=1316028 CPUtime=762.26 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 468522 0 0 0 76099 127 0 0 25 0 4 0 517787712 1347612672 221918 33554432000 4194304 4650419 140734378019216 18446744073709551615 4303968 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=1316028 CPUtime=758.1 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 369166 0 0 0 75667 143 0 0 25 0 4 0 517787712 1347612672 221918 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=1316028 CPUtime=762.26 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 408078 0 0 0 76070 156 0 0 25 0 4 0 517787712 1347612672 221918 33554432000 4194304 4650419 140734378019216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.93
Current children cumulated vsize (KiB) 1316028

[startup+822.3 s]
/proc/loadavg: 8.17 7.91 7.25 9/188 6323
/proc/meminfo: memFree=22618368/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=1396856 CPUtime=3284.6 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 2125950 0 0 0 327810 650 0 0 25 0 4 0 517787711 1430380544 267802 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363592 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 349214 267802 395 112 0 344179 0
[pid=6288/tid=6289] ppid=6286 vsize=1396856 CPUtime=822.26 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 493410 0 0 0 82090 136 0 0 25 0 4 0 517787712 1430380544 267802 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=1396856 CPUtime=817.77 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 492937 0 0 0 81614 163 0 0 25 0 4 0 517787712 1430380544 267802 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=1396856 CPUtime=822.26 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 437723 0 0 0 82059 167 0 0 25 0 4 0 517787712 1430380544 267802 33554432000 4194304 4650419 140734378019216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.6
Current children cumulated vsize (KiB) 1396856

[startup+882.3 s]
/proc/loadavg: 8.15 7.95 7.31 9/188 6325
/proc/meminfo: memFree=22532264/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=1344684 CPUtime=3524.27 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 2348384 0 0 0 351718 709 0 0 25 0 4 0 517787711 1376956416 267761 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 336171 267761 395 112 0 331136 0
[pid=6288/tid=6289] ppid=6286 vsize=1344684 CPUtime=882.26 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 498761 0 0 0 88087 139 0 0 25 0 4 0 517787712 1376956416 267761 33554432000 4194304 4650419 140734378019216 18446744073709551615 4334024 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=1344684 CPUtime=877.44 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 656354 0 0 0 87557 187 0 0 25 0 4 0 517787712 1376956416 267761 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=1344684 CPUtime=882.27 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 465546 0 0 0 88043 184 0 0 25 0 4 0 517787712 1376956416 267761 33554432000 4194304 4650419 140734378019216 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.27
Current children cumulated vsize (KiB) 1344684

[startup+942.3 s]
/proc/loadavg: 8.17 7.99 7.36 9/188 6326
/proc/meminfo: memFree=22510156/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=1411244 CPUtime=3763.96 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 2558402 0 0 0 375630 766 0 0 25 0 4 0 517787711 1445113856 272297 33554432000 4194304 4650419 140734378019216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 352811 272297 395 112 0 347776 0
[pid=6288/tid=6289] ppid=6286 vsize=1411244 CPUtime=942.27 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 519446 0 0 0 94077 150 0 0 25 0 4 0 517787712 1445113856 272297 33554432000 4194304 4650419 140734378019216 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=1411244 CPUtime=937.12 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 776237 0 0 0 93507 205 0 0 25 0 4 0 517787712 1445113856 272297 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=1411244 CPUtime=942.27 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 506618 0 0 0 94029 198 0 0 25 0 4 0 517787712 1445113856 272297 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476185 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.96
Current children cumulated vsize (KiB) 1411244

[startup+1002.3 s]
/proc/loadavg: 8.30 8.06 7.42 9/188 6328
/proc/meminfo: memFree=22486816/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=1465376 CPUtime=4003.61 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 3021904 0 0 0 399506 855 0 0 25 0 4 0 517787711 1500545024 274784 33554432000 4194304 4650419 140734378019216 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 366344 274784 403 112 0 361309 0
[pid=6288/tid=6289] ppid=6286 vsize=1465376 CPUtime=1002.26 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 539884 0 0 0 100064 162 0 0 25 0 4 0 517787712 1500545024 274784 33554432000 4194304 4650419 140734378019216 18446744073709551615 4334052 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=1465376 CPUtime=996.79 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 959927 0 0 0 99449 230 0 0 25 0 4 0 517787712 1500545024 274784 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=1465376 CPUtime=1002.27 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 738665 0 0 0 99995 232 0 0 25 0 4 0 517787712 1500545024 274785 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.61
Current children cumulated vsize (KiB) 1465376

[startup+1062.31 s]
/proc/loadavg: 8.30 8.10 7.47 9/188 6330
/proc/meminfo: memFree=22402848/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=1465296 CPUtime=4243.3 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 3290870 0 0 0 423409 921 0 0 25 0 4 0 517787711 1500463104 268903 33554432000 4194304 4650419 140734378019216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 366324 268903 395 112 0 361289 0
[pid=6288/tid=6289] ppid=6286 vsize=1465296 CPUtime=1062.26 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 567851 0 0 0 106049 177 0 0 25 0 4 0 517787712 1500463104 268903 33554432000 4194304 4650419 140734378019216 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=1465296 CPUtime=1056.46 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 1047039 0 0 0 105399 247 0 0 25 0 4 0 517787712 1500463104 268903 33554432000 4194304 4650419 140734378019216 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=1465296 CPUtime=1062.27 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 865061 0 0 0 105976 251 0 0 25 0 4 0 517787712 1500463104 268903 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.3
Current children cumulated vsize (KiB) 1465296

[startup+1122.3 s]
/proc/loadavg: 8.21 8.10 7.51 9/188 6331
/proc/meminfo: memFree=22256496/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=1641856 CPUtime=4482.96 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 3440778 0 0 0 447332 964 0 0 25 0 4 0 517787711 1681260544 324836 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 410464 324836 395 112 0 405429 0
[pid=6288/tid=6289] ppid=6286 vsize=1641856 CPUtime=1122.26 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 602820 0 0 0 112041 185 0 0 25 0 4 0 517787712 1681260544 324836 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=1641856 CPUtime=1116.13 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 1070362 0 0 0 111352 261 0 0 25 0 4 0 517787712 1681260544 324836 33554432000 4194304 4650419 140734378019216 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=1641856 CPUtime=1122.27 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 865061 0 0 0 111976 251 0 0 25 0 4 0 517787712 1681260544 324836 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.96
Current children cumulated vsize (KiB) 1641856

[startup+1182.3 s]
/proc/loadavg: 8.26 8.13 7.56 9/188 6333
/proc/meminfo: memFree=22122804/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=1696040 CPUtime=4722.64 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 3699499 0 0 0 471249 1015 0 0 25 0 4 0 517787711 1736744960 331317 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476449 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 424010 331317 395 112 0 418975 0
[pid=6288/tid=6289] ppid=6286 vsize=1696040 CPUtime=1182.26 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 602820 0 0 0 118041 185 0 0 25 0 4 0 517787712 1736744960 331317 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=1696040 CPUtime=1175.79 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 1090537 0 0 0 117305 274 0 0 25 0 4 0 517787712 1736744960 331317 33554432000 4194304 4650419 140734378019216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=1696040 CPUtime=1182.27 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 865061 0 0 0 117976 251 0 0 25 0 4 0 517787712 1736744960 331317 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476234 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.64
Current children cumulated vsize (KiB) 1696040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.18 8.12 7.56 9/188 6333
/proc/meminfo: memFree=22144496/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=1709832 CPUtime=4800.15 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 3786777 0 0 0 478983 1032 0 0 25 0 4 0 517787711 1750867968 329786 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476129 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 427458 329786 395 112 0 422423 0
[pid=6288/tid=6289] ppid=6286 vsize=1709832 CPUtime=1201.67 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 602820 0 0 0 119982 185 0 0 25 0 4 0 517787712 1750867968 329786 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=1709832 CPUtime=1195.09 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 1099362 0 0 0 119229 280 0 0 25 0 4 0 517787712 1750867968 329786 33554432000 4194304 4650419 140734378019216 18446744073709551615 4333974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=1709832 CPUtime=1201.68 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 865061 0 0 0 119917 251 0 0 25 0 4 0 517787712 1750867968 329786 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1709832

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.18 8.12 7.56 9/188 6333
/proc/meminfo: memFree=22144496/32951124 swapFree=67111352/67111528
[pid=6288] ppid=6286 vsize=1709832 CPUtime=4800.15 cores=1,3,5,7
/proc/6288/stat : 6288 (strangenight1-m) R 6286 6288 6256 0 -1 4202496 3786777 0 0 0 478983 1032 0 0 25 0 4 0 517787711 1750867968 329786 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476129 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6288/statm: 427458 329786 395 112 0 422423 0
[pid=6288/tid=6289] ppid=6286 vsize=1709832 CPUtime=1201.67 cores=1,3,5,7
/proc/6288/task/6289/stat : 6289 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 602820 0 0 0 119982 185 0 0 25 0 4 0 517787712 1750867968 329786 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6288/tid=6290] ppid=6286 vsize=1709832 CPUtime=1195.09 cores=1,3,5,7
/proc/6288/task/6290/stat : 6290 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 1099362 0 0 0 119229 280 0 0 25 0 4 0 517787712 1750867968 329786 33554432000 4194304 4650419 140734378019216 18446744073709551615 4333974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6288/tid=6291] ppid=6286 vsize=1709832 CPUtime=1201.68 cores=1,3,5,7
/proc/6288/task/6291/stat : 6291 (strangenight1-m) R 6286 6288 6256 0 -1 4202560 865061 0 0 0 119917 251 0 0 25 0 4 0 517787712 1750867968 329786 33554432000 4194304 4650419 140734378019216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1709832

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.25
CPU user time (s): 4789.86
CPU system time (s): 10.3894
CPU usage (%): 399.431
Max. virtual memory (cumulated for all children) (KiB): 1709832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.86
system time used= 10.3894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3787170
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= 4680
involuntary context switches= 38888

runsolver used 1.77973 second user time and 4.79627 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-29 09:24:55
IDJOB=3174966
IDBENCH=82584
IDSOLVER=1588
FILE ID=node134/3174966-1304061895
RUNJOBID= node134-1304061895-6275
PBS_JOBID= 13170453
Free space on /tmp= 71584 MiB

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

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

MD5SUM BENCH= cf967108532c9cfea4028aa361399380
RANDOM SEED=584731524

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25056636 kB
Buffers:       1476848 kB
Cached:        5827248 kB
SwapCached:         64 kB
Active:        1420344 kB
Inactive:      5951232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25056636 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            9064 kB
Writeback:           0 kB
AnonPages:       67680 kB
Mapped:          14560 kB
Slab:           458408 kB
PageTables:       4600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190272 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71568 MiB
End job on node134 at 2011-04-29 09:44:59