Trace number 3173993

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-2-mt? (TO) 4800.41 1201.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf
MD5SUMc27e99aa66f5519277e3446434cc73f8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05699
Satisfiable
(Un)Satisfiability was proved
Number of variables175
Number of clauses3727
Sum of the clauses size18635
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53727
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173993-1304075303.cnf'
0.00/0.00	c -- header says num vars:            175
0.00/0.00	c -- header says num clauses:        3727
0.00/0.02	c -- clauses added:            0 learnts,         3727 normals,            0 xors
0.00/0.02	c -- vars added        175
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       175      3727         0         0     18635         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      89 undec:       8 neg:      78
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       175      3727         0         0     18635         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.40/0.16	c  N st     8      4922       175      3727         0      4728     18635    159854   no data   no data
1.57/0.41	c  N st    10     11304       175      3727         0      4361     18635    109719   no data   no data
2.37/0.65	c  N st    11     17048       175      3727         0      9854     18635    297363   no data   no data
3.97/1.02	c  F st    12     25000       175      3727         0     12120     18635    378984   no data   no data
3.97/1.02	c  N st    12     25000       175      3727         0     12120     18635    378984   no data   no data
4.79/1.26	c Decided on static restart strategy
4.79/1.26	c  N st    18     30000       175      3727         0     10374     18635    297639   no data   no data
4.79/1.26	c  S st    18     30000       175      3727         0     10374     18635    297639   no data   no data
4.79/1.29	c  S st    18     30508       175      3727         0     10869     18635    313890   no data   no data
4.79/1.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.79/1.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.79/1.29	c blocked clauses removed:        0 vars:      0 tried:         175 T: 0.00 s
4.79/1.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.79/1.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.79/1.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4.79/1.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c lits-rem:       216  cl-subs:     1002  v-elim:      0  v-fix:    0  time:  0.19 s
5.97/1.55	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
5.97/1.55	c calculated reachability. Time: 0.00
5.97/1.55	c  N st    18     30508       175      3727         0      9867     18635    274401   no data   no data
7.56/1.91	c  N st    20     37621       175      3727         0      9143     18635    228518   no data   no data
8.78/2.25	c  N st    21     44021       175      3727         0     15270     18635    435741   no data   no data
9.18/2.37	c  S st    22     45762       175      3727         0     16951     18635    493613   no data   no data
9.55/2.42	c  S st    22     46269       175      3727         0      8862     18635    195182   no data   no data
9.55/2.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.55/2.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
9.55/2.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.55/2.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.46	c lits-rem:        29  cl-subs:      107  v-elim:      0  v-fix:    0  time:  0.02 s
9.55/2.46	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
9.55/2.46	c vivif2 --  cl tried     8755 cl shrink        0 lits rem          0 time: 0.00
9.95/2.50	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
9.95/2.50	c calculated reachability. Time: 0.00
9.95/2.50	c  N st    22     46269       175      3727         0      8755     18635    191149   no data   no data
12.76/3.29	c  N st    23     60666       175      3727         0     13003     18635    319773   no data   no data
15.15/3.81	c  N st    24     69403       175      3727         0     10851     18635    223798   no data   no data
15.15/3.81	c  S st    24     69403       175      3727         0     10851     18635    223798   no data   no data
15.15/3.85	c  S st    24     69904       175      3727         0     11343     18635    240229   no data   no data
15.15/3.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.15/3.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.15/3.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
15.15/3.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.15/3.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.15/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.91	c lits-rem:        26  cl-subs:      187  v-elim:      0  v-fix:    0  time:  0.05 s
15.55/3.91	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
15.55/3.91	c vivif2 --  cl tried    11156 cl shrink        0 lits rem          0 time: 0.00
15.55/3.97	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.05
15.55/3.97	c calculated reachability. Time: 0.00
15.55/3.97	c  N st    24     69904       175      3727         0     11156     18635    233050   no data   no data
19.95/5.09	c  F st    25     87500       175      3727         0     16527     18635    406704   no data   no data
19.95/5.10	c  N st    25     87500       175      3727         0     16527     18635    406704   no data   no data
21.54/5.44	c Decided on static restart strategy
22.37/5.66	c  N st    32     95537       175      3727         0     24267     18635    671280   no data   no data
24.74/6.28	c  N st    34    104856       175      3727         0     20681     18635    529207   no data   no data
24.74/6.28	c  S st    34    104856       175      3727         0     20681     18635    529207   no data   no data
25.14/6.34	c  S st    34    105359       175      3727         0     21173     18635    545305   no data   no data
25.14/6.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.14/6.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.14/6.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.14/6.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.14/6.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.14/6.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
25.14/6.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.14/6.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.14/6.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.13/6.87	c lits-rem:       318  cl-subs:     1368  v-elim:      0  v-fix:    0  time:  0.50 s
27.13/6.87	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
27.13/6.87	c vivif2 --  cl tried    19805 cl shrink        0 lits rem          0 time: 0.01
27.53/6.95	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.08
27.53/6.95	c calculated reachability. Time: 0.00
27.53/6.95	c  N st    34    105359       175      3727         0     19805     18635    494388   no data   no data
30.34/7.69	c  N st    35    114959       175      3727         0     15584     18635    349703   no data   no data
35.14/8.88	c  N st    36    129358       175      3727         0     15024     18635    299650   no data   no data
42.31/10.63	c  N st    37    150954       175      3727         0     20352     18635    456377   no data   no data
44.33/11.19	c  S st    38    158039       175      3727         0     27123     18635    694814   no data   no data
44.72/11.26	c  S st    38    158542       175      3727         0     27618     18635    711321   no data   no data
44.72/11.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.72/11.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.72/11.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.72/11.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.72/11.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.72/11.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
44.72/11.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.72/11.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.11/11.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.72/12.25	c lits-rem:       762  cl-subs:     1691  v-elim:      0  v-fix:    0  time:  0.95 s
48.72/12.25	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
48.72/12.26	c vivif2 --  cl tried    25927 cl shrink        0 lits rem          0 time: 0.01
49.11/12.37	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.11
49.11/12.37	c calculated reachability. Time: 0.00
49.11/12.37	c  N st    38    158542       175      3727         0     25927     18635    646138   no data   no data
67.88/17.00	c  N st    39    207130       175      3727         0     20733     18635    416547   no data   no data
81.46/20.45	c  N st    40    237815       175      3727         0     30970     18635    759725   no data   no data
81.46/20.45	c  S st    40    237815       175      3727         0     30970     18635    759725   no data   no data
81.86/20.55	c  S st    40    238322       175      3727         0     31464     18635    776362   no data   no data
81.86/20.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.86/20.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.86/20.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.86/20.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.86/20.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.86/20.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
81.86/20.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.86/20.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.86/20.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.28/22.15	c lits-rem:       590  cl-subs:     2103  v-elim:      0  v-fix:    0  time:  1.56 s
88.28/22.15	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
88.28/22.16	c vivif2 --  cl tried    29361 cl shrink        0 lits rem          0 time: 0.01
89.05/22.30	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.14
89.05/22.30	c calculated reachability. Time: 0.00
89.05/22.30	c  N st    40    238322       175      3727         0     29361     18635    698650   no data   no data
115.82/29.08	c  F st    41    306251       175      3727         0     31259     18635    708280   no data   no data
115.82/29.08	c  N st    41    306251       175      3727         0     31259     18635    708280   no data   no data
118.22/29.65	c Decided on static restart strategy
127.82/32.05	c  N st    51    334552       175      3727         0     35528     18635    823982   no data   no data
138.19/34.63	c  N st    53    357484       175      3727         0     33465     18635    725204   no data   no data
138.19/34.63	c  S st    53    357484       175      3727         0     33465     18635    725204   no data   no data
138.59/34.72	c  S st    53    357986       175      3727         0     33960     18635    741388   no data   no data
138.59/34.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.59/34.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
138.59/34.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.59/34.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.59/34.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.59/34.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
138.59/34.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
138.59/34.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
138.59/34.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.79/35.53	c lits-rem:       419  cl-subs:     1286  v-elim:      0  v-fix:    0  time:  0.77 s
141.79/35.53	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
141.79/35.54	c vivif2 --  cl tried    32674 cl shrink        0 lits rem          0 time: 0.01
142.19/35.69	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.16
142.19/35.69	c calculated reachability. Time: 0.00
142.19/35.69	c  N st    53    357986       175      3727         0     32674     18635    692827   no data   no data
157.77/39.58	c  N st    54    390379       175      3727         0     38849     18635    891824   no data   no data
188.52/47.27	c  N st    55    438967       175      3727         0     32617     18635    643495   no data   no data
226.88/56.82	c  N st    56    511850       175      3727         0     45784     18635   1031737   no data   no data
239.27/59.93	c  N st    57    536980       175      3727         0     40242     18635    839531   no data   no data
239.27/59.93	c  S st    57    536980       175      3727         0     40242     18635    839531   no data   no data
239.67/60.03	c  S st    57    537481       175      3727         0     40735     18635    855502   no data   no data
239.67/60.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
239.67/60.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
239.67/60.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
239.67/60.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
239.67/60.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
239.67/60.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
239.67/60.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
239.67/60.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
239.67/60.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.86/61.40	c lits-rem:       670  cl-subs:     1608  v-elim:      0  v-fix:    0  time:  1.31 s
244.86/61.40	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
245.26/61.41	c vivif2 --  cl tried    39127 cl shrink        0 lits rem          0 time: 0.01
246.08/61.61	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.20
246.08/61.61	c calculated reachability. Time: 0.00
246.08/61.61	c  N st    57    537481       175      3727         0     39127     18635    794580   no data   no data
344.72/86.31	c  N st    58    701465       175      3727         0     67710     18635   1759241   no data   no data
417.05/104.43	c  N st    59    806221       175      3727         0     61506     18635   1421528   no data   no data
417.05/104.43	c  S st    59    806221       175      3727         0     61506     18635   1421528   no data   no data
417.46/104.59	c  S st    59    806724       175      3727         0     62004     18635   1438302   no data   no data
417.46/104.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
417.86/104.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
417.86/104.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
417.86/104.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
417.86/104.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
417.86/104.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
417.86/104.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
417.86/104.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
417.86/104.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
450.59/112.87	c lits-rem:      1329  cl-subs:     4888  v-elim:      0  v-fix:    0  time:  8.18 s
450.59/112.87	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
450.59/112.88	c vivif2 --  cl tried    57116 cl shrink        0 lits rem          0 time: 0.02
451.79/113.18	c asymm  cl-useful: 0/3374/3727 lits-rem:0 time: 0.30
451.79/113.18	c calculated reachability. Time: 0.00
451.79/113.18	c  N st    59    806724       175      3727         0     57116     18635   1272491   no data   no data
649.53/162.65	c  F st    60   1071878       175      3727         0     72615     18635   1690976   no data   no data
649.53/162.65	c  N st    60   1071878       175      3727         0     72615     18635   1690976   no data   no data
653.92/163.77	c Decided on static restart strategy
670.30/167.87	c  N st    70   1100180       175      3727         0     57024     18635   1115963   no data   no data
703.07/176.05	c  N st    72   1136173       175      3727         0     47604     18635    770322   no data   no data
733.42/183.69	c  N st    73   1168566       175      3727         0     78677     18635   1871793   no data   no data
779.75/195.25	c  N st    74   1210086       175      3727         0     73489     18635   1654954   no data   no data
779.75/195.25	c  S st    74   1210086       175      3727         0     73489     18635   1654954   no data   no data
780.96/195.51	c  S st    74   1210591       175      3727         0     73990     18635   1671865   no data   no data
780.96/195.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
780.96/195.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
780.96/195.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
780.96/195.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
780.96/195.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
780.96/195.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
780.96/195.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
780.96/195.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
781.35/195.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
836.47/209.45	c lits-rem:       970  cl-subs:     3971  v-elim:      0  v-fix:    0  time: 13.80 s
836.47/209.45	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
836.47/209.47	c vivif2 --  cl tried    70019 cl shrink        0 lits rem          0 time: 0.02
838.47/209.91	c asymm  cl-useful: 0/2817/3727 lits-rem:0 time: 0.44
838.47/209.91	c calculated reachability. Time: 0.00
838.47/209.91	c  N st    74   1210591       175      3727         0     70019     18635   1517618   no data   no data
911.17/228.16	c  N st    75   1283473       175      3727         0     46903     18635    678243   no data   no data
1008.65/252.54	c  N st    76   1392796       175      3727         0     54925     18635    915910   no data   no data
1134.87/284.13	c  N st    77   1556782       175      3727         0     59638     18635   1031538   no data   no data
1271.90/318.43	c  N st    78   1710591       175      3727         0    100682     18635   2526268   no data   no data
1271.90/318.43	c  S st    78   1710591       175      3727         0    100682     18635   2526268   no data   no data
1273.10/318.73	c  S st    78   1711095       175      3727         0    101170     18635   2542282   no data   no data
1273.10/318.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1273.10/318.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1273.10/318.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1273.10/318.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1273.10/318.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1273.10/318.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1273.10/318.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1273.50/318.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1273.89/318.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1380.95/345.71	c lits-rem:      2836  cl-subs:     7077  v-elim:      0  v-fix:    0  time: 26.81 s
1380.95/345.71	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
1380.95/345.74	c vivif2 --  cl tried    94093 cl shrink        0 lits rem          0 time: 0.03
1381.75/345.93	c asymm  cl-useful: 0/910/3727 lits-rem:0 time: 0.19
1381.75/345.93	c calculated reachability. Time: 0.00
1381.75/345.93	c  N st    78   1711095       175      3727         0     94093     18635   2252782   no data   no data
1747.66/437.50	c  N st    79   2080060       175      3727         0    105061     18635   2492781   no data   no data
1869.89/468.13	c  N st    80   2211095       175      3727         0    109157     18635   2579177   no data   no data
1869.89/468.13	c  S st    80   2211095       175      3727         0    109157     18635   2579177   no data   no data
1871.09/468.47	c  S st    80   2211597       175      3727         0    109651     18635   2595383   no data   no data
1871.09/468.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1871.49/468.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1871.49/468.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1871.49/468.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1871.49/468.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1871.49/468.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1871.49/468.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1871.49/468.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1871.91/468.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2000.91/500.96	c lits-rem:      2700  cl-subs:     8833  v-elim:      0  v-fix:    0  time: 32.32 s
2000.91/500.96	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
2000.91/500.99	c vivif2 --  cl tried   100818 cl shrink        0 lits rem          0 time: 0.03
2002.51/501.36	c asymm  cl-useful: 0/2170/3727 lits-rem:0 time: 0.37
2002.51/501.36	c calculated reachability. Time: 0.00
2002.51/501.36	c  N st    80   2211597       175      3727         0    100818     18635   2269127   no data   no data
2495.44/624.75	c  N st    81   2711597       175      3727         0    124089     18635   2937482   no data   no data
2495.44/624.75	c  S st    81   2711597       175      3727         0    124089     18635   2937482   no data   no data
2497.03/625.14	c  S st    81   2712098       175      3727         0    124580     18635   2954331   no data   no data
2497.03/625.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2497.43/625.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
2497.43/625.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2497.43/625.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2497.43/625.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2497.43/625.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
2497.43/625.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2497.43/625.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2497.83/625.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2662.01/666.48	c lits-rem:      2342  cl-subs:    10022  v-elim:      0  v-fix:    0  time: 41.14 s
2662.01/666.48	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
2662.41/666.52	c vivif2 --  cl tried   114558 cl shrink        0 lits rem          0 time: 0.03
2664.01/666.91	c asymm  cl-useful: 0/1543/3727 lits-rem:0 time: 0.40
2664.01/666.92	c calculated reachability. Time: 0.00
2664.01/666.92	c  N st    81   2712098       175      3727         0    114558     18635   2601924   no data   no data
3296.76/825.32	c  N st    82   3212099       175      3727         0     90437     18635   1587252   no data   no data
3296.76/825.32	c  S st    82   3212099       175      3727         0     90437     18635   1587252   no data   no data
3297.56/825.59	c  S st    82   3212602       175      3727         0     90928     18635   1604477   no data   no data
3297.56/825.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3297.96/825.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3297.96/825.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3297.96/825.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3297.96/825.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3297.96/825.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
3297.96/825.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3297.96/825.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3298.36/825.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3322.72/831.89	c lits-rem:      1030  cl-subs:     3610  v-elim:      0  v-fix:    0  time:  6.18 s
3322.72/831.89	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
3323.12/831.91	c vivif2 --  cl tried    87318 cl shrink        0 lits rem          0 time: 0.02
3324.32/832.26	c asymm  cl-useful: 0/2403/3727 lits-rem:0 time: 0.34
3324.32/832.26	c calculated reachability. Time: 0.00
3324.32/832.26	c  N st    82   3212602       175      3727         0     87318     18635   1480802   no data   no data
4036.56/1010.56	c  N st    83   3712603       175      3727         0     98333     18635   1727400   no data   no data
4036.56/1010.56	c  S st    83   3712603       175      3727         0     98333     18635   1727400   no data   no data
4037.76/1010.87	c  S st    83   3713109       175      3727         0     98828     18635   1744138   no data   no data
4037.76/1010.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4038.18/1010.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4038.18/1010.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4038.18/1010.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4038.18/1010.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4038.18/1010.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4038.18/1010.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4038.18/1010.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4038.58/1011.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4067.32/1018.29	c lits-rem:       838  cl-subs:     3818  v-elim:      0  v-fix:    0  time:  7.29 s
4067.32/1018.29	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
4067.72/1018.32	c vivif2 --  cl tried    95010 cl shrink        0 lits rem          0 time: 0.02
4068.52/1018.59	c asymm  cl-useful: 0/1324/3727 lits-rem:0 time: 0.27
4068.52/1018.59	c calculated reachability. Time: 0.00
4068.52/1018.59	c  N st    83   3713109       175      3727         0     95010     18635   1612113   no data   no data
4120.45/1031.57	c  F st    84   3751563       175      3727         0    131658     18635   2896174   no data   no data
4120.45/1031.57	c  N st    84   3751563       175      3727         0    131658     18635   2896174   no data   no data
4130.45/1034.07	c Decided on static restart strategy
4171.58/1044.33	c  N st    94   3779873       175      3727         0    158692     18635   3826670   no data   no data
4212.73/1054.62	c  N st    96   3815867       175      3727         0    112517     18635   2210257   no data   no data
4258.66/1066.13	c  N st    97   3848261       175      3727         0    143437     18635   3307485   no data   no data
4313.39/1079.80	c  N st    98   3896850       175      3727         0    108087     18635   2022738   no data   no data
4412.85/1104.74	c  N st    99   3969734       175      3727         0     94536     18635   1523839   no data   no data
4551.07/1139.38	c  N st   100   4079059       175      3727         0    114668     18635   2224045   no data   no data
4750.42/1189.27	c  N st   101   4213111       175      3727         0    157382     18635   3669878   no data   no data
4750.42/1189.27	c  S st   101   4213111       175      3727         0    157382     18635   3669878   no data   no data
4752.41/1189.74	c  S st   101   4213615       175      3727         0    157876     18635   3686405   no data   no data
4752.41/1189.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4752.81/1189.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.09
4752.81/1189.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4752.81/1189.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4752.81/1189.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4752.81/1189.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4752.81/1189.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4752.81/1189.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4753.61/1190.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173993-1304075303/watcher-3173993-1304075303 -o /tmp/evaluation-result-3173993-1304075303/solver-3173993-1304075303 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173993-1304075303.cnf 

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

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


[startup+0 s]
/proc/loadavg: 1.51 4.03 5.87 1/172 4205
/proc/meminfo: memFree=19983996/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 519130032 52441088 347 33554432000 4194304 4627427 140736620664288 18446744073709551615 237278936049 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 12803 347 299 106 0 7774 0
[pid=4205/tid=4206] ppid=4203 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519130032 52441088 352 33554432000 4194304 4627427 140736620664288 18446744073709551615 47283994671020 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519130032 52441088 352 33554432000 4194304 4627427 140736620664288 18446744073709551615 47283994671026 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519130032 52441088 352 33554432000 4194304 4627427 140736620664288 18446744073709551615 237273926742 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.107748 s]
/proc/loadavg: 1.51 4.03 5.87 1/172 4205
/proc/meminfo: memFree=19983996/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=282508 CPUtime=0.4 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 2236 0 0 0 40 0 0 0 25 0 4 0 519130032 289288192 2083 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309200 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 70627 2083 383 106 0 65598 0
[pid=4205/tid=4206] ppid=4203 vsize=282508 CPUtime=0.1 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 480 0 0 0 10 0 0 0 25 0 4 0 519130032 289288192 2083 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=282508 CPUtime=0.1 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 491 0 0 0 10 0 0 0 25 0 4 0 519130032 289288192 2083 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=282508 CPUtime=0.09 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 336 0 0 0 9 0 0 0 25 0 4 0 519130032 289288192 2083 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282508

[startup+0.200674 s]
/proc/loadavg: 1.51 4.03 5.87 1/172 4205
/proc/meminfo: memFree=19983996/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=284540 CPUtime=0.77 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 3100 0 0 0 77 0 0 0 25 0 4 0 519130032 291368960 2130 33554432000 4194304 4627427 140736620664288 18446744073709551615 4310584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 71135 2130 384 106 0 66106 0
[pid=4205/tid=4206] ppid=4203 vsize=284540 CPUtime=0.19 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 683 0 0 0 19 0 0 0 25 0 4 0 519130032 291368960 2130 33554432000 4194304 4627427 140736620664288 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=284540 CPUtime=0.19 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 728 0 0 0 19 0 0 0 25 0 4 0 519130032 291368960 2130 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=284540 CPUtime=0.19 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 563 0 0 0 19 0 0 0 25 0 4 0 519130032 291368960 2130 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284540

[startup+0.300656 s]
/proc/loadavg: 1.51 4.03 5.87 1/172 4205
/proc/meminfo: memFree=19983996/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=284672 CPUtime=1.17 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 3582 0 0 0 117 0 0 0 25 0 4 0 519130032 291504128 2612 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 71168 2612 384 106 0 66139 0
[pid=4205/tid=4206] ppid=4203 vsize=284672 CPUtime=0.29 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 791 0 0 0 29 0 0 0 25 0 4 0 519130032 291504128 2612 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=284672 CPUtime=0.29 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 865 0 0 0 29 0 0 0 25 0 4 0 519130032 291504128 2612 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=284672 CPUtime=0.29 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 687 0 0 0 29 0 0 0 25 0 4 0 519130032 291504128 2612 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284672

[startup+0.700586 s]
/proc/loadavg: 1.51 4.03 5.87 1/172 4205
/proc/meminfo: memFree=19983996/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=286448 CPUtime=2.77 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 6338 0 0 0 276 1 0 0 25 0 4 0 519130032 293322752 2988 33554432000 4194304 4627427 140736620664288 18446744073709551615 4324341 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 71612 2988 384 106 0 66583 0
[pid=4205/tid=4206] ppid=4203 vsize=286448 CPUtime=0.69 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 1531 0 0 0 69 0 0 0 25 0 4 0 519130032 293322752 2988 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=286448 CPUtime=0.69 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 1613 0 0 0 69 0 0 0 25 0 4 0 519130032 293322752 2988 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=286448 CPUtime=0.68 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 1431 0 0 0 68 0 0 0 25 0 4 0 519130032 293322752 2989 33554432000 4194304 4627427 140736620664288 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286448

[startup+1.50045 s]
/proc/loadavg: 1.51 4.03 5.87 10/184 4222
/proc/meminfo: memFree=19949288/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=287936 CPUtime=5.97 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 12191 0 0 0 595 2 0 0 25 0 4 0 519130032 294846464 5557 33554432000 4194304 4627427 140736620664288 18446744073709551615 4427854 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 71984 5557 388 106 0 66955 0
[pid=4205/tid=4206] ppid=4203 vsize=287936 CPUtime=1.49 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 2407 0 0 0 149 0 0 0 25 0 4 0 519130032 294846464 5557 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=287936 CPUtime=1.48 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 2747 0 0 0 148 0 0 0 25 0 4 0 519130032 294846464 5557 33554432000 4194304 4627427 140736620664288 18446744073709551615 4327912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=287936 CPUtime=1.48 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 2565 0 0 0 148 0 0 0 25 0 4 0 519130032 294846464 5557 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287936

[startup+3.10116 s]
/proc/loadavg: 1.51 4.03 5.87 10/184 4222
/proc/meminfo: memFree=19910724/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=299984 CPUtime=12.36 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 24321 0 0 0 1232 4 0 0 25 0 4 0 519130032 307183616 12343 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309164 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 74996 12343 388 106 0 69967 0
[pid=4205/tid=4206] ppid=4203 vsize=299984 CPUtime=3.08 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 5547 0 0 0 308 0 0 0 25 0 4 0 519130032 307183616 12343 33554432000 4194304 4627427 140736620664288 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=299984 CPUtime=3.07 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 6418 0 0 0 307 0 0 0 25 0 4 0 519130032 307183616 12343 33554432000 4194304 4627427 140736620664288 18446744073709551615 4504770 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=299984 CPUtime=3.09 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 6326 0 0 0 308 1 0 0 25 0 4 0 519130032 307183616 12343 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 299984

[startup+6.3006 s]
/proc/loadavg: 2.11 4.12 5.89 9/184 4222
/proc/meminfo: memFree=19866152/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=297928 CPUtime=25.14 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 37706 0 0 0 2508 6 0 0 25 0 4 0 519130032 305078272 17735 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 74482 17735 388 106 0 69453 0
[pid=4205/tid=4206] ppid=4203 vsize=297928 CPUtime=6.29 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 9465 0 0 0 628 1 0 0 25 0 4 0 519130032 305078272 17735 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=297928 CPUtime=6.25 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 10050 0 0 0 624 1 0 0 25 0 4 0 519130032 305078272 17735 33554432000 4194304 4627427 140736620664288 18446744073709551615 4468345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=297928 CPUtime=6.29 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 8996 0 0 0 627 2 0 0 25 0 4 0 519130032 305078272 17735 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 297928

[startup+12.7005 s]
/proc/loadavg: 2.58 4.18 5.90 10/184 4222
/proc/meminfo: memFree=19808444/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=316912 CPUtime=50.7 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 60309 0 0 0 5059 11 0 0 25 0 4 0 519130032 324517888 24820 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 79228 24820 388 106 0 74199 0
[pid=4205/tid=4206] ppid=4203 vsize=316912 CPUtime=12.68 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 14875 0 0 0 1266 2 0 0 25 0 4 0 519130032 324517888 24820 33554432000 4194304 4627427 140736620664288 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=316912 CPUtime=12.62 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 14166 0 0 0 1260 2 0 0 25 0 4 0 519130032 324517888 24820 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=316912 CPUtime=12.69 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 15268 0 0 0 1266 3 0 0 25 0 4 0 519130032 324517888 24820 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 316912

[startup+25.5012 s]
/proc/loadavg: 3.78 4.37 5.93 10/184 4222
/proc/meminfo: memFree=19758500/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=305768 CPUtime=101.84 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 90173 0 0 0 10167 17 0 0 25 0 4 0 519130032 313106432 32280 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 76442 32280 388 106 0 71413 0
[pid=4205/tid=4206] ppid=4203 vsize=305768 CPUtime=25.48 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 23460 0 0 0 2544 4 0 0 25 0 4 0 519130032 313106432 32280 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=305768 CPUtime=25.36 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 20274 0 0 0 2532 4 0 0 25 0 4 0 519130032 313106432 32280 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=305768 CPUtime=25.48 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 23011 0 0 0 2544 4 0 0 25 0 4 0 519130032 313106432 32280 33554432000 4194304 4627427 140736620664288 18446744073709551615 4427146 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 305768

[startup+51.1006 s]
/proc/loadavg: 5.22 4.66 5.99 9/184 4223
/proc/meminfo: memFree=19686188/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=374452 CPUtime=204.11 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 125739 0 0 0 20384 27 0 0 25 0 4 0 519130032 383438848 43891 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 93613 43891 388 106 0 88584 0
[pid=4205/tid=4206] ppid=4203 vsize=374452 CPUtime=51.08 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 32494 0 0 0 5102 6 0 0 25 0 4 0 519130032 383438848 43891 33554432000 4194304 4627427 140736620664288 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=374452 CPUtime=50.83 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 27672 0 0 0 5077 6 0 0 25 0 4 0 519130032 383438848 43891 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=374452 CPUtime=51.08 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 34231 0 0 0 5101 7 0 0 25 0 4 0 519130032 383438848 43892 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 374452

[startup+102.301 s]
/proc/loadavg: 6.92 5.20 6.10 10/184 4224
/proc/meminfo: memFree=19650604/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=375624 CPUtime=408.66 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 196776 0 0 0 40821 45 0 0 25 0 4 0 519130032 384638976 50810 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 93906 50810 388 106 0 88877 0
[pid=4205/tid=4206] ppid=4203 vsize=375624 CPUtime=102.28 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 50516 0 0 0 10217 11 0 0 25 0 4 0 519130032 384638976 50810 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=375624 CPUtime=101.78 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 44942 0 0 0 10167 11 0 0 25 0 4 0 519130032 384638976 50810 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=375624 CPUtime=102.28 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 55493 0 0 0 10216 12 0 0 25 0 4 0 519130032 384638976 50810 33554432000 4194304 4627427 140736620664288 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 375624

[startup+162.301 s]

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

[pid=4205] ppid=4203 vsize=729400 CPUtime=2565.74 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 592412 0 0 0 256386 188 0 0 25 0 4 0 519130032 746905600 117669 33554432000 4194304 4627427 140736620664288 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 182350 117669 388 106 0 177321 0
[pid=4205/tid=4206] ppid=4203 vsize=729400 CPUtime=642.29 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 160306 0 0 0 64176 53 0 0 25 0 4 0 519130032 746905600 117669 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=729400 CPUtime=638.89 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 124644 0 0 0 63851 38 0 0 25 0 4 0 519130032 746905600 117669 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=729400 CPUtime=642.23 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 178515 0 0 0 64164 59 0 0 25 0 4 0 519130032 746905600 117669 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.74
Current children cumulated vsize (KiB) 729400

[startup+702.301 s]
/proc/loadavg: 8.12 7.71 7.04 9/184 4240
/proc/meminfo: memFree=19183192/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=674996 CPUtime=2805.42 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 621530 0 0 0 280342 200 0 0 25 0 4 0 519130032 691195904 125088 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 168749 125088 388 106 0 163720 0
[pid=4205/tid=4206] ppid=4203 vsize=674996 CPUtime=702.29 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 171068 0 0 0 70171 58 0 0 25 0 4 0 519130032 691195904 125088 33554432000 4194304 4627427 140736620664288 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=674996 CPUtime=698.57 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 126767 0 0 0 69817 40 0 0 25 0 4 0 519130032 691195904 125088 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=674996 CPUtime=702.23 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 187892 0 0 0 70160 63 0 0 25 0 4 0 519130032 691195904 125088 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 674996

[startup+762.301 s]
/proc/loadavg: 8.11 7.77 7.10 9/184 4242
/proc/meminfo: memFree=19125640/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=730880 CPUtime=3045.11 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 653757 0 0 0 304302 209 0 0 25 0 4 0 519130032 748421120 136829 33554432000 4194304 4627427 140736620664288 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 182720 136829 388 106 0 177691 0
[pid=4205/tid=4206] ppid=4203 vsize=730880 CPUtime=762.3 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 184878 0 0 0 76168 62 0 0 25 0 4 0 519130032 748421120 136829 33554432000 4194304 4627427 140736620664288 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=730880 CPUtime=758.24 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 127636 0 0 0 75784 40 0 0 25 0 4 0 519130032 748421120 136829 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=730880 CPUtime=762.22 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 199988 0 0 0 76157 65 0 0 25 0 4 0 519130032 748421120 136829 33554432000 4194304 4627427 140736620664288 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 730880

[startup+822.301 s]
/proc/loadavg: 8.10 7.83 7.16 10/184 4244
/proc/meminfo: memFree=19113716/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=717864 CPUtime=3284.77 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 678434 0 0 0 328258 219 0 0 25 0 4 0 519130032 735092736 131173 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 179466 131173 388 106 0 174437 0
[pid=4205/tid=4206] ppid=4203 vsize=717864 CPUtime=822.29 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 189353 0 0 0 82166 63 0 0 25 0 4 0 519130032 735092736 131173 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=717864 CPUtime=817.92 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 132194 0 0 0 81750 42 0 0 25 0 4 0 519130032 735092736 131173 33554432000 4194304 4627427 140736620664288 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=717864 CPUtime=822.22 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 207276 0 0 0 82154 68 0 0 25 0 4 0 519130032 735092736 131173 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 717864

[startup+882.307 s]
/proc/loadavg: 8.09 7.87 7.21 9/184 4245
/proc/meminfo: memFree=19098824/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=789056 CPUtime=3524.47 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 710370 0 0 0 352215 232 0 0 25 0 4 0 519130032 807993344 137134 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 197264 137134 388 106 0 192235 0
[pid=4205/tid=4206] ppid=4203 vsize=789056 CPUtime=882.3 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 197978 0 0 0 88163 67 0 0 25 0 4 0 519130032 807993344 137134 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=789056 CPUtime=877.6 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 141559 0 0 0 87716 44 0 0 25 0 4 0 519130032 807993344 137134 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=789056 CPUtime=882.23 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 216520 0 0 0 88149 74 0 0 25 0 4 0 519130032 807993344 137134 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 789056

[startup+942.3 s]
/proc/loadavg: 8.09 7.91 7.27 10/184 4247
/proc/meminfo: memFree=19087652/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=733516 CPUtime=3764.13 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 748823 0 0 0 376167 246 0 0 25 0 4 0 519130032 751120384 141217 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309206 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 183379 141217 388 106 0 178350 0
[pid=4205/tid=4206] ppid=4203 vsize=733516 CPUtime=942.3 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 206968 0 0 0 94159 71 0 0 25 0 4 0 519130032 751120384 141217 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=733516 CPUtime=937.28 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 150866 0 0 0 93680 48 0 0 25 0 4 0 519130032 751120384 141217 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=733516 CPUtime=942.21 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 229511 0 0 0 94143 78 0 0 25 0 4 0 519130032 751120384 141217 33554432000 4194304 4627427 140736620664288 18446744073709551615 4467990 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 733516

[startup+1002.3 s]
/proc/loadavg: 8.14 7.95 7.32 10/184 4248
/proc/meminfo: memFree=19092212/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=929612 CPUtime=4003.8 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 767844 0 0 0 400124 256 0 0 25 0 4 0 519130032 951922688 143111 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 232403 143111 388 106 0 227374 0
[pid=4205/tid=4206] ppid=4203 vsize=929612 CPUtime=1002.3 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 213131 0 0 0 100156 74 0 0 25 0 4 0 519130032 951922688 143111 33554432000 4194304 4627427 140736620664288 18446744073709551615 4420262 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=929612 CPUtime=996.96 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 156721 0 0 0 99644 52 0 0 25 0 4 0 519130032 951922688 143111 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=929612 CPUtime=1002.2 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 230701 0 0 0 100142 78 0 0 25 0 4 0 519130032 951922688 143111 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 929612

[startup+1062.3 s]
/proc/loadavg: 8.15 7.99 7.37 9/184 4250
/proc/meminfo: memFree=19083740/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=749596 CPUtime=4243.48 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 801402 0 0 0 424078 270 0 0 25 0 4 0 519130032 767586304 140243 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 187399 140243 388 106 0 182370 0
[pid=4205/tid=4206] ppid=4203 vsize=749596 CPUtime=1062.3 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 220785 0 0 0 106153 77 0 0 25 0 4 0 519130032 767586304 140243 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=749596 CPUtime=1056.65 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 165967 0 0 0 105609 56 0 0 25 0 4 0 519130032 767586304 140243 33554432000 4194304 4627427 140736620664288 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=749596 CPUtime=1062.2 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 239370 0 0 0 106139 81 0 0 25 0 4 0 519130032 767586304 140243 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 749596

[startup+1122.3 s]
/proc/loadavg: 8.05 7.99 7.40 10/184 4252
/proc/meminfo: memFree=19075292/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=882284 CPUtime=4483.15 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 837163 0 0 0 448032 283 0 0 25 0 4 0 519130032 903458816 143960 33554432000 4194304 4627427 140736620664288 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 220571 143960 388 106 0 215542 0
[pid=4205/tid=4206] ppid=4203 vsize=882284 CPUtime=1122.3 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 228518 0 0 0 112150 80 0 0 25 0 4 0 519130032 903458816 143960 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=882284 CPUtime=1116.32 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 175373 0 0 0 111573 59 0 0 25 0 4 0 519130032 903458816 143960 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=882284 CPUtime=1122.19 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 248577 0 0 0 112135 84 0 0 25 0 4 0 519130032 903458816 143960 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 882284

[startup+1182.3 s]
/proc/loadavg: 8.02 7.99 7.44 9/184 4253
/proc/meminfo: memFree=19080464/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=824228 CPUtime=4722.85 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 872814 0 0 0 471988 297 0 0 25 0 4 0 519130032 844009472 141738 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 206057 141738 388 106 0 201028 0
[pid=4205/tid=4206] ppid=4203 vsize=824228 CPUtime=1182.3 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 237528 0 0 0 118146 84 0 0 25 0 4 0 519130032 844009472 141738 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=824228 CPUtime=1176.01 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 183864 0 0 0 117539 62 0 0 25 0 4 0 519130032 844009472 141738 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=824228 CPUtime=1182.19 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 257897 0 0 0 118131 88 0 0 25 0 4 0 519130032 844009472 141738 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 824228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.01 7.46 9/184 4254
/proc/meminfo: memFree=19034580/32950904 swapFree=67082284/67111528
[pid=4205] ppid=4203 vsize=883776 CPUtime=4800.36 cores=0,2,4,6
/proc/4205/stat : 4205 (strangenight2-m) R 4203 4205 4177 0 -1 4202496 884936 0 0 0 479735 301 0 0 25 0 4 0 519130032 904986624 148879 33554432000 4194304 4627427 140736620664288 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4205/statm: 220944 148879 388 106 0 215915 0
[pid=4205/tid=4206] ppid=4203 vsize=883776 CPUtime=1201.71 cores=0,2,4,6
/proc/4205/task/4206/stat : 4206 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 240576 0 0 0 120086 85 0 0 25 0 4 0 519130032 904986624 148879 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4205/tid=4207] ppid=4203 vsize=883776 CPUtime=1195.31 cores=0,2,4,6
/proc/4205/task/4207/stat : 4207 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 185595 0 0 0 119468 63 0 0 25 0 4 0 519130032 904986624 148879 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4205/tid=4208] ppid=4203 vsize=883776 CPUtime=1201.6 cores=0,2,4,6
/proc/4205/task/4208/stat : 4208 (strangenight2-m) R 4203 4205 4177 0 -1 4202560 259612 0 0 0 120071 89 0 0 25 0 4 0 519130032 904986624 148879 33554432000 4194304 4627427 140736620664288 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 883776

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.41
CPU user time (s): 4797.38
CPU system time (s): 3.03654
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 944100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.38
system time used= 3.03654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 884937
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= 255
involuntary context switches= 38852

runsolver used 2.01269 second user time and 4.41733 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-29 13:08:23
IDJOB=3173993
IDBENCH=82811
IDSOLVER=1586
FILE ID=node121/3173993-1304075303
RUNJOBID= node121-1304075302-4195
PBS_JOBID= 13170500
Free space on /tmp= 72656 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173993-1304075303/watcher-3173993-1304075303 -o /tmp/evaluation-result-3173993-1304075303/solver-3173993-1304075303 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173993-1304075303.cnf

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

MD5SUM BENCH= c27e99aa66f5519277e3446434cc73f8
RANDOM SEED=1219453350

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.74
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.817
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.817
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:     32950904 kB
MemFree:      19984044 kB
Buffers:       2181432 kB
Cached:       10226104 kB
SwapCached:       2776 kB
Active:        9116096 kB
Inactive:      3329796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      19984044 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:            6032 kB
Writeback:           0 kB
AnonPages:       36832 kB
Mapped:          13368 kB
Slab:           455528 kB
PageTables:       4484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   190648 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72644 MiB
End job on node121 at 2011-04-29 13:28:27