Trace number 3421702

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 5792.97 725.78

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
MD5SUMf38a91a0947f21d9ceeb8762ba4c5f93
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark862.725
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18473
Sum of the clauses size132415
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2442
Number of clauses of size 32342
Number of clauses of size 4463
Number of clauses of size 5642
Number of clauses of size over 514542

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 8 threads
0.74/0.12	c This is CryptoMiniSat 3.0.0
0.74/0.12	c WARNING: for repeatability, setting FPU to use double precision
0.74/0.12	c Reading file 'HOME/instance-3421702-1306786796.cnf'
0.74/0.12	c -- header says num vars:           2969
0.74/0.12	c -- header says num clauses:       18473
0.74/0.15	c -- clauses added:            0 learnts,        18473 normals,            0 xors
0.74/0.15	c -- vars added       2969
0.74/0.15	c Parsing time:  0.01 s
0.74/0.15	c  N st     0         0      2969     16976      1250         0    130621         0   no data   no data
0.74/0.28	c asymm  cl-useful: 1433/15881/15881 lits-rem:2141 time: 0.12
0.74/0.28	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
2.00/0.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.00/0.36	c bin-w-bin subsume rem          990 bins  time:  0.00 s
2.00/0.36	c subs with bin:       67  lits-rem:       106  v-fix:    0  time:  0.00 s
2.00/0.36	c Subs w/ non-existent bins:      0 l-rem:      5 v-fix:     0 done:   2912 time:  0.00 s
2.00/0.36	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2.00/0.80	c lits-rem:      7094  cl-subs:     3427  v-elim:    182  v-fix:    0  time:  0.03 s
2.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
2.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.00/0.80	c calculated reachability. Time: 0.00
2.00/0.80	c Calc default polars -  time:   0.00 s pos:    1012 undec:     936 neg:    1021
2.00/0.80	c =========================================================================================
2.00/0.80	c types(t): F = full restart, N = normal restart
2.00/0.80	c types(t): S = simplification begin/end, E = solution found
2.00/0.80	c restart types(rt): st = static, dy = dynamic
2.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.00/0.80	c  B st     0         0      2730     12179      1100         0     88846         0   no data   no data
2.00/0.80	c  N dy    16      4154      2730     12179      1128      3915     88837     53198      6.52      6.87
2.00/0.80	c  N dy    42      8222      2730     12179      1380      5411     88832     68864      6.77      7.13
2.00/0.80	c  N dy    71     12271      2730     12179      1411      5265     88827     61208      6.97      7.43
2.00/1.17	c  N dy   105     16272      2730     12179      1644      9118     88823    127016      7.34     10.30
2.00/1.17	c  N dy   143     20311      2730     12179      1807      7677     88821     99175      7.72      8.88
2.00/1.17	c Finding binary XORs  T:     0.00 s  found:      43
2.00/1.17	c Replacing       43 vars Replaced    11731 lits Time:     0.01 s 
2.00/1.17	c  N dy   178     24373      2687     12132      1744     11619     88544    176978      8.04     11.10
3.26/1.27	c  F st   184     25000      2687     12132      1860     12224     88544    189683      8.11      8.03
10.40/1.41	c  N dy   190     30001      2687     12132      1867     10467     88542    142664      8.11   no data
10.40/1.41	c  S st   190     30001      2687     12132      1867     10467     88542    142664      8.11   no data
11.05/1.45	c  S st   190     30502      2687     12132      1902     10927     88541    148252      8.11   no data
11.05/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.05/1.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    739 BRemL:     12 BRemN:      0 P:  0.7M T:  0.02
11.05/1.47	c Replacing        2 vars Replaced      302 lits Time:     0.00 s 
11.05/1.47	c blocked clauses removed:      390 vars:    247 tried:        2685 T: 0.00 s
11.05/1.47	c bin-w-bin subsume rem           22 bins  time:  0.00 s
11.05/1.48	c subs with bin:      154  lits-rem:       759  v-fix:    0  time:  0.00 s
11.05/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2438 time:  0.00 s
11.05/1.48	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
11.61/1.50	c lits-rem:       832  cl-subs:      335  v-elim:     62  v-fix:    0  time:  0.02 s
11.61/1.54	c subs with bin:      610  lits-rem:      3750  v-fix:    0  time:  0.03 s
11.61/1.59	c lits-rem:      1171  cl-subs:      812  v-elim:      0  v-fix:    0  time:  0.05 s
14.00/1.83	c asymm  cl-useful: 94/11081/11081 lits-rem:95 time: 0.25
14.00/1.83	c calculated reachability. Time: 0.00
14.00/1.83	c  N dy   190     30502      2376     11081      2467      9033     79219    123575      8.11   no data
14.00/1.83	c Finding binary XORs  T:     0.00 s  found:       0
15.67/2.09	c  N dy   220     34549      2376     11081      2569     12972     79219    209199      8.33     10.35
17.99/2.38	c  N dy   255     38669      2376     11081      2618      9681     79219    123534      8.63      9.16
21.19/2.71	c  N dy   294     42744      2376     11081      2730     13698     79219    233631      8.91     12.59
23.59/3.00	c  S st   322     45756      2376     11081      2731     16676     79219    313377      9.09   no data
23.59/3.06	c  S st   322     46256      2376     11081      2734     17170     79219    322325      9.09   no data
23.59/3.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.59/3.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:     30 BRemL:      3 BRemN:      0 P:  1.0M T:  0.02
23.59/3.10	c Replacing        3 vars Replaced     2514 lits Time:     0.00 s 
24.46/3.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.46/3.12	c bin-w-bin subsume rem           83 bins  time:  0.00 s
24.46/3.12	c subs with bin:       16  lits-rem:        16  v-fix:    0  time:  0.00 s
24.46/3.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2373 time:  0.00 s
24.46/3.12	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
24.46/3.14	c lits-rem:       128  cl-subs:       60  v-elim:     69  v-fix:    0  time:  0.01 s
25.33/3.27	c subs with bin:      262  lits-rem:      1580  v-fix:    0  time:  0.12 s
26.77/3.43	c lits-rem:       726  cl-subs:      364  v-elim:      0  v-fix:    0  time:  0.15 s
26.77/3.43	c vivif2 --  cl tried    10965 cl shrink        0 lits rem          0 time: 0.00
26.77/3.44	c vivif2 --  cl tried    16539 cl shrink      130 lits rem        130 time: 0.01
29.97/3.85	c asymm  cl-useful: 39/9329/10965 lits-rem:39 time: 0.41
29.97/3.85	c calculated reachability. Time: 0.00
29.97/3.85	c  N dy   322     46256      2304     10965      2676     16539     77886    313281      9.09   no data
32.37/4.16	c Finding binary XORs  T:     0.00 s  found:       0
33.23/4.22	c  N dy   348     50326      2304     10965      2796     11987     77886    168228      9.22      9.80
35.55/4.58	c  N dy   384     54334      2304     10965      2796     15956     77886    278568      9.39      9.90
39.55/5.03	c  N dy   422     58538      2304     10965      2826     10362     77886    102251      9.56     10.16
42.01/5.41	c  N dy   457     62539      2304     10965      2868     14306     77886    211757      9.67     10.65
45.94/5.86	c  N dy   496     66610      2304     10965      2871     18335     77886    327512      9.84     16.36
49.13/6.21	c  S st   523     69385      2304     10965      2909     21095     77886    409725      9.96   no data
49.13/6.29	c  S st   523     69889      2304     10965      2910     21597     77886    420045      9.96   no data
49.13/6.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.93/6.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      4 BRemN:      0 P:  1.2M T:  0.03
49.93/6.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.93/6.33	c bin-w-bin subsume rem           24 bins  time:  0.00 s
49.93/6.33	c subs with bin:        9  lits-rem:         0  v-fix:    0  time:  0.00 s
49.93/6.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2304 time:  0.00 s
49.93/6.33	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
49.93/6.34	c lits-rem:        22  cl-subs:       20  v-elim:     11  v-fix:    0  time:  0.01 s
51.66/6.55	c subs with bin:      354  lits-rem:      2136  v-fix:    0  time:  0.18 s
53.11/6.74	c lits-rem:       700  cl-subs:      401  v-elim:      0  v-fix:    0  time:  0.18 s
53.11/6.74	c vivif2 --  cl tried    10928 cl shrink        0 lits rem          0 time: 0.00
53.11/6.75	c vivif2 --  cl tried    20844 cl shrink      235 lits rem        240 time: 0.01
53.91/6.82	c asymm  cl-useful: 6/1599/10928 lits-rem:6 time: 0.07
53.91/6.82	c calculated reachability. Time: 0.00
53.91/6.82	c  N dy   523     69889      2293     10928      2892     20844     77492    408816      9.96   no data
57.11/7.24	c Finding binary XORs  T:     0.00 s  found:       0
57.11/7.29	c  N dy   560     74570      2293     10928      2927     14685     77492    206887     10.06     10.72
61.90/7.87	c  N dy   601     79415      2293     10928      2939     19470     77492    340915     10.17     10.72
67.50/8.51	c  N dy   638     84564      2293     10928      2942     12726     77492    134086     10.23     13.43
69.88/8.82	c  F st   645     87502      2293     10928      2946     15610     77492    212118     10.20   no data
73.08/9.20	c  N st   650     90803      2293     10928      2947     18859     77492    306371     10.20   no data
74.67/9.43	c Decided on static restart strategy
82.65/10.41	c  N st   653     99809      2293     10928      2958     15432     77492    238379     10.20   no data
87.42/11.03	c  S st   654    104833      2293     10928      2973     20328     77492    387928     10.20   no data
88.22/11.11	c  S st   654    105336      2293     10928      2973     20828     77492    398503     10.20   no data
88.22/11.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
88.22/11.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      3 BRemN:      0 P:  1.2M T:  0.03
88.22/11.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
88.22/11.14	c bin-w-bin subsume rem            7 bins  time:  0.00 s
88.22/11.14	c subs with bin:        4  lits-rem:         0  v-fix:    0  time:  0.00 s
88.22/11.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2293 time:  0.00 s
88.22/11.15	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
88.22/11.15	c lits-rem:        36  cl-subs:        9  v-elim:      1  v-fix:    0  time:  0.01 s
89.03/11.30	c subs with bin:       53  lits-rem:       343  v-fix:    0  time:  0.13 s
91.43/11.54	c lits-rem:       471  cl-subs:     1520  v-elim:      0  v-fix:    0  time:  0.24 s
91.43/11.54	c vivif2 --  cl tried    10912 cl shrink        0 lits rem          0 time: 0.00
91.43/11.55	c vivif2 --  cl tried    19258 cl shrink      218 lits rem        229 time: 0.01
95.55/12.02	c asymm  cl-useful: 71/8094/10912 lits-rem:73 time: 0.45
95.55/12.03	c calculated reachability. Time: 0.00
95.55/12.03	c  N st   654    105336      2292     10912      2964     19257     77276    370598     10.20   no data
108.19/13.68	c  N st   655    114934      2292     10912      2964     15237     77274    230100     10.20   no data
108.19/13.68	c Finding binary XORs  T:     0.00 s  found:       0
128.15/16.13	c  N st   656    129331      2292     10912      2979     29380     77274    691659     10.20   no data
156.16/19.63	c  N st   657    150928      2292     10912      2993     20487     77274    348431     10.20   no data
164.93/20.80	c  S st   658    158007      2292     10912      3007     27461     77274    561443     10.20   no data
166.46/20.90	c  S st   658    158507      2292     10912      3011     27958     77274    571210     10.20   no data
166.46/20.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
166.46/20.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  1.6M T:  0.04
166.46/20.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
166.46/20.95	c bin-w-bin subsume rem            1 bins  time:  0.00 s
166.46/20.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.46/20.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2292 time:  0.00 s
166.46/20.95	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
166.46/20.96	c lits-rem:        39  cl-subs:       18  v-elim:      5  v-fix:    0  time:  0.01 s
168.06/21.19	c subs with bin:       98  lits-rem:       922  v-fix:    0  time:  0.21 s
171.25/21.58	c lits-rem:       735  cl-subs:     1183  v-elim:      0  v-fix:    0  time:  0.38 s
171.25/21.58	c vivif2 --  cl tried    10892 cl shrink        0 lits rem          0 time: 0.00
171.25/21.59	c vivif2 --  cl tried    26678 cl shrink      422 lits rem        480 time: 0.01
173.72/21.84	c asymm  cl-useful: 2/1926/10892 lits-rem:2 time: 0.22
173.72/21.84	c calculated reachability. Time: 0.00
173.72/21.84	c  N st   658    158507      2287     10892      3009     26678     77058    547837     10.20   no data
247.09/31.10	c  N st   659    207096      2287     10892      3013     21482     77057    303174     10.20   no data
247.89/31.10	c Finding binary XORs  T:     0.00 s  found:       0
294.19/36.93	c  N st   660    237763      2287     10892      3054     31970     77057    576870     10.20   no data
294.19/36.93	c  S st   660    237763      2287     10892      3054     31970     77057    576870     10.20   no data
294.99/37.04	c  S st   660    238266      2287     10892      3063     32471     77057    588445     10.20   no data
294.99/37.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
294.99/37.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.05
294.99/37.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
294.99/37.09	c bin-w-bin subsume rem            1 bins  time:  0.00 s
295.79/37.10	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.00 s
295.79/37.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2287 time:  0.00 s
295.79/37.10	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
295.79/37.11	c lits-rem:         6  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
297.52/37.34	c subs with bin:      110  lits-rem:      1079  v-fix:    0  time:  0.20 s
302.97/38.04	c lits-rem:       697  cl-subs:     3530  v-elim:      0  v-fix:    0  time:  0.69 s
302.97/38.04	c vivif2 --  cl tried    10888 cl shrink        0 lits rem          0 time: 0.00
302.97/38.05	c vivif2 --  cl tried    28831 cl shrink      421 lits rem        478 time: 0.01
302.97/38.09	c asymm  cl-useful: 2/868/10888 lits-rem:2 time: 0.04
302.97/38.10	c calculated reachability. Time: 0.00
302.97/38.10	c  N st   660    238266      2287     10888      3062     28831     77020    516837     10.20   no data
418.72/52.58	c  F st   661    306250      2287     10888      3062     30950     77019    524202     10.20   no data
418.72/52.59	c  N st   661    306250      2287     10888      3062     30950     77019    524202     10.20   no data
418.72/52.59	c Finding binary XORs  T:     0.00 s  found:       0
426.71/53.56	c Decided on static restart strategy
464.99/58.35	c  N st   671    334552      2287     10888      3098     35291     77019    663795     10.20   no data
506.52/63.53	c  N st   673    357399      2287     10888      3104     33183     77019    556157     10.20   no data
506.52/63.53	c  S st   673    357399      2287     10888      3104     33183     77019    556157     10.20   no data
507.38/63.66	c  S st   673    357901      2287     10888      3104     33679     77019    566358     10.20   no data
507.38/63.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
508.25/63.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.05
508.25/63.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
508.25/63.72	c bin-w-bin subsume rem            1 bins  time:  0.00 s
508.25/63.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
508.25/63.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2287 time:  0.00 s
508.25/63.73	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
508.25/63.74	c lits-rem:         8  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.01 s
509.71/63.93	c subs with bin:      142  lits-rem:       549  v-fix:    0  time:  0.18 s
512.11/64.29	c lits-rem:      1416  cl-subs:     1031  v-elim:      0  v-fix:    0  time:  0.35 s
512.11/64.29	c vivif2 --  cl tried    10886 cl shrink        0 lits rem          0 time: 0.00
512.91/64.30	c vivif2 --  cl tried    32506 cl shrink      200 lits rem        207 time: 0.01
514.50/64.54	c asymm  cl-useful: 64/4079/10886 lits-rem:71 time: 0.23
514.50/64.54	c calculated reachability. Time: 0.00
514.50/64.54	c  N st   673    357901      2287     10886      3103     32506     76930    545410     10.20   no data
579.15/72.64	c  N st   674    390294      2287     10886      3103     38856     76930    719957     10.20   no data
674.23/84.56	c  N st   675    438882      2287     10886      3108     32500     76930    472658     10.20   no data
818.63/102.66	c  N st   676    511764      2287     10886      3112     45892     76930    790972     10.20   no data
871.31/109.20	c  N st   677    536851      2287     10886      3118     40338     76930    635312     10.20   no data
871.31/109.20	c  S st   677    536851      2287     10886      3118     40338     76930    635312     10.20   no data
872.12/109.34	c  S st   677    537360      2287     10886      3118     40845     76930    647782     10.20   no data
872.12/109.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
872.92/109.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.6M T:  0.07
872.92/109.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
872.92/109.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
872.92/109.42	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
872.92/109.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2287 time:  0.00 s
872.92/109.42	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
872.92/109.43	c lits-rem:        19  cl-subs:       23  v-elim:      9  v-fix:    0  time:  0.01 s
874.52/109.65	c subs with bin:       57  lits-rem:       308  v-fix:    0  time:  0.20 s
878.50/110.14	c lits-rem:      1053  cl-subs:     1814  v-elim:      0  v-fix:    0  time:  0.46 s
878.50/110.14	c vivif2 --  cl tried    10857 cl shrink        0 lits rem          0 time: 0.00
878.50/110.15	c vivif2 --  cl tried    38978 cl shrink      223 lits rem        236 time: 0.01
880.90/110.40	c asymm  cl-useful: 1/891/10857 lits-rem:1 time: 0.24
880.90/110.40	c calculated reachability. Time: 0.00
880.90/110.40	c  N st   677    537360      2278     10857      3118     38978     76634    615852     10.20   no data
1240.11/155.48	c  N st   678    701345      2278     10857      3119     68463     76634   1383403     10.20   no data
1240.11/155.48	c Finding binary XORs  T:     0.00 s  found:       0
1513.13/189.63	c  N st   679    806042      2278     10857      3141     62306     76634   1192971     10.20   no data
1513.13/189.63	c  S st   679    806042      2278     10857      3141     62306     76634   1192971     10.20   no data
1514.73/189.86	c  S st   679    806549      2278     10857      3148     62811     76634   1205043     10.20   no data
1514.73/189.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1515.51/189.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.7M T:  0.12
1515.51/189.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1515.51/189.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1515.51/190.00	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.00 s
1516.31/190.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2278 time:  0.00 s
1516.31/190.00	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1516.31/190.02	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.02 s
1521.10/190.66	c subs with bin:      287  lits-rem:      3589  v-fix:    0  time:  0.58 s
1534.75/192.33	c lits-rem:      2338  cl-subs:     2291  v-elim:      0  v-fix:    0  time:  1.63 s
1534.75/192.34	c vivif2 --  cl tried    10857 cl shrink        0 lits rem          0 time: 0.00
1534.75/192.36	c vivif2 --  cl tried    60232 cl shrink      994 lits rem       1091 time: 0.03
1537.06/192.65	c asymm  cl-useful: 1/540/10857 lits-rem:1 time: 0.29
1537.06/192.66	c calculated reachability. Time: 0.00
1537.06/192.66	c  N st   679    806549      2276     10857      3148     60232     76634   1157255     10.20   no data
2272.33/284.77	c  F st   680   1071876      2276     10857      3149     76444     76634   1453186     10.20   no data
2272.33/284.77	c  N st   680   1071876      2276     10857      3149     76444     76634   1453186     10.20   no data
2286.63/286.53	c Decided on static restart strategy
2349.70/294.46	c  N st   690   1100179      2276     10857      3171     60003     76634    972932     10.20   no data
2455.87/307.76	c  N st   692   1136171      2276     10857      3173     50112     76634    699455     10.20   no data
2546.06/319.04	c  N st   693   1168564      2276     10857      3174     81957     76634   1650003     10.20   no data
2546.06/319.04	c Finding binary XORs  T:     0.00 s  found:       0
2685.90/336.59	c  N st   694   1209823      2276     10857      3178     75977     76634   1385612     10.20   no data
2685.90/336.59	c  S st   694   1209823      2276     10857      3178     75977     76634   1385612     10.20   no data
2688.95/336.92	c  S st   694   1210326      2276     10857      3179     76478     76634   1397656     10.20   no data
2688.95/336.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2690.55/337.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.0M T:  0.18
2690.55/337.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2690.55/337.12	c bin-w-bin subsume rem            1 bins  time:  0.00 s
2690.55/337.12	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.00 s
2690.55/337.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2276 time:  0.00 s
2690.55/337.12	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2690.55/337.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2696.93/337.94	c subs with bin:      180  lits-rem:      1551  v-fix:    0  time:  0.72 s
2725.67/341.52	c lits-rem:      3859  cl-subs:     6651  v-elim:      0  v-fix:    0  time:  3.53 s
2725.67/341.53	c vivif2 --  cl tried    10854 cl shrink        0 lits rem          0 time: 0.00
2725.67/341.56	c vivif2 --  cl tried    69647 cl shrink      960 lits rem       1053 time: 0.03
2728.94/341.96	c asymm  cl-useful: 1/531/10854 lits-rem:1 time: 0.38
2728.94/341.97	c calculated reachability. Time: 0.00
2728.94/341.97	c  N st   694   1210326      2276     10854      3178     69647     76607   1285491     10.20   no data
2963.55/371.32	c  N st   695   1283209      2276     10854      3179     93920     76607   1845798     10.20   no data
3316.39/415.54	c  N st   696   1392533      2276     10854      3187     54468     76607    733029     10.20   no data
3890.33/487.49	c  N st   697   1556518      2275     10854      3192     59144     76607    827041     10.20   no data
4481.03/561.47	c  N st   698   1710327      2275     10854      3212    101035     76607   1995168     10.20   no data
4481.03/561.47	c  S st   698   1710327      2275     10854      3212    101035     76607   1995168     10.20   no data
4481.03/561.49	c Finding binary XORs  T:     0.00 s  found:       0
4485.10/561.92	c  S st   698   1710828      2273     10554      3189     99061     74673   1943648     10.20   no data
4485.10/561.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4486.62/562.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      6 BRemN:      0 P:  5.3M T:  0.20
4486.62/562.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4486.62/562.13	c bin-w-bin subsume rem           11 bins  time:  0.00 s
4486.62/562.14	c subs with bin:       42  lits-rem:       222  v-fix:    0  time:  0.00 s
4486.62/562.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2273 time:  0.00 s
4486.62/562.14	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4486.62/562.17	c lits-rem:       199  cl-subs:       98  v-elim:     13  v-fix:    0  time:  0.03 s
4496.19/563.32	c subs with bin:      474  lits-rem:      8902  v-fix:    0  time:  1.07 s
4548.89/569.91	c lits-rem:      9150  cl-subs:     5815  v-elim:      0  v-fix:    0  time:  6.47 s
4548.89/569.91	c vivif2 --  cl tried    10411 cl shrink        6 lits rem          6 time: 0.00
4548.89/569.97	c vivif2 --  cl tried    82519 cl shrink     2935 lits rem       3231 time: 0.06
4552.09/570.30	c asymm  cl-useful: 0/415/10411 lits-rem:0 time: 0.34
4552.09/570.31	c calculated reachability. Time: 0.00
4552.09/570.31	c  N st   698   1710828      2260     10411      3175     82519     73274   1655536     10.20   no data
5093.31/638.10	c Finding binary XORs  T:     0.00 s  found:       1
5792.58/725.74	c Following stats are for *FIRST FINISHED THREAD ONLY*
5792.58/725.74	c num threads              : 8          
5792.58/725.74	c restarts                 : 701        
5792.58/725.74	c dynamic restarts         : 634        
5792.58/725.74	c static restarts          : 67         
5792.58/725.74	c full restarts            : 4          
5792.58/725.74	c total simplify time      : 0.38       
5792.58/725.74	c learnts DL2              : 0          
5792.58/725.74	c learnts size 2           : 5393       
5792.58/725.74	c learnts size 1           : 265         (8.93      % of vars)
5792.58/725.74	c filedLit time            : 0.62        (0.09      % time)
5792.58/725.74	c v-elim SatELite          : 622         (20.95     % vars)
5792.58/725.74	c SatELite time            : 10.75       (1.48      % time)
5792.58/725.74	c v-elim xor               : 0           (0.00      % vars)
5792.58/725.74	c xor elim time            : 0.03        (0.00      % time)
5792.58/725.74	c num binary xor trees     : 82         
5792.58/725.74	c binxor trees' crown      : 83          (1.01      leafs/tree)
5792.58/725.74	c bin xor find time        : 0.01       
5792.58/725.74	c OTF clause improved      : 43590       (0.02      clauses/conflict)
5792.58/725.74	c OTF impr. size diff      : 57086       (1.31       lits/clause)
5792.58/725.74	c OTF cl watch-shrink      : 1657007     (0.82      clauses/conflict)
5792.58/725.74	c OTF cl watch-sh-lit      : 8872156     (5.35       lits/clause)
5792.58/725.74	c tried to recurMin cls    : 378791      (18.64      % of conflicts)
5792.58/725.74	c updated cache            : 11042       (0.03       lits/tried recurMin)
5792.58/725.74	c unit cls recevied        : 10          (3.77      % of units)
5792.58/725.74	c unit cls sent            : 49          (18.49     % of units)
5792.58/725.74	c bin cls recevied         : 2283       
5792.58/725.74	c bin cls sent             : 372        
5792.58/725.74	c clauses over max glue    : 0           (0.00      % of all clauses)
5792.58/725.74	c conflicts                : 2031634     (2801.05   / sec)
5792.58/725.74	c decisions                : 5517441     (1.58      % random)
5792.58/725.74	c bogo-props               : 85435428092 (117791484.19 / sec)
5792.58/725.74	c conflict literals        : 56091470    (48.14     % deleted)
5792.58/725.74	c Memory used              : 951.75      MB
5792.58/725.74	c single-thread CPU time   : 725.31      s
5792.58/725.74	c all-threads sum CPU time : 5790.15     s
5792.58/725.74	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3421702-1306786796/watcher-3421702-1306786796 -o /tmp/evaluation-result-3421702-1306786796/solver-3421702-1306786796 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421702-1306786796.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: 1.84 1.99 1.99 2/507 16821
/proc/meminfo: memFree=4063144/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=92144 CPUtime=0.02 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 413 0 0 0 2 0 0 0 23 0 8 0 868910419 94355456 353 33554432000 4194304 4580107 140734686929216 18446744073709551615 47194886223792 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16821/statm: 23036 353 299 95 0 18018 0
[pid=16821/tid=16822] ppid=16819 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 868910419 94355456 353 33554432000 4194304 4580107 140734686929216 18446744073709551615 47194886223794 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=92144 CPUtime=0 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 868910419 94355456 353 33554432000 4194304 4580107 140734686929216 18446744073709551615 47194886223794 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 868910420 94355456 353 33554432000 4194304 4580107 140734686929216 18446744073709551615 47194886223798 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 868910420 94355456 353 33554432000 4194304 4580107 140734686929216 18446744073709551615 47194886223794 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=92144 CPUtime=0 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 868910420 94355456 353 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=92144 CPUtime=0 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 868910420 94355456 353 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 868910420 94355456 353 33554432000 4194304 4580107 140734686929216 18446744073709551615 47194886223784 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.122685 s]
/proc/loadavg: 1.84 1.99 1.99 2/507 16821
/proc/meminfo: memFree=4063144/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=223216 CPUtime=0.74 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 463 0 0 0 74 0 0 0 24 0 8 0 868910419 228573184 377 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988247536 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 55804 377 310 95 0 50786 0
[pid=16821/tid=16822] ppid=16819 vsize=223216 CPUtime=0.11 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) D 16819 16821 16794 0 -1 4202560 7 0 0 0 11 0 0 0 25 0 8 0 868910419 228573184 377 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988635783 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=223216 CPUtime=0.1 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) S 16819 16821 16794 0 -1 4202560 4 0 0 0 10 0 0 0 24 0 8 0 868910419 228573184 377 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988697582 0 0 4096 2 18446604470501929984 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=223216 CPUtime=0.11 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) S 16819 16821 16794 0 -1 4202560 7 0 0 0 11 0 0 0 25 0 8 0 868910420 228573184 377 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988697582 0 0 4096 2 18446604470501929984 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=223216 CPUtime=0.1 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) S 16819 16821 16794 0 -1 4202560 7 0 0 0 10 0 0 0 24 0 8 0 868910420 228573184 377 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988697582 0 0 4096 2 18446604470501929984 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=223216 CPUtime=0.07 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) D 16819 16821 16794 0 -1 4202560 7 0 0 0 7 0 0 0 25 0 8 0 868910420 228573184 377 33554432000 4194304 4580107 140734686929216 18446744073709551615 4228112 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=223216 CPUtime=0 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) S 16819 16821 16794 0 -1 4202560 6 0 0 0 0 0 0 0 24 0 8 0 868910420 228573184 377 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988697582 0 0 4096 2 18446604470501929984 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=223216 CPUtime=0.11 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) S 16819 16821 16794 0 -1 4202560 7 0 0 0 11 0 0 0 25 0 8 0 868910420 228573184 377 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988697582 0 0 4096 2 18446604470501929984 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 223216

[startup+0.201274 s]
/proc/loadavg: 1.84 1.99 1.99 2/507 16821
/proc/meminfo: memFree=4063144/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=492876 CPUtime=2 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) S 16819 16821 16794 0 -1 4202496 9371 0 0 0 190 10 0 0 18 0 8 0 868910419 504705024 9060 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988697582 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 123956 9060 373 95 0 118938 0
[pid=16821/tid=16822] ppid=16819 vsize=495824 CPUtime=0.27 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) D 16819 16821 16794 0 -1 4202560 886 0 0 0 26 1 0 0 18 0 8 0 868910419 507723776 9060 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988635738 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=495824 CPUtime=0.25 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 981 0 0 0 23 2 0 0 18 0 8 0 868910419 507723776 9060 33554432000 4194304 4580107 140734686929216 18446744073709551615 4222079 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=495824 CPUtime=0.27 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) D 16819 16821 16794 0 -1 4202560 1081 0 0 0 26 1 0 0 18 0 8 0 868910420 507723776 9060 33554432000 4194304 4580107 140734686929216 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=495824 CPUtime=0.25 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 945 0 0 0 24 1 0 0 18 0 8 0 868910420 507723776 9060 33554432000 4194304 4580107 140734686929216 18446744073709551615 4401926 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=495824 CPUtime=0.22 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 2007 0 0 0 22 0 0 0 18 0 8 0 868910420 507723776 9060 33554432000 4194304 4580107 140734686929216 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=495824 CPUtime=0.15 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) D 16819 16821 16794 0 -1 4202560 971 0 0 0 15 0 0 0 18 0 8 0 868910420 507723776 9060 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988635831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=495824 CPUtime=0.27 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) S 16819 16821 16794 0 -1 4202560 1123 0 0 0 26 1 0 0 18 0 8 0 868910420 507723776 9060 33554432000 4194304 4580107 140734686929216 18446744073709551615 215988697582 0 0 4096 2 18446604470501929984 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 492876

[startup+0.407509 s]
/proc/loadavg: 1.84 1.99 1.99 2/507 16821
/proc/meminfo: memFree=4063144/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=589548 CPUtime=3.26 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) D 16819 16821 16794 0 -1 4202496 18152 0 0 0 309 17 0 0 18 0 8 0 868910419 603697152 15451 33554432000 4194304 4580107 140734686929216 18446744073709551615 4485991 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 129995 18426 379 95 0 124977 0
[pid=16821/tid=16822] ppid=16819 vsize=520252 CPUtime=1.22 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3087 0 0 0 119 3 0 0 19 0 8 0 868910419 532738048 18543 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=520252 CPUtime=1.2 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3308 0 0 0 117 3 0 0 19 0 8 0 868910419 532738048 18543 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=520252 CPUtime=1.22 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3218 0 0 0 120 2 0 0 19 0 8 0 868910420 532738048 18544 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=520252 CPUtime=1.19 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3275 0 0 0 117 2 0 0 19 0 8 0 868910420 532738048 18544 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=520252 CPUtime=1.18 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3188 0 0 0 118 0 0 0 19 0 8 0 868910420 532738048 18544 33554432000 4194304 4580107 140734686929216 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=520252 CPUtime=1.11 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3181 0 0 0 110 1 0 0 19 0 8 0 868910420 532738048 18544 33554432000 4194304 4580107 140734686929216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=520252 CPUtime=1.22 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 2527 0 0 0 121 1 0 0 19 0 8 0 868910420 532738048 18544 33554432000 4194304 4580107 140734686929216 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 589548

[startup+1.35044 s]
/proc/loadavg: 1.84 1.99 1.99 2/507 16821
/proc/meminfo: memFree=4063144/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=520316 CPUtime=10.4 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 26387 0 0 0 1021 19 0 0 19 0 8 0 868910419 532803584 18445 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 130079 18445 379 95 0 125061 0
[pid=16821/tid=16822] ppid=16819 vsize=520316 CPUtime=1.32 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3131 0 0 0 129 3 0 0 19 0 8 0 868910419 532803584 18445 33554432000 4194304 4580107 140734686929216 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=520316 CPUtime=1.3 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3369 0 0 0 127 3 0 0 19 0 8 0 868910419 532803584 18445 33554432000 4194304 4580107 140734686929216 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=520316 CPUtime=1.32 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3268 0 0 0 130 2 0 0 19 0 8 0 868910420 532803584 18445 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=520316 CPUtime=1.29 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3547 0 0 0 127 2 0 0 19 0 8 0 868910420 532803584 18445 33554432000 4194304 4580107 140734686929216 18446744073709551615 4322736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=520316 CPUtime=1.28 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3230 0 0 0 128 0 0 0 19 0 8 0 868910420 532803584 18445 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=520316 CPUtime=1.21 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3220 0 0 0 120 1 0 0 19 0 8 0 868910420 532803584 18445 33554432000 4194304 4580107 140734686929216 18446744073709551615 4292944 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=520316 CPUtime=1.32 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 2856 0 0 0 131 1 0 0 19 0 8 0 868910420 532803584 18445 33554432000 4194304 4580107 140734686929216 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.4
Current children cumulated vsize (KiB) 520316

[startup+1.50041 s]
/proc/loadavg: 1.84 1.99 1.99 2/507 16821
/proc/meminfo: memFree=4063144/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=521096 CPUtime=11.61 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 27065 0 0 0 1141 20 0 0 19 0 8 0 868910419 533602304 19123 33554432000 4194304 4580107 140734686929216 18446744073709551615 4507988 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 130274 19123 380 95 0 125256 0
[pid=16821/tid=16822] ppid=16819 vsize=521096 CPUtime=1.47 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3193 0 0 0 144 3 0 0 19 0 8 0 868910419 533602304 19123 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=521096 CPUtime=1.45 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3442 0 0 0 142 3 0 0 19 0 8 0 868910419 533602304 19123 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=521096 CPUtime=1.47 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3332 0 0 0 145 2 0 0 19 0 8 0 868910420 533602304 19123 33554432000 4194304 4580107 140734686929216 18446744073709551615 4320689 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=521096 CPUtime=1.44 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3623 0 0 0 142 2 0 0 19 0 8 0 868910420 533602304 19123 33554432000 4194304 4580107 140734686929216 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=521096 CPUtime=1.43 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3290 0 0 0 143 0 0 0 19 0 8 0 868910420 533602304 19123 33554432000 4194304 4580107 140734686929216 18446744073709551615 4301873 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=521096 CPUtime=1.36 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3280 0 0 0 135 1 0 0 19 0 8 0 868910420 533602304 19123 33554432000 4194304 4580107 140734686929216 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=521096 CPUtime=1.47 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 2931 0 0 0 146 1 0 0 19 0 8 0 868910420 533602304 19123 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.61
Current children cumulated vsize (KiB) 521096

[startup+3.10113 s]
/proc/loadavg: 1.84 1.99 1.99 9/515 16829
/proc/meminfo: memFree=3965532/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=539484 CPUtime=24.46 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 36622 0 0 0 2424 22 0 0 23 0 8 0 868910419 552431616 24025 33554432000 4194304 4580107 140734686929216 18446744073709551615 4401338 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 134871 24025 381 95 0 129853 0
[pid=16821/tid=16822] ppid=16819 vsize=539484 CPUtime=3.09 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 4340 0 0 0 306 3 0 0 23 0 8 0 868910419 552431616 24041 33554432000 4194304 4580107 140734686929216 18446744073709551615 4318719 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=539484 CPUtime=3.07 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 5393 0 0 0 304 3 0 0 23 0 8 0 868910419 552431616 24041 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=539484 CPUtime=3.09 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 5316 0 0 0 307 2 0 0 24 0 8 0 868910420 552431616 24041 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=539484 CPUtime=3.07 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 4722 0 0 0 304 3 0 0 23 0 8 0 868910420 552431616 24041 33554432000 4194304 4580107 140734686929216 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=539484 CPUtime=3.05 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3846 0 0 0 305 0 0 0 23 0 8 0 868910420 552431616 24041 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=539484 CPUtime=2.97 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 3895 0 0 0 296 1 0 0 23 0 8 0 868910420 552431616 24041 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=539484 CPUtime=3.09 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 4071 0 0 0 308 1 0 0 23 0 8 0 868910420 552431616 24041 33554432000 4194304 4580107 140734686929216 18446744073709551615 4321452 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.46
Current children cumulated vsize (KiB) 539484

[startup+6.30057 s]
/proc/loadavg: 2.33 2.08 2.02 9/515 16829
/proc/meminfo: memFree=3932844/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=549160 CPUtime=49.93 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 53532 0 0 0 4968 25 0 0 25 0 8 0 868910419 562339840 34349 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 137290 34349 381 95 0 132272 0
[pid=16821/tid=16822] ppid=16819 vsize=549160 CPUtime=6.27 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 7094 0 0 0 623 4 0 0 25 0 8 0 868910419 562339840 34349 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=549160 CPUtime=6.25 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 6516 0 0 0 622 3 0 0 25 0 8 0 868910419 562339840 34349 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=549160 CPUtime=6.27 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 6261 0 0 0 625 2 0 0 25 0 8 0 868910420 562339840 34349 33554432000 4194304 4580107 140734686929216 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=549160 CPUtime=6.24 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 6942 0 0 0 621 3 0 0 25 0 8 0 868910420 562339840 34349 33554432000 4194304 4580107 140734686929216 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=549160 CPUtime=6.23 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 6584 0 0 0 622 1 0 0 25 0 8 0 868910420 562339840 34349 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=549160 CPUtime=6.16 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 6189 0 0 0 614 2 0 0 25 0 8 0 868910420 562339840 34349 33554432000 4194304 4580107 140734686929216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=549160 CPUtime=6.27 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 7250 0 0 0 625 2 0 0 25 0 8 0 868910420 562339840 34349 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0

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

/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 82773 0 0 0 70195 30 0 0 25 0 8 0 868910420 997892096 155213 33554432000 4194304 4580107 140734686929216 18446744073709551615 4320565 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=974504 CPUtime=702.14 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 79186 0 0 0 70181 33 0 0 25 0 8 0 868910420 997892096 155213 33554432000 4194304 4580107 140734686929216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=974504 CPUtime=702.28 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 97486 0 0 0 70195 33 0 0 25 0 8 0 868910420 997892096 155213 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5605.78
Current children cumulated vsize (KiB) 974504

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

[startup+704.901 s]
/proc/loadavg: 8.19 7.52 5.21 9/515 16848
/proc/meminfo: memFree=3439088/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=974504 CPUtime=5626.61 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 678095 0 0 0 562388 273 0 0 25 0 8 0 868910419 997892096 156232 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 243626 156232 381 95 0 238608 0
[pid=16821/tid=16822] ppid=16819 vsize=974504 CPUtime=704.71 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 71843 0 0 0 70445 26 0 0 25 0 8 0 868910419 997892096 156235 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=974504 CPUtime=704.88 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 96163 0 0 0 70449 39 0 0 25 0 8 0 868910419 997892096 156235 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=974504 CPUtime=704.89 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 84508 0 0 0 70454 35 0 0 25 0 8 0 868910420 997892096 156235 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=974504 CPUtime=704.88 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 77971 0 0 0 70461 27 0 0 25 0 8 0 868910420 997892096 156235 33554432000 4194304 4580107 140734686929216 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=974504 CPUtime=704.86 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 82925 0 0 0 70456 30 0 0 25 0 8 0 868910420 997892096 156235 33554432000 4194304 4580107 140734686929216 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=974504 CPUtime=704.76 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 79344 0 0 0 70443 33 0 0 25 0 8 0 868910420 997892096 156235 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=974504 CPUtime=704.9 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 97616 0 0 0 70457 33 0 0 25 0 8 0 868910420 997892096 156235 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5626.61
Current children cumulated vsize (KiB) 974504

[startup+717.701 s]
/proc/loadavg: 8.16 7.53 5.24 9/515 16849
/proc/meminfo: memFree=3427304/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=974592 CPUtime=5728.72 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 684611 0 0 0 572596 276 0 0 25 0 8 0 868910419 997982208 157386 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 243648 157386 381 95 0 238630 0
[pid=16821/tid=16822] ppid=16819 vsize=974592 CPUtime=717.49 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 72487 0 0 0 71723 26 0 0 25 0 8 0 868910419 997982208 157386 33554432000 4194304 4580107 140734686929216 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=974592 CPUtime=717.66 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 96853 0 0 0 71726 40 0 0 25 0 8 0 868910419 997982208 157386 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=974592 CPUtime=717.67 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 84508 0 0 0 71732 35 0 0 25 0 8 0 868910420 997982208 157386 33554432000 4194304 4580107 140734686929216 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=974592 CPUtime=717.66 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 79594 0 0 0 71738 28 0 0 25 0 8 0 868910420 997982208 157386 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=974592 CPUtime=717.65 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 83610 0 0 0 71734 31 0 0 25 0 8 0 868910420 997982208 157386 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=974592 CPUtime=717.54 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 79977 0 0 0 71720 34 0 0 25 0 8 0 868910420 997982208 157386 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=974592 CPUtime=717.68 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 99272 0 0 0 71735 33 0 0 25 0 8 0 868910420 997982208 157386 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5728.72
Current children cumulated vsize (KiB) 974592

[startup+720.9 s]
/proc/loadavg: 8.15 7.54 5.26 9/515 16849
/proc/meminfo: memFree=3430148/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=974592 CPUtime=5754.25 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 686627 0 0 0 575149 276 0 0 25 0 8 0 868910419 997982208 159402 33554432000 4194304 4580107 140734686929216 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 243648 159402 381 95 0 238630 0
[pid=16821/tid=16822] ppid=16819 vsize=974592 CPUtime=720.69 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 73629 0 0 0 72043 26 0 0 25 0 8 0 868910419 997982208 159402 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=974592 CPUtime=720.86 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 96987 0 0 0 72046 40 0 0 25 0 8 0 868910419 997982208 159402 33554432000 4194304 4580107 140734686929216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=974592 CPUtime=720.87 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 84508 0 0 0 72052 35 0 0 25 0 8 0 868910420 997982208 159402 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=974592 CPUtime=720.86 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 79738 0 0 0 72058 28 0 0 25 0 8 0 868910420 997982208 159402 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=974592 CPUtime=720.85 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 83779 0 0 0 72054 31 0 0 25 0 8 0 868910420 997982208 159402 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=974592 CPUtime=720.74 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 80094 0 0 0 72040 34 0 0 25 0 8 0 868910420 997982208 159402 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=974592 CPUtime=720.88 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 99454 0 0 0 72055 33 0 0 25 0 8 0 868910420 997982208 159402 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5754.25
Current children cumulated vsize (KiB) 974592

[startup+724.101 s]
/proc/loadavg: 8.14 7.55 5.27 9/515 16849
/proc/meminfo: memFree=3422584/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=974592 CPUtime=5779.8 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 687708 0 0 0 577703 277 0 0 25 0 8 0 868910419 997982208 160483 33554432000 4194304 4580107 140734686929216 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 243648 160483 381 95 0 238630 0
[pid=16821/tid=16822] ppid=16819 vsize=974592 CPUtime=723.88 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 73820 0 0 0 72362 26 0 0 25 0 8 0 868910419 997982208 160483 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=974592 CPUtime=724.06 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 97150 0 0 0 72366 40 0 0 25 0 8 0 868910419 997982208 160483 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=974592 CPUtime=724.07 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 84508 0 0 0 72372 35 0 0 25 0 8 0 868910420 997982208 160483 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=974592 CPUtime=724.06 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 79893 0 0 0 72378 28 0 0 25 0 8 0 868910420 997982208 160483 33554432000 4194304 4580107 140734686929216 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=974592 CPUtime=724.05 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 83942 0 0 0 72374 31 0 0 25 0 8 0 868910420 997982208 160483 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=974592 CPUtime=723.94 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 80214 0 0 0 72360 34 0 0 25 0 8 0 868910420 997982208 160483 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=974592 CPUtime=724.09 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 99621 0 0 0 72375 34 0 0 25 0 8 0 868910420 997982208 160483 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5779.8
Current children cumulated vsize (KiB) 974592

[startup+724.901 s]
/proc/loadavg: 8.14 7.55 5.27 9/515 16849
/proc/meminfo: memFree=3421344/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=974592 CPUtime=5786.19 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 687983 0 0 0 578341 278 0 0 25 0 8 0 868910419 997982208 160758 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 243648 160758 381 95 0 238630 0
[pid=16821/tid=16822] ppid=16819 vsize=974592 CPUtime=724.68 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 73872 0 0 0 72442 26 0 0 25 0 8 0 868910419 997982208 160758 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=974592 CPUtime=724.86 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 97192 0 0 0 72446 40 0 0 25 0 8 0 868910419 997982208 160758 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=974592 CPUtime=724.87 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 84508 0 0 0 72452 35 0 0 25 0 8 0 868910420 997982208 160758 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=974592 CPUtime=724.86 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 79934 0 0 0 72458 28 0 0 25 0 8 0 868910420 997982208 160758 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=974592 CPUtime=724.85 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 83982 0 0 0 72454 31 0 0 25 0 8 0 868910420 997982208 160758 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=974592 CPUtime=724.74 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 80243 0 0 0 72440 34 0 0 25 0 8 0 868910420 997982208 160758 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=974592 CPUtime=724.89 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 99658 0 0 0 72455 34 0 0 25 0 8 0 868910420 997982208 160758 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5786.19
Current children cumulated vsize (KiB) 974592

[startup+725.301 s]
/proc/loadavg: 8.14 7.55 5.27 9/515 16849
/proc/meminfo: memFree=3421344/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=974592 CPUtime=5789.38 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 688114 0 0 0 578660 278 0 0 25 0 8 0 868910419 997982208 160889 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 243648 160889 381 95 0 238630 0
[pid=16821/tid=16822] ppid=16819 vsize=974592 CPUtime=725.08 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 73895 0 0 0 72482 26 0 0 25 0 8 0 868910419 997982208 160889 33554432000 4194304 4580107 140734686929216 18446744073709551615 4342205 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=974592 CPUtime=725.26 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 97210 0 0 0 72486 40 0 0 25 0 8 0 868910419 997982208 160889 33554432000 4194304 4580107 140734686929216 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=974592 CPUtime=725.27 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 84508 0 0 0 72492 35 0 0 25 0 8 0 868910420 997982208 160889 33554432000 4194304 4580107 140734686929216 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=974592 CPUtime=725.26 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 79954 0 0 0 72498 28 0 0 25 0 8 0 868910420 997982208 160889 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=974592 CPUtime=725.25 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 83998 0 0 0 72494 31 0 0 25 0 8 0 868910420 997982208 160889 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=974592 CPUtime=725.14 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 80258 0 0 0 72480 34 0 0 25 0 8 0 868910420 997982208 160889 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=974592 CPUtime=725.29 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 99676 0 0 0 72495 34 0 0 25 0 8 0 868910420 997982208 160889 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5789.38
Current children cumulated vsize (KiB) 974592

[startup+725.701 s]
/proc/loadavg: 8.14 7.55 5.27 9/515 16849
/proc/meminfo: memFree=3421344/32950940 swapFree=67111364/67111528
[pid=16821] ppid=16819 vsize=974592 CPUtime=5792.58 cores=0-7
/proc/16821/stat : 16821 (strangenight2-m) R 16819 16821 16794 0 -1 4202496 688216 0 0 0 578980 278 0 0 25 0 8 0 868910419 997982208 160991 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16821/statm: 243648 160991 381 95 0 238630 0
[pid=16821/tid=16822] ppid=16819 vsize=974592 CPUtime=725.48 cores=0-7
/proc/16821/task/16822/stat : 16822 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 73919 0 0 0 72522 26 0 0 25 0 8 0 868910419 997982208 160991 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16821/tid=16823] ppid=16819 vsize=974592 CPUtime=725.66 cores=0-7
/proc/16821/task/16823/stat : 16823 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 97224 0 0 0 72526 40 0 0 25 0 8 0 868910419 997982208 160991 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16821/tid=16824] ppid=16819 vsize=974592 CPUtime=725.67 cores=0-7
/proc/16821/task/16824/stat : 16824 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 84508 0 0 0 72532 35 0 0 25 0 8 0 868910420 997982208 160991 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16821/tid=16825] ppid=16819 vsize=974592 CPUtime=725.66 cores=0-7
/proc/16821/task/16825/stat : 16825 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 79974 0 0 0 72538 28 0 0 25 0 8 0 868910420 997982208 160991 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16821/tid=16826] ppid=16819 vsize=974592 CPUtime=725.65 cores=0-7
/proc/16821/task/16826/stat : 16826 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 84003 0 0 0 72534 31 0 0 25 0 8 0 868910420 997982208 160991 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16821/tid=16827] ppid=16819 vsize=974592 CPUtime=725.54 cores=0-7
/proc/16821/task/16827/stat : 16827 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 80268 0 0 0 72520 34 0 0 25 0 8 0 868910420 997982208 160991 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16821/tid=16828] ppid=16819 vsize=974592 CPUtime=725.69 cores=0-7
/proc/16821/task/16828/stat : 16828 (strangenight2-m) R 16819 16821 16794 0 -1 4202560 99692 0 0 0 72535 34 0 0 25 0 8 0 868910420 997982208 160991 33554432000 4194304 4580107 140734686929216 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5792.58
Current children cumulated vsize (KiB) 974592

Child status: 20
Real time (s): 725.78
CPU time (s): 5792.97
CPU user time (s): 5790.15
CPU system time (s): 2.81957
CPU usage (%): 798.172
Max. virtual memory (cumulated for all children) (KiB): 1043428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5790.15
system time used= 2.81957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 688233
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= 20188
involuntary context switches= 24703

runsolver used 3.46747 second user time and 9.08662 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-30 22:19:56
IDJOB=3421702
IDBENCH=85802
IDSOLVER=1878
FILE ID=node117/3421702-1306786796
RUNJOBID= node117-1306786796-16808
PBS_JOBID= 13475037
Free space on /tmp= 58008 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn006.shuffled-as.sat05-3846.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421702-1306786796/watcher-3421702-1306786796 -o /tmp/evaluation-result-3421702-1306786796/solver-3421702-1306786796 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421702-1306786796.cnf

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

MD5SUM BENCH= f38a91a0947f21d9ceeb8762ba4c5f93
RANDOM SEED=1083580097

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:       4063548 kB
Buffers:        304188 kB
Cached:       18099412 kB
SwapCached:          0 kB
Active:       20897840 kB
Inactive:      7290700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:       4063548 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            6244 kB
Writeback:           0 kB
AnonPages:     9784996 kB
Mapped:          40840 kB
Slab:           570120 kB
PageTables:      57328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 149469068 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= 58000 MiB
End job on node117 at 2011-05-30 22:32:02