Trace number 3173973

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.35 1201.63

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.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-3173973-1304074654.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.00	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.00	c -- vars added        550
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     232 undec:      76 neg:     242
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       537      2323         0         0      7040         0   no data   no data
0.00/0.07	c Decided on static restart strategy
0.43/0.16	c  N st     8      4915       537      2323         0      4841      7040    119086   no data   no data
1.58/0.42	c  N st    10     11299       537      2323         0      4526      7040     80017   no data   no data
2.37/0.67	c  N st    11     17043       537      2323         0     10176      7040    225942   no data   no data
3.98/1.06	c  F st    12     25000       537      2323         0     12436      7040    275853   no data   no data
3.98/1.06	c  N st    12     25000       537      2323         0     12436      7040    275853   no data   no data
5.17/1.31	c Decided on static restart strategy
5.17/1.31	c  N st    18     30000       537      2323         0     10715      7040    209391   no data   no data
5.17/1.31	c  S st    18     30000       537      2323         0     10715      7040    209391   no data   no data
5.17/1.34	c  S st    18     30505       537      2323         0     11219      7040    221143   no data   no data
5.17/1.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.34	c blocked clauses removed:        0 vars:      0 tried:         537 T: 0.00 s
5.17/1.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
5.17/1.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.17/1.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:       135  cl-subs:      467  v-elim:      0  v-fix:    0  time:  0.04 s
5.57/1.41	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.01
5.57/1.41	c calculated reachability. Time: 0.00
5.57/1.41	c  N st    18     30505       537      2323         0     10752      7040    208551   no data   no data
7.17/1.81	c  N st    20     37618       537      2323         0      9994      7040    173994   no data   no data
8.78/2.23	c  N st    21     44019       537      2323         0     16272      7040    323580   no data   no data
9.20/2.35	c  S st    22     45757       537      2323         0      9218      7040    134058   no data   no data
9.20/2.38	c  S st    22     46266       537      2323         0      9726      7040    145425   no data   no data
9.20/2.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.20/2.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.20/2.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.20/2.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.20/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
9.20/2.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.20/2.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.20/2.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.40	c lits-rem:        13  cl-subs:       57  v-elim:      0  v-fix:    0  time:  0.01 s
9.57/2.40	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
9.57/2.40	c vivif2 --  cl tried     9669 cl shrink        0 lits rem          0 time: 0.00
9.57/2.40	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.01
9.57/2.40	c calculated reachability. Time: 0.00
9.57/2.40	c  N st    22     46266       537      2323         0      9669      7040    144025   no data   no data
13.18/3.31	c  N st    23     60663       537      2323         0     13979      7040    240317   no data   no data
15.56/3.90	c  N st    24     69399       537      2323         0     11788      7040    181081   no data   no data
15.56/3.90	c  S st    24     69399       537      2323         0     11788      7040    181081   no data   no data
15.56/3.93	c  S st    24     69907       537      2323         0     12293      7040    193314   no data   no data
15.56/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.56/3.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.56/3.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
15.56/3.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.56/3.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.56/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.96	c lits-rem:        36  cl-subs:      145  v-elim:      0  v-fix:    0  time:  0.02 s
15.56/3.96	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
15.56/3.97	c vivif2 --  cl tried    12148 cl shrink        0 lits rem          0 time: 0.00
15.56/3.97	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.01
15.56/3.97	c calculated reachability. Time: 0.00
15.56/3.97	c  N st    24     69907       537      2323         0     12148      7040    189588   no data   no data
20.75/5.26	c  F st    25     87500       537      2323         0     17615      7040    324380   no data   no data
20.75/5.27	c  N st    25     87500       537      2323         0     17615      7040    324380   no data   no data
22.37/5.67	c Decided on static restart strategy
23.55/5.91	c  N st    32     95535       537      2323         0     25528      7040    524776   no data   no data
26.36/6.61	c  N st    34    104861       537      2323         0     21958      7040    406839   no data   no data
26.36/6.61	c  S st    34    104861       537      2323         0     21958      7040    406839   no data   no data
26.36/6.66	c  S st    34    105364       537      2323         0     22460      7040    419582   no data   no data
26.36/6.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.36/6.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.36/6.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
26.36/6.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.36/6.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.36/6.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.83	c lits-rem:       127  cl-subs:      739  v-elim:      0  v-fix:    0  time:  0.14 s
27.14/6.83	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
27.14/6.84	c vivif2 --  cl tried    21721 cl shrink        0 lits rem          0 time: 0.00
27.14/6.85	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.01
27.14/6.85	c calculated reachability. Time: 0.00
27.14/6.85	c  N st    34    105364       537      2323         0     21721      7040    399639   no data   no data
30.34/7.67	c  N st    35    114962       537      2323         0     17349      7040    265863   no data   no data
35.55/8.97	c  N st    36    129360       537      2323         0     16740      7040    231192   no data   no data
43.13/10.86	c  N st    37    150956       537      2323         0     22200      7040    352555   no data   no data
45.92/11.56	c  S st    38    158046       537      2323         0     29121      7040    517340   no data   no data
46.32/11.63	c  S st    38    158551       537      2323         0     29625      7040    529376   no data   no data
46.32/11.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.32/11.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.32/11.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.32/11.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.32/11.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.32/11.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
46.32/11.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.32/11.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.32/11.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.92/12.07	c lits-rem:       167  cl-subs:     1541  v-elim:      0  v-fix:    0  time:  0.40 s
47.92/12.07	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
47.92/12.07	c vivif2 --  cl tried    28084 cl shrink        0 lits rem          0 time: 0.01
47.92/12.09	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.02
47.92/12.09	c calculated reachability. Time: 0.00
47.92/12.09	c  N st    38    158551       537      2323         0     28084      7040    491062   no data   no data
68.70/17.26	c  N st    39    207140       537      2323         0     22788      7040    334583   no data   no data
82.68/20.76	c  N st    40    237826       537      2323         0     33323      7040    587913   no data   no data
82.68/20.76	c  S st    40    237826       537      2323         0     33323      7040    587913   no data   no data
83.08/20.85	c  S st    40    238336       537      2323         0     33833      7040    600735   no data   no data
83.08/20.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.08/20.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.08/20.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.08/20.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.08/20.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.08/20.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
83.08/20.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.08/20.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.08/20.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.07/21.32	c lits-rem:       187  cl-subs:     1170  v-elim:      0  v-fix:    0  time:  0.42 s
85.07/21.32	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
85.07/21.33	c vivif2 --  cl tried    32663 cl shrink        0 lits rem          0 time: 0.01
85.07/21.35	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.02
85.07/21.35	c calculated reachability. Time: 0.00
85.07/21.35	c  N st    40    238336       537      2323         0     32663      7040    570745   no data   no data
117.04/29.36	c  F st    41    306250       537      2323         0     34550      7040    571408   no data   no data
117.04/29.36	c  N st    41    306250       537      2323         0     34550      7040    571408   no data   no data
128.23/32.16	c  N dy   105    325933       537      2323         0     30355      7040    393862     15.75     16.63
142.21/35.66	c  N dy   173    349619       537      2323         0     29034      7040    325138     15.62     16.57
146.20/36.67	c  S st   218    357505       537      2323         0     36840      7040    509881     15.76     15.61
146.60/36.76	c  S st   218    358009       537      2323         0     37343      7040    522519     15.76   no data
146.60/36.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.60/36.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.60/36.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.60/36.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.60/36.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.60/36.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
146.60/36.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.60/36.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
147.00/36.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.40/36.99	c lits-rem:       129  cl-subs:     1000  v-elim:      0  v-fix:    0  time:  0.19 s
147.40/36.99	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
147.80/37.00	c vivif2 --  cl tried    36343 cl shrink        0 lits rem          0 time: 0.01
147.80/37.02	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.02
147.80/37.02	c calculated reachability. Time: 0.00
147.80/37.02	c  N dy   218    358009       537      2323         0     36343      7040    500418     15.76   no data
160.59/40.22	c  N dy   320    378099       537      2323         0     30581      7040    346409     15.91     18.95
172.97/43.36	c  N dy   429    398192       537      2323         0     50409      7040    821730     16.08     17.22
185.76/46.58	c  N dy   518    418222       537      2323         0     43497      7040    628994     16.13     18.20
199.34/49.99	c  N dy   632    438289       537      2323         0     35708      7040    427888     16.25     18.28
213.73/53.55	c  N dy   721    458379       537      2323         0     55555      7040    909346     16.30     17.93
226.91/56.86	c  N dy   816    479737       537      2323         0     48035      7040    701891     16.33     17.28
241.29/60.42	c  N dy   895    499936       537      2323         0     38317      7040    444465     16.33     17.21
256.07/64.16	c  N dy   978    519981       537      2323         0     58072      7040    915586     16.34     18.38
267.26/66.92	c  S st  1054    537013       537      2323         0     44295      7040    571088     16.37     16.63
267.66/67.03	c  S st  1054    537513       537      2323         0     44795      7040    583048     16.37   no data
267.66/67.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
267.66/67.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
267.66/67.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
267.66/67.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
267.66/67.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
267.66/67.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
267.66/67.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
267.66/67.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
267.66/67.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.48/67.29	c lits-rem:       148  cl-subs:      678  v-elim:      0  v-fix:    0  time:  0.21 s
268.48/67.29	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
268.48/67.29	c vivif2 --  cl tried    44117 cl shrink        0 lits rem          0 time: 0.01
268.85/67.32	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.03
268.85/67.33	c calculated reachability. Time: 0.00
268.85/67.33	c  N dy  1054    537513       537      2323         0     44117      7040    565772     16.37   no data
286.06/71.61	c  N dy  1138    558022       537      2323         0     32763      7040    277367     16.38     17.26
298.84/74.81	c  N dy  1185    578164       537      2323         0     52610      7040    741892     16.32     17.51
314.40/78.72	c  N dy  1259    598339       537      2323         0     39957      7040    429807     16.32     17.23
330.00/82.67	c  N dy  1352    618659       537      2323         0     60010      7040    907987     16.34     17.28
345.57/86.52	c  N dy  1419    639775       537      2323         0     47326      7040    598089     16.31     17.17
363.95/91.12	c  N dy  1493    659950       537      2323         0     67206      7040   1081550     16.29     17.18
378.34/94.79	c  N dy  1583    680004       537      2323         0     52482      7040    698155     16.31     17.85
398.69/99.86	c  N dy  1678    700468       537      2323         0     37169      7040    306107     16.33     17.35
413.88/103.60	c  N dy  1761    720782       537      2323         0     57148      7040    787105     16.35     17.36
433.46/108.58	c  N dy  1866    740805       537      2323         0     40406      7040    360046     16.37     17.24
449.03/112.47	c  N dy  1962    761149       537      2323         0     60448      7040    845176     16.39     17.59
468.61/117.30	c  N dy  2038    782057       537      2323         0     43598      7040    423428     16.37     17.32
486.20/121.70	c  N dy  2102    803109       537      2323         0     64336      7040    916067     16.35     17.27
489.39/122.56	c  S st  2117    806270       537      2323         0     67456      7040    991386     16.35     15.46
490.19/122.74	c  S st  2117    806771       537      2323         0     67957      7040   1003512     16.35   no data
490.19/122.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
490.19/122.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
490.19/122.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
490.19/122.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
490.19/122.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
490.19/122.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
490.19/122.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
490.19/122.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
490.59/122.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
493.38/123.51	c lits-rem:       256  cl-subs:     1863  v-elim:      0  v-fix:    0  time:  0.69 s
493.38/123.51	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
493.38/123.52	c vivif2 --  cl tried    66094 cl shrink        0 lits rem          0 time: 0.01
493.38/123.58	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.06
493.38/123.58	c calculated reachability. Time: 0.00
493.38/123.58	c  N dy  2117    806771       537      2323         0     66094      7040    960511     16.35   no data
512.56/128.38	c  N dy  2204    826818       537      2323         0     47431      7040    499812     16.35     18.27
531.33/133.07	c  N dy  2305    847305       537      2323         0     67674      7040    993353     16.37     17.26
559.70/140.11	c  N dy  2418    878154       537      2323         0     58601      7040    758994     16.36     17.22
580.09/145.28	c  N dy  2480    898195       537      2323         0     78331      7040   1225535     16.34     19.57
596.45/149.32	c  N dy  2557    918222       537      2323         0     57674      7040    718085     16.33     17.20
618.83/154.90	c  N dy  2568    938875       537      2323         0     77848      7040   1170692     16.25     17.14
636.81/159.44	c  N dy  2693    958971       537      2323         0     56389      7040    675752     16.28     18.64
657.97/164.77	c  N dy  2769    978990       537      2323         0     76076      7040   1153298     16.28     17.57
677.95/169.75	c  N dy  2852    999352       537      2323         0     53854      7040    590148     16.29     17.16
697.93/174.77	c  N dy  2923   1019408       537      2323         0     73533      7040   1049835     16.28     19.60
721.50/180.61	c  N dy  3003   1039959       537      2323         0     50457      7040    480240     16.28     17.30
740.67/185.41	c  N dy  3114   1060040       537      2323         0     70270      7040    963479     16.31     21.25
755.88/189.27	c  F st  3185   1071877       537      2323         0     81945      7040   1246985     16.32   no data
762.25/190.88	c Decided on static restart strategy
767.85/192.24	c  N st  3193   1084180       537      2323         0     49746      7040    569210     16.32   no data
793.81/198.79	c  N st  3196   1114577       537      2323         0     79508      7040   1361197     16.32   no data
816.58/204.47	c  N st  3197   1136174       537      2323         0     55563      7040    879181     16.32   no data
854.92/214.06	c  N st  3198   1168567       537      2323         0     87261      7040   1703937     16.32   no data
894.46/223.91	c  N st  3199   1210157       537      2323         0     81815      7040   1589466     16.32   no data
894.46/223.91	c  S st  3199   1210157       537      2323         0     81815      7040   1589466     16.32   no data
895.26/224.17	c  S st  3199   1210657       537      2323         0     82315      7040   1601386     16.32   no data
895.26/224.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
895.66/224.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
895.66/224.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
895.66/224.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
895.66/224.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
895.66/224.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
895.66/224.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
895.66/224.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
895.66/224.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
919.22/230.19	c lits-rem:       770  cl-subs:     5378  v-elim:      0  v-fix:    0  time:  5.90 s
919.22/230.19	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
919.62/230.21	c vivif2 --  cl tried    76937 cl shrink        0 lits rem          0 time: 0.02
919.62/230.29	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.08
919.62/230.29	c calculated reachability. Time: 0.00
919.62/230.29	c  N st  3199   1210657       537      2323         0     76937      7040   1464654     16.32   no data
993.92/248.81	c  N st  3200   1283539       537      2323         0     53509      7040    714786     16.32   no data
1111.79/278.37	c  N st  3201   1392863       537      2323         0     61549      7040    863178     16.32   no data
1285.96/321.91	c  N st  3202   1556847       537      2323         0     66352      7040    918976     16.32   no data
1443.76/361.49	c  N st  3203   1710657       537      2323         0    108149      7040   1936055     16.32   no data
1443.76/361.49	c  S st  3203   1710657       537      2323         0    108149      7040   1936055     16.32   no data
1445.36/361.88	c  S st  3203   1711159       537      2323         0    108650      7040   1948686     16.32   no data
1445.36/361.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1445.78/361.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1445.78/361.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1445.78/361.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1445.78/361.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1445.78/361.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
1445.78/361.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1445.78/361.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1446.18/362.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1488.90/372.70	c lits-rem:      1209  cl-subs:     7399  v-elim:      0  v-fix:    0  time: 10.66 s
1488.90/372.70	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
1488.90/372.73	c vivif2 --  cl tried   101251 cl shrink        0 lits rem          0 time: 0.03
1489.30/372.84	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.11
1489.30/372.84	c calculated reachability. Time: 0.00
1489.30/372.84	c  N st  3203   1711159       537      2323         0    101251      7040   1784768     16.32   no data
1918.75/480.31	c  N st  3204   2080123       537      2323         0    112986      7040   1967997     16.32   no data
2091.75/523.65	c  N st  3205   2211159       537      2323         0    117068      7040   2001815     16.32   no data
2091.75/523.65	c  S st  3205   2211159       537      2323         0    117068      7040   2001815     16.32   no data
2093.33/524.04	c  S st  3205   2211664       537      2323         0    117573      7040   2014354     16.32   no data
2093.33/524.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2093.73/524.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2093.73/524.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2093.73/524.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2093.73/524.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2093.73/524.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
2093.73/524.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2093.73/524.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2094.13/524.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2142.46/536.31	c lits-rem:       622  cl-subs:     6661  v-elim:      0  v-fix:    0  time: 12.11 s
2142.46/536.31	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
2142.46/536.34	c vivif2 --  cl tried   110912 cl shrink        0 lits rem          0 time: 0.03
2142.86/536.46	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.12
2142.86/536.47	c calculated reachability. Time: 0.00
2142.86/536.47	c  N st  3205   2211664       537      2323         0    110912      7040   1850723     16.32   no data
2800.83/701.19	c  N st  3206   2711664       537      2323         0    133414      7040   2233379     16.32   no data
2800.83/701.19	c  S st  3206   2711664       537      2323         0    133414      7040   2233379     16.32   no data
2802.83/701.66	c  S st  3206   2712169       537      2323         0    133918      7040   2246360     16.32   no data
2802.83/701.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2803.23/701.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2803.23/701.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2803.23/701.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2803.23/701.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2803.23/701.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
2803.23/701.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2803.23/701.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2803.65/701.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2897.09/725.22	c lits-rem:       949  cl-subs:    14338  v-elim:      0  v-fix:    0  time: 23.38 s
2897.09/725.22	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
2897.09/725.25	c vivif2 --  cl tried   119580 cl shrink        0 lits rem          0 time: 0.03
2897.49/725.39	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.13
2897.49/725.39	c calculated reachability. Time: 0.00
2897.49/725.39	c  N st  3206   2712169       537      2323         0    119580      7040   1935415     16.32   no data
3618.20/905.74	c  N st  3207   3212170       537      2323         0     96058      7040   1218343     16.32   no data
3618.20/905.74	c  S st  3207   3212170       537      2323         0     96058      7040   1218343     16.32   no data
3619.40/906.04	c  S st  3207   3212674       537      2323         0     96561      7040   1230829     16.32   no data
3619.40/906.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3619.40/906.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3619.40/906.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3619.40/906.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3619.40/906.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3619.40/906.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
3619.40/906.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3619.80/906.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3619.80/906.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3627.79/908.19	c lits-rem:       169  cl-subs:     3636  v-elim:      0  v-fix:    0  time:  2.04 s
3627.79/908.19	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
3628.19/908.21	c vivif2 --  cl tried    92925 cl shrink        0 lits rem          0 time: 0.02
3628.59/908.31	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.09
3628.59/908.31	c calculated reachability. Time: 0.00
3628.59/908.31	c  N st  3207   3212674       537      2323         0     92925      7040   1155616     16.32   no data
4428.71/1108.68	c  N st  3208   3712674       537      2323         0    104039      7040   1322380     16.32   no data
4428.71/1108.68	c  S st  3208   3712674       537      2323         0    104039      7040   1322380     16.32   no data
4430.30/1109.01	c  S st  3208   3713176       537      2323         0    104540      7040   1334614     16.32   no data
4430.30/1109.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4430.30/1109.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4430.30/1109.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4430.30/1109.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4430.30/1109.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4430.30/1109.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
4430.30/1109.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4430.70/1109.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4430.70/1109.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4439.89/1111.46	c lits-rem:       273  cl-subs:     3667  v-elim:      0  v-fix:    0  time:  2.31 s
4439.89/1111.46	c vivif2 --  cl tried     2323 cl shrink        0 lits rem          0 time: 0.00
4439.89/1111.48	c vivif2 --  cl tried   100873 cl shrink        0 lits rem          0 time: 0.02
4440.29/1111.58	c asymm  cl-useful: 0/2323/2323 lits-rem:0 time: 0.11
4440.29/1111.59	c calculated reachability. Time: 0.00
4440.29/1111.59	c  N st  3208   3713176       537      2323         0    100873      7040   1248193     16.32   no data
4510.21/1129.00	c  F st  3209   3751562       537      2323         0    138311      7040   2225516     16.32   no data
4510.21/1129.00	c  N st  3209   3751562       537      2323         0    138311      7040   2225516     16.32   no data
4522.60/1132.17	c Decided on static restart strategy
4577.73/1145.92	c  N st  3219   3779865       537      2323         0     83163      7040    766517     16.32   no data
4626.08/1158.01	c  N st  3221   3815860       537      2323         0    118492      7040   1690213     16.32   no data
4684.43/1172.69	c  N st  3222   3848253       537      2323         0    150382      7040   2562876     16.32   no data
4763.55/1192.44	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: 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-3173973-1304074654/watcher-3173973-1304074654 -o /tmp/evaluation-result-3173973-1304074654/solver-3173973-1304074654 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173973-1304074654.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: 7.53 7.87 7.86 5/180 17293
/proc/meminfo: memFree=30240552/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 519065807 52441088 347 33554432000 4194304 4627427 140735886729968 18446744073709551615 47399326697394 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 12803 347 299 106 0 7774 0
[pid=17293/tid=17294] ppid=17291 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519065807 52441088 347 33554432000 4194304 4627427 140735886729968 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519065807 52441088 347 33554432000 4194304 4627427 140735886729968 18446744073709551615 47399326697394 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519065807 52441088 347 33554432000 4194304 4627427 140735886729968 18446744073709551615 47399326697388 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.11231 s]
/proc/loadavg: 7.53 7.87 7.86 5/180 17293
/proc/meminfo: memFree=30240552/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=282464 CPUtime=0.43 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 1762 0 0 0 43 0 0 0 25 0 4 0 519065807 289243136 1673 33554432000 4194304 4627427 140735886729968 18446744073709551615 253640964639 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 70616 1673 384 106 0 65587 0
[pid=17293/tid=17294] ppid=17291 vsize=282464 CPUtime=0.1 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 354 0 0 0 10 0 0 0 25 0 4 0 519065807 289243136 1673 33554432000 4194304 4627427 140735886729968 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=282464 CPUtime=0.1 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 312 0 0 0 10 0 0 0 25 0 4 0 519065807 289243136 1673 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=282464 CPUtime=0.1 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 268 0 0 0 10 0 0 0 25 0 4 0 519065807 289243136 1673 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282464

[startup+0.200641 s]
/proc/loadavg: 7.53 7.87 7.86 5/180 17293
/proc/meminfo: memFree=30240552/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=283676 CPUtime=0.78 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 2382 0 0 0 78 0 0 0 25 0 4 0 519065807 290484224 1712 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 70919 1712 385 106 0 65890 0
[pid=17293/tid=17294] ppid=17291 vsize=283676 CPUtime=0.19 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 513 0 0 0 19 0 0 0 25 0 4 0 519065807 290484224 1712 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=283676 CPUtime=0.19 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 473 0 0 0 19 0 0 0 25 0 4 0 519065807 290484224 1712 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=283676 CPUtime=0.19 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 419 0 0 0 19 0 0 0 25 0 4 0 519065807 290484224 1712 33554432000 4194304 4627427 140735886729968 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283676

[startup+0.300622 s]
/proc/loadavg: 7.53 7.87 7.86 5/180 17293
/proc/meminfo: memFree=30240552/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=283808 CPUtime=1.18 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 2781 0 0 0 118 0 0 0 25 0 4 0 519065807 290619392 2111 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 70952 2111 385 106 0 65923 0
[pid=17293/tid=17294] ppid=17291 vsize=283808 CPUtime=0.29 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 619 0 0 0 29 0 0 0 25 0 4 0 519065807 290619392 2111 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=283808 CPUtime=0.29 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 577 0 0 0 29 0 0 0 25 0 4 0 519065807 290619392 2111 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=283808 CPUtime=0.29 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 513 0 0 0 29 0 0 0 25 0 4 0 519065807 290619392 2111 33554432000 4194304 4627427 140735886729968 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283808

[startup+0.700551 s]
/proc/loadavg: 7.53 7.87 7.86 5/180 17293
/proc/meminfo: memFree=30240552/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=284780 CPUtime=2.77 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 4385 0 0 0 277 0 0 0 25 0 4 0 519065807 291614720 2810 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 71195 2812 385 106 0 66166 0
[pid=17293/tid=17294] ppid=17291 vsize=284780 CPUtime=0.69 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 1009 0 0 0 69 0 0 0 25 0 4 0 519065807 291614720 2812 33554432000 4194304 4627427 140735886729968 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=284780 CPUtime=0.69 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 976 0 0 0 69 0 0 0 25 0 4 0 519065807 291614720 2812 33554432000 4194304 4627427 140735886729968 18446744073709551615 4308353 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=284780 CPUtime=0.69 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 922 0 0 0 69 0 0 0 25 0 4 0 519065807 291614720 2812 33554432000 4194304 4627427 140735886729968 18446744073709551615 4330102 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) 284780

[startup+1.50041 s]
/proc/loadavg: 7.53 7.87 7.86 9/184 17297
/proc/meminfo: memFree=30226628/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=286396 CPUtime=5.97 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 8870 0 0 0 596 1 0 0 25 0 4 0 519065807 293269504 4547 33554432000 4194304 4627427 140735886729968 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 71599 4547 390 106 0 66570 0
[pid=17293/tid=17294] ppid=17291 vsize=286396 CPUtime=1.48 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 1765 0 0 0 148 0 0 0 25 0 4 0 519065807 293269504 4547 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=286396 CPUtime=1.49 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 1771 0 0 0 149 0 0 0 25 0 4 0 519065807 293269504 4547 33554432000 4194304 4627427 140735886729968 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=286396 CPUtime=1.49 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 1717 0 0 0 149 0 0 0 25 0 4 0 519065807 293269504 4547 33554432000 4194304 4627427 140735886729968 18446744073709551615 4308654 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) 286396

[startup+3.10111 s]
/proc/loadavg: 7.53 7.87 7.86 9/184 17297
/proc/meminfo: memFree=30205676/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=290672 CPUtime=12.37 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 18004 0 0 0 1234 3 0 0 25 0 4 0 519065807 297648128 9515 33554432000 4194304 4627427 140735886729968 18446744073709551615 4327413 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 72668 9515 390 106 0 67639 0
[pid=17293/tid=17294] ppid=17291 vsize=290672 CPUtime=3.08 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 3924 0 0 0 307 1 0 0 25 0 4 0 519065807 297648128 9515 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309327 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=290672 CPUtime=3.08 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 4907 0 0 0 308 0 0 0 25 0 4 0 519065807 297648128 9515 33554432000 4194304 4627427 140735886729968 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=290672 CPUtime=3.08 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 4094 0 0 0 308 0 0 0 25 0 4 0 519065807 297648128 9515 33554432000 4194304 4627427 140735886729968 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 290672

[startup+6.30053 s]
/proc/loadavg: 7.65 7.89 7.86 9/184 17297
/proc/meminfo: memFree=30190864/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=297256 CPUtime=25.15 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 28671 0 0 0 2511 4 0 0 25 0 4 0 519065807 304390144 12867 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 74314 12867 389 106 0 69285 0
[pid=17293/tid=17294] ppid=17291 vsize=297256 CPUtime=6.26 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 7339 0 0 0 625 1 0 0 25 0 4 0 519065807 304390144 12867 33554432000 4194304 4627427 140735886729968 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=297256 CPUtime=6.29 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 8044 0 0 0 628 1 0 0 25 0 4 0 519065807 304390144 12867 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=297256 CPUtime=6.28 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 5883 0 0 0 628 0 0 0 25 0 4 0 519065807 304390144 12867 33554432000 4194304 4627427 140735886729968 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 297256

[startup+12.7004 s]
/proc/loadavg: 7.68 7.89 7.86 9/184 17297
/proc/meminfo: memFree=30146116/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=308916 CPUtime=50.71 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 45177 0 0 0 5064 7 0 0 25 0 4 0 519065807 316329984 20677 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 77229 20685 389 106 0 72200 0
[pid=17293/tid=17294] ppid=17291 vsize=308916 CPUtime=12.63 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 11145 0 0 0 1262 1 0 0 25 0 4 0 519065807 316329984 20688 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=308916 CPUtime=12.69 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 11212 0 0 0 1268 1 0 0 25 0 4 0 519065807 316329984 20693 33554432000 4194304 4627427 140735886729968 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=308916 CPUtime=12.68 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 9999 0 0 0 1267 1 0 0 25 0 4 0 519065807 316329984 20698 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 308916

[startup+25.501 s]
/proc/loadavg: 7.82 7.91 7.87 9/184 17298
/proc/meminfo: memFree=30114612/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=311780 CPUtime=101.86 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 66595 0 0 0 10174 12 0 0 25 0 4 0 519065807 319262720 25384 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 77945 25384 389 106 0 72916 0
[pid=17293/tid=17294] ppid=17291 vsize=311780 CPUtime=25.37 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 16802 0 0 0 2535 2 0 0 25 0 4 0 519065807 319262720 25384 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=311780 CPUtime=25.49 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 17097 0 0 0 2547 2 0 0 25 0 4 0 519065807 319262720 25384 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=311780 CPUtime=25.48 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 13553 0 0 0 2546 2 0 0 25 0 4 0 519065807 319262720 25384 33554432000 4194304 4627427 140735886729968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 311780

[startup+51.1004 s]
/proc/loadavg: 7.88 7.92 7.87 9/184 17299
/proc/meminfo: memFree=30056104/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=368084 CPUtime=204.13 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 96546 0 0 0 20394 19 0 0 25 0 4 0 519065807 376918016 37087 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 92021 37087 389 106 0 86992 0
[pid=17293/tid=17294] ppid=17291 vsize=368084 CPUtime=50.85 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 25124 0 0 0 5081 4 0 0 25 0 4 0 519065807 376918016 37087 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=368084 CPUtime=51.09 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 25120 0 0 0 5105 4 0 0 25 0 4 0 519065807 376918016 37087 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=368084 CPUtime=51.07 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 21155 0 0 0 5103 4 0 0 25 0 4 0 519065807 376918016 37087 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 368084

[startup+102.301 s]
/proc/loadavg: 8.00 7.94 7.88 9/184 17300
/proc/meminfo: memFree=30000976/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=355020 CPUtime=408.7 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 135738 0 0 0 40839 31 0 0 25 0 4 0 519065807 363540480 46616 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 88755 46616 389 106 0 83726 0
[pid=17293/tid=17294] ppid=17291 vsize=355020 CPUtime=101.8 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 33869 0 0 0 10174 6 0 0 25 0 4 0 519065807 363540480 46616 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=355020 CPUtime=102.29 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 34232 0 0 0 10223 6 0 0 25 0 4 0 519065807 363540480 46616 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=355020 CPUtime=102.28 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 35064 0 0 0 10219 9 0 0 25 0 4 0 519065807 363540480 46616 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.7
Current children cumulated vsize (KiB) 355020

[startup+162.301 s]

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

[pid=17293] ppid=17291 vsize=567556 CPUtime=2805.62 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 410739 0 0 0 280433 129 0 0 25 0 4 0 519065807 581177344 94247 33554432000 4194304 4627427 140735886729968 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 141889 94247 389 106 0 136860 0
[pid=17293/tid=17294] ppid=17291 vsize=567556 CPUtime=698.77 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 91665 0 0 0 69848 29 0 0 25 0 4 0 519065807 581177344 94247 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=567556 CPUtime=702.3 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 96429 0 0 0 70199 31 0 0 25 0 4 0 519065807 581177344 94247 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=567556 CPUtime=702.22 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 109683 0 0 0 70187 35 0 0 25 0 4 0 519065807 581177344 94247 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.62
Current children cumulated vsize (KiB) 567556

[startup+762.301 s]
/proc/loadavg: 8.16 8.11 8.00 9/184 17329
/proc/meminfo: memFree=29617524/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=555560 CPUtime=3045.34 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 435580 0 0 0 304395 139 0 0 25 0 4 0 519065807 568893440 93208 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 138890 93208 389 106 0 133861 0
[pid=17293/tid=17294] ppid=17291 vsize=555560 CPUtime=758.48 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 97995 0 0 0 75816 32 0 0 25 0 4 0 519065807 568893440 93208 33554432000 4194304 4627427 140735886729968 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=555560 CPUtime=762.31 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 103586 0 0 0 76197 34 0 0 25 0 4 0 519065807 568893440 93208 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=555560 CPUtime=762.23 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 116260 0 0 0 76185 38 0 0 25 0 4 0 519065807 568893440 93208 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.34
Current children cumulated vsize (KiB) 555560

[startup+822.301 s]
/proc/loadavg: 8.17 8.12 8.00 9/184 17331
/proc/meminfo: memFree=29592812/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=621396 CPUtime=3285.03 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 462255 0 0 0 328355 148 0 0 25 0 4 0 519065807 636309504 101258 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 155349 101258 389 106 0 150320 0
[pid=17293/tid=17294] ppid=17291 vsize=621396 CPUtime=818.18 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 104657 0 0 0 81784 34 0 0 25 0 4 0 519065807 636309504 101258 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=621396 CPUtime=822.3 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 110688 0 0 0 82194 36 0 0 25 0 4 0 519065807 636309504 101258 33554432000 4194304 4627427 140735886729968 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=621396 CPUtime=822.22 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 122863 0 0 0 82182 40 0 0 25 0 4 0 519065807 636309504 101258 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3285.03
Current children cumulated vsize (KiB) 621396

[startup+882.307 s]
/proc/loadavg: 8.12 8.11 8.00 9/184 17333
/proc/meminfo: memFree=29537340/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=736048 CPUtime=3524.73 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 488606 0 0 0 352316 157 0 0 25 0 4 0 519065807 753713152 108482 33554432000 4194304 4627427 140735886729968 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 184012 108482 389 106 0 178983 0
[pid=17293/tid=17294] ppid=17291 vsize=736048 CPUtime=877.88 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 111511 0 0 0 87752 36 0 0 25 0 4 0 519065807 753713152 108482 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=736048 CPUtime=882.31 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 116703 0 0 0 88192 39 0 0 25 0 4 0 519065807 753713152 108482 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=736048 CPUtime=882.22 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 131974 0 0 0 88180 42 0 0 25 0 4 0 519065807 753713152 108482 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.73
Current children cumulated vsize (KiB) 736048

[startup+942.301 s]
/proc/loadavg: 8.14 8.12 8.01 9/184 17334
/proc/meminfo: memFree=29542884/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=571832 CPUtime=3764.4 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 513868 0 0 0 376274 166 0 0 25 0 4 0 519065807 585555968 107755 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 142958 107755 389 106 0 137929 0
[pid=17293/tid=17294] ppid=17291 vsize=571832 CPUtime=937.57 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 118160 0 0 0 93718 39 0 0 25 0 4 0 519065807 585555968 107755 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=571832 CPUtime=942.3 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 123117 0 0 0 94189 41 0 0 25 0 4 0 519065807 585555968 107755 33554432000 4194304 4627427 140735886729968 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=571832 CPUtime=942.21 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 138234 0 0 0 94176 45 0 0 25 0 4 0 519065807 585555968 107755 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.4
Current children cumulated vsize (KiB) 571832

[startup+1002.3 s]
/proc/loadavg: 8.14 8.12 8.01 9/184 17336
/proc/meminfo: memFree=29515808/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=582980 CPUtime=4004.09 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 537226 0 0 0 400231 178 0 0 25 0 4 0 519065807 596971520 111131 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 145745 111131 389 106 0 140716 0
[pid=17293/tid=17294] ppid=17291 vsize=582980 CPUtime=997.25 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 124645 0 0 0 99683 42 0 0 25 0 4 0 519065807 596971520 111131 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=582980 CPUtime=1002.3 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 130153 0 0 0 100185 45 0 0 25 0 4 0 519065807 596971520 111131 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=582980 CPUtime=1002.2 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 142079 0 0 0 100174 46 0 0 25 0 4 0 519065807 596971520 111131 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4004.09
Current children cumulated vsize (KiB) 582980

[startup+1062.3 s]
/proc/loadavg: 8.13 8.12 8.02 9/184 17337
/proc/meminfo: memFree=29481692/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=648164 CPUtime=4243.76 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 561523 0 0 0 424189 187 0 0 25 0 4 0 519065807 663719936 114987 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 162041 114987 389 106 0 157012 0
[pid=17293/tid=17294] ppid=17291 vsize=648164 CPUtime=1056.93 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 133516 0 0 0 105649 44 0 0 25 0 4 0 519065807 663719936 114987 33554432000 4194304 4627427 140735886729968 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=648164 CPUtime=1062.31 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 136983 0 0 0 106183 48 0 0 25 0 4 0 519065807 663719936 114987 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=648164 CPUtime=1062.2 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 148681 0 0 0 106171 49 0 0 25 0 4 0 519065807 663719936 114987 33554432000 4194304 4627427 140735886729968 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.76
Current children cumulated vsize (KiB) 648164

[startup+1122.3 s]
/proc/loadavg: 8.09 8.11 8.02 5/179 17340
/proc/meminfo: memFree=29888420/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=661668 CPUtime=4483.44 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 578533 0 0 0 448150 194 0 0 25 0 4 0 519065807 677548032 119569 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 165417 119569 389 106 0 160388 0
[pid=17293/tid=17294] ppid=17291 vsize=661668 CPUtime=1116.61 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 134700 0 0 0 111616 45 0 0 25 0 4 0 519065807 677548032 119569 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=661668 CPUtime=1122.31 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 141515 0 0 0 112181 50 0 0 25 0 4 0 519065807 677548032 119569 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=661668 CPUtime=1122.2 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 152729 0 0 0 112169 51 0 0 25 0 4 0 519065807 677548032 119569 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.44
Current children cumulated vsize (KiB) 661668

[startup+1182.3 s]
/proc/loadavg: 5.50 7.36 7.76 5/175 17359
/proc/meminfo: memFree=29878432/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=726896 CPUtime=4723.18 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 594841 0 0 0 472116 202 0 0 25 0 4 0 519065807 744341504 123825 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 181724 123825 389 106 0 176695 0
[pid=17293/tid=17294] ppid=17291 vsize=726896 CPUtime=1176.34 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 135060 0 0 0 117589 45 0 0 25 0 4 0 519065807 744341504 123825 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=726896 CPUtime=1182.31 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 148613 0 0 0 118178 53 0 0 25 0 4 0 519065807 744341504 123825 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=726896 CPUtime=1182.2 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 156984 0 0 0 118166 54 0 0 25 0 4 0 519065807 744341504 123825 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4723.18
Current children cumulated vsize (KiB) 726896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 5.07 7.14 7.68 5/175 17359
/proc/meminfo: memFree=29864508/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=687888 CPUtime=4800.3 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 598518 0 0 0 479826 204 0 0 25 0 4 0 519065807 704397312 127259 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 171972 127259 389 106 0 166943 0
[pid=17293/tid=17294] ppid=17291 vsize=687888 CPUtime=1195.55 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 135060 0 0 0 119510 45 0 0 25 0 4 0 519065807 704397312 127259 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=687888 CPUtime=1201.61 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 149821 0 0 0 120108 53 0 0 25 0 4 0 519065807 704397312 127259 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=687888 CPUtime=1201.51 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 156984 0 0 0 120097 54 0 0 25 0 4 0 519065807 704397312 127259 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 687888

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

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

[startup+1201.6 s]
/proc/loadavg: 5.07 7.14 7.68 5/175 17359
/proc/meminfo: memFree=29864508/32951124 swapFree=67111364/67111528
[pid=17293] ppid=17291 vsize=687888 CPUtime=4800.3 cores=0,2,4,6
/proc/17293/stat : 17293 (strangenight2-m) R 17291 17293 16634 0 -1 4202496 598518 0 0 0 479826 204 0 0 25 0 4 0 519065807 704397312 127259 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17293/statm: 171972 127259 389 106 0 166943 0
[pid=17293/tid=17294] ppid=17291 vsize=687888 CPUtime=1195.55 cores=0,2,4,6
/proc/17293/task/17294/stat : 17294 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 135060 0 0 0 119510 45 0 0 25 0 4 0 519065807 704397312 127259 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17293/tid=17295] ppid=17291 vsize=687888 CPUtime=1201.61 cores=0,2,4,6
/proc/17293/task/17295/stat : 17295 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 149821 0 0 0 120108 53 0 0 25 0 4 0 519065807 704397312 127259 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=687888 CPUtime=1201.51 cores=0,2,4,6
/proc/17293/task/17296/stat : 17296 (strangenight2-m) R 17291 17293 16634 0 -1 4202560 156984 0 0 0 120097 54 0 0 25 0 4 0 519065807 704397312 127259 33554432000 4194304 4627427 140735886729968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 687888

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.35
CPU user time (s): 4798.29
CPU system time (s): 2.06169
CPU usage (%): 399.486
Max. virtual memory (cumulated for all children) (KiB): 844568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.29
system time used= 2.06169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598519
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= 418
involuntary context switches= 19908

runsolver used 1.93371 second user time and 4.15537 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 12:57:34
IDJOB=3173973
IDBENCH=82791
IDSOLVER=1586
FILE ID=node106/3173973-1304074654
RUNJOBID= node106-1304074574-17238
PBS_JOBID= 13170478
Free space on /tmp= 72156 MiB

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

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

MD5SUM BENCH= 8c477af50318fe10cbec1ad215bff97c
RANDOM SEED=2598401

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.830
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:      30240592 kB
Buffers:        239364 kB
Cached:        2067560 kB
SwapCached:         88 kB
Active:         909412 kB
Inactive:      1590652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30240592 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5836 kB
Writeback:           0 kB
AnonPages:      192880 kB
Mapped:          15440 kB
Slab:           145896 kB
PageTables:       5032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   426728 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= 72156 MiB
End job on node106 at 2011-04-29 13:17:38