Trace number 3321011

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-mtUNSAT 2219.57 283.689

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
MD5SUM8a76c8add64173ae39149aae572a02d9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark168.225
Satisfiable
(Un)Satisfiability was proved
Number of variables37432
Number of clauses147345
Sum of the clauses size401667
Maximum clause length37
Minimum clause length1
Number of clauses of size 1603
Number of clauses of size 269621
Number of clauses of size 371450
Number of clauses of size 4266
Number of clauses of size 5505
Number of clauses of size over 54900

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.41/0.11	c This is CryptoMiniSat 3.0.0
0.41/0.11	c WARNING: for repeatability, setting FPU to use double precision
0.41/0.11	c Reading file 'HOME/instance-3321011-1304322187.cnf'
0.41/0.12	c -- header says num vars:          37432
0.41/0.12	c -- header says num clauses:      147345
1.98/0.41	c -- clauses added:            0 learnts,       147345 normals,            0 xors
1.98/0.41	c -- vars added      37432
1.98/0.41	c Parsing time:  0.07 s
1.98/0.41	c  N st     0         0     37432     77121     69621         0    401064         0   no data   no data
9.74/1.59	c asymm  cl-useful: 55/3644/76971 lits-rem:108 time: 0.83
39.06/5.25	c Flit:    79 Blit:      3 bXBeca:    0 bXProp: 7905 Bins:      0 BRemL:      0 BRemN:      0 P: 72.9M T:  3.57
39.06/5.28	c Replacing     7905 vars Replaced   205687 lits Time:     0.02 s 
39.86/5.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.86/5.31	c bin-w-bin subsume rem            6 bins  time:  0.01 s
39.86/5.33	c subs with bin:        2  lits-rem:         4  v-fix:    0  time:  0.01 s
42.25/5.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28836 time:  0.31 s
43.85/5.83	c Removed useless bin:       3  fixed:     0  props:  20.02M  time:  0.20 s
45.42/6.07	c lits-rem:        13  cl-subs:       68  v-elim:   9612  v-fix:    0  time:  0.22 s
46.21/6.18	c Finding binary XORs  T:     0.11 s  found:     913
46.21/6.19	c Replacing      913 vars Replaced    20428 lits Time:     0.01 s 
47.02/6.26	c Finding non-binary XORs:     0.04 s (found:   12105, avg size: 3.1)
47.02/6.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5172 locsubst: 11477 time:   0.02
47.02/6.27	c Replacing      285 vars Replaced     3361 lits Time:     0.01 s 
47.02/6.28	c calculated reachability. Time: 0.02
47.02/6.29	c Calc default polars -  time:   0.00 s pos:    3253 undec:   25360 neg:    8819
47.02/6.29	c =========================================================================================
47.02/6.29	c types(t): F = full restart, N = normal restart
47.02/6.29	c types(t): S = simplification begin/end, E = solution found
47.02/6.29	c restart types(rt): st = static, dy = dynamic
47.02/6.29	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
47.02/6.29	c  B st     0         0     12854     22298     33475         0    223838         0   no data   no data
50.25/6.64	c  N dy    19      4068     12854     22298     33520      3436    223835    156002     10.86     40.02
51.80/6.86	c  N dy    36      8382     12854     22298     34576      6828    223835    237484     11.77     12.44
53.40/7.09	c  N dy    51     12414     12853     22298     35025     10273    223834    335474     11.25     18.72
55.81/7.30	c Finding binary XORs  T:     0.08 s  found:     252
55.81/7.32	c Replacing      252 vars Replaced    14673 lits Time:     0.02 s 
58.25/7.65	c  N dy    78     16699     12601     22281     34554     13358    223755    469336     12.70     13.44
61.39/8.01	c  N dy   101     20781     12601     22281     34865      8864    223755    134970     12.96     13.75
63.80/8.31	c  N dy   122     24858     12601     22281     35435     12396    223753    249127     13.03     14.97
63.80/8.32	c  F st   124     25000     12601     22281     35435     12530    223753    252123     13.03   no data
67.84/8.89	c  N dy   130     30000     12601     22281     35448     16986    223753    493811     13.03   no data
67.84/8.89	c  S st   130     30000     12601     22281     35448     16986    223753    493811     13.03   no data
68.59/8.97	c  S st   130     30503     12601     22281     35966     17419    223753    504416     13.03   no data
69.39/9.00	c x-sub:   397 x-cut:      0 vfix:      0 v-elim:   2614 locsubst:  1447 time:   0.03
94.97/12.27	c Flit:    18 Blit:      4 bXBeca:    0 bXProp: 2346 Bins:  70420 BRemL:  14496 BRemN:      0 P: 67.2M T:  3.27
95.77/12.31	c Replacing     2435 vars Replaced   247999 lits Time:     0.03 s 
95.77/12.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
95.77/12.36	c bin-w-bin subsume rem        58131 bins  time:  0.05 s
96.57/12.42	c subs with bin:     7871  lits-rem:     17191  v-fix:    0  time:  0.06 s
96.57/12.45	c Subs w/ non-existent bins:   1946 l-rem:   1767 v-fix:     0 done:   7524 time:  0.03 s
96.57/12.46	c Removed useless bin:    1237  fixed:     0  props:   0.81M  time:  0.01 s
96.57/12.49	c lits-rem:       246  cl-subs:     3554  v-elim:    109  v-fix:    0  time:  0.03 s
97.37/12.50	c subs with bin:      152  lits-rem:      6467  v-fix:    0  time:  0.01 s
97.37/12.51	c lits-rem:       262  cl-subs:      495  v-elim:      0  v-fix:    0  time:  0.01 s
98.17/12.66	c asymm  cl-useful: 271/5053/8697 lits-rem:274 time: 0.15
98.17/12.67	c calculated reachability. Time: 0.00
98.17/12.67	c  N dy   130     30503      7415      8696     28558      1715    103391     40005     13.03   no data
98.97/12.73	c Finding binary XORs  T:     0.06 s  found:      23
99.77/12.82	c  N dy   139     34906      7415      8696     28573      5421    103378    102966     12.78     13.53
102.21/13.11	c  N dy   153     43063      7415      8696     29804      6743    103377     93496     12.15     13.03
103.01/13.22	c Finding binary XORs  T:     0.05 s  found:     183
103.01/13.23	c Replacing      206 vars Replaced     6515 lits Time:     0.01 s 
103.76/13.33	c  S st   171     45754      7209      8576    101481      8531    102687    295759     12.48   no data
103.76/13.38	c  S st   171     46257      7209      8576    101486      8963    102687    303511     12.48   no data
104.56/13.41	c x-sub:   267 x-cut:      0 vfix:      0 v-elim:   1148 locsubst:   995 time:   0.03
106.96/13.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   1194 BRemL:  35592 BRemN:   1283 P:  5.5M T:  0.35
106.96/13.77	c Replacing       52 vars Replaced      557 lits Time:     0.00 s 
106.96/13.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
107.76/13.81	c bin-w-bin subsume rem        42055 bins  time:  0.03 s
107.76/13.82	c subs with bin:      447  lits-rem:         6  v-fix:    0  time:  0.01 s
107.76/13.83	c Subs w/ non-existent bins:     47 l-rem:     33 v-fix:     0 done:   6009 time:  0.01 s
107.76/13.83	c Removed useless bin:      94  fixed:     0  props:   0.30M  time:  0.00 s
107.76/13.84	c lits-rem:         8  cl-subs:      175  v-elim:     22  v-fix:    0  time:  0.01 s
107.76/13.85	c subs with bin:       12  lits-rem:       124  v-fix:    0  time:  0.00 s
107.76/13.86	c lits-rem:       107  cl-subs:      343  v-elim:      0  v-fix:    0  time:  0.01 s
107.76/13.86	c vivif2 --  cl tried     7982 cl shrink       30 lits rem         79 time: 0.00
107.76/13.86	c vivif2 --  cl tried     1552 cl shrink       28 lits rem         43 time: 0.00
109.36/14.05	c asymm  cl-useful: 413/7982/7982 lits-rem:511 time: 0.18
109.36/14.05	c calculated reachability. Time: 0.00
109.36/14.05	c  N dy   171     46257      5987      7973     23459      1550     90014     33316     12.48   no data
110.16/14.17	c  N dy   191     50632      5987      7973     23494      4669     90012     99715     12.65     13.41
111.81/14.37	c  N dy   222     54674      5987      7973     23496      8126     90010    216758     13.47     16.19
112.56/14.44	c  N dy   226     59346      5987      7973     24051     11759     90010    273556     13.15     13.88
114.16/14.61	c  N dy   247     63350      5987      7973     24054     15326     90007    370074     13.38     22.32
114.96/14.71	c  N dy   261     67798      5987      7973     24298     10541     90006    141314     13.26     14.00
114.96/14.74	c  S st   264     69386      5987      7973     24298     11727     90006    157315     13.15     10.42
114.96/14.78	c  S st   264     69888      5987      7973     24300     12122     90006    160696     13.15   no data
115.76/14.81	c x-sub:    87 x-cut:      0 vfix:      0 v-elim:    227 locsubst:   404 time:   0.03
116.56/15.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   38 Bins:    129 BRemL:   7894 BRemN:    158 P:  4.2M T:  0.19
117.36/15.00	c Replacing       58 vars Replaced     2049 lits Time:     0.00 s 
117.36/15.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
117.36/15.01	c bin-w-bin subsume rem           95 bins  time:  0.00 s
117.36/15.02	c subs with bin:      163  lits-rem:         0  v-fix:    0  time:  0.01 s
117.36/15.03	c Subs w/ non-existent bins:     11 l-rem:      0 v-fix:     0 done:   5702 time:  0.01 s
117.36/15.03	c Removed useless bin:      50  fixed:     0  props:   0.81M  time:  0.00 s
117.36/15.04	c lits-rem:         3  cl-subs:       70  v-elim:      3  v-fix:    0  time:  0.01 s
117.36/15.05	c subs with bin:        3  lits-rem:       335  v-fix:    0  time:  0.00 s
117.36/15.06	c lits-rem:       223  cl-subs:      494  v-elim:      0  v-fix:    0  time:  0.01 s
117.36/15.06	c vivif2 --  cl tried     7704 cl shrink        6 lits rem         18 time: 0.00
117.36/15.07	c vivif2 --  cl tried     4496 cl shrink       14 lits rem         20 time: 0.00
118.96/15.25	c asymm  cl-useful: 889/7704/7704 lits-rem:2435 time: 0.18
118.96/15.25	c calculated reachability. Time: 0.00
118.96/15.25	c  N dy   264     69888      5699      6972     16883      4496     86396     53344     13.15   no data
118.96/15.29	c Finding binary XORs  T:     0.05 s  found:     165
118.96/15.30	c Replacing      165 vars Replaced     5593 lits Time:     0.00 s 
121.36/15.52	c  N dy   280     84399      5534      6963     16677     13342     85599    203946     12.84     13.67
122.95/15.73	c  F st   308     87501      5534      6963     16800      7997     85595     78348     13.61   no data
123.75/15.87	c  N st   313     90797      5534      6963     16802     10923     85595    228604     13.61   no data
124.55/15.98	c Decided on static restart strategy
130.15/16.62	c  N st   316     99805      5534      6963     16811     18827     85595    876330     13.61   no data
130.15/16.66	c Finding binary XORs  T:     0.04 s  found:      74
130.15/16.69	c Replacing       74 vars Replaced    12741 lits Time:     0.03 s 
134.94/17.23	c  S st   317    104833      5460      6879     17262     22418     85180   1274884     13.61   no data
134.94/17.27	c  S st   317    105334      5460      6879     17265     22830     85180   1279606     13.61   no data
135.74/17.32	c x-sub:    24 x-cut:      0 vfix:      0 v-elim:     77 locsubst:   552 time:   0.05
137.38/17.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:   4513 BRemL:   4342 BRemN:    406 P:  4.2M T:  0.19
137.38/17.51	c Replacing       65 vars Replaced     3301 lits Time:     0.00 s 
137.38/17.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.38/17.52	c bin-w-bin subsume rem          188 bins  time:  0.00 s
137.38/17.53	c subs with bin:       61  lits-rem:         0  v-fix:    0  time:  0.01 s
137.38/17.54	c Subs w/ non-existent bins:     46 l-rem:      0 v-fix:     0 done:   5318 time:  0.01 s
137.38/17.54	c Removed useless bin:      39  fixed:     0  props:   0.64M  time:  0.00 s
137.38/17.55	c lits-rem:         0  cl-subs:      370  v-elim:     10  v-fix:    0  time:  0.01 s
137.38/17.57	c subs with bin:       25  lits-rem:       913  v-fix:    0  time:  0.01 s
138.18/17.65	c lits-rem:       227  cl-subs:     3489  v-elim:      0  v-fix:    0  time:  0.08 s
138.18/17.66	c vivif2 --  cl tried     6440 cl shrink        9 lits rem          9 time: 0.00
138.18/17.66	c vivif2 --  cl tried     6524 cl shrink       45 lits rem         55 time: 0.00
139.74/17.80	c asymm  cl-useful: 293/6440/6440 lits-rem:854 time: 0.14
139.74/17.81	c calculated reachability. Time: 0.00
139.74/17.81	c  N st   317    105334      5308      6251     16913      6524     81551    164226     13.61   no data
143.74/18.38	c  N st   318    114932      5308      6251     16913     14570     81551    712170     13.61   no data
144.53/18.43	c Finding binary XORs  T:     0.05 s  found:     250
144.53/18.45	c Replacing      250 vars Replaced    15273 lits Time:     0.02 s 
152.53/19.41	c  N st   319    129329      5058      6139     16674     20869     80404   1285695     13.61   no data
152.53/19.46	c Finding binary XORs  T:     0.04 s  found:      73
152.53/19.47	c Replacing       73 vars Replaced     2128 lits Time:     0.01 s 
157.33/20.05	c  N st   320    150924      4985      6067     21267     26106     80025    977074     13.61   no data
158.92/20.25	c  S st   321    158001      4985      6067     21309     31645     80025   1237717     13.61   no data
159.73/20.31	c  S st   321    158503      4985      6067     23075     32071     80025   1246769     13.61   no data
160.53/20.41	c x-sub:    70 x-cut:      0 vfix:      0 v-elim:     85 locsubst:   108 time:   0.10
161.33/20.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  232 Bins:    632 BRemL:   6024 BRemN:    564 P:  3.9M T:  0.18
162.13/20.61	c Replacing      248 vars Replaced    14586 lits Time:     0.01 s 
162.13/20.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
162.13/20.61	c bin-w-bin subsume rem          328 bins  time:  0.00 s
162.13/20.62	c subs with bin:      286  lits-rem:         0  v-fix:    0  time:  0.01 s
162.13/20.63	c Subs w/ non-existent bins:     46 l-rem:      0 v-fix:     0 done:   4652 time:  0.01 s
162.13/20.64	c Removed useless bin:     105  fixed:     0  props:   0.37M  time:  0.00 s
162.13/20.65	c lits-rem:         1  cl-subs:     1013  v-elim:     51  v-fix:    0  time:  0.01 s
162.13/20.66	c subs with bin:       17  lits-rem:       209  v-fix:    0  time:  0.00 s
165.32/21.03	c lits-rem:       710  cl-subs:     1146  v-elim:      0  v-fix:    0  time:  0.36 s
165.32/21.03	c vivif2 --  cl tried     4734 cl shrink       48 lits rem         87 time: 0.00
165.32/21.04	c vivif2 --  cl tried     9964 cl shrink       15 lits rem         16 time: 0.01
166.12/21.12	c asymm  cl-useful: 307/4734/4734 lits-rem:1042 time: 0.08
166.12/21.12	c calculated reachability. Time: 0.00
166.12/21.12	c  N st   321    158503      4601      4494     16338      9964     71580    304191     13.61   no data
166.12/21.18	c Finding binary XORs  T:     0.06 s  found:      18
232.42/29.46	c  N st   322    207091      4601      4494     16339     28410     71580   2512809     13.61   no data
233.21/29.52	c Finding binary XORs  T:     0.04 s  found:     491
234.86/29.70	c Replacing      509 vars Replaced   127327 lits Time:     0.18 s 
253.20/32.06	c  N st   323    237754      4092      4235     97323     33070     70311   2971609     13.61   no data
253.20/32.06	c  S st   323    237754      4092      4235     97323     33070     70311   2971609     13.61   no data
254.00/32.11	c  S st   323    238257      4092      4235     99367     33442     70311   2979600     13.61   no data
254.00/32.19	c x-sub:   296 x-cut:      0 vfix:      0 v-elim:     72 locsubst:   521 time:   0.08
256.40/32.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   29 Bins:    405 BRemL:  34080 BRemN:     91 P:  4.1M T:  0.28
256.40/32.48	c Replacing       79 vars Replaced     5199 lits Time:     0.02 s 
256.40/32.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
257.20/32.52	c bin-w-bin subsume rem        39997 bins  time:  0.04 s
257.20/32.54	c subs with bin:      203  lits-rem:         0  v-fix:    0  time:  0.02 s
257.20/32.55	c Subs w/ non-existent bins:     73 l-rem:      0 v-fix:     0 done:   3941 time:  0.01 s
257.20/32.55	c Removed useless bin:     104  fixed:     0  props:   0.49M  time:  0.00 s
257.20/32.58	c lits-rem:         0  cl-subs:      486  v-elim:    121  v-fix:    0  time:  0.03 s
258.00/32.65	c subs with bin:        5  lits-rem:       652  v-fix:    0  time:  0.02 s
341.13/43.05	c lits-rem:      2912  cl-subs:     1138  v-elim:      0  v-fix:    0  time: 10.39 s
341.13/43.05	c vivif2 --  cl tried     3875 cl shrink       45 lits rem         78 time: 0.00
341.13/43.09	c vivif2 --  cl tried    24157 cl shrink       83 lits rem         95 time: 0.04
341.94/43.14	c asymm  cl-useful: 556/3875/3875 lits-rem:1870 time: 0.04
341.94/43.14	c calculated reachability. Time: 0.00
341.94/43.14	c  N st   323    238257      3820      3356     23096     24157     62585   1772793     13.61   no data
431.47/54.39	c  F st   324    306253      3820      3356     23099     45271     62585   3971557     13.61   no data
431.47/54.39	c  N st   324    306253      3820      3356     23099     45271     62585   3971557     13.61   no data
432.27/54.46	c Finding binary XORs  T:     0.06 s  found:     132
433.07/54.54	c Replacing      132 vars Replaced    23967 lits Time:     0.08 s 
437.12/55.09	c Decided on static restart strategy
457.85/57.64	c  N st   334    334554      3678      3308     26753     44434     62326   3708217     13.61   no data
458.65/57.70	c Finding binary XORs  T:     0.03 s  found:      30
479.44/60.36	c  N st   336    357386      3668      3308     27166     38806     61690   3050328     13.61   no data
479.44/60.36	c  S st   336    357386      3668      3308     27166     38806     61690   3050328     13.61   no data
480.28/60.42	c  S st   336    357889      3668      3308     27171     39151     61690   3054126     13.61   no data
480.28/60.48	c x-sub:   126 x-cut:      0 vfix:      0 v-elim:     30 locsubst:    41 time:   0.06
481.83/60.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   24 Bins:   4027 BRemL:   9473 BRemN:     84 P:  2.8M T:  0.14
481.83/60.64	c Replacing       59 vars Replaced     4042 lits Time:     0.01 s 
481.83/60.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
481.83/60.65	c bin-w-bin subsume rem          872 bins  time:  0.00 s
481.83/60.66	c subs with bin:      133  lits-rem:         4  v-fix:    0  time:  0.02 s
481.83/60.67	c Subs w/ non-existent bins:     30 l-rem:      0 v-fix:     0 done:   3579 time:  0.01 s
481.83/60.67	c Removed useless bin:      22  fixed:     0  props:   0.21M  time:  0.00 s
482.62/60.71	c lits-rem:         1  cl-subs:       93  v-elim:    115  v-fix:    0  time:  0.04 s
482.62/60.79	c subs with bin:        9  lits-rem:        29  v-fix:    0  time:  0.01 s
571.36/71.86	c lits-rem:      2439  cl-subs:     2395  v-elim:      0  v-fix:    0  time: 11.07 s
571.36/71.86	c vivif2 --  cl tried     3443 cl shrink       38 lits rem         91 time: 0.00
572.16/71.91	c vivif2 --  cl tried    31111 cl shrink       35 lits rem         70 time: 0.04
572.16/71.94	c asymm  cl-useful: 500/3443/3443 lits-rem:1514 time: 0.03
572.16/71.94	c calculated reachability. Time: 0.00
572.16/71.94	c  N st   336    357889      3464      2986     20177     31111     56725   2299697     13.61   no data
600.14/75.49	c  N st   337    390281      3464      2986     20177     34319     56724   2564844     13.61   no data
600.94/75.56	c Finding binary XORs  T:     0.04 s  found:      20
627.33/78.89	c  N st   338    438870      3437      2986     19513     46960     55870   3630916     13.61   no data
628.13/78.94	c Finding binary XORs  T:     0.02 s  found:      31
628.93/79.02	c Replacing       51 vars Replaced    15642 lits Time:     0.08 s 
720.85/90.56	c  N st   339    511753      3385      2946     23318     49969     55447   3984885     13.61   no data
721.65/90.61	c Finding binary XORs  T:     0.02 s  found:      29
740.85/93.08	c  N st   340    536834      3379      2946     27175     41921     55275   3216898     13.61   no data
740.85/93.08	c  S st   340    536834      3379      2946     27175     41921     55275   3216898     13.61   no data
741.65/93.13	c  S st   340    537338      3379      2946     27202     42276     55275   3228005     13.61   no data
741.65/93.19	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:      4 locsubst:    27 time:   0.06
743.25/93.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    220 BRemL:   5901 BRemN:     36 P:  2.3M T:  0.12
743.25/93.36	c Replacing       32 vars Replaced     9265 lits Time:     0.05 s 
743.25/93.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
743.25/93.36	c bin-w-bin subsume rem         1361 bins  time:  0.00 s
743.25/93.38	c subs with bin:       97  lits-rem:        27  v-fix:    0  time:  0.01 s
743.25/93.38	c Subs w/ non-existent bins:     17 l-rem:      0 v-fix:     0 done:   3343 time:  0.00 s
743.25/93.39	c Removed useless bin:      15  fixed:     0  props:   0.15M  time:  0.00 s
744.09/93.43	c lits-rem:         0  cl-subs:       46  v-elim:     49  v-fix:    0  time:  0.04 s
744.89/93.53	c subs with bin:        3  lits-rem:       192  v-fix:    0  time:  0.01 s
915.93/114.98	c lits-rem:      4962  cl-subs:     3295  v-elim:      0  v-fix:    0  time: 21.44 s
915.93/114.98	c vivif2 --  cl tried     2950 cl shrink       11 lits rem         20 time: 0.00
916.72/115.03	c vivif2 --  cl tried    37764 cl shrink        2 lits rem          2 time: 0.05
916.72/115.06	c asymm  cl-useful: 40/2950/2950 lits-rem:48 time: 0.03
916.72/115.06	c calculated reachability. Time: 0.00
916.72/115.06	c  N st   340    537338      3294      2948     19694     37764     53031   2820252     13.61   no data
1061.46/133.18	c  N st   341    701323      3294      2948     19694     48172     53031   3182198     13.61   no data
1062.22/133.24	c Finding binary XORs  T:     0.03 s  found:      55
1063.01/133.34	c Replacing       76 vars Replaced    25601 lits Time:     0.10 s 
1167.74/146.42	c  N st   342    806007      3160      2890     24208     67752     50451   5758130     13.61   no data
1167.74/146.42	c  S st   342    806007      3160      2890     24208     67752     50451   5758130     13.61   no data
1167.74/146.48	c Finding binary XORs  T:     0.02 s  found:      15
1168.54/146.54	c  S st   342    806510      3140      2890     24558     68070     49854   5767157     13.61   no data
1169.34/146.61	c x-sub:     8 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    42 time:   0.07
1170.14/146.76	c Flit:     0 Blit:      4 bXBeca:    0 bXProp:   32 Bins:   7110 BRemL:   9605 BRemN:      0 P:  2.8M T:  0.15
1170.94/146.82	c Replacing       50 vars Replaced     3374 lits Time:     0.06 s 
1170.94/146.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1170.94/146.82	c bin-w-bin subsume rem         1030 bins  time:  0.00 s
1170.94/146.83	c subs with bin:      227  lits-rem:        91  v-fix:    0  time:  0.01 s
1170.94/146.84	c Subs w/ non-existent bins:     19 l-rem:      0 v-fix:     0 done:   3086 time:  0.00 s
1170.94/146.84	c Removed useless bin:       1  fixed:     0  props:   0.13M  time:  0.00 s
1171.73/146.91	c lits-rem:         0  cl-subs:       36  v-elim:     22  v-fix:    0  time:  0.07 s
1173.33/147.14	c subs with bin:       18  lits-rem:       707  v-fix:    0  time:  0.05 s
1433.94/179.71	c lits-rem:      1251  cl-subs:     2460  v-elim:      0  v-fix:    0  time: 32.58 s
1433.94/179.71	c vivif2 --  cl tried     2665 cl shrink       18 lits rem         48 time: 0.00
1434.74/179.80	c vivif2 --  cl tried    65448 cl shrink       75 lits rem         88 time: 0.09
1434.74/179.83	c asymm  cl-useful: 97/2665/2665 lits-rem:251 time: 0.03
1434.74/179.83	c calculated reachability. Time: 0.00
1434.74/179.83	c  N st   342    806510      3064      2596     20687     65448     47341   5534402     13.61   no data
1970.36/246.89	c  F st   343   1071875      3064      2596     20688     65127     47341   5327440     13.61   no data
1970.36/246.89	c  N st   343   1071875      3064      2596     20688     65127     47341   5327440     13.61   no data
1971.15/246.96	c Finding binary XORs  T:     0.02 s  found:     442
1973.55/247.21	c Replacing      460 vars Replaced    60224 lits Time:     0.25 s 
1979.15/247.96	c Decided on static restart strategy
2001.58/250.73	c  N st   353   1100175      2021      2079      4673     87874     25088   7953757     13.61   no data
2012.72/252.17	c  N st   355   1136168      2021      2079      4673     68444     25088   4375966     13.61   no data
2019.17/252.98	c  N st   356   1168561      2021      2079      4673     52513     25088   2896993     13.61   no data
2033.51/254.78	c  N st   357   1209766      2021      2079      4673     44015     25088   2533112     13.61   no data
2033.51/254.78	c  S st   357   1209766      2021      2079      4673     44015     25088   2533112     13.61   no data
2034.31/254.82	c  S st   357   1210268      2021      2079      4674     44366     25088   2543599     13.61   no data
2034.31/254.88	c x-sub:   216 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    48 time:   0.06
2035.11/254.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     64 BRemL:    907 BRemN:      4 P:  1.2M T:  0.06
2035.11/254.96	c Replacing       14 vars Replaced      759 lits Time:     0.01 s 
2035.11/254.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2035.11/254.96	c bin-w-bin subsume rem          542 bins  time:  0.00 s
2035.11/254.96	c subs with bin:       30  lits-rem:        13  v-fix:    0  time:  0.00 s
2035.11/254.97	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:   2007 time:  0.00 s
2035.11/254.97	c Removed useless bin:      11  fixed:     0  props:   0.06M  time:  0.00 s
2035.90/255.01	c lits-rem:         0  cl-subs:      138  v-elim:     99  v-fix:    0  time:  0.05 s
2035.90/255.08	c subs with bin:        0  lits-rem:        76  v-fix:    0  time:  0.00 s
2132.65/267.16	c lits-rem:      2739  cl-subs:     2938  v-elim:      0  v-fix:    0  time: 12.08 s
2132.65/267.16	c vivif2 --  cl tried     1561 cl shrink       29 lits rem         45 time: 0.00
2132.65/267.19	c vivif2 --  cl tried    41229 cl shrink        2 lits rem          4 time: 0.03
2133.49/267.21	c asymm  cl-useful: 40/1559/1559 lits-rem:45 time: 0.02
2133.49/267.21	c calculated reachability. Time: 0.00
2133.49/267.21	c  N st   357   1210268      1908      1559      2572     41229     20780   2333625     13.61   no data
2151.89/269.57	c  N st   358   1283150      1908      1559      2572     54276     20780   2944029     13.61   no data
2152.63/269.60	c Finding binary XORs  T:     0.02 s  found:       2
2200.60/275.64	c  N st   359   1392475      1908      1559      2615     63439     20780   3660166     13.61   no data
2200.60/275.65	c Finding binary XORs  T:     0.01 s  found:       2
2219.30/283.58	c Following stats are for *FIRST FINISHED THREAD ONLY*
2219.30/283.58	c num threads              : 8          
2219.30/283.58	c restarts                 : 9405       
2219.30/283.58	c dynamic restarts         : 9375       
2219.30/283.58	c static restarts          : 30         
2219.30/283.58	c full restarts            : 4          
2219.30/283.58	c total simplify time      : 2.55       
2219.30/283.58	c learnts DL2              : 0          
2219.30/283.58	c learnts size 2           : 648116     
2219.30/283.58	c learnts size 1           : 1860        (4.97      % of vars)
2219.30/283.58	c filedLit time            : 8.31        (2.95      % time)
2219.30/283.58	c v-elim SatELite          : 13685       (36.56     % vars)
2219.30/283.58	c SatELite time            : 2.43        (0.86      % time)
2219.30/283.58	c v-elim xor               : 0           (0.00      % vars)
2219.30/283.58	c xor elim time            : 0.05        (0.02      % time)
2219.30/283.58	c num binary xor trees     : 3063       
2219.30/283.58	c binxor trees' crown      : 17145       (5.60      leafs/tree)
2219.30/283.58	c bin xor find time        : 1.59       
2219.30/283.58	c OTF clause improved      : 172376      (0.08      clauses/conflict)
2219.30/283.58	c OTF impr. size diff      : 176159      (1.02       lits/clause)
2219.30/283.58	c OTF cl watch-shrink      : 542757      (0.25      clauses/conflict)
2219.30/283.58	c OTF cl watch-sh-lit      : 1033365     (1.90       lits/clause)
2219.30/283.58	c tried to recurMin cls    : 889323      (40.93      % of conflicts)
2219.30/283.58	c updated cache            : 71585       (0.08       lits/tried recurMin)
2219.30/283.58	c unit cls recevied        : 33          (1.77      % of units)
2219.30/283.58	c unit cls sent            : 2032        (109.25    % of units)
2219.30/283.58	c bin cls recevied         : 306352     
2219.30/283.58	c bin cls sent             : 291938     
2219.30/283.58	c clauses over max glue    : 0           (0.00      % of all clauses)
2219.30/283.58	c conflicts                : 2172774     (7712.06   / sec)
2219.30/283.58	c decisions                : 5699729     (4.48      % random)
2219.30/283.58	c bogo-props               : 22787110190 (80880738.14 / sec)
2219.30/283.58	c conflict literals        : 44427771    (9.16      % deleted)
2219.30/283.58	c Memory used              : 2992.78     MB
2219.30/283.58	c single-thread CPU time   : 281.74      s
2219.30/283.58	c all-threads sum CPU time : 2215.50     s
2219.30/283.58	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3321011-1304322187/watcher-3321011-1304322187 -o /tmp/evaluation-result-3321011-1304322187/solver-3321011-1304322187 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321011-1304322187.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 1/186 7610
/proc/meminfo: memFree=24493640/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=92188 CPUtime=0 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) R 7608 7610 7584 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 8 0 543818359 94400512 352 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622838 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7610/statm: 23047 352 299 106 0 18018 0
[pid=7610/tid=7611] ppid=7608 vsize=92188 CPUtime=0 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 543818359 94400512 352 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=92188 CPUtime=0 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543818359 94400512 352 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=92188 CPUtime=0 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543818359 94400512 352 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622834 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=92188 CPUtime=0 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543818359 94400512 352 33554432000 4194304 4627427 140736448075824 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=92188 CPUtime=0 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543818359 94400512 352 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622834 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=92188 CPUtime=0 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543818359 94400512 352 33554432000 4194304 4627427 140736448075824 18446744073709551615 208092030006 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=92188 CPUtime=0 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543818359 94400512 352 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622834 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.060079 s]
/proc/loadavg: 0.00 0.00 0.00 1/186 7610
/proc/meminfo: memFree=24493640/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=92188 CPUtime=0.22 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) R 7608 7610 7584 0 -1 4202496 420 0 0 0 22 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622425 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7610/statm: 23047 359 303 106 0 18018 0
[pid=7610/tid=7611] ppid=7608 vsize=92188 CPUtime=0.05 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 5 0 0 0 5 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622429 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=92188 CPUtime=0 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=92188 CPUtime=0.04 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=92188 CPUtime=0.02 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622429 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=92188 CPUtime=0.02 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622425 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=92188 CPUtime=0 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622834 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=92188 CPUtime=0.04 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622425 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 92188

[startup+0.101054 s]
/proc/loadavg: 0.00 0.00 0.00 1/186 7610
/proc/meminfo: memFree=24493640/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=92188 CPUtime=0.41 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) R 7608 7610 7584 0 -1 4202496 420 0 0 0 41 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622425 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7610/statm: 23047 359 303 106 0 18018 0
[pid=7610/tid=7611] ppid=7608 vsize=92188 CPUtime=0.09 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 5 0 0 0 9 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622425 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=92188 CPUtime=0 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=92188 CPUtime=0.07 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 1 0 0 0 7 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=92188 CPUtime=0.02 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622429 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=92188 CPUtime=0.06 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=92188 CPUtime=0 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622834 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=92188 CPUtime=0.09 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 1 0 0 0 9 0 0 0 25 0 8 0 543818359 94400512 359 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622419 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 92188

[startup+0.301958 s]
/proc/loadavg: 0.00 0.00 0.00 1/186 7610
/proc/meminfo: memFree=24493640/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=603636 CPUtime=1.3 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) D 7608 7610 7584 0 -1 4202496 37634 0 0 0 103 27 0 0 17 0 8 0 543818359 618123264 32830 33554432000 4194304 4627427 140736448075824 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7610/statm: 150909 32830 345 106 0 145880 0
[pid=7610/tid=7611] ppid=7608 vsize=604116 CPUtime=0.19 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 4254 0 0 0 17 2 0 0 17 0 8 0 543818359 618614784 32834 33554432000 4194304 4627427 140736448075824 18446744073709551615 4317104 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=604116 CPUtime=0.13 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 5586 0 0 0 10 3 0 0 18 0 8 0 543818359 618614784 32835 33554432000 4194304 4627427 140736448075824 18446744073709551615 4222362 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=604116 CPUtime=0.21 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 4649 0 0 0 16 5 0 0 17 0 8 0 543818359 618614784 32835 33554432000 4194304 4627427 140736448075824 18446744073709551615 208080290218 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=604116 CPUtime=0.15 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) D 7608 7610 7584 0 -1 4202560 5398 0 0 0 11 4 0 0 16 0 8 0 543818359 618614784 32835 33554432000 4194304 4627427 140736448075824 18446744073709551615 4316236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=604116 CPUtime=0.15 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) D 7608 7610 7584 0 -1 4202560 3586 0 0 0 13 2 0 0 17 0 8 0 543818359 618614784 32835 33554432000 4194304 4627427 140736448075824 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=604596 CPUtime=0.08 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) D 7608 7610 7584 0 -1 4202560 4879 0 0 0 6 2 0 0 17 0 8 0 543818359 619106304 32839 33554432000 4194304 4627427 140736448075824 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=604596 CPUtime=0.21 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) D 7608 7610 7584 0 -1 4202560 4768 0 0 0 17 4 0 0 17 0 8 0 543818359 619106304 32839 33554432000 4194304 4627427 140736448075824 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 603636

[startup+0.700886 s]
/proc/loadavg: 0.00 0.00 0.00 1/186 7610
/proc/meminfo: memFree=24493640/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=614808 CPUtime=4.08 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) R 7608 7610 7584 0 -1 4202496 45217 0 0 0 380 28 0 0 17 0 8 0 543818359 629563392 37837 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7610/statm: 153702 37837 367 106 0 148673 0
[pid=7610/tid=7611] ppid=7608 vsize=614808 CPUtime=0.57 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 5214 0 0 0 55 2 0 0 17 0 8 0 543818359 629563392 37837 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=614808 CPUtime=0.53 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 5599 0 0 0 50 3 0 0 18 0 8 0 543818359 629563392 37837 33554432000 4194304 4627427 140736448075824 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=614808 CPUtime=0.61 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 5645 0 0 0 56 5 0 0 18 0 8 0 543818359 629563392 37837 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=614808 CPUtime=0.55 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 5431 0 0 0 51 4 0 0 16 0 8 0 543818359 629563392 37837 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=614808 CPUtime=0.3 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 5760 0 0 0 28 2 0 0 17 0 8 0 543818359 629563392 37837 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=614808 CPUtime=0.47 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 4899 0 0 0 45 2 0 0 17 0 8 0 543818359 629563392 37837 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=614808 CPUtime=0.61 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 6064 0 0 0 57 4 0 0 18 0 8 0 543818359 629563392 37837 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 614808

[startup+1.50073 s]
/proc/loadavg: 0.00 0.00 0.00 9/194 7618
/proc/meminfo: memFree=24342296/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=631760 CPUtime=9.74 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) R 7608 7610 7584 0 -1 4202496 63232 0 0 0 940 34 0 0 17 0 8 0 543818359 646922240 55852 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308291 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7610/statm: 157940 55860 369 106 0 152911 0
[pid=7610/tid=7611] ppid=7608 vsize=631760 CPUtime=1.21 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 7104 0 0 0 118 3 0 0 18 0 8 0 543818359 646922240 55860 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=631760 CPUtime=1.31 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 9955 0 0 0 127 4 0 0 19 0 8 0 543818359 646922240 55860 33554432000 4194304 4627427 140736448075824 18446744073709551615 4297757 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=631760 CPUtime=1.4 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 9760 0 0 0 134 6 0 0 19 0 8 0 543818359 646922240 55860 33554432000 4194304 4627427 140736448075824 18446744073709551615 4238603 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=631760 CPUtime=1.34 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 9250 0 0 0 129 5 0 0 17 0 8 0 543818359 646922240 55860 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=631760 CPUtime=0.88 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 5761 0 0 0 86 2 0 0 17 0 8 0 543818359 646922240 55860 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=631760 CPUtime=1.25 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 8167 0 0 0 122 3 0 0 18 0 8 0 543818359 646922240 55860 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=631760 CPUtime=1.4 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 6637 0 0 0 135 5 0 0 19 0 8 0 543818359 646922240 55860 33554432000 4194304 4627427 140736448075824 18446744073709551615 4299745 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.74
Current children cumulated vsize (KiB) 631760

[startup+3.10043 s]
/proc/loadavg: 0.00 0.00 0.00 9/194 7618
/proc/meminfo: memFree=24119468/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=1161136 CPUtime=22.28 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) R 7608 7610 7584 0 -1 4202496 164135 0 0 0 2166 62 0 0 19 0 8 0 543818359 1189003264 155927 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7610/statm: 290284 155927 370 106 0 285255 0
[pid=7610/tid=7611] ppid=7608 vsize=1161136 CPUtime=2.78 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 21496 0 0 0 271 7 0 0 19 0 8 0 543818359 1189003264 155930 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=1161136 CPUtime=2.88 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 23739 0 0 0 279 9 0 0 18 0 8 0 543818359 1189003264 155931 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=1161136 CPUtime=2.97 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 23525 0 0 0 286 11 0 0 18 0 8 0 543818359 1189003264 155931 33554432000 4194304 4627427 140736448075824 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=1161136 CPUtime=2.9 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 23880 0 0 0 282 8 0 0 19 0 8 0 543818359 1189003264 155931 33554432000 4194304 4627427 140736448075824 18446744073709551615 4239842 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=1161136 CPUtime=2.45 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 19898 0 0 0 239 6 0 0 19 0 8 0 543818359 1189003264 155934 33554432000 4194304 4627427 140736448075824 18446744073709551615 4229264 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=1161136 CPUtime=2.81 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 23084 0 0 0 274 7 0 0 18 0 8 0 543818359 1189003264 155938 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308996 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=1161136 CPUtime=2.97 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 7665 0 0 0 292 5 0 0 23 0 8 0 543818359 1189003264 155939 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 1161136

[startup+6.30082 s]
/proc/loadavg: 0.64 0.13 0.04 9/194 7618
/proc/meminfo: memFree=23748216/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=1258588 CPUtime=47.81 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) R 7608 7610 7584 0 -1 4202496 228247 0 0 0 4707 74 0 0 19 0 8 0 543818359 1288794112 207179 33554432000 4194304 4627427 140736448075824 18446744073709551615 4330074 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7610/statm: 314647 207179 390 106 0 309618 0
[pid=7610/tid=7611] ppid=7608 vsize=1258588 CPUtime=5.98 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 31276 0 0 0 589 9 0 0 25 0 8 0 543818359 1288794112 207179 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=1258588 CPUtime=6.07 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 29315 0 0 0 598 9 0 0 18 0 8 0 543818359 1288794112 207179 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309752 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=1258588 CPUtime=6.16 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 32296 0 0 0 604 12 0 0 25 0 8 0 543818359 1288794112 207180 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=1258588 CPUtime=6.1 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 31761 0 0 0 600 10 0 0 18 0 8 0 543818359 1288794112 207180 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=1258588 CPUtime=5.65 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 30174 0 0 0 557 8 0 0 18 0 8 0 543818359 1288794112 207180 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309744 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=1258588 CPUtime=6.01 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 31962 0 0 0 591 10 0 0 25 0 8 0 543818359 1288794112 207180 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309607 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=1258588 CPUtime=6.15 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 8799 0 0 0 610 5 0 0 25 0 8 0 543818359 1288794112 207180 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308920 0 0 4096 2 0 0 0 -1 7 0 0 0

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

[pid=7610] ppid=7608 vsize=1662172 CPUtime=405.9 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) R 7608 7610 7584 0 -1 4202496 498536 0 0 0 40459 131 0 0 25 0 8 0 543818359 1702064128 315661 33554432000 4194304 4627427 140736448075824 18446744073709551615 4330127 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7610/statm: 415543 315661 391 106 0 410514 0
[pid=7610/tid=7611] ppid=7608 vsize=1662172 CPUtime=50.77 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 70069 0 0 0 5060 17 0 0 25 0 8 0 543818359 1702064128 315661 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=1662172 CPUtime=50.84 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 67915 0 0 0 5065 19 0 0 25 0 8 0 543818359 1702064128 315661 33554432000 4194304 4627427 140736448075824 18446744073709551615 4333248 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=1662172 CPUtime=50.96 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 62790 0 0 0 5077 19 0 0 25 0 8 0 543818359 1702064128 315661 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309789 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=1662172 CPUtime=50.9 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 69302 0 0 0 5073 17 0 0 25 0 8 0 543818359 1702064128 315661 33554432000 4194304 4627427 140736448075824 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=1662172 CPUtime=50.45 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 59944 0 0 0 5031 14 0 0 25 0 8 0 543818359 1702064128 315661 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=1662172 CPUtime=50.79 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 65343 0 0 0 5062 17 0 0 25 0 8 0 543818359 1702064128 315661 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=1662172 CPUtime=50.7 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 36770 0 0 0 5059 11 0 0 25 0 8 0 543818359 1702064128 315661 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 405.9
Current children cumulated vsize (KiB) 1662172

[startup+102.308 s]
/proc/loadavg: 6.49 2.27 0.81 9/194 7620
/proc/meminfo: memFree=22962492/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=2062572 CPUtime=815.24 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) R 7608 7610 7584 0 -1 4202496 746145 0 0 0 81333 191 0 0 25 0 8 0 543818359 2112073728 382597 33554432000 4194304 4627427 140736448075824 18446744073709551615 4420171 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7610/statm: 515643 382597 391 106 0 510614 0
[pid=7610/tid=7611] ppid=7608 vsize=2062572 CPUtime=101.97 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 104388 0 0 0 10172 25 0 0 25 0 8 0 543818359 2112073728 382597 33554432000 4194304 4627427 140736448075824 18446744073709551615 4427411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=2062572 CPUtime=102.04 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 111803 0 0 0 10174 30 0 0 25 0 8 0 543818359 2112073728 382597 33554432000 4194304 4627427 140736448075824 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=2062572 CPUtime=102.16 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 109370 0 0 0 10188 28 0 0 25 0 8 0 543818359 2112073728 382597 33554432000 4194304 4627427 140736448075824 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=2062572 CPUtime=102.1 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 100343 0 0 0 10186 24 0 0 25 0 8 0 543818359 2112073728 382597 33554432000 4194304 4627427 140736448075824 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=2062572 CPUtime=101.65 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 86312 0 0 0 10145 20 0 0 25 0 8 0 543818359 2112073728 382597 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308767 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=2062572 CPUtime=101.98 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 87358 0 0 0 10174 24 0 0 25 0 8 0 543818359 2112073728 382597 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=2062572 CPUtime=101.62 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 48791 0 0 0 10147 15 0 0 25 0 8 0 543818359 2112073728 382597 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 815.24
Current children cumulated vsize (KiB) 2062572

[startup+162.301 s]
/proc/loadavg: 7.44 3.31 1.26 9/194 7622
/proc/meminfo: memFree=22694152/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=2482472 CPUtime=1294.85 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) R 7608 7610 7584 0 -1 4202496 997564 0 0 0 129228 257 0 0 25 0 8 0 543818359 2542051328 450546 33554432000 4194304 4627427 140736448075824 18446744073709551615 4420146 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7610/statm: 620618 450546 391 106 0 615589 0
[pid=7610/tid=7611] ppid=7608 vsize=2482472 CPUtime=161.96 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 130498 0 0 0 16161 35 0 0 25 0 8 0 543818359 2542051328 450546 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=2482472 CPUtime=162.04 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 136751 0 0 0 16166 38 0 0 25 0 8 0 543818359 2542051328 450546 33554432000 4194304 4627427 140736448075824 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=2482472 CPUtime=162.15 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 137323 0 0 0 16181 34 0 0 25 0 8 0 543818359 2542051328 450546 33554432000 4194304 4627427 140736448075824 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=2482472 CPUtime=162.09 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 153497 0 0 0 16173 36 0 0 25 0 8 0 543818359 2542051328 450546 33554432000 4194304 4627427 140736448075824 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=2482472 CPUtime=161.65 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 126116 0 0 0 16134 31 0 0 25 0 8 0 543818359 2542051328 450546 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=2482472 CPUtime=161.98 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 121076 0 0 0 16164 34 0 0 25 0 8 0 543818359 2542051328 450546 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=2482472 CPUtime=161.29 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 56687 0 0 0 16112 17 0 0 25 0 8 0 543818359 2542051328 450546 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1294.85
Current children cumulated vsize (KiB) 2482472

[startup+222.301 s]
/proc/loadavg: 7.79 4.16 1.68 9/194 7624
/proc/meminfo: memFree=22544060/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=2696756 CPUtime=1774.5 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) R 7608 7610 7584 0 -1 4202496 1226043 0 0 0 177122 328 0 0 25 0 8 0 543818359 2761478144 487090 33554432000 4194304 4627427 140736448075824 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7610/statm: 674189 487090 391 106 0 669160 0
[pid=7610/tid=7611] ppid=7608 vsize=2696756 CPUtime=221.97 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 170080 0 0 0 22146 51 0 0 25 0 8 0 543818359 2761478144 487090 33554432000 4194304 4627427 140736448075824 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=2696756 CPUtime=222.03 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 177947 0 0 0 22150 53 0 0 25 0 8 0 543818359 2761478144 487090 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309650 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=2696756 CPUtime=222.15 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 150424 0 0 0 22177 38 0 0 25 0 8 0 543818359 2761478144 487090 33554432000 4194304 4627427 140736448075824 18446744073709551615 4467926 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=2696756 CPUtime=222.1 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 181373 0 0 0 22166 44 0 0 25 0 8 0 543818359 2761478144 487090 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309067 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=2696756 CPUtime=221.64 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 159927 0 0 0 22122 42 0 0 25 0 8 0 543818359 2761478144 487090 33554432000 4194304 4627427 140736448075824 18446744073709551615 4332060 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=2696756 CPUtime=221.98 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 161794 0 0 0 22154 44 0 0 25 0 8 0 543818359 2761478144 487090 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=2696756 CPUtime=220.95 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 64013 0 0 0 22076 19 0 0 25 0 8 0 543818359 2761478144 487090 33554432000 4194304 4627427 140736448075824 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1774.5
Current children cumulated vsize (KiB) 2696756

[startup+282.301 s]
/proc/loadavg: 7.44 4.76 2.04 3/194 7625
/proc/meminfo: memFree=22277612/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=3064604 CPUtime=2216.9 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) S 7608 7610 7584 0 -1 4202496 1475249 0 0 0 221293 397 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7610/statm: 766151 553245 391 106 0 761122 0
[pid=7610/tid=7611] ppid=7608 vsize=3064604 CPUtime=275.74 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 221163 0 0 0 27504 70 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 5 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=3064604 CPUtime=282.04 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 199429 0 0 0 28146 58 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 4420116 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=3064604 CPUtime=275.94 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 167453 0 0 0 27548 46 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=3064604 CPUtime=275.87 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 218005 0 0 0 27534 53 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 0 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=3064604 CPUtime=275.43 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 199083 0 0 0 27489 54 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 4 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=3064604 CPUtime=275.76 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 206768 0 0 0 27524 52 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 2 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=3064604 CPUtime=280.66 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 69496 0 0 0 28045 21 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 4219962 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2216.9
Current children cumulated vsize (KiB) 3064604

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

[startup+283.101 s]
/proc/loadavg: 7.44 4.76 2.04 3/194 7625
/proc/meminfo: memFree=22277736/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=3064604 CPUtime=2218.5 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) S 7608 7610 7584 0 -1 4202496 1475249 0 0 0 221453 397 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7610/statm: 766151 553245 391 106 0 761122 0
[pid=7610/tid=7611] ppid=7608 vsize=3064604 CPUtime=275.74 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 221163 0 0 0 27504 70 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 5 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=3064604 CPUtime=282.84 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 199429 0 0 0 28226 58 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=3064604 CPUtime=275.94 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 167453 0 0 0 27548 46 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=3064604 CPUtime=275.87 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 218005 0 0 0 27534 53 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 0 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=3064604 CPUtime=275.43 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 199083 0 0 0 27489 54 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 4 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=3064604 CPUtime=275.76 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 206768 0 0 0 27524 52 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 2 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=3064604 CPUtime=281.46 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 69496 0 0 0 28125 21 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747598020 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2218.5
Current children cumulated vsize (KiB) 3064604

[startup+283.501 s]
/proc/loadavg: 7.44 4.76 2.04 3/194 7625
/proc/meminfo: memFree=22277736/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=3064604 CPUtime=2219.3 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) S 7608 7610 7584 0 -1 4202496 1475249 0 0 0 221533 397 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7610/statm: 766151 553245 391 106 0 761122 0
[pid=7610/tid=7611] ppid=7608 vsize=3064604 CPUtime=275.74 cores=0-7
/proc/7610/task/7611/stat : 7611 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 221163 0 0 0 27504 70 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 5 0 0 0
[pid=7610/tid=7612] ppid=7608 vsize=3064604 CPUtime=283.24 cores=0-7
/proc/7610/task/7612/stat : 7612 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 199429 0 0 0 28266 58 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 4520730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7610/tid=7613] ppid=7608 vsize=3064604 CPUtime=275.94 cores=0-7
/proc/7610/task/7613/stat : 7613 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 167453 0 0 0 27548 46 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 1 0 0 0
[pid=7610/tid=7614] ppid=7608 vsize=3064604 CPUtime=275.87 cores=0-7
/proc/7610/task/7614/stat : 7614 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 218005 0 0 0 27534 53 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 0 0 0 0
[pid=7610/tid=7615] ppid=7608 vsize=3064604 CPUtime=275.43 cores=0-7
/proc/7610/task/7615/stat : 7615 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 199083 0 0 0 27489 54 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 4 0 0 0
[pid=7610/tid=7616] ppid=7608 vsize=3064604 CPUtime=275.76 cores=0-7
/proc/7610/task/7616/stat : 7616 (strangenight2-m) S 7608 7610 7584 0 -1 4202560 206768 0 0 0 27524 52 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747622452 0 0 4096 2 18446604471143711936 0 0 -1 2 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=3064604 CPUtime=281.86 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202560 69496 0 0 0 28165 21 0 0 25 0 8 0 543818359 3138154496 553245 33554432000 4194304 4627427 140736448075824 18446744073709551615 47143747598020 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2219.3
Current children cumulated vsize (KiB) 3064604

[startup+283.601 s]
/proc/loadavg: 7.44 4.76 2.04 3/194 7625
/proc/meminfo: memFree=22277736/32950928 swapFree=67111356/67111528
[pid=7610] ppid=7608 vsize=0 CPUtime=2219.48 cores=0-7
/proc/7610/stat : 7610 (strangenight2-m) Z 7608 7610 7584 0 -1 4203548 1475252 0 0 0 221550 398 0 0 18 0 2 0 543818359 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7610/statm: 0 0 0 0 0 0 0
[pid=7610/tid=7617] ppid=7608 vsize=0 CPUtime=281.95 cores=0-7
/proc/7610/task/7617/stat : 7617 (strangenight2-m) R 7608 7610 7584 0 -1 4202564 69499 0 0 0 28173 22 0 0 25 0 2 0 543818359 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2219.48
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 283.689
CPU time (s): 2219.57
CPU user time (s): 2215.5
CPU system time (s): 4.07438
CPU usage (%): 782.397
Max. virtual memory (cumulated for all children) (KiB): 3228968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2215.5
system time used= 4.07438
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1475252
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= 53570
involuntary context switches= 11797

runsolver used 0.452931 second user time and 1.12983 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-02 09:43:07
IDJOB=3321011
IDBENCH=20523
IDSOLVER=1709
FILE ID=node127/3321011-1304322187
RUNJOBID= node127-1304322187-7598
PBS_JOBID= 13176799
Free space on /tmp= 73376 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k45.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321011-1304322187/watcher-3321011-1304322187 -o /tmp/evaluation-result-3321011-1304322187/solver-3321011-1304322187 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321011-1304322187.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 8a76c8add64173ae39149aae572a02d9
RANDOM SEED=309153922

node127.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.823
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.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
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.823
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.74
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.823
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.86
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.823
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.75
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.823
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.823
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.60
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.823
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:     32950928 kB
MemFree:      24493920 kB
Buffers:       1336264 kB
Cached:        3532400 kB
SwapCached:          8 kB
Active:        3540608 kB
Inactive:      4439372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24493920 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            9328 kB
Writeback:           0 kB
AnonPages:     3111564 kB
Mapped:          18096 kB
Slab:           405000 kB
PageTables:      11088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  3646560 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= 73368 MiB
End job on node127 at 2011-05-02 09:47:51