Trace number 3368605

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.21 1202.57

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf
MD5SUM21fe95d2e5d58f03a2d75a4512a80cd8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark23.1745
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-3368605-1305398466.cnf'
0.00/0.01	c -- header says num vars:          15000
0.00/0.01	c -- header says num clauses:       63000
0.12/0.13	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.12/0.13	c -- vars added      15000
0.12/0.13	c Parsing time:  0.15 s
0.12/0.13	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.12/0.13	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.12/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.12/0.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.12/0.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.12/0.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.12/0.91	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
0.12/0.91	c lits-rem:         0  cl-subs:        0  v-elim:    535  v-fix:    0  time:  0.56 s
0.12/0.91	c Finding binary XORs  T:     0.01 s  found:       0
0.12/0.91	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
0.12/0.91	c calculated reachability. Time: 0.00
0.12/0.91	c Calc default polars -  time:   0.02 s pos:    6551 undec:    1779 neg:    6670
0.12/0.91	c =========================================================================================
0.12/0.91	c types(t): F = full restart, N = normal restart
0.12/0.91	c types(t): S = simplification begin/end, E = solution found
0.12/0.91	c restart types(rt): st = static, dy = dynamic
0.12/0.91	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.12/0.91	c  B st     0         0     14465     62330         0         0    189892         0   no data   no data  --
4.78/1.21	c  N dy    15      4079     14465     62330         0      4078    189892    837354    124.65    132.62  --
7.59/1.93	c  N dy    35      8179     14465     62330         0      8178    189892   1596329    118.16    125.73  --
10.76/2.76	c  N dy    60     12258     14465     62330         0     12257    189892   2335665    117.65    134.14  --
14.35/3.67	c  N dy    84     16562     14465     62330         0     16561    189892   3121082    116.03    122.60  --
17.94/4.57	c  N dy   110     20596     14465     62330         0     10599    189892    624187    114.96    121.24  --
21.53/5.43	c  N dy   136     24657     14465     62330         0     14660    189892   1365844    115.21    126.06  --
21.93/5.50	c  F st   138     25001     14465     62330         0     15004    189892   1426684    115.15    103.05  --
26.32/6.69	c  N dy   144     30004     14465     62330         0     20006    189892   2698049    115.15   no data  --
26.32/6.69	c  S st   144     30004     14465     62330         0     20006    189892   2698049    115.15   no data  --
27.12/6.81	c  S st   144     30508     14465     62330         0     20510    189892   2766241    115.15   no data  --
27.12/6.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.12/6.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.12/6.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
27.92/7.09	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.32/7.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
28.32/7.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.01 s
28.32/7.11	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
45.08/11.30	c lits-rem:        47  cl-subs:        3  v-elim:      0  v-fix:    0  time: 16.63 s
45.08/11.39	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.36
45.08/11.39	c calculated reachability. Time: 0.00
45.08/11.39	c  N dy   144     30508     14465     62330         0     20507    189892   2765090    115.15   no data  --
49.47/12.44	c  N dy   166     34567     14465     62330         0     24564    189892   3478936    114.46    120.91  --
53.47/13.49	c  N dy   190     38602     14465     62330         0     28598    189892   4205176    114.28    129.45  --
58.66/14.72	c  N dy   214     43192     14465     62330         0     17689    189892   1017806    113.73    122.28  --
61.05/15.39	c  S st   233     45763     14465     62330         0     20258    189892   1484393    114.05   no data  --
61.85/15.51	c  S st   233     46267     14465     62330         0     20762    189892   1540797    114.05   no data  --
61.85/15.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
61.85/15.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.85/15.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.26
62.25/15.68	c bin-w-bin subsume rem            0 bins  time:  0.02 s
62.25/15.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
62.25/15.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
62.25/15.69	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
73.45/18.48	c lits-rem:        10  cl-subs:        4  v-elim:      0  v-fix:    0  time: 11.10 s
73.45/18.49	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
73.86/18.51	c vivif2 --  cl tried    20758 cl shrink        0 lits rem          0 time: 0.08
73.86/18.59	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.32
73.86/18.59	c calculated reachability. Time: 0.00
73.86/18.59	c  N dy   233     46267     14465     62330         0     20758    189892   1538842    114.05   no data  --
77.85/19.54	c  N dy   257     50355     14465     62330         0     24846    189892   2277077    113.94    121.63  --
81.82/20.53	c  N dy   284     54477     14465     62330         0     28968    189892   3012564    113.65    120.37  --
85.81/21.56	c  N dy   315     58634     14465     62330         0     33124    189892   3753515    113.76    120.95  --
89.79/22.58	c  N dy   341     62662     14465     62330         0     37151    189892   4472687    113.75    122.79  --
93.78/23.58	c  N dy   369     66734     14465     62330         0     22481    189892   1288499    113.88    174.73  --
96.58/24.21	c  S st   387     69400     14465     62330         0     25147    189892   1770736    113.88     97.33  --
96.98/24.33	c  S st   387     69906     14465     62330         0     25653    189892   1843303    113.88   no data  --
96.98/24.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
96.98/24.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.38/24.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
97.78/24.52	c bin-w-bin subsume rem            0 bins  time:  0.02 s
97.78/24.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
97.78/24.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
97.78/24.53	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
111.75/28.00	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 13.80 s
111.75/28.01	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
111.75/28.03	c vivif2 --  cl tried    25649 cl shrink        0 lits rem          0 time: 0.10
112.15/28.12	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.34
112.15/28.12	c calculated reachability. Time: 0.00
112.15/28.12	c  N dy   387     69906     14465     62330         0     25649    189892   1842169    113.88   no data  --
116.54/29.23	c  N dy   416     74487     14465     62330         0     30230    189892   2673196    113.87    123.32  --
121.33/30.46	c  N dy   450     79251     14465     62330         0     34994    189892   3534245    113.89    121.99  --
126.54/31.79	c  N dy   482     84311     14465     62330         0     40054    189892   4440579    113.90    121.16  --
130.11/32.61	c  F st   501     87501     14465     62330         0     22367    189892    834680    113.83   no data  --
133.29/33.43	c  N st   506     90801     14465     62330         0     25666    189892   1566730    113.83   no data  --
139.31/34.95	c  N dy   534     96748     14465     62330         0     31611    189892   2771815    114.02    125.09  --
146.07/36.60	c  N dy   576    102924     14465     62330         0     37787    189892   3907819    114.24    128.12  --
148.09/37.13	c  S st   590    104860     14465     62330         0     39723    189892   4267316    114.28    120.80  --
148.50/37.27	c  S st   590    105367     14465     62330         0     40230    189892   4334706    114.28   no data  --
148.50/37.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
148.50/37.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.86/37.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.31
150.06/37.61	c bin-w-bin subsume rem            0 bins  time:  0.02 s
150.06/37.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
150.06/37.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
150.06/37.63	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
267.42/67.05	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 117.24 s
267.42/67.05	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
267.82/67.11	c vivif2 --  cl tried    40226 cl shrink        0 lits rem          0 time: 0.22
268.22/67.22	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.47
268.22/67.23	c calculated reachability. Time: 0.00
268.22/67.23	c  N dy   590    105367     14465     62330         0     40226    189892   4334295    114.28   no data  --
275.43/69.06	c  N dy   640    112126     14465     62330         0     24547    189892    916545    114.38    141.87  --
282.59/70.84	c  N dy   678    119370     14465     62330         0     31791    189892   2249743    114.22    121.31  --
290.57/72.88	c  N dy   728    127132     14465     62330         0     39553    189892   3685791    114.39    120.61  --
299.76/75.14	c  N dy   781    135255     14465     62330         0     23960    189892    547963    114.48    126.96  --
308.54/77.34	c  N dy   842    143986     14465     62330         0     32691    189892   2133381    114.51    121.41  --
318.12/79.78	c  N dy   902    153249     14465     62330         0     41953    189892   3845078    114.63    123.69  --
323.31/81.10	c  S st   930    158053     14465     62330         0     46756    189892   4698453    114.55     96.41  --
324.14/81.26	c  S st   930    158556     14465     62330         0     47259    189892   4764654    114.55   no data  --
324.14/81.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
324.14/81.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
324.50/81.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.33
325.71/81.61	c bin-w-bin subsume rem            0 bins  time:  0.02 s
325.71/81.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
325.71/81.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
325.71/81.62	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
508.57/127.43	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 182.54 s
508.57/127.43	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
508.93/127.50	c vivif2 --  cl tried    47256 cl shrink        0 lits rem          0 time: 0.26
509.33/127.64	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.56
509.33/127.64	c calculated reachability. Time: 0.00
509.33/127.64	c  N dy   930    158556     14465     62330         0     47256    189892   4763990    114.55   no data  --
520.12/130.39	c  N dy   995    168723     14465     62330         0     32566    189892   1869604    114.56    121.36  --
532.48/133.47	c  N dy  1072    179640     14465     62330         0     43481    189892   3867375    114.69    122.19  --
546.05/136.83	c  N dy  1149    191175     14465     62330         0     29094    189892   1046494    114.70    124.41  --
559.23/140.17	c  N dy  1223    203406     14465     62330         0     41324    189892   3305320    114.67    122.37  --
575.20/144.11	c  N dy  1310    216474     14465     62330         0     27426    189892    532405    114.61    140.28  --
589.96/147.87	c  N dy  1404    230380     14465     62330         0     41329    189892   3063609    114.68    121.22  --
598.75/150.06	c  S st  1452    237836     14465     62330         0     48785    189892   4422104    114.65   no data  --
599.55/150.22	c  S st  1452    238338     14465     62330         0     49287    189892   4487704    114.65   no data  --
599.55/150.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
599.55/150.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
599.94/150.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
600.77/150.56	c bin-w-bin subsume rem            0 bins  time:  0.02 s
600.77/150.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
600.77/150.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
600.77/150.58	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
774.79/194.12	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 173.35 s
774.79/194.12	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
774.79/194.18	c vivif2 --  cl tried    49283 cl shrink        0 lits rem          0 time: 0.24
775.58/194.33	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.56
775.58/194.33	c calculated reachability. Time: 0.00
775.58/194.33	c  N dy  1452    238338     14465     62330         0     49283    189892   4486041    114.65   no data  --
793.15/198.78	c  N dy  1554    253614     14465     62330         0     36576    189892   2033124    114.69    146.99  --
812.31/203.57	c  N dy  1663    269819     14465     62330         0     52780    189892   5015505    114.82    122.68  --
832.67/208.62	c  N dy  1783    287151     14465     62330         0     41124    189892   2664753    114.97    121.59  --
854.63/214.16	c  N dy  1907    305545     14465     62330         0     59518    189892   6032860    115.02    125.30  --
855.81/214.41	c  F st  1914    306250     14465     62330         0     30228    189892    471156    115.04   no data  --
876.18/219.55	c  N dy  2004    325067     14465     62330         0     49042    189892   4260206    115.06    124.29  --
900.13/225.53	c  N dy  2138    345144     14465     62330         0     38124    189892   1742105    115.06    121.29  --
914.50/229.18	c  S st  2222    357508     14465     62330         0     50486    189892   4043747    115.09   no data  --
915.30/229.35	c  S st  2222    358011     14465     62330         0     50989    189892   4114311    115.09   no data  --
915.30/229.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
915.30/229.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
915.70/229.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
916.52/229.67	c bin-w-bin subsume rem            0 bins  time:  0.02 s
916.52/229.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
916.52/229.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
916.52/229.69	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1058.21/265.13	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 141.17 s
1058.21/265.14	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
1058.61/265.20	c vivif2 --  cl tried    50988 cl shrink        0 lits rem          0 time: 0.22
1059.01/265.34	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.58
1059.01/265.35	c calculated reachability. Time: 0.00
1059.01/265.35	c  N dy  2222    358011     14465     62330         0     50988    189892   4113700    115.09   no data  --
1083.79/271.56	c  N dy  2361    378112     14465     62330         0     39093    189892   1745673    115.20    129.59  --
1108.11/277.62	c  N dy  2491    398151     14465     62330         0     59129    189892   5384504    115.17    121.46  --
1132.85/283.89	c  N dy  2628    418160     14465     62330         0     46139    189892   2870382    115.24    132.80  --
1160.00/290.66	c  N dy  2764    438316     14465     62330         0     66293    189892   6609521    115.33    122.68  --
1184.78/296.82	c  N dy  2890    458328     14465     62330         0     52310    189892   3821792    115.34    121.74  --
1211.89/303.62	c  N dy  3015    478390     14465     62330         0     37372    189892    866657    115.33    123.31  --
1236.65/309.89	c  N dy  3144    498453     14465     62330         0     57434    189892   4587979    115.37    136.29  --
1263.81/316.65	c  N dy  3261    518654     14465     62330         0     41639    189892   1461714    115.31    122.35  --
1287.74/322.65	c  S st  3374    537016     14465     62330         0     59999    189892   4835768    115.28   no data  --
1288.53/322.85	c  S st  3374    537519     14465     62330         0     60502    189892   4902104    115.28   no data  --
1288.53/322.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1288.53/322.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1288.93/322.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.40
1290.16/323.25	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1290.16/323.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1290.16/323.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
1290.16/323.26	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1536.42/384.97	c lits-rem:         0  cl-subs:        7  v-elim:      0  v-fix:    0  time: 245.77 s
1536.42/384.98	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
1536.82/385.04	c vivif2 --  cl tried    60495 cl shrink        0 lits rem          0 time: 0.26
1537.62/385.20	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.63
1537.62/385.21	c calculated reachability. Time: 0.00
1537.62/385.21	c  N dy  3374    537519     14465     62330         0     60495    189892   4899055    115.28   no data  --
1562.77/391.53	c  N dy  3512    557607     14465     62330         0     43587    189892   1685991    115.35    121.80  --
1586.73/397.50	c  N dy  3646    577789     14465     62330         0     63769    189892   5357879    115.35    121.75  --
1611.47/403.71	c  N dy  3773    597851     14465     62330         0     45842    189892   1888504    115.33    127.25  --
1635.43/409.77	c  N dy  3896    617907     14465     62330         0     65897    189892   5570780    115.33    123.74  --
1660.97/416.10	c  N dy  4023    638087     14465     62330         0     47070    189892   1903170    115.30    121.99  --
1685.72/422.30	c  N dy  4159    658207     14465     62330         0     67188    189892   5639216    115.34    123.16  --
1710.87/428.65	c  N dy  4286    678274     14465     62330         0     47250    189892   1740841    115.34    165.62  --
1735.21/434.72	c  N dy  4407    698292     14465     62330         0     67267    189892   5376204    115.28    121.39  --
1761.17/441.25	c  N dy  4524    718394     14465     62330         0     46365    189892   1430449    115.23    122.49  --
1785.12/447.29	c  N dy  4649    738535     14465     62330         0     66504    189892   5089705    115.21    125.34  --
1812.28/454.01	c  N dy  4779    758550     14465     62330         0     44523    189892    903795    115.21    122.12  --
1836.61/460.12	c  N dy  4913    778936     14465     62330         0     64908    189892   4632561    115.18    121.80  --
1863.76/466.93	c  N dy  5038    798969     14465     62330         0     84939    189892   8279149    115.17    122.62  --
1872.54/469.12	c  S st  5084    806279     14465     62330         0     49255    189892   1598246    115.16    114.04  --
1872.94/469.28	c  S st  5084    806781     14465     62330         0     49757    189892   1675193    115.16   no data  --
1872.94/469.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1872.94/469.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1873.34/469.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1873.75/469.48	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1873.75/469.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1873.75/469.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
1873.75/469.49	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1888.91/473.29	c lits-rem:         6  cl-subs:        2  v-elim:      0  v-fix:    0  time: 15.13 s
1888.91/473.29	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
1889.31/473.32	c vivif2 --  cl tried    49755 cl shrink        0 lits rem          0 time: 0.10
1889.71/473.45	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.52
1889.71/473.45	c calculated reachability. Time: 0.00
1889.71/473.46	c  N dy  5084    806781     14465     62330         0     49755    189892   1674882    115.16   no data  --
1914.45/479.63	c  N dy  5212    826787     14465     62330         0     69759    189892   5352646    115.15    122.55  --
1942.00/486.53	c  N dy  5339    846801     14465     62330         0     45774    189892    781425    115.16    121.41  --
1966.38/492.69	c  N dy  5473    866956     14465     62330         0     65928    189892   4510102    115.18    122.36  --
1997.11/500.32	c  N dy  5608    887069     14465     62330         0     86039    189892   8226037    115.20    121.89  --
2024.22/507.15	c  N dy  5734    907213     14465     62330         0     61187    189892   3437149    115.21    126.67  --
2053.37/514.43	c  N dy  5864    927254     14465     62330         0     81224    189892   7118112    115.21    123.51  --
2082.50/521.78	c  N dy  5994    947349     14465     62330         0     55324    189892   2152354    115.20    138.66  --
2110.87/528.81	c  N dy  6135    967541     14465     62330         0     75513    189892   5830489    115.21    123.43  --
2142.38/536.79	c  N dy  6272    987708     14465     62330         0     48682    189892    766596    115.24    124.97  --
2169.53/543.56	c  N dy  6407   1007779     14465     62330         0     68751    189892   4485292    115.25    123.99  --
2200.67/551.30	c  N dy  6544   1027788     14465     62330         0     88759    189892   8164451    115.26    124.68  --
2229.42/558.53	c  N dy  6677   1047874     14465     62330         0     60847    189892   2848097    115.27    121.45  --
2258.55/565.84	c  N dy  6802   1067942     14465     62330         0     80912    189892   6579019    115.28    126.00  --
2264.55/567.37	c  F st  6825   1071877     14465     62330         0     84847    189892   7312348    115.28    104.45  --
2290.08/573.75	c  N dy  6905   1087964     14465     62330         0     51935    189892   1006786    115.28    122.90  --
2317.65/580.69	c  N dy  7038   1108150     14465     62330         0     72120    189892   4712868    115.29    128.55  --
2349.16/588.59	c  N dy  7169   1128235     14465     62330         0     92203    189892   8385518    115.30    151.28  --
2377.91/595.74	c  N dy  7303   1148386     14465     62330         0     62359    189892   2729112    115.30    122.00  --
2406.24/602.87	c  N dy  7428   1168423     14465     62330         0     82395    189892   6440697    115.30    136.16  --
2438.57/610.94	c  N dy  7557   1188704     14465     62330         0     51675    189892    603095    115.30    122.41  --
2465.32/617.64	c  N dy  7681   1209018     14465     62330         0     71988    189892   4333043    115.30    122.33  --
2466.95/618.03	c  S st  7690   1210171     14465     62330         0     73141    189892   4543510    115.30   no data  --
2467.71/618.22	c  S st  7690   1210675     14465     62330         0     73645    189892   4615048    115.30   no data  --
2467.71/618.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2467.71/618.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2468.11/618.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
2468.91/618.58	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2468.91/618.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2468.91/618.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
2469.32/618.60	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
2681.27/671.70	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 211.59 s
2681.27/671.71	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
2681.27/671.77	c vivif2 --  cl tried    73641 cl shrink        0 lits rem          0 time: 0.26
2682.11/671.95	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.70
2682.11/671.96	c calculated reachability. Time: 0.00
2682.11/671.96	c  N dy  7690   1210675     14465     62330         0     73641    189892   4614019    115.30   no data  --
2710.81/679.11	c  N dy  7822   1230712     14465     62330         0     93677    189892   8319591    115.32    123.69  --
2738.77/686.14	c  N dy  7950   1250808     14465     62330         0     61784    189892   2281649    115.31    121.82  --
2765.89/692.92	c  N dy  8087   1270951     14465     62330         0     81925    189892   5982175    115.32    123.04  --
2796.26/700.57	c  N dy  8216   1291082     14465     62330         0    102055    189892   9699920    115.33    122.12  --
2823.37/707.32	c  N dy  8345   1311295     14465     62330         0     69269    189892   3463454    115.31    124.72  --
2851.71/714.47	c  N dy  8484   1331363     14465     62330         0     89333    189892   7228908    115.34    123.68  --
2884.08/722.56	c  N dy  8624   1351522     14465     62330         0     55489    189892    765743    115.35    121.57  --
2910.01/729.01	c  N dy  8763   1371566     14465     62330         0     75532    189892   4482493    115.38    156.61  --
2938.74/736.28	c  N dy  8894   1391604     14465     62330         0     95569    189892   8154135    115.39    124.24  --
2969.07/743.87	c  N dy  9026   1411620     14465     62330         0     60593    189892   1528374    115.42    124.42  --
2995.81/750.50	c  N dy  9157   1431767     14465     62330         0     80739    189892   5249663    115.43    123.31  --
3026.15/758.12	c  N dy  9291   1451799     14465     62330         0    100770    189892   8923082    115.44    127.77  --
3056.08/765.60	c  N dy  9428   1471802     14465     62330         0     64776    189892   2147707    115.46    148.41  --
3083.63/772.53	c  N dy  9565   1491901     14465     62330         0     84873    189892   5911447    115.49    135.65  --
3114.76/780.33	c  N dy  9700   1511984     14465     62330         0    104954    189892   9628145    115.51    127.69  --
3145.90/788.18	c  N dy  9841   1532136     14465     62330         0     68103    189892   2564403    115.53    129.68  --
3176.24/795.71	c  N dy  9976   1552294     14465     62330         0     88261    189892   6314501    115.54    122.23  --
3209.36/804.04	c  N dy 10106   1572332     14465     62330         0    108298    189892  10016342    115.55    121.65  --
3242.10/812.26	c  N dy 10241   1592425     14465     62330         0     70398    189892   2860542    115.58    125.98  --
3273.63/820.17	c  N dy 10381   1612450     14465     62330         0     90422    189892   6558644    115.60    136.31  --
3309.58/829.13	c  N dy 10528   1632618     14465     62330         0    110588    189892  10321781    115.64    130.12  --
3341.89/837.24	c  N dy 10669   1652691     14465     62330         0     71661    189892   2899748    115.68    125.90  --
3373.83/845.22	c  N dy 10808   1672747     14465     62330         0     91716    189892   6629302    115.70    123.68  --
3409.35/854.10	c  N dy 10945   1692757     14465     62330         0    111725    189892  10352083    115.73    124.66  --
3438.49/861.44	c  S st 11057   1710678     14465     62330         0     69646    189892   2303135    115.73   no data  --
3439.30/861.65	c  S st 11057   1711180     14465     62330         0     70148    189892   2368710    115.73   no data  --
3439.30/861.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3439.30/861.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3439.70/861.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.43
3440.50/861.92	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3440.50/861.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3440.50/861.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
3440.50/861.94	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3468.83/869.00	c lits-rem:         9  cl-subs:        3  v-elim:      0  v-fix:    0  time: 28.14 s
3468.83/869.00	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.03
3468.83/869.04	c vivif2 --  cl tried    70145 cl shrink        0 lits rem          0 time: 0.14
3469.63/869.22	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.71
3469.63/869.22	c calculated reachability. Time: 0.00
3469.63/869.22	c  N dy 11057   1711180     14465     62330         0     70145    189892   2368153    115.73   no data  --
3499.57/876.75	c  N dy 11194   1731290     14465     62330         0     90252    189892   6065976    115.75    125.08  --
3533.11/885.19	c  N dy 11330   1751388     14465     62330         0    110350    189892   9793255    115.77    141.98  --
3566.23/893.45	c  N dy 11467   1771548     14465     62330         0     69519    189892   2116060    115.78    128.56  --
3596.17/900.95	c  N dy 11599   1791613     14465     62330         0     89582    189892   5782140    115.78    123.42  --
3630.12/909.45	c  N dy 11736   1811727     14465     62330         0    109696    189892   9478517    115.79    126.49  --
3664.03/917.92	c  N dy 11867   1831822     14465     62330         0     67788    189892   1579099    115.79    127.18  --
3693.56/925.31	c  N dy 12001   1851846     14465     62330         0     87810    189892   5281405    115.80    121.90  --
3728.69/934.11	c  N dy 12130   1871900     14465     62330         0    107864    189892   9007699    115.82    122.05  --
3767.41/943.82	c  N dy 12259   1891969     14465     62330         0     64932    189892    902662    115.83    125.07  --
3798.16/951.51	c  N dy 12391   1912186     14465     62330         0     85148    189892   4636263    115.83    127.14  --
3833.68/960.40	c  N dy 12526   1932515     14465     62330         0    105475    189892   8366200    115.83    122.27  --
3872.40/970.14	c  N dy 12663   1952605     14465     62330         0    125563    189892  12114343    115.85    124.53  --
3904.34/978.12	c  N dy 12799   1972653     14465     62330         0     81620    189892   3839258    115.87    125.47  --
3938.67/986.75	c  N dy 12933   1992969     14465     62330         0    101935    189892   7532769    115.87    122.07  --
3977.02/996.31	c  N dy 13065   2013003     14465     62330         0    121968    189892  11273614    115.89    122.48  --
4011.33/1004.98	c  N dy 13195   2033022     14465     62330         0     76991    189892   2788117    115.89    123.91  --
4044.85/1013.37	c  N dy 13338   2053116     14465     62330         0     97082    189892   6553491    115.93    143.68  --
4082.40/1022.76	c  N dy 13474   2073365     14465     62330         0    117330    189892  10277521    115.93    123.80  --
4118.29/1031.72	c  N dy 13610   2093425     14465     62330         0     71390    189892   1530296    115.95    125.00  --
4148.67/1039.32	c  N dy 13748   2113469     14465     62330         0     91429    189892   5245007    115.95    123.90  --
4182.97/1047.90	c  N dy 13885   2133472     14465     62330         0    111432    189892   8982386    115.97    138.75  --
4220.09/1057.25	c  N dy 14011   2153545     14465     62330         0    131505    189892  12691667    115.97    123.61  --
4250.82/1064.91	c  N dy 14146   2173551     14465     62330         0     84520    189892   3819321    115.98    122.89  --
4283.56/1073.11	c  N dy 14274   2193630     14465     62330         0    104598    189892   7459951    115.96    124.88  --
4315.89/1081.22	c  S st 14397   2211180     14465     62330         0    122147    189892  10725902    115.99   no data  --
4317.09/1081.55	c  S st 14397   2211682     14465     62330         0    122649    189892  10789579    115.99   no data  --
4317.09/1081.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4317.09/1081.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4317.89/1081.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.63
4320.68/1082.44	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4320.68/1082.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4320.68/1082.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14465 time:  0.02 s
4320.68/1082.46	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-3368605-1305398466/watcher-3368605-1305398466 -o /tmp/evaluation-result-3368605-1305398466/solver-3368605-1305398466 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368605-1305398466.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: 6.47 7.80 7.96 5/253 12505
/proc/meminfo: memFree=21738028/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 651444481 52465664 357 33554432000 4194304 4650419 140736253677136 18446744073709551615 47332957820445 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 12809 357 306 112 0 7774 0
[pid=12505/tid=12506] ppid=12503 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651444481 52465664 357 33554432000 4194304 4650419 140736253677136 18446744073709551615 47332957820840 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651444481 52465664 357 33554432000 4194304 4650419 140736253677136 18446744073709551615 47332957820445 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651444481 52465664 357 33554432000 4194304 4650419 140736253677136 18446744073709551615 47332957820441 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0365721 s]
/proc/loadavg: 6.47 7.80 7.96 5/253 12505
/proc/meminfo: memFree=21738028/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=295320 CPUtime=0.12 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 9049 0 0 0 11 1 0 0 18 0 4 0 651444481 302407680 8087 33554432000 4194304 4650419 140736253677136 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 74020 8277 344 112 0 68985 0
[pid=12505/tid=12506] ppid=12503 vsize=296080 CPUtime=0.03 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 2407 0 0 0 3 0 0 0 18 0 4 0 651444481 303185920 9113 33554432000 4194304 4650419 140736253677136 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=296080 CPUtime=0.04 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 2429 0 0 0 4 0 0 0 18 0 4 0 651444481 303185920 9115 33554432000 4194304 4650419 140736253677136 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=296080 CPUtime=0.03 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 2616 0 0 0 3 0 0 0 18 0 4 0 651444481 303185920 9117 33554432000 4194304 4650419 140736253677136 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 295320

[startup+0.130997 s]
/proc/loadavg: 6.47 7.80 7.96 5/253 12505
/proc/meminfo: memFree=21738028/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=307912 CPUtime=0.49 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 14094 0 0 0 47 2 0 0 18 0 4 0 651444481 315301888 12018 33554432000 4194304 4650419 140736253677136 18446744073709551615 4426564 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 77253 13204 377 112 0 72218 0
[pid=12505/tid=12506] ppid=12503 vsize=310308 CPUtime=0.12 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 4158 0 0 0 12 0 0 0 18 0 4 0 651444481 317755392 13887 33554432000 4194304 4650419 140736253677136 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=312448 CPUtime=0.14 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) D 12503 12505 12464 0 -1 4202560 4620 0 0 0 14 0 0 0 18 0 4 0 651444481 319946752 15210 33554432000 4194304 4650419 140736253677136 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=317168 CPUtime=0.99 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 3843 0 0 0 99 0 0 0 19 0 4 0 651444481 324780032 20450 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 307912

[startup+1.10531 s]
/proc/loadavg: 6.47 7.80 7.96 5/253 12505
/proc/meminfo: memFree=21738028/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=317168 CPUtime=4.38 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 25513 0 0 0 435 3 0 0 19 0 4 0 651444481 324780032 20823 33554432000 4194304 4650419 140736253677136 18446744073709551615 4330369 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 79292 20823 391 112 0 74257 0
[pid=12505/tid=12506] ppid=12503 vsize=317168 CPUtime=1.08 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 7307 0 0 0 108 0 0 0 19 0 4 0 651444481 324780032 20823 33554432000 4194304 4650419 140736253677136 18446744073709551615 271550196584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=317168 CPUtime=1.09 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 7320 0 0 0 109 0 0 0 19 0 4 0 651444481 324780032 20823 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=317168 CPUtime=1.09 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 3933 0 0 0 109 0 0 0 19 0 4 0 651444481 324780032 20823 33554432000 4194304 4650419 140736253677136 18446744073709551615 4330724 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 317168

[startup+1.2053 s]
/proc/loadavg: 6.47 7.80 7.96 5/253 12505
/proc/meminfo: memFree=21738028/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=317168 CPUtime=4.78 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 25900 0 0 0 475 3 0 0 19 0 4 0 651444481 324780032 21210 33554432000 4194304 4650419 140736253677136 18446744073709551615 4360439 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 79292 21210 391 112 0 74257 0
[pid=12505/tid=12506] ppid=12503 vsize=317168 CPUtime=1.18 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 7404 0 0 0 118 0 0 0 19 0 4 0 651444481 324780032 21211 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=317168 CPUtime=1.19 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 7414 0 0 0 119 0 0 0 19 0 4 0 651444481 324780032 21211 33554432000 4194304 4650419 140736253677136 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=317168 CPUtime=1.18 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 4028 0 0 0 118 0 0 0 19 0 4 0 651444481 324780032 21211 33554432000 4194304 4650419 140736253677136 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 317168

[startup+1.50524 s]
/proc/loadavg: 6.47 7.80 7.96 5/253 12505
/proc/meminfo: memFree=21738028/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=317168 CPUtime=5.99 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 27199 0 0 0 595 4 0 0 20 0 4 0 651444481 324780032 22509 33554432000 4194304 4650419 140736253677136 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 79292 22510 391 112 0 74257 0
[pid=12505/tid=12506] ppid=12503 vsize=317168 CPUtime=1.48 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 7696 0 0 0 148 0 0 0 19 0 4 0 651444481 324780032 22510 33554432000 4194304 4650419 140736253677136 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=317168 CPUtime=1.49 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 7702 0 0 0 149 0 0 0 19 0 4 0 651444481 324780032 22510 33554432000 4194304 4650419 140736253677136 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=317168 CPUtime=1.48 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 4464 0 0 0 148 0 0 0 20 0 4 0 651444481 324780032 22510 33554432000 4194304 4650419 140736253677136 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 317168

[startup+3.10995 s]
/proc/loadavg: 6.47 7.80 7.96 10/257 12509
/proc/meminfo: memFree=21590080/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=469712 CPUtime=12.39 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 33062 0 0 0 1234 5 0 0 25 0 4 0 651444481 480985088 28372 33554432000 4194304 4650419 140736253677136 18446744073709551615 4331967 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 117428 28372 391 112 0 112393 0
[pid=12505/tid=12506] ppid=12503 vsize=469712 CPUtime=3.09 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 9165 0 0 0 308 1 0 0 25 0 4 0 651444481 480985088 28372 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=469712 CPUtime=3.07 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 9155 0 0 0 307 0 0 0 25 0 4 0 651444481 480985088 28372 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363487 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=469712 CPUtime=3.09 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 5969 0 0 0 308 1 0 0 25 0 4 0 651444481 480985088 28372 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 469712

[startup+6.30038 s]
/proc/loadavg: 6.60 7.81 7.96 10/257 12509
/proc/meminfo: memFree=21489032/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=328988 CPUtime=25.15 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 49525 0 0 0 2506 9 0 0 25 0 4 0 651444481 336883712 28214 33554432000 4194304 4650419 140736253677136 18446744073709551615 4333403 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 82247 28214 394 112 0 77212 0
[pid=12505/tid=12506] ppid=12503 vsize=328988 CPUtime=6.29 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 13402 0 0 0 627 2 0 0 25 0 4 0 651444481 336883712 28223 33554432000 4194304 4650419 140736253677136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=328988 CPUtime=6.25 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 13310 0 0 0 624 1 0 0 25 0 4 0 651444481 336883712 28223 33554432000 4194304 4650419 140736253677136 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=328988 CPUtime=6.29 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 10247 0 0 0 627 2 0 0 25 0 4 0 651444481 336883712 28223 33554432000 4194304 4650419 140736253677136 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 328988

[startup+12.7012 s]
/proc/loadavg: 6.71 7.81 7.96 10/257 12509
/proc/meminfo: memFree=21251224/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=558132 CPUtime=50.68 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 119322 0 0 0 5042 26 0 0 25 0 4 0 651444481 571527168 86565 33554432000 4194304 4650419 140736253677136 18446744073709551615 4364433 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 139533 86565 395 112 0 134498 0
[pid=12505/tid=12506] ppid=12503 vsize=558132 CPUtime=12.68 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 36948 0 0 0 1260 8 0 0 25 0 4 0 651444481 571527168 86565 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=558132 CPUtime=12.6 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 24116 0 0 0 1255 5 0 0 25 0 4 0 651444481 571527168 86565 33554432000 4194304 4650419 140736253677136 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=558132 CPUtime=12.68 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 28749 0 0 0 1261 7 0 0 25 0 4 0 651444481 571527168 86565 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 558132

[startup+25.5009 s]
/proc/loadavg: 7.07 7.83 7.96 10/257 12510
/proc/meminfo: memFree=21121024/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=573156 CPUtime=101.76 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 167089 0 0 0 10135 41 0 0 25 0 4 0 651444481 586911744 93946 33554432000 4194304 4650419 140736253677136 18446744073709551615 4438653 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 143289 93946 395 112 0 138254 0
[pid=12505/tid=12506] ppid=12503 vsize=573156 CPUtime=25.47 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 46405 0 0 0 2537 10 0 0 25 0 4 0 651444481 586911744 93946 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476213 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=573156 CPUtime=25.28 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 41740 0 0 0 2518 10 0 0 25 0 4 0 651444481 586911744 93946 33554432000 4194304 4650419 140736253677136 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=573156 CPUtime=25.48 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 37345 0 0 0 2538 10 0 0 25 0 4 0 651444481 586911744 93946 33554432000 4194304 4650419 140736253677136 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 573156

[startup+51.1003 s]
/proc/loadavg: 7.39 7.85 7.96 10/257 12510
/proc/meminfo: memFree=20914660/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=771620 CPUtime=203.95 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 232465 0 0 0 20334 61 0 0 25 0 4 0 651444481 790138880 123239 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476761 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 192905 123239 395 112 0 187870 0
[pid=12505/tid=12506] ppid=12503 vsize=771620 CPUtime=51.07 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 64362 0 0 0 5091 16 0 0 25 0 4 0 651444481 790138880 123239 33554432000 4194304 4650419 140736253677136 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=771620 CPUtime=50.68 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 58508 0 0 0 5051 17 0 0 25 0 4 0 651444481 790138880 123239 33554432000 4194304 4650419 140736253677136 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=771620 CPUtime=51.08 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 55861 0 0 0 5092 16 0 0 25 0 4 0 651444481 790138880 123239 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 771620

[startup+102.301 s]
/proc/loadavg: 7.87 7.90 7.97 10/257 12512
/proc/meminfo: memFree=20791624/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=793376 CPUtime=408.34 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 327037 0 0 0 40741 93 0 0 25 0 4 0 651444481 812417024 141871 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 198344 141871 395 112 0 193309 0
[pid=12505/tid=12506] ppid=12503 vsize=793376 CPUtime=102.28 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 87234 0 0 0 10203 25 0 0 25 0 4 0 651444481 812417024 141871 33554432000 4194304 4650419 140736253677136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=793376 CPUtime=101.46 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 89740 0 0 0 10118 28 0 0 25 0 4 0 651444481 812417024 141871 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=793376 CPUtime=102.28 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 87719 0 0 0 10202 26 0 0 25 0 4 0 651444481 812417024 141871 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363493 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.34
Current children cumulated vsize (KiB) 793376

[startup+162.3 s]

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

[pid=12505] ppid=12503 vsize=1233420 CPUtime=2563.92 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 2431742 0 0 0 255762 630 0 0 25 0 4 0 651444481 1263022080 230994 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 308355 230994 395 112 0 303320 0
[pid=12505/tid=12506] ppid=12503 vsize=1233420 CPUtime=642.25 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 981764 0 0 0 64020 205 0 0 25 0 4 0 651444481 1263022080 230994 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=1233420 CPUtime=637.04 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 598609 0 0 0 63538 166 0 0 25 0 4 0 651444481 1263022080 230994 33554432000 4194304 4650419 140736253677136 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=1233420 CPUtime=642.29 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 644011 0 0 0 64056 173 0 0 25 0 4 0 651444481 1263022080 230994 33554432000 4194304 4650419 140736253677136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2563.92
Current children cumulated vsize (KiB) 1233420

[startup+702.301 s]
/proc/loadavg: 8.13 8.14 8.06 10/257 12528
/proc/meminfo: memFree=20193568/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=1141796 CPUtime=2803.42 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 2541991 0 0 0 279663 679 0 0 25 0 4 0 651444481 1169199104 220818 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363394 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 285449 220818 395 112 0 280414 0
[pid=12505/tid=12506] ppid=12503 vsize=1141796 CPUtime=702.25 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1011694 0 0 0 70006 219 0 0 25 0 4 0 651444481 1169199104 220818 33554432000 4194304 4650419 140736253677136 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=1141796 CPUtime=696.56 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 632551 0 0 0 69475 181 0 0 25 0 4 0 651444481 1169199104 220818 33554432000 4194304 4650419 140736253677136 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=1141796 CPUtime=702.29 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 676655 0 0 0 70040 189 0 0 25 0 4 0 651444481 1169199104 220818 33554432000 4194304 4650419 140736253677136 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2803.42
Current children cumulated vsize (KiB) 1141796

[startup+762.301 s]
/proc/loadavg: 8.25 8.17 8.08 10/257 12529
/proc/meminfo: memFree=20156960/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=1155124 CPUtime=3042.91 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 2663678 0 0 0 303565 726 0 0 25 0 4 0 651444481 1182846976 231410 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363613 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 288781 231410 395 112 0 283746 0
[pid=12505/tid=12506] ppid=12503 vsize=1155124 CPUtime=762.25 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1041579 0 0 0 75993 232 0 0 25 0 4 0 651444481 1182846976 231410 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=1155124 CPUtime=756.05 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 665622 0 0 0 75412 193 0 0 25 0 4 0 651444481 1182846976 231410 33554432000 4194304 4650419 140736253677136 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=1155124 CPUtime=762.29 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 706106 0 0 0 76029 200 0 0 25 0 4 0 651444481 1182846976 231410 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.91
Current children cumulated vsize (KiB) 1155124

[startup+822.301 s]
/proc/loadavg: 8.17 8.17 8.08 9/257 12531
/proc/meminfo: memFree=20024456/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=1222060 CPUtime=3282.42 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 2868835 0 0 0 327460 782 0 0 25 0 4 0 651444481 1251389440 251645 33554432000 4194304 4650419 140736253677136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 305515 251645 395 112 0 300480 0
[pid=12505/tid=12506] ppid=12503 vsize=1222060 CPUtime=822.24 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1063038 0 0 0 81984 240 0 0 25 0 4 0 651444481 1251389440 251645 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476111 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=1222060 CPUtime=815.57 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 796592 0 0 0 81341 216 0 0 25 0 4 0 651444481 1251389440 251645 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=1222060 CPUtime=822.29 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 736776 0 0 0 82014 215 0 0 25 0 4 0 651444481 1251389440 251645 33554432000 4194304 4650419 140736253677136 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3282.42
Current children cumulated vsize (KiB) 1222060

[startup+882.301 s]
/proc/loadavg: 8.28 8.20 8.10 10/257 12533
/proc/meminfo: memFree=20038452/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=1223712 CPUtime=3521.92 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 3089453 0 0 0 351354 838 0 0 25 0 4 0 651444481 1253081088 245764 33554432000 4194304 4650419 140736253677136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 305928 245764 395 112 0 300893 0
[pid=12505/tid=12506] ppid=12503 vsize=1223712 CPUtime=882.24 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1070211 0 0 0 87980 244 0 0 25 0 4 0 651444481 1253081088 245764 33554432000 4194304 4650419 140736253677136 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=1223712 CPUtime=875.08 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 962912 0 0 0 87268 240 0 0 25 0 4 0 651444481 1253081088 245764 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=1223712 CPUtime=882.29 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 764936 0 0 0 87997 232 0 0 25 0 4 0 651444481 1253081088 245764 33554432000 4194304 4650419 140736253677136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.92
Current children cumulated vsize (KiB) 1223712

[startup+942.3 s]
/proc/loadavg: 8.17 8.19 8.09 12/257 12534
/proc/meminfo: memFree=19883792/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=1343220 CPUtime=3761.43 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 3399222 0 0 0 375235 908 0 0 25 0 4 0 651444481 1375457280 284980 33554432000 4194304 4650419 140736253677136 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 335805 284980 395 112 0 330770 0
[pid=12505/tid=12506] ppid=12503 vsize=1343220 CPUtime=942.24 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1097697 0 0 0 93966 258 0 0 25 0 4 0 651444481 1375457280 284980 33554432000 4194304 4650419 140736253677136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=1343220 CPUtime=934.59 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1127260 0 0 0 93195 264 0 0 25 0 4 0 651444481 1375457280 284980 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=1343220 CPUtime=942.29 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 861056 0 0 0 93975 254 0 0 25 0 4 0 651444481 1375457280 284980 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3761.43
Current children cumulated vsize (KiB) 1343220

[startup+1002.3 s]
/proc/loadavg: 8.29 8.21 8.10 10/257 12536
/proc/meminfo: memFree=19919948/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=1290456 CPUtime=4000.94 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 3873206 0 0 0 399097 997 0 0 25 0 4 0 651444481 1321426944 273799 33554432000 4194304 4650419 140736253677136 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 322614 273799 401 112 0 317579 0
[pid=12505/tid=12506] ppid=12503 vsize=1290456 CPUtime=1002.24 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1121701 0 0 0 99951 273 0 0 25 0 4 0 651444481 1321426944 273799 33554432000 4194304 4650419 140736253677136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=1290456 CPUtime=994.09 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1315772 0 0 0 99119 290 0 0 25 0 4 0 651444481 1321426944 273799 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=1290456 CPUtime=1002.28 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1102672 0 0 0 99938 290 0 0 25 0 4 0 651444481 1321426944 273799 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.94
Current children cumulated vsize (KiB) 1290456

[startup+1062.3 s]
/proc/loadavg: 8.21 8.20 8.10 10/257 12537
/proc/meminfo: memFree=19945832/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=1330372 CPUtime=4240.47 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 4255495 0 0 0 422966 1081 0 0 25 0 4 0 651444481 1362300928 259921 33554432000 4194304 4650419 140736253677136 18446744073709551615 4363484 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 332593 259921 395 112 0 327558 0
[pid=12505/tid=12506] ppid=12503 vsize=1330372 CPUtime=1062.24 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1149471 0 0 0 105936 288 0 0 25 0 4 0 651444481 1362300928 259923 33554432000 4194304 4650419 140736253677136 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=1330372 CPUtime=1053.62 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1388063 0 0 0 105055 307 0 0 25 0 4 0 651444481 1362300928 259923 33554432000 4194304 4650419 140736253677136 18446744073709551615 4330751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=1330372 CPUtime=1062.3 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1358093 0 0 0 105901 329 0 0 25 0 4 0 651444481 1362300928 259923 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4240.47
Current children cumulated vsize (KiB) 1330372

[startup+1122.3 s]
/proc/loadavg: 8.29 8.21 8.11 9/257 12539
/proc/meminfo: memFree=19758436/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=1464336 CPUtime=4479.96 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 4729935 0 0 0 446824 1172 0 0 25 0 4 0 651444481 1499480064 315806 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 366084 315806 395 112 0 361049 0
[pid=12505/tid=12506] ppid=12503 vsize=1464336 CPUtime=1122.24 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1317359 0 0 0 111906 318 0 0 25 0 4 0 651444481 1499480064 315806 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=1464336 CPUtime=1113.12 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1414562 0 0 0 110988 324 0 0 25 0 4 0 651444481 1499480064 315806 33554432000 4194304 4650419 140736253677136 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=1464336 CPUtime=1122.29 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1614144 0 0 0 111863 366 0 0 25 0 4 0 651444481 1499480064 315806 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4479.96
Current children cumulated vsize (KiB) 1464336

[startup+1182.31 s]
/proc/loadavg: 8.10 8.17 8.10 9/257 12541
/proc/meminfo: memFree=19735848/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=1410428 CPUtime=4719.5 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 5241447 0 0 0 470687 1263 0 0 25 0 4 0 651444481 1444278272 312861 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 352607 312861 395 112 0 347572 0
[pid=12505/tid=12506] ppid=12503 vsize=1410428 CPUtime=1182.24 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1522946 0 0 0 117875 349 0 0 25 0 4 0 651444481 1444278272 312861 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=1410428 CPUtime=1172.63 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1439586 0 0 0 116924 339 0 0 25 0 4 0 651444481 1444278272 312861 33554432000 4194304 4650419 140736253677136 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=1410428 CPUtime=1182.3 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1895040 0 0 0 117820 410 0 0 25 0 4 0 651444481 1444278272 312861 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4719.5
Current children cumulated vsize (KiB) 1410428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 8.07 8.16 8.09 6/256 12551
/proc/meminfo: memFree=20147388/32951124 swapFree=67056788/67111528
[pid=12505] ppid=12503 vsize=1464756 CPUtime=4800.12 cores=1,3,5,7
/proc/12505/stat : 12505 (strangenight1-m) R 12503 12505 12464 0 -1 4202496 5428794 0 0 0 478715 1297 0 0 25 0 4 0 651444481 1499910144 320935 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12505/statm: 366189 320935 401 112 0 361154 0
[pid=12505/tid=12506] ppid=12503 vsize=1464756 CPUtime=1202.44 cores=1,3,5,7
/proc/12505/task/12506/stat : 12506 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1593864 0 0 0 119884 360 0 0 25 0 4 0 651444481 1499910144 320935 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12505/tid=12507] ppid=12503 vsize=1464756 CPUtime=1192.67 cores=1,3,5,7
/proc/12505/task/12507/stat : 12507 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 1447604 0 0 0 118921 346 0 0 25 0 4 0 651444481 1499910144 320935 33554432000 4194304 4650419 140736253677136 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=1464756 CPUtime=1202.49 cores=1,3,5,7
/proc/12505/task/12508/stat : 12508 (strangenight1-m) R 12503 12505 12464 0 -1 4202560 2003450 0 0 0 119823 426 0 0 25 0 4 0 651444481 1499910144 320935 33554432000 4194304 4650419 140736253677136 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1464756

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.57
CPU time (s): 4800.21
CPU user time (s): 4787.18
CPU system time (s): 13.03
CPU usage (%): 399.163
Max. virtual memory (cumulated for all children) (KiB): 1516208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.18
system time used= 13.03
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5428795
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= 1792
involuntary context switches= 33274

runsolver used 2.51562 second user time and 7.33988 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-14 20:41:06
IDJOB=3368605
IDBENCH=82614
IDSOLVER=1846
FILE ID=node133/3368605-1305398466
RUNJOBID= node133-1305398466-12483
PBS_JOBID= 13324488
Free space on /tmp= 73644 MiB

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

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

MD5SUM BENCH= 21fe95d2e5d58f03a2d75a4512a80cd8
RANDOM SEED=1498562372

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21738556 kB
Buffers:        271100 kB
Cached:        3220172 kB
SwapCached:       8724 kB
Active:        8511464 kB
Inactive:      2418504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21738556 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:           14508 kB
Writeback:           0 kB
AnonPages:     7436096 kB
Mapped:          21272 kB
Slab:           194980 kB
PageTables:      24112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19283048 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= 73640 MiB
End job on node133 at 2011-05-14 21:01:11