Trace number 3366382

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 (fixed)? (TO) 4800.39 1203.44

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf
MD5SUM8c477af50318fe10cbec1ad215bff97c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366382-1305403040.cnf'
0.00/0.01	c -- header says num vars:            550
0.00/0.01	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.11	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
0.00/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.11	c calculated reachability. Time: 0.00
0.00/0.11	c Calc default polars -  time:   0.00 s pos:     232 undec:      76 neg:     242
0.00/0.11	c =========================================================================================
0.00/0.11	c types(t): F = full restart, N = normal restart
0.00/0.11	c types(t): S = simplification begin/end, E = solution found
0.00/0.11	c restart types(rt): st = static, dy = dynamic
0.00/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.11	c  B st     0         0       537      2323         0         0      7040         0   no data   no data
0.00/0.11	c Decided on static restart strategy
0.42/0.90	c  N st     8      4915       537      2323         0      4841      7040    119086   no data   no data
0.42/0.90	c  N st    10     11299       537      2323         0      4526      7040     80017   no data   no data
0.42/0.90	c  N st    11     17043       537      2323         0     10176      7040    225942   no data   no data
4.36/1.10	c  F st    12     25000       537      2323         0     12436      7040    275853   no data   no data
4.36/1.10	c  N st    12     25000       537      2323         0     12436      7040    275853   no data   no data
5.17/1.33	c Decided on static restart strategy
5.17/1.33	c  N st    18     30000       537      2323         0     10715      7040    209391   no data   no data
5.17/1.33	c  S st    18     30000       537      2323         0     10715      7040    209391   no data   no data
5.17/1.36	c  S st    18     30505       537      2323         0     11219      7040    221143   no data   no data
5.17/1.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.36	c blocked clauses removed:        0 vars:      0 tried:         537 T: 0.00 s
5.17/1.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
5.17/1.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.17/1.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.42	c lits-rem:       135  cl-subs:      467  v-elim:      0  v-fix:    0  time:  0.04 s
5.57/1.42	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.01
5.57/1.42	c calculated reachability. Time: 0.00
5.57/1.42	c  N st    18     30505       537      2323         0     10752      7040    208551   no data   no data
7.20/1.83	c  N st    20     37618       537      2323         0      9994      7040    173994   no data   no data
8.75/2.26	c  N st    21     44019       537      2323         0     16272      7040    323580   no data   no data
9.15/2.37	c  S st    22     45757       537      2323         0      9218      7040    134058   no data   no data
9.55/2.40	c  S st    22     46266       537      2323         0      9726      7040    145425   no data   no data
9.55/2.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.55/2.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
9.55/2.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.55/2.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.42	c lits-rem:        13  cl-subs:       57  v-elim:      0  v-fix:    0  time:  0.01 s
9.55/2.42	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
9.55/2.42	c vivif2 --  cl tried     9669 cl shrink        0 lits rem          0 time: 0.00
9.55/2.43	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.01
9.55/2.43	c calculated reachability. Time: 0.00
9.55/2.43	c  N st    22     46266       537      2323         0      9669      7040    144025   no data   no data
13.14/3.35	c  N st    23     60663       537      2323         0     13979      7040    240317   no data   no data
15.54/3.94	c  N st    24     69399       537      2323         0     11788      7040    181081   no data   no data
15.54/3.94	c  S st    24     69399       537      2323         0     11788      7040    181081   no data   no data
15.54/3.97	c  S st    24     69907       537      2323         0     12293      7040    193314   no data   no data
15.54/3.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.54/3.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.54/3.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
15.54/3.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.54/3.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.54/3.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/4.00	c lits-rem:        36  cl-subs:      145  v-elim:      0  v-fix:    0  time:  0.02 s
15.54/4.00	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
15.54/4.00	c vivif2 --  cl tried    12148 cl shrink        0 lits rem          0 time: 0.00
15.97/4.01	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.01
15.97/4.01	c calculated reachability. Time: 0.00
15.97/4.01	c  N st    24     69907       537      2323         0     12148      7040    189588   no data   no data
21.11/5.31	c  F st    25     87500       537      2323         0     17615      7040    324380   no data   no data
21.11/5.31	c  N st    25     87500       537      2323         0     17615      7040    324380   no data   no data
22.71/5.72	c Decided on static restart strategy
23.51/5.97	c  N st    32     95535       537      2323         0     25528      7040    524776   no data   no data
26.30/6.67	c  N st    34    104861       537      2323         0     21958      7040    406839   no data   no data
26.30/6.67	c  S st    34    104861       537      2323         0     21958      7040    406839   no data   no data
26.70/6.72	c  S st    34    105364       537      2323         0     22460      7040    419582   no data   no data
26.70/6.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.70/6.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.70/6.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.70/6.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.70/6.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.70/6.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
26.70/6.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.70/6.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.70/6.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.10/6.89	c lits-rem:       127  cl-subs:      739  v-elim:      0  v-fix:    0  time:  0.14 s
27.10/6.89	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
27.10/6.89	c vivif2 --  cl tried    21721 cl shrink        0 lits rem          0 time: 0.00
27.51/6.91	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.01
27.51/6.91	c calculated reachability. Time: 0.00
27.51/6.91	c  N st    34    105364       537      2323         0     21721      7040    399639   no data   no data
30.69/7.74	c  N st    35    114962       537      2323         0     17349      7040    265863   no data   no data
35.87/9.04	c  N st    36    129360       537      2323         0     16740      7040    231192   no data   no data
43.45/10.95	c  N st    37    150956       537      2323         0     22200      7040    352555   no data   no data
46.25/11.66	c  S st    38    158046       537      2323         0     29121      7040    517340   no data   no data
46.68/11.73	c  S st    38    158551       537      2323         0     29625      7040    529376   no data   no data
46.68/11.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.68/11.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.68/11.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.68/11.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.68/11.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.68/11.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
46.68/11.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.68/11.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.68/11.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.23/12.16	c lits-rem:       167  cl-subs:     1541  v-elim:      0  v-fix:    0  time:  0.40 s
48.23/12.16	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
48.23/12.17	c vivif2 --  cl tried    28084 cl shrink        0 lits rem          0 time: 0.01
48.23/12.19	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.02
48.23/12.19	c calculated reachability. Time: 0.00
48.23/12.19	c  N st    38    158551       537      2323         0     28084      7040    491062   no data   no data
69.02/17.38	c  N st    39    207140       537      2323         0     22788      7040    334583   no data   no data
83.34/20.91	c  N st    40    237826       537      2323         0     33323      7040    587913   no data   no data
83.34/20.91	c  S st    40    237826       537      2323         0     33323      7040    587913   no data   no data
83.74/21.00	c  S st    40    238336       537      2323         0     33833      7040    600735   no data   no data
83.74/21.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.74/21.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.74/21.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.74/21.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.74/21.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.74/21.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
83.74/21.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.74/21.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.74/21.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.34/21.46	c lits-rem:       187  cl-subs:     1170  v-elim:      0  v-fix:    0  time:  0.42 s
85.34/21.46	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
85.34/21.47	c vivif2 --  cl tried    32663 cl shrink        0 lits rem          0 time: 0.01
85.34/21.49	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.02
85.34/21.49	c calculated reachability. Time: 0.00
85.34/21.49	c  N st    40    238336       537      2323         0     32663      7040    570745   no data   no data
117.64/29.58	c  F st    41    306250       537      2323         0     34550      7040    571408   no data   no data
117.64/29.58	c  N st    41    306250       537      2323         0     34550      7040    571408   no data   no data
129.22/32.41	c  N dy   105    325933       537      2323         0     30355      7040    393862     15.75     16.63
143.21/35.94	c  N dy   173    349619       537      2323         0     29034      7040    325138     15.62     16.57
147.16/36.95	c  S st   218    357505       537      2323         0     36840      7040    509881     15.76     15.61
147.60/37.05	c  S st   218    358009       537      2323         0     37343      7040    522519     15.76   no data
147.60/37.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.60/37.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
147.60/37.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147.60/37.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.60/37.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.60/37.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
147.60/37.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
147.60/37.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
147.60/37.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.36/37.27	c lits-rem:       129  cl-subs:     1000  v-elim:      0  v-fix:    0  time:  0.19 s
148.36/37.27	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
148.36/37.28	c vivif2 --  cl tried    36343 cl shrink        0 lits rem          0 time: 0.01
148.76/37.31	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.02
148.76/37.31	c calculated reachability. Time: 0.00
148.76/37.31	c  N dy   218    358009       537      2323         0     36343      7040    500418     15.76   no data
161.52/40.54	c  N dy   320    378099       537      2323         0     30581      7040    346409     15.91     18.95
174.33/43.73	c  N dy   429    398192       537      2323         0     50409      7040    821730     16.08     17.22
187.10/46.94	c  N dy   518    418222       537      2323         0     43497      7040    628994     16.13     18.20
200.66/50.39	c  N dy   632    438289       537      2323         0     35708      7040    427888     16.25     18.28
214.98/53.99	c  N dy   721    458379       537      2323         0     55555      7040    909346     16.30     17.93
228.53/57.35	c  N dy   816    479737       537      2323         0     48035      7040    701891     16.33     17.28
242.90/60.94	c  N dy   895    499936       537      2323         0     38317      7040    444465     16.33     17.21
258.05/64.72	c  N dy   978    519981       537      2323         0     58072      7040    915586     16.34     18.38
268.82/67.49	c  S st  1054    537013       537      2323         0     44295      7040    571088     16.37     16.63
269.62/67.60	c  S st  1054    537513       537      2323         0     44795      7040    583048     16.37   no data
269.62/67.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
269.62/67.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
269.62/67.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
269.62/67.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
269.62/67.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.62/67.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
269.62/67.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
269.62/67.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
269.62/67.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
270.45/67.86	c lits-rem:       148  cl-subs:      678  v-elim:      0  v-fix:    0  time:  0.21 s
270.45/67.86	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
270.45/67.86	c vivif2 --  cl tried    44117 cl shrink        0 lits rem          0 time: 0.01
270.45/67.89	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.03
270.45/67.90	c calculated reachability. Time: 0.00
270.45/67.90	c  N dy  1054    537513       537      2323         0     44117      7040    565772     16.37   no data
288.01/72.21	c  N dy  1138    558022       537      2323         0     32763      7040    277367     16.38     17.26
300.74/75.46	c  N dy  1185    578164       537      2323         0     52610      7040    741892     16.32     17.51
316.69/79.40	c  N dy  1259    598339       537      2323         0     39957      7040    429807     16.32     17.23
332.30/83.39	c  N dy  1352    618659       537      2323         0     60010      7040    907987     16.34     17.28
347.81/87.28	c  N dy  1419    639775       537      2323         0     47326      7040    598089     16.31     17.17
366.57/91.95	c  N dy  1493    659950       537      2323         0     67206      7040   1081550     16.29     17.18
381.72/95.74	c  N dy  1583    680004       537      2323         0     52482      7040    698155     16.31     17.85
402.50/100.96	c  N dy  1678    700468       537      2323         0     37169      7040    306107     16.33     17.35
416.81/104.59	c  N dy  1761    720782       537      2323         0     57148      7040    787105     16.35     17.36
436.76/109.60	c  N dy  1866    740805       537      2323         0     40406      7040    360046     16.37     17.24
452.71/113.55	c  N dy  1962    761149       537      2323         0     60448      7040    845176     16.39     17.59
472.30/118.44	c  N dy  2038    782057       537      2323         0     43598      7040    423428     16.37     17.32
489.85/122.89	c  N dy  2102    803109       537      2323         0     64336      7040    916067     16.35     17.27
493.41/123.76	c  S st  2117    806270       537      2323         0     67456      7040    991386     16.35     15.46
494.24/123.94	c  S st  2117    806771       537      2323         0     67957      7040   1003512     16.35   no data
494.24/123.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
494.24/123.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
494.24/123.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
494.24/123.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
494.24/123.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
494.24/123.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
494.24/123.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
494.24/123.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
494.64/124.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
497.40/124.72	c lits-rem:       256  cl-subs:     1863  v-elim:      0  v-fix:    0  time:  0.69 s
497.40/124.72	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
497.40/124.73	c vivif2 --  cl tried    66094 cl shrink        0 lits rem          0 time: 0.01
497.40/124.79	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.06
497.40/124.79	c calculated reachability. Time: 0.00
497.40/124.79	c  N dy  2117    806771       537      2323         0     66094      7040    960511     16.35   no data
516.93/129.62	c  N dy  2204    826818       537      2323         0     47431      7040    499812     16.35     18.27
535.69/134.35	c  N dy  2305    847305       537      2323         0     67674      7040    993353     16.37     17.26
564.01/141.45	c  N dy  2418    878154       537      2323         0     58601      7040    758994     16.36     17.22
585.16/146.71	c  N dy  2480    898195       537      2323         0     78331      7040   1225535     16.34     19.57
601.10/150.77	c  N dy  2557    918222       537      2323         0     57674      7040    718085     16.33     17.20
623.85/156.40	c  N dy  2568    938875       537      2323         0     77848      7040   1170692     16.25     17.14
641.79/160.98	c  N dy  2693    958971       537      2323         0     56389      7040    675752     16.28     18.64
663.34/166.33	c  N dy  2769    978990       537      2323         0     76076      7040   1153298     16.28     17.57
683.32/171.39	c  N dy  2852    999352       537      2323         0     53854      7040    590148     16.29     17.16
703.63/176.46	c  N dy  2923   1019408       537      2323         0     73533      7040   1049835     16.28     19.60
727.20/182.39	c  N dy  3003   1039959       537      2323         0     50457      7040    480240     16.28     17.30
746.71/187.22	c  N dy  3114   1060040       537      2323         0     70270      7040    963479     16.31     21.25
762.31/191.12	c  F st  3185   1071877       537      2323         0     81945      7040   1246985     16.32   no data
768.64/192.77	c Decided on static restart strategy
774.23/194.14	c  N st  3193   1084180       537      2323         0     49746      7040    569210     16.32   no data
800.56/200.72	c  N st  3196   1114577       537      2323         0     79508      7040   1361197     16.32   no data
823.74/206.58	c  N st  3197   1136174       537      2323         0     55563      7040    879181     16.32   no data
864.78/216.89	c  N st  3198   1168567       537      2323         0     87261      7040   1703937     16.32   no data
902.70/226.35	c  N st  3199   1210157       537      2323         0     81815      7040   1589466     16.32   no data
902.70/226.35	c  S st  3199   1210157       537      2323         0     81815      7040   1589466     16.32   no data
903.85/226.62	c  S st  3199   1210657       537      2323         0     82315      7040   1601386     16.32   no data
903.85/226.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
903.85/226.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
903.85/226.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
903.85/226.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
903.85/226.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
903.85/226.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
903.85/226.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
903.85/226.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
904.24/226.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
927.39/232.54	c lits-rem:       770  cl-subs:     5378  v-elim:      0  v-fix:    0  time:  5.81 s
927.39/232.54	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
927.39/232.56	c vivif2 --  cl tried    76937 cl shrink        0 lits rem          0 time: 0.02
927.79/232.64	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.08
927.79/232.65	c calculated reachability. Time: 0.00
927.79/232.65	c  N st  3199   1210657       537      2323         0     76937      7040   1464654     16.32   no data
1002.38/251.36	c  N st  3200   1283539       537      2323         0     53509      7040    714786     16.32   no data
1120.86/281.09	c  N st  3201   1392863       537      2323         0     61549      7040    863178     16.32   no data
1295.97/324.96	c  N st  3202   1556847       537      2323         0     66352      7040    918976     16.32   no data
1455.17/364.83	c  N st  3203   1710657       537      2323         0    108149      7040   1936055     16.32   no data
1455.17/364.83	c  S st  3203   1710657       537      2323         0    108149      7040   1936055     16.32   no data
1456.72/365.24	c  S st  3203   1711159       537      2323         0    108650      7040   1948686     16.32   no data
1456.72/365.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1457.12/365.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1457.12/365.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1457.12/365.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1457.12/365.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1457.12/365.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
1457.12/365.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1457.12/365.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1457.12/365.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1499.04/375.86	c lits-rem:      1209  cl-subs:     7399  v-elim:      0  v-fix:    0  time: 10.47 s
1499.04/375.86	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
1499.04/375.89	c vivif2 --  cl tried   101251 cl shrink        0 lits rem          0 time: 0.02
1499.80/376.00	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.11
1499.80/376.00	c calculated reachability. Time: 0.00
1499.80/376.00	c  N st  3203   1711159       537      2323         0    101251      7040   1784768     16.32   no data
1931.81/484.32	c  N st  3204   2080123       537      2323         0    112986      7040   1967997     16.32   no data
2106.12/528.06	c  N st  3205   2211159       537      2323         0    117068      7040   2001815     16.32   no data
2106.12/528.06	c  S st  3205   2211159       537      2323         0    117068      7040   2001815     16.32   no data
2107.72/528.45	c  S st  3205   2211664       537      2323         0    117573      7040   2014354     16.32   no data
2107.72/528.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2108.12/528.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2108.12/528.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2108.12/528.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2108.12/528.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2108.12/528.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
2108.12/528.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2108.12/528.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2108.52/528.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2155.60/540.42	c lits-rem:       622  cl-subs:     6661  v-elim:      0  v-fix:    0  time: 11.81 s
2155.60/540.42	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
2155.60/540.44	c vivif2 --  cl tried   110912 cl shrink        0 lits rem          0 time: 0.03
2156.00/540.57	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.12
2156.00/540.57	c calculated reachability. Time: 0.00
2156.00/540.57	c  N st  3205   2211664       537      2323         0    110912      7040   1850723     16.32   no data
2818.56/706.64	c  N st  3206   2711664       537      2323         0    133414      7040   2233379     16.32   no data
2818.56/706.64	c  S st  3206   2711664       537      2323         0    133414      7040   2233379     16.32   no data
2820.55/707.12	c  S st  3206   2712169       537      2323         0    133918      7040   2246360     16.32   no data
2820.55/707.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2820.95/707.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2820.95/707.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2820.95/707.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2820.95/707.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2820.95/707.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
2820.95/707.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2820.95/707.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2821.35/707.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2913.51/730.46	c lits-rem:       949  cl-subs:    14338  v-elim:      0  v-fix:    0  time: 23.16 s
2913.51/730.46	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
2913.51/730.49	c vivif2 --  cl tried   119580 cl shrink        0 lits rem          0 time: 0.03
2914.31/730.62	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.13
2914.31/730.63	c calculated reachability. Time: 0.00
2914.31/730.63	c  N st  3206   2712169       537      2323         0    119580      7040   1935415     16.32   no data
3640.34/912.65	c  N st  3207   3212170       537      2323         0     96058      7040   1218343     16.32   no data
3640.34/912.65	c  S st  3207   3212170       537      2323         0     96058      7040   1218343     16.32   no data
3641.49/912.96	c  S st  3207   3212674       537      2323         0     96561      7040   1230829     16.32   no data
3641.49/912.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3641.89/913.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3641.89/913.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3641.89/913.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3641.89/913.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3641.89/913.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
3641.89/913.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3641.89/913.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3641.89/913.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3650.26/915.13	c lits-rem:       169  cl-subs:     3636  v-elim:      0  v-fix:    0  time:  2.06 s
3650.26/915.13	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
3650.26/915.15	c vivif2 --  cl tried    92925 cl shrink        0 lits rem          0 time: 0.02
3650.66/915.25	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.10
3650.66/915.25	c calculated reachability. Time: 0.00
3650.66/915.25	c  N st  3207   3212674       537      2323         0     92925      7040   1155616     16.32   no data
4459.64/1118.01	c  N st  3208   3712674       537      2323         0    104039      7040   1322380     16.32   no data
4459.64/1118.01	c  S st  3208   3712674       537      2323         0    104039      7040   1322380     16.32   no data
4460.87/1118.35	c  S st  3208   3713176       537      2323         0    104540      7040   1334614     16.32   no data
4460.87/1118.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4461.28/1118.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4461.28/1118.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4461.28/1118.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4461.28/1118.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4461.28/1118.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
4461.28/1118.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4461.28/1118.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4461.28/1118.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4470.81/1120.81	c lits-rem:       273  cl-subs:     3667  v-elim:      0  v-fix:    0  time:  2.32 s
4470.81/1120.81	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
4470.81/1120.83	c vivif2 --  cl tried   100873 cl shrink        0 lits rem          0 time: 0.02
4471.21/1120.94	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.11
4471.21/1120.94	c calculated reachability. Time: 0.00
4471.21/1120.94	c  N st  3208   3713176       537      2323         0    100873      7040   1248193     16.32   no data
4543.01/1138.92	c  F st  3209   3751562       537      2323         0    138311      7040   2225516     16.32   no data
4543.01/1138.92	c  N st  3209   3751562       537      2323         0    138311      7040   2225516     16.32   no data
4555.77/1142.13	c Decided on static restart strategy
4609.23/1155.55	c  N st  3219   3779865       537      2323         0     83163      7040    766517     16.32   no data
4657.90/1167.78	c  N st  3221   3815860       537      2323         0    118492      7040   1690213     16.32   no data
4717.32/1182.60	c  N st  3222   3848253       537      2323         0    150382      7040   2562876     16.32   no data
4797.11/1202.65	c  N st  3223   3896842       537      2323         0    113933      7040   1582418     16.32   no data

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-3366382-1305403040/watcher-3366382-1305403040 -o /tmp/evaluation-result-3366382-1305403040/solver-3366382-1305403040 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366382-1305403040.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.12 8.11 8.08 2/331 31631
/proc/meminfo: memFree=17858620/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=51168 CPUtime=0.02 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 410 0 0 0 2 0 0 0 25 0 4 0 651904910 52396032 351 33554432000 4194304 4580107 140735212062256 18446744073709551615 47524997948953 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 12792 351 302 95 0 7774 0
[pid=31631/tid=31633] ppid=31629 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 651904911 52396032 351 33554432000 4194304 4580107 140735212062256 18446744073709551615 47524997948953 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651904911 52396032 351 33554432000 4194304 4580107 140735212062256 18446744073709551615 47524997949356 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651904911 52396032 351 33554432000 4194304 4580107 140735212062256 18446744073709551615 47524997948953 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.115008 s]
/proc/loadavg: 8.12 8.11 8.08 2/331 31631
/proc/meminfo: memFree=17858620/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=282036 CPUtime=0.42 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 1740 0 0 0 42 0 0 0 18 0 4 0 651904910 288804864 1656 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 70509 1657 377 95 0 65491 0
[pid=31631/tid=31633] ppid=31629 vsize=282036 CPUtime=0.1 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 349 0 0 0 10 0 0 0 18 0 4 0 651904911 288804864 1657 33554432000 4194304 4580107 140735212062256 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=282036 CPUtime=0.1 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 361 0 0 0 10 0 0 0 18 0 4 0 651904911 288804864 1657 33554432000 4194304 4580107 140735212062256 18446744073709551615 270613215726 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=282036 CPUtime=0.1 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 271 0 0 0 10 0 0 0 18 0 4 0 651904911 288804864 1657 33554432000 4194304 4580107 140735212062256 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282036

[startup+0.913213 s]
/proc/loadavg: 8.12 8.11 8.08 2/331 31631
/proc/meminfo: memFree=17858620/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=285036 CPUtime=3.61 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 5418 0 0 0 361 0 0 0 19 0 4 0 651904910 291876864 2693 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 71259 2693 377 95 0 66241 0
[pid=31631/tid=31633] ppid=31629 vsize=285036 CPUtime=0.9 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1249 0 0 0 90 0 0 0 19 0 4 0 651904911 291876864 2693 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=285036 CPUtime=0.89 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1282 0 0 0 89 0 0 0 19 0 4 0 651904911 291876864 2693 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=285036 CPUtime=0.9 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1156 0 0 0 90 0 0 0 19 0 4 0 651904911 291876864 2693 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 285036

[startup+1.0012 s]
/proc/loadavg: 8.12 8.11 8.08 2/331 31631
/proc/meminfo: memFree=17858620/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=285036 CPUtime=3.96 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 5656 0 0 0 396 0 0 0 19 0 4 0 651904910 291876864 2931 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294460 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 71259 2931 377 95 0 66241 0
[pid=31631/tid=31633] ppid=31629 vsize=285036 CPUtime=0.99 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1313 0 0 0 99 0 0 0 19 0 4 0 651904911 291876864 2931 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=285036 CPUtime=0.98 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1336 0 0 0 98 0 0 0 19 0 4 0 651904911 291876864 2931 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=285036 CPUtime=0.98 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1222 0 0 0 98 0 0 0 19 0 4 0 651904911 291876864 2931 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 285036

[startup+1.10118 s]
/proc/loadavg: 8.12 8.11 8.08 2/331 31631
/proc/meminfo: memFree=17858620/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=285168 CPUtime=4.36 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 5929 0 0 0 436 0 0 0 19 0 4 0 651904910 292012032 3204 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 71292 3204 378 95 0 66274 0
[pid=31631/tid=31633] ppid=31629 vsize=285168 CPUtime=1.09 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1364 0 0 0 109 0 0 0 19 0 4 0 651904911 292012032 3204 33554432000 4194304 4580107 140735212062256 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=285168 CPUtime=1.08 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1420 0 0 0 108 0 0 0 19 0 4 0 651904911 292012032 3204 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=285168 CPUtime=1.08 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1269 0 0 0 108 0 0 0 19 0 4 0 651904911 292012032 3204 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 285168

[startup+1.50111 s]
/proc/loadavg: 8.12 8.11 8.08 2/331 31631
/proc/meminfo: memFree=17858620/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=285648 CPUtime=5.97 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 8861 0 0 0 596 1 0 0 20 0 4 0 651904910 292503552 4527 33554432000 4194304 4580107 140735212062256 18446744073709551615 4322656 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 71412 4527 380 95 0 66394 0
[pid=31631/tid=31633] ppid=31629 vsize=285648 CPUtime=1.49 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1750 0 0 0 149 0 0 0 20 0 4 0 651904911 292503552 4527 33554432000 4194304 4580107 140735212062256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=285648 CPUtime=1.48 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1771 0 0 0 148 0 0 0 20 0 4 0 651904911 292503552 4527 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=285648 CPUtime=1.48 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 1704 0 0 0 148 0 0 0 20 0 4 0 651904911 292503552 4527 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285648

[startup+3.10083 s]
/proc/loadavg: 8.11 8.11 8.08 9/343 31644
/proc/meminfo: memFree=17765880/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=286612 CPUtime=12.34 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 18014 0 0 0 1232 2 0 0 25 0 4 0 651904910 293490688 9829 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 71653 9829 382 95 0 66635 0
[pid=31631/tid=31633] ppid=31629 vsize=286612 CPUtime=3.09 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 3935 0 0 0 309 0 0 0 25 0 4 0 651904911 293490688 9829 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=286612 CPUtime=3.05 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 4796 0 0 0 305 0 0 0 25 0 4 0 651904911 293490688 9829 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=286612 CPUtime=3.08 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 4368 0 0 0 308 0 0 0 25 0 4 0 651904911 293490688 9829 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 286612

[startup+6.31226 s]
/proc/loadavg: 8.10 8.11 8.08 9/343 31644
/proc/meminfo: memFree=17733184/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=279252 CPUtime=25.14 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 29038 0 0 0 2510 4 0 0 25 0 4 0 651904910 285954048 12740 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 69813 12740 379 95 0 64795 0
[pid=31631/tid=31633] ppid=31629 vsize=279252 CPUtime=6.3 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 7427 0 0 0 629 1 0 0 25 0 4 0 651904911 285954048 12740 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=279252 CPUtime=6.23 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 7907 0 0 0 622 1 0 0 25 0 4 0 651904911 285954048 12740 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=279252 CPUtime=6.29 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 6349 0 0 0 629 0 0 0 25 0 4 0 651904911 285954048 12740 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 279252

[startup+12.7011 s]
/proc/loadavg: 8.09 8.10 8.08 9/343 31644
/proc/meminfo: memFree=17681460/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=280652 CPUtime=50.63 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 44425 0 0 0 5057 6 0 0 25 0 4 0 651904910 287387648 19002 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 70163 19002 379 95 0 65145 0
[pid=31631/tid=31633] ppid=31629 vsize=280652 CPUtime=12.68 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 11887 0 0 0 1267 1 0 0 25 0 4 0 651904911 287387648 19002 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=280652 CPUtime=12.56 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 10936 0 0 0 1255 1 0 0 25 0 4 0 651904911 287387648 19002 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=280652 CPUtime=12.67 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 9663 0 0 0 1266 1 0 0 25 0 4 0 651904911 287387648 19002 33554432000 4194304 4580107 140735212062256 18446744073709551615 4322409 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 280652

[startup+25.5009 s]
/proc/loadavg: 8.15 8.12 8.08 9/343 31645
/proc/meminfo: memFree=17622700/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=347972 CPUtime=101.69 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 67391 0 0 0 10159 10 0 0 25 0 4 0 651904910 356323328 26839 33554432000 4194304 4580107 140735212062256 18446744073709551615 4304864 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 86993 26839 379 95 0 81975 0
[pid=31631/tid=31633] ppid=31629 vsize=347972 CPUtime=25.48 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 18907 0 0 0 2546 2 0 0 25 0 4 0 651904911 356323328 26839 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=347972 CPUtime=25.21 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 17542 0 0 0 2519 2 0 0 25 0 4 0 651904911 356323328 26839 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=347972 CPUtime=25.47 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 13443 0 0 0 2545 2 0 0 25 0 4 0 651904911 356323328 26839 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 347972

[startup+51.1003 s]
/proc/loadavg: 8.10 8.11 8.08 9/343 31645
/proc/meminfo: memFree=17542776/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=284888 CPUtime=203.81 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 97988 0 0 0 20364 17 0 0 25 0 4 0 651904910 291725312 34496 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 71222 34496 379 95 0 66204 0
[pid=31631/tid=31633] ppid=31629 vsize=284888 CPUtime=51.08 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 28442 0 0 0 5104 4 0 0 25 0 4 0 651904911 291725312 34496 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=284888 CPUtime=50.54 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 24670 0 0 0 5050 4 0 0 25 0 4 0 651904911 291725312 34496 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=284888 CPUtime=51.08 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 21333 0 0 0 5104 4 0 0 25 0 4 0 651904911 291725312 34496 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 284888

[startup+102.3 s]
/proc/loadavg: 8.12 8.12 8.09 9/343 31647
/proc/meminfo: memFree=17473168/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=350592 CPUtime=408.04 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 135822 0 0 0 40774 30 0 0 25 0 4 0 651904910 359006208 44124 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 87648 44124 379 95 0 82630 0
[pid=31631/tid=31633] ppid=31629 vsize=350592 CPUtime=102.28 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 38848 0 0 0 10221 7 0 0 25 0 4 0 651904911 359006208 44124 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=350592 CPUtime=101.18 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 32423 0 0 0 10111 7 0 0 25 0 4 0 651904911 359006208 44124 33554432000 4194304 4580107 140735212062256 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=350592 CPUtime=102.25 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 35268 0 0 0 10218 7 0 0 25 0 4 0 651904911 359006208 44124 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 350592

[startup+162.301 s]

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

[pid=31631] ppid=31629 vsize=601328 CPUtime=2562.06 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 370402 0 0 0 256084 122 0 0 25 0 4 0 651904910 615759872 95735 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 150332 95735 379 95 0 145314 0
[pid=31631/tid=31633] ppid=31629 vsize=601328 CPUtime=636.66 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 92567 0 0 0 63639 27 0 0 25 0 4 0 651904911 615759872 95735 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=601328 CPUtime=640.91 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 89848 0 0 0 64062 29 0 0 25 0 4 0 651904911 615759872 95735 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=601328 CPUtime=642.17 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 102175 0 0 0 64183 34 0 0 25 0 4 0 651904911 615759872 95735 33554432000 4194304 4580107 140735212062256 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2562.06
Current children cumulated vsize (KiB) 601328

[startup+702.301 s]
/proc/loadavg: 8.17 8.15 8.10 9/343 31675
/proc/meminfo: memFree=17020316/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=589356 CPUtime=2801.42 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 396463 0 0 0 280009 133 0 0 25 0 4 0 651904910 603500544 94045 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 147339 94045 379 95 0 142321 0
[pid=31631/tid=31633] ppid=31629 vsize=589356 CPUtime=696.02 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 101087 0 0 0 69572 30 0 0 25 0 4 0 651904911 603500544 94045 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=589356 CPUtime=700.92 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 97286 0 0 0 70060 32 0 0 25 0 4 0 651904911 603500544 94045 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=589356 CPUtime=702.16 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 108042 0 0 0 70180 36 0 0 25 0 4 0 651904911 603500544 94045 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.42
Current children cumulated vsize (KiB) 589356

[startup+762.301 s]
/proc/loadavg: 8.16 8.15 8.09 9/343 31676
/proc/meminfo: memFree=16958932/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=589596 CPUtime=3040.74 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 420014 0 0 0 303933 141 0 0 25 0 4 0 651904910 603746304 101716 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 147399 101716 379 95 0 142381 0
[pid=31631/tid=31633] ppid=31629 vsize=589596 CPUtime=755.36 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 105790 0 0 0 75504 32 0 0 25 0 4 0 651904911 603746304 101716 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=589596 CPUtime=760.92 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 103544 0 0 0 76057 35 0 0 25 0 4 0 651904911 603746304 101716 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=589596 CPUtime=762.15 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 113922 0 0 0 76177 38 0 0 25 0 4 0 651904911 603746304 101716 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.74
Current children cumulated vsize (KiB) 589596

[startup+822.301 s]
/proc/loadavg: 8.16 8.15 8.09 9/343 31678
/proc/meminfo: memFree=16887736/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=614864 CPUtime=3280.09 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 442663 0 0 0 327856 153 0 0 25 0 4 0 651904910 629620736 103350 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 153716 103350 379 95 0 148698 0
[pid=31631/tid=31633] ppid=31629 vsize=614864 CPUtime=814.72 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 111324 0 0 0 81437 35 0 0 25 0 4 0 651904911 629620736 103350 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=614864 CPUtime=820.92 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 110242 0 0 0 82053 39 0 0 25 0 4 0 651904911 629620736 103350 33554432000 4194304 4580107 140735212062256 18446744073709551615 4324233 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=614864 CPUtime=822.13 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 120209 0 0 0 82173 40 0 0 25 0 4 0 651904911 629620736 103350 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.09
Current children cumulated vsize (KiB) 614864

[startup+882.3 s]
/proc/loadavg: 8.15 8.15 8.09 9/343 31679
/proc/meminfo: memFree=16845188/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=680616 CPUtime=3519.43 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 468271 0 0 0 351780 163 0 0 25 0 4 0 651904910 696950784 114388 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 170154 114388 379 95 0 165136 0
[pid=31631/tid=31633] ppid=31629 vsize=680616 CPUtime=874.05 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 119666 0 0 0 87368 37 0 0 25 0 4 0 651904911 696950784 114388 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=680616 CPUtime=880.91 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 116001 0 0 0 88049 42 0 0 25 0 4 0 651904911 696950784 114388 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=680616 CPUtime=882.13 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 126802 0 0 0 88171 42 0 0 25 0 4 0 651904911 696950784 114388 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3519.43
Current children cumulated vsize (KiB) 680616

[startup+942.301 s]
/proc/loadavg: 8.09 8.14 8.09 9/343 31681
/proc/meminfo: memFree=16863392/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=718828 CPUtime=3758.81 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 485461 0 0 0 375712 169 0 0 25 0 4 0 651904910 736079872 114408 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 179707 114408 379 95 0 174689 0
[pid=31631/tid=31633] ppid=31629 vsize=718828 CPUtime=933.41 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 123037 0 0 0 93302 39 0 0 25 0 4 0 651904911 736079872 114408 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=718828 CPUtime=940.93 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 123536 0 0 0 94048 45 0 0 25 0 4 0 651904911 736079872 114408 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=718828 CPUtime=942.14 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 132872 0 0 0 94169 45 0 0 25 0 4 0 651904911 736079872 114408 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3758.81
Current children cumulated vsize (KiB) 718828

[startup+1002.3 s]
/proc/loadavg: 8.07 8.12 8.09 9/343 31683
/proc/meminfo: memFree=16781152/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=681188 CPUtime=3998.11 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 511056 0 0 0 399631 180 0 0 25 0 4 0 651904910 697536512 123474 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 170297 123474 379 95 0 165279 0
[pid=31631/tid=31633] ppid=31629 vsize=681188 CPUtime=992.75 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 129074 0 0 0 99234 41 0 0 25 0 4 0 651904911 697536512 123474 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=681188 CPUtime=1000.91 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 130478 0 0 0 100044 47 0 0 25 0 4 0 651904911 697536512 123474 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=681188 CPUtime=1002.11 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 139315 0 0 0 100163 48 0 0 25 0 4 0 651904911 697536512 123474 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3998.11
Current children cumulated vsize (KiB) 681188

[startup+1062.31 s]
/proc/loadavg: 8.06 8.11 8.09 9/343 31684
/proc/meminfo: memFree=16765476/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=681416 CPUtime=4237.49 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 531077 0 0 0 423561 188 0 0 25 0 4 0 651904910 697769984 123486 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 170354 123486 379 95 0 165336 0
[pid=31631/tid=31633] ppid=31629 vsize=681416 CPUtime=1052.1 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 132614 0 0 0 105169 41 0 0 25 0 4 0 651904911 697769984 123486 33554432000 4194304 4580107 140735212062256 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=681416 CPUtime=1060.94 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 137558 0 0 0 106043 51 0 0 25 0 4 0 651904911 697769984 123486 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=681416 CPUtime=1062.12 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 145503 0 0 0 106161 51 0 0 25 0 4 0 651904911 697769984 123486 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4237.49
Current children cumulated vsize (KiB) 681416

[startup+1122.3 s]
/proc/loadavg: 8.13 8.12 8.09 9/343 31686
/proc/meminfo: memFree=16743756/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=668516 CPUtime=4476.79 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 545275 0 0 0 447483 196 0 0 25 0 4 0 651904910 684560384 124800 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 167129 124800 379 95 0 162111 0
[pid=31631/tid=31633] ppid=31629 vsize=668516 CPUtime=1111.44 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 133209 0 0 0 111102 42 0 0 25 0 4 0 651904911 684560384 124800 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=668516 CPUtime=1120.93 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 141545 0 0 0 112039 54 0 0 25 0 4 0 651904911 684560384 124800 33554432000 4194304 4580107 140735212062256 18446744073709551615 4305611 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=668516 CPUtime=1122.1 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 150813 0 0 0 112157 53 0 0 25 0 4 0 651904911 684560384 124800 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4476.79
Current children cumulated vsize (KiB) 668516

[startup+1182.3 s]
/proc/loadavg: 8.12 8.11 8.09 10/343 31687
/proc/meminfo: memFree=16736724/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=669300 CPUtime=4716.12 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 561437 0 0 0 471411 201 0 0 25 0 4 0 651904910 685363200 128554 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 167325 128554 379 95 0 162307 0
[pid=31631/tid=31633] ppid=31629 vsize=669300 CPUtime=1170.78 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 133865 0 0 0 117036 42 0 0 25 0 4 0 651904911 685363200 128554 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=669300 CPUtime=1180.92 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 149200 0 0 0 118037 55 0 0 25 0 4 0 651904911 685363200 128554 33554432000 4194304 4580107 140735212062256 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=669300 CPUtime=1182.08 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 155555 0 0 0 118154 54 0 0 25 0 4 0 651904911 685363200 128554 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4716.12
Current children cumulated vsize (KiB) 669300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.08 8.10 8.09 9/343 31688
/proc/meminfo: memFree=16684752/32951124 swapFree=67056804/67111528
[pid=31631] ppid=31629 vsize=734964 CPUtime=4800.33 cores=0,2,4,6
/proc/31631/stat : 31631 (strangenight2-m) R 31629 31631 31208 0 -1 4202496 565134 0 0 0 479830 203 0 0 25 0 4 0 651904910 752603136 128679 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31631/statm: 183741 128679 379 95 0 178723 0
[pid=31631/tid=31633] ppid=31629 vsize=734964 CPUtime=1191.66 cores=0,2,4,6
/proc/31631/task/31633/stat : 31633 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 133865 0 0 0 119124 42 0 0 25 0 4 0 651904911 752603136 128679 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31631/tid=31634] ppid=31629 vsize=734964 CPUtime=1202.04 cores=0,2,4,6
/proc/31631/task/31634/stat : 31634 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 150341 0 0 0 120148 56 0 0 25 0 4 0 651904911 752603136 128679 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31631/tid=31635] ppid=31629 vsize=734964 CPUtime=1203.19 cores=0,2,4,6
/proc/31631/task/31635/stat : 31635 (strangenight2-m) R 31629 31631 31208 0 -1 4202560 155613 0 0 0 120265 54 0 0 25 0 4 0 651904911 752603136 128679 33554432000 4194304 4580107 140735212062256 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 734964

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): 1203.44
CPU time (s): 4800.39
CPU user time (s): 4798.33
CPU system time (s): 2.06069
CPU usage (%): 398.887
Max. virtual memory (cumulated for all children) (KiB): 796856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.33
system time used= 2.06069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565135
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= 375
involuntary context switches= 20682

runsolver used 3.71943 second user time and 9.43157 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-14 21:57:20
IDJOB=3366382
IDBENCH=82791
IDSOLVER=1844
FILE ID=node108/3366382-1305403040
RUNJOBID= node108-1305401834-31523
PBS_JOBID= 13324481
Free space on /tmp= 73556 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366382-1305403040/watcher-3366382-1305403040 -o /tmp/evaluation-result-3366382-1305403040/solver-3366382-1305403040 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366382-1305403040.cnf

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

MD5SUM BENCH= 8c477af50318fe10cbec1ad215bff97c
RANDOM SEED=1884291152

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17858900 kB
Buffers:        277816 kB
Cached:        4400652 kB
SwapCached:       8700 kB
Active:       11028708 kB
Inactive:      3753392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17858900 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:            5500 kB
Writeback:           0 kB
AnonPages:    10100340 kB
Mapped:          26576 kB
Slab:           207600 kB
PageTables:      38352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52256008 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= 73544 MiB
End job on node108 at 2011-05-14 22:17:25