Trace number 3175304

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-1-mt? (TO) 4800.26 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf
MD5SUMd41a69133c8513c0337b37f87fceb88b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.872867
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 57120

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175304-1304109847.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.00/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.01	c -- vars added         80
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.38/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.38/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.38/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.38/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.38/0.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
0.38/0.19	c Finding binary XORs  T:     0.00 s  found:       0
0.78/0.20	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.78/0.20	c calculated reachability. Time: 0.00
0.78/0.20	c Calc default polars -  time:   0.00 s pos:      37 undec:       1 neg:      42
0.78/0.20	c =========================================================================================
0.78/0.20	c types(t): F = full restart, N = normal restart
0.78/0.20	c types(t): S = simplification begin/end, E = solution found
0.78/0.20	c restart types(rt): st = static, dy = dynamic
0.78/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.78/0.20	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.58/0.46	c  N dy     7      7716        80      7120         0      4777     49840    121458     23.35     24.64  --
2.78/0.78	c  N dy    21     15531        80      7120         0      8015     49840    192321     23.05     24.35  --
3.58/0.96	c  N dy    30     19575        80      7120         0      6590     49840    142096     23.02     24.36  --
4.39/1.15	c  N dy    51     23603        80      7120         0     10306     49840    242392     23.15     24.40  --
4.77/1.22	c  F st    54     25000        80      7120         0     11601     49840    277548     23.17     23.74  --
5.17/1.38	c  N st    59     28299        80      7120         0      8378     49840    174193     23.17   no data  --
5.58/1.46	c  S st    60     30000        80      7120         0      9929     49840    217381     23.17   no data  --
5.58/1.49	c  S st    60     30501        80      7120         0     10402     49840    230324     23.17   no data  --
5.58/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.58/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.98/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.98/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.98/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.98/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.98/1.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.37/2.61	c lits-rem:      1531  cl-subs:      761  v-elim:      0  v-fix:    0  time:  4.42 s
11.57/2.96	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.37
11.57/2.96	c calculated reachability. Time: 0.00
11.57/2.96	c  N dy    60     30501        80      7120         0      9641     49840    206188     23.17   no data  --
12.78/3.28	c  N dy    67     36478        80      7120         0      7898     49840    144745     23.04     24.27  --
13.56/3.48	c  N dy    76     40712        80      7120         0     11750     49840    248916     23.06     24.40  --
14.76/3.73	c  N dy    91     44733        80      7120         0     15457     49840    348638     23.12     24.47  --
14.76/3.79	c  S st    95     45751        80      7120         0     16388     49840    374154     23.13   no data  --
15.16/3.84	c  S st    95     46256        80      7120         0      8668     49840    152222     23.13   no data  --
15.16/3.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.16/3.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.16/3.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.16/3.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.35/4.65	c lits-rem:       212  cl-subs:       41  v-elim:      0  v-fix:    0  time:  3.19 s
18.35/4.65	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.35/4.65	c vivif2 --  cl tried     8627 cl shrink        0 lits rem          0 time: 0.00
19.55/4.93	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.13
20.35/5.19	c calculated reachability. Time: 0.00
20.35/5.19	c  N dy    95     46256        80      7120         0      8627     49840    150609     23.13   no data  --
20.35/5.19	c  N dy   108     50804        80      7120         0     12809     49840    263141     23.14     24.36  --
21.57/5.44	c  N dy   123     54876        80      7120         0     16552     49840    364691     23.19     24.67  --
24.75/6.24	c  N dy   125     67879        80      7120         0     19278     49840    415976     22.85     24.22  --
25.15/6.38	c  S st   138     69385        80      7120         0     10604     49840    175716     22.90   no data  --
25.55/6.42	c  S st   138     69886        80      7120         0     11072     49840    188564     22.90   no data  --
25.55/6.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.55/6.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.55/6.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.55/6.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.55/6.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.55/6.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.55/6.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.14/7.32	c lits-rem:       341  cl-subs:      143  v-elim:      0  v-fix:    0  time:  3.55 s
29.14/7.32	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.14/7.32	c vivif2 --  cl tried    10929 cl shrink        0 lits rem          0 time: 0.01
30.35/7.67	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.40
30.35/7.67	c calculated reachability. Time: 0.00
30.35/7.67	c  N dy   138     69886        80      7120         0     10929     49840    183833     22.90   no data  --
33.13/8.38	c  N dy   146     81493        80      7120         0     21518     49840    464560     22.71     23.97  --
35.16/8.83	c  F st   172     87501        80      7120         0     16089     49840    309500     22.76     23.68  --
35.16/8.83	c  N st   172     87501        80      7120         0     16089     49840    309500     22.76     23.68  --
36.73/9.21	c  N dy   181     93169        80      7120         0     21300     49840    453136     22.77     24.12  --
39.14/9.81	c  N dy   215    101498        80      7120         0     17024     49840    317346     22.81     24.01  --
39.92/10.06	c  S st   232    104830        80      7120         0     20117     49840    401388     22.84     21.98  --
40.32/10.12	c  S st   232    105335        80      7120         0     20593     49840    414584     22.84   no data  --
40.32/10.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.32/10.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.32/10.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
40.32/10.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.32/10.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.32/10.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.32/10.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.52/11.95	c lits-rem:      2269  cl-subs:     1724  v-elim:      0  v-fix:    0  time:  7.23 s
47.52/11.95	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.52/11.96	c vivif2 --  cl tried    18869 cl shrink        0 lits rem          0 time: 0.02
49.11/12.34	c asymm  cl-useful: 0/5139/7120 lits-rem:0 time: 1.52
49.11/12.34	c calculated reachability. Time: 0.00
49.11/12.34	c  N dy   232    105335        80      7120         0     18869     49840    364345     22.84   no data  --
51.91/13.00	c  N dy   265    112341        80      7120         0     25315     49840    538281     22.90     24.41  --
53.51/13.49	c  N dy   287    119570        80      7120         0     19123     49840    359651     22.91     25.63  --
57.50/14.44	c  N dy   296    131878        80      7120         0     16670     49840    280588     22.80     24.01  --
61.11/15.39	c  N dy   318    143441        80      7120         0     27230     49840    558945     22.77     24.02  --
64.29/16.16	c  N dy   374    152601        80      7120         0     21032     49840    381707     22.84     24.13  --
66.28/16.64	c  S st   394    158002        80      7120         0     26041     49840    516255     22.85     21.32  --
66.68/16.71	c  S st   394    158503        80      7120         0     26518     49840    529498     22.85   no data  --
66.68/16.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
66.68/16.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.68/16.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
66.68/16.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.68/16.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.68/16.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
66.68/16.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.07/19.33	c lits-rem:      2404  cl-subs:     2063  v-elim:      0  v-fix:    0  time: 10.38 s
77.07/19.33	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
77.07/19.34	c vivif2 --  cl tried    24455 cl shrink        0 lits rem          0 time: 0.02
77.87/19.58	c asymm  cl-useful: 0/1773/7120 lits-rem:0 time: 0.96
77.87/19.58	c calculated reachability. Time: 0.00
77.87/19.58	c  N dy   394    158503        80      7120         0     24455     49840    467301     22.85   no data  --
82.66/20.75	c  N dy   446    170336        80      7120         0     19810     49840    331139     22.90     24.14  --
87.87/22.02	c  N dy   465    183735        80      7120         0     32102     49840    656595     22.84     24.05  --
91.86/23.07	c  N dy   496    195543        80      7120         0     26422     49840    493766     22.84     26.99  --
97.44/24.48	c  N dy   543    208785        80      7120         0     21140     49840    339085     22.87     24.14  --
103.02/25.81	c  N dy   586    222674        80      7120         0     33891     49840    680174     22.87     24.33  --
107.81/27.09	c  N dy   606    236961        80      7120         0     28557     49840    516468     22.83     26.15  --
108.21/27.18	c  S st   613    237756        80      7120         0     29289     49840    536238     22.84   no data  --
108.62/27.25	c  S st   613    238259        80      7120         0     29761     49840    549421     22.84   no data  --
108.62/27.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
108.62/27.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.62/27.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
108.62/27.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
108.62/27.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
108.62/27.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
108.62/27.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
119.00/29.85	c lits-rem:      1852  cl-subs:     2471  v-elim:      0  v-fix:    0  time: 10.23 s
119.00/29.85	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
119.00/29.85	c vivif2 --  cl tried    27290 cl shrink        0 lits rem          0 time: 0.02
119.79/30.04	c asymm  cl-useful: 0/2036/7120 lits-rem:0 time: 0.76
119.79/30.04	c calculated reachability. Time: 0.00
119.79/30.04	c  N dy   613    238259        80      7120         0     27290     49840    481586     22.84   no data  --
127.38/31.95	c  N dy   690    255841        80      7120         0     24284     49840    390228     22.89     24.11  --
134.55/33.76	c  N dy   743    272305        80      7120         0     39371     49840    794431     22.91     24.12  --
140.94/35.36	c  N dy   766    289725        80      7120         0     35233     49840    660867     22.84     24.26  --
148.13/37.12	c  F st   810    306250        80      7120         0     29327     49840    491555     22.83     20.59  --
148.95/37.32	c  N st   814    308282        80      7120         0     31191     49840    542703     22.83   no data  --
159.71/40.00	c  N dy   895    332264        80      7120         0     31167     49840    527827     22.85     24.13  --
170.92/42.84	c  N dy   995    355094        80      7120         0     29229     49840    462933     22.90     24.27  --
171.70/43.08	c  S st  1005    357388        80      7120         0     31322     49840    518959     22.90     22.06  --
172.10/43.16	c  S st  1005    357888        80      7120         0     31792     49840    531666     22.90   no data  --
172.10/43.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
172.10/43.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
172.10/43.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
172.10/43.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
172.10/43.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
172.10/43.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
172.10/43.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
184.50/46.24	c lits-rem:      1706  cl-subs:     1756  v-elim:      0  v-fix:    0  time: 12.17 s
184.50/46.24	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
184.50/46.25	c vivif2 --  cl tried    30036 cl shrink        0 lits rem          0 time: 0.02
185.68/46.58	c asymm  cl-useful: 0/1593/7120 lits-rem:0 time: 1.31
185.68/46.58	c calculated reachability. Time: 0.00
185.68/46.58	c  N dy  1005    357888        80      7120         0     30036     49840    480666     22.90   no data  --
197.68/49.58	c  N dy  1031    380357        80      7120         0     26798     49840    378343     22.85     24.08  --
208.45/52.27	c  N dy  1119    400455        80      7120         0     45220     49840    877425     22.89     24.57  --
271.56/68.03	c  N dy  1130    536833        80      7120         0     36753     49840    572202     22.14     19.49  --
271.56/68.03	c  S st  1130    536833        80      7120         0     36753     49840    572202     22.14     19.49  --
271.97/68.13	c  S st  1130    537338        80      7120         0     37224     49840    585131     22.14   no data  --
271.97/68.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
271.97/68.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
271.97/68.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
271.97/68.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
271.97/68.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
271.97/68.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
271.97/68.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
283.95/71.18	c lits-rem:      2380  cl-subs:     2626  v-elim:      0  v-fix:    0  time: 12.05 s
283.95/71.18	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
283.95/71.19	c vivif2 --  cl tried    34598 cl shrink        0 lits rem          0 time: 0.02
284.75/71.40	c asymm  cl-useful: 0/1415/7120 lits-rem:0 time: 0.85
284.75/71.40	c calculated reachability. Time: 0.00
284.75/71.40	c  N dy  1130    537338        80      7120         0     34598     49840    524189     22.14   no data  --
298.74/74.82	c  N dy  1284    557424        80      7120         0     53105     49840   1026596     22.21     23.75  --
310.71/77.82	c  N dy  1410    577463        80      7120         0     42561     49840    722857     22.26     24.10  --
327.09/81.93	c  N dy  1567    599631        80      7120         0     32894     49840    442266     22.32     23.57  --
339.87/85.19	c  N dy  1727    619689        80      7120         0     51335     49840    945752     22.38     23.67  --
354.26/88.72	c  N dy  1806    641456        80      7120         0     40171     49840    617142     22.40     23.89  --
370.63/92.85	c  N dy  1971    661542        80      7120         0     58668     49840   1121260     22.46     25.17  --
385.01/96.45	c  N dy  2125    681619        80      7120         0     45093     49840    739149     22.51     24.01  --
402.58/100.81	c  N dy  2267    701664        80      7120         0     63534     49840   1239667     22.56     23.76  --
418.17/104.76	c  N dy  2349    725535        80      7120         0     52313     49840    905464     22.55     23.82  --
434.95/108.96	c  N dy  2482    745621        80      7120         0     36775     49840    478570     22.60     24.57  --
448.13/112.24	c  N dy  2587    765648        80      7120         0     55147     49840    973455     22.62     23.92  --
466.09/116.78	c  N dy  2740    785663        80      7120         0     38695     49840    515799     22.66     25.78  --
479.67/120.16	c  N dy  2841    805749        80      7120         0     57149     49840   1014512     22.69     25.57  --
480.07/120.22	c  S st  2844    806007        80      7120         0     57389     49840   1021196     22.69   no data  --
480.47/120.38	c  S st  2844    806512        80      7120         0     57866     49840   1033948     22.69   no data  --
480.47/120.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
480.47/120.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
480.87/120.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
480.87/120.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
480.87/120.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
480.87/120.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
480.87/120.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
526.01/131.70	c lits-rem:      2981  cl-subs:     4114  v-elim:      0  v-fix:    0  time: 44.95 s
526.01/131.70	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
526.01/131.71	c vivif2 --  cl tried    53752 cl shrink        0 lits rem          0 time: 0.04
527.23/132.00	c asymm  cl-useful: 0/894/7120 lits-rem:0 time: 1.16
527.23/132.00	c calculated reachability. Time: 0.00
527.23/132.00	c  N dy  2844    806512        80      7120         0     53752     49840    912317     22.69   no data  --
546.38/136.87	c  N dy  2970    828340        80      7120         0     38083     49840    480528     22.72     23.93  --
559.16/140.06	c  N dy  3071    848421        80      7120         0     56517     49840    976642     22.73     24.26  --
575.15/144.08	c  N dy  3099    872019        80      7120         0     41378     49840    554867     22.71     23.92  --
595.92/149.21	c  N dy  3210    900894        80      7120         0     67731     49840   1259711     22.71     23.99  --
612.69/153.42	c  N dy  3355    920899        80      7120         0     48723     49840    745818     22.75     25.67  --
630.66/157.91	c  N dy  3445    942964        80      7120         0     68969     49840   1289828     22.76     23.96  --
647.04/162.06	c  N dy  3524    964164        80      7120         0     49897     49840    747567     22.77     23.98  --
663.04/166.02	c  N dy  3590    984425        80      7120         0     68499     49840   1246818     22.77     24.17  --
681.40/170.67	c  N dy  3739   1004466        80      7120         0     47540     49840    677125     22.80     24.16  --
698.97/175.02	c  N dy  3875   1024780        80      7120         0     66245     49840   1187560     22.83     24.11  --
720.94/180.51	c  N dy  3976   1048004        80      7120         0     47146     49840    640694     22.84     24.10  --
735.32/184.10	c  N dy  4027   1068043        80      7120         0     65449     49840   1127070     22.83     25.60  --
738.52/184.96	c  F st  4039   1071876        80      7120         0     68946     49840   1222019     22.84   no data  --
754.09/188.84	c  N dy  4071   1088740        80      7120         0     43114     49840    517633     22.83     24.09  --
768.08/192.40	c  N dy  4158   1108895        80      7120         0     61556     49840   1014738     22.84     24.19  --
792.44/198.45	c  N dy  4198   1138060        80      7120         0     46075     49840    580334     22.81     24.06  --
808.05/202.32	c  N dy  4216   1159228        80      7120         0     65286     49840   1089690     22.79     24.09  --
835.59/209.25	c  N dy  4324   1179436        80      7120         0     83832     49840   1593661     22.81     24.03  --
857.95/214.85	c  N dy  4419   1199696        80      7120         0     59435     49840    929425     22.82     24.11  --
870.34/217.98	c  S st  4471   1209768        80      7120         0     68662     49840   1178248     22.83   no data  --
871.54/218.23	c  S st  4471   1210275        80      7120         0     69141     49840   1191481     22.83   no data  --
871.54/218.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
871.54/218.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
871.54/218.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
871.93/218.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
871.93/218.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
871.93/218.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
871.93/218.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
949.83/237.86	c lits-rem:      3572  cl-subs:     5233  v-elim:      0  v-fix:    0  time: 78.02 s
949.83/237.86	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
949.83/237.87	c vivif2 --  cl tried    63908 cl shrink        0 lits rem          0 time: 0.05
951.03/238.17	c asymm  cl-useful: 0/801/7120 lits-rem:0 time: 1.20
951.03/238.18	c calculated reachability. Time: 0.00
951.03/238.18	c  N dy  4471   1210275        80      7120         0     63908     49840   1040119     22.83   no data  --
971.40/243.25	c  N dy  4573   1230281        80      7120         0     82279     49840   1539396     22.84     24.05  --
987.78/247.40	c  N dy  4647   1250296        80      7120         0     56873     49840    845110     22.84     24.39  --
1006.17/251.99	c  N dy  4673   1271094        80      7120         0     75809     49840   1343100     22.81     24.07  --
1032.54/258.57	c  N dy  4792   1291294        80      7120         0     49674     49840    636055     22.83     24.07  --
1054.10/263.92	c  N dy  4877   1313832        80      7120         0     70195     49840   1188155     22.84     24.07  --
1079.26/270.21	c  N dy  4943   1334025        80      7120         0     88579     49840   1682744     22.84     24.12  --
1100.43/275.57	c  N dy  5051   1355872        80      7120         0     62991     49840    980500     22.86     24.17  --
1120.79/280.66	c  N dy  5162   1375962        80      7120         0     81426     49840   1485260     22.87     24.20  --
1145.97/286.91	c  N dy  5224   1404792        80      7120         0     61097     49840    903233     22.86     24.14  --
1166.33/292.07	c  N dy  5331   1424846        80      7120         0     79541     49840   1406059     22.88     24.19  --
1192.30/298.50	c  N dy  5390   1451174        80      7120         0     55928     49840    751510     22.87     24.12  --
1210.28/303.08	c  N dy  5467   1471220        80      7120         0     74201     49840   1242985     22.87     24.54  --
1233.05/308.79	c  N dy  5526   1492124        80      7120         0     93253     49840   1752473     22.87     24.10  --
1253.81/313.98	c  N dy  5644   1513680        80      7120         0     64702     49840    984472     22.89     24.10  --
1273.81/318.96	c  N dy  5722   1533741        80      7120         0     83015     49840   1476910     22.89     24.15  --
1300.58/325.65	c  N dy  5848   1554889        80      7120         0     52988     49840    646590     22.91     24.17  --
1318.93/330.29	c  N dy  5989   1575303        80      7120         0     71708     49840   1159434     22.93     24.24  --
1342.90/336.24	c  N dy  6078   1597790        80      7120         0     92225     49840   1715022     22.93     24.30  --
1362.86/341.27	c  N dy  6126   1617804        80      7120         0     60235     49840    823560     22.93     25.36  --
1383.66/346.49	c  N dy  6249   1638356        80      7120         0     79106     49840   1338943     22.94     24.16  --
1410.80/353.23	c  N dy  6316   1661176        80      7120         0     99998     49840   1902674     22.94     24.19  --
1439.96/360.53	c  N dy  6426   1691323        80      7120         0     76273     49840   1241799     22.95     24.34  --
1466.33/367.17	c  S st  6528   1710275        80      7120         0     93717     49840   1719446     22.96   no data  --
1467.55/367.45	c  S st  6528   1710777        80      7120         0     94186     49840   1732587     22.96   no data  --
1467.55/367.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1467.55/367.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1467.92/367.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1467.92/367.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1467.92/367.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1467.92/367.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1467.92/367.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1596.15/399.63	c lits-rem:      6000  cl-subs:     8472  v-elim:      0  v-fix:    0  time: 128.05 s
1596.15/399.63	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1596.15/399.65	c vivif2 --  cl tried    85714 cl shrink        0 lits rem          0 time: 0.08
1597.35/399.97	c asymm  cl-useful: 0/819/7120 lits-rem:0 time: 1.29
1597.35/399.98	c calculated reachability. Time: 0.00
1597.35/399.98	c  N dy  6528   1710777        80      7120         0     85714     49840   1487700     22.96   no data  --
1621.34/405.98	c  N dy  6573   1731237        80      7120         0     52531     49840    588243     22.95     24.17  --
1640.09/410.63	c  N dy  6631   1751272        80      7120         0     70813     49840   1080461     22.95     24.32  --
1666.05/417.16	c  N dy  6709   1771352        80      7120         0     89159     49840   1575214     22.96     24.62  --
1700.43/425.73	c  N dy  6802   1793637        80      7120         0     56732     49840    683068     22.97     24.21  --
1720.78/430.85	c  N dy  6897   1814091        80      7120         0     75384     49840   1188942     22.97     24.23  --
1759.52/440.52	c  N dy  6956   1850116        80      7120         0     54384     49840    604871     22.95     24.56  --
1775.50/444.57	c  N dy  7002   1870205        80      7120         0     72734     49840   1096779     22.95     24.23  --
1799.07/450.44	c  N dy  7081   1891520        80      7120         0     92152     49840   1618705     22.95     24.21  --
1830.63/458.37	c  N dy  7208   1912003        80      7120         0     56180     49840    637084     22.96     24.23  --
1849.82/463.14	c  N dy  7328   1932465        80      7120         0     74945     49840   1152420     22.98     24.33  --
1876.96/469.96	c  N dy  7452   1953646        80      7120         0     94374     49840   1682268     22.99     24.21  --
1928.52/482.84	c  N dy  7483   2003982        80      7120         0     84143     49840   1348664     22.95     24.20  --
1958.46/490.32	c  N dy  7599   2025466        80      7120         0    103842     49840   1885384     22.96     24.28  --
1984.42/496.86	c  N dy  7693   2046339        80      7120         0     66476     49840    885832     22.97     24.31  --
2017.97/505.28	c  N dy  7749   2081527        80      7120         0     98423     49840   1724920     22.95     24.18  --
2052.32/513.83	c  N dy  7864   2104453        80      7120         0     62038     49840    746734     22.95     24.23  --
2084.28/521.83	c  N dy  7962   2133069        80      7120         0     88082     49840   1440560     22.95     24.38  --
2113.83/529.24	c  N dy  8028   2153077        80      7120         0    106364     49840   1933045     22.95     25.36  --
2141.00/536.06	c  N dy  8127   2173149        80      7120         0     66378     49840    852817     22.96     24.47  --
2166.97/542.58	c  N dy  8217   2198750        80      7120         0     89824     49840   1483860     22.96     24.20  --
2180.95/546.05	c  S st  8248   2210779        80      7120         0    100787     49840   1781636     22.96   no data  --
2182.15/546.33	c  S st  8248   2211281        80      7120         0    101250     49840   1794596     22.96   no data  --
2182.15/546.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2182.15/546.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2182.15/546.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
2182.55/546.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2182.55/546.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2182.55/546.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2182.55/546.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2576.42/645.03	c lits-rem:      5648  cl-subs:     8651  v-elim:      0  v-fix:    0  time: 393.61 s
2576.42/645.03	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2576.42/645.05	c vivif2 --  cl tried    92599 cl shrink        0 lits rem          0 time: 0.08
2578.02/645.40	c asymm  cl-useful: 0/635/7120 lits-rem:0 time: 1.42
2578.02/645.40	c calculated reachability. Time: 0.00
2578.02/645.40	c  N dy  8248   2211281        80      7120         0     92599     49840   1550113     22.96   no data  --
2612.37/654.06	c  N dy  8255   2243954        80      7120         0     63271     49840    756711     22.93     24.17  --
2630.74/658.60	c  N dy  8298   2264264        80      7120         0     81818     49840   1253643     22.93     24.15  --
2658.70/665.63	c  N dy  8414   2284329        80      7120         0    100275     49840   1763449     22.94     24.54  --
2699.85/675.92	c  N dy  8491   2313774        80      7120         0     67096     49840    838680     22.94     24.22  --
2721.01/681.21	c  N dy  8573   2334151        80      7120         0     85737     49840   1340606     22.94     24.18  --
2750.98/688.74	c  N dy  8671   2356376        80      7120         0    105994     49840   1887160     22.95     24.16  --
2784.93/697.27	c  N dy  8785   2376694        80      7120         0     63504     49840    728410     22.96     24.18  --
2804.90/702.23	c  N dy  8857   2396866        80      7120         0     81939     49840   1226104     22.96     24.22  --
2845.25/712.37	c  N dy  8993   2422446        80      7120         0    105457     49840   1866452     22.97     24.21  --
2891.21/723.89	c  N dy  9123   2443633        80      7120         0     62728     49840    688010     22.98     24.20  --
2914.36/729.67	c  N dy  9237   2463749        80      7120         0     81135     49840   1191501     22.99     24.49  --
2941.51/736.41	c  N dy  9349   2484320        80      7120         0    100043     49840   1709202     22.99     24.52  --
2973.08/744.34	c  N dy  9423   2504762        80      7120         0    118718     49840   2213214     23.00     24.32  --
2999.84/751.03	c  N dy  9495   2524780        80      7120         0     73770     49840    965783     23.00     26.31  --
3021.81/756.51	c  N dy  9565   2544816        80      7120         0     92071     49840   1463028     23.00     24.21  --
3051.37/763.99	c  N dy  9632   2566800        80      7120         0    112023     49840   2000551     23.00     24.34  --
3086.53/772.78	c  N dy  9692   2591651        80      7120         0     70794     49840    874635     23.00     24.21  --
3116.88/780.33	c  N dy  9813   2617104        80      7120         0     94033     49840   1506300     23.00     24.24  --
3150.45/788.77	c  N dy  9917   2637309        80      7120         0    112497     49840   2010535     23.01     24.32  --
3189.19/798.41	c  N dy 10027   2657695        80      7120         0     66337     49840    743489     23.02     24.26  --
3210.36/803.75	c  N dy 10110   2678055        80      7120         0     84881     49840   1243763     23.02     24.26  --
3251.89/814.12	c  N dy 10189   2711281        80      7120         0    115141     49840   2058001     23.02     21.88  --
3251.89/814.12	c  S st 10189   2711281        80      7120         0    115141     49840   2058001     23.02     21.88  --
3253.09/814.48	c  S st 10189   2711785        80      7120         0    115604     49840   2070979     23.02   no data  --
3253.09/814.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3253.09/814.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3253.49/814.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3253.90/814.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3253.90/814.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3253.90/814.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3253.90/814.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3891.04/974.12	c lits-rem:      7563  cl-subs:    11519  v-elim:      0  v-fix:    0  time: 636.95 s
3891.04/974.12	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3891.04/974.15	c vivif2 --  cl tried   104085 cl shrink        0 lits rem          0 time: 0.10
3893.06/974.64	c asymm  cl-useful: 0/550/7120 lits-rem:0 time: 1.99
3893.06/974.65	c calculated reachability. Time: 0.00
3893.06/974.65	c  N dy 10189   2711785        80      7120         0    104085     49840   1750543     23.02   no data  --
3938.57/986.04	c  N dy 10252   2733377        80      7120         0    123758     49840   2277557     23.02     24.29  --
3975.72/995.31	c  N dy 10365   2754164        80      7120         0     77643     49840   1044316     23.02     24.46  --
4018.07/1005.95	c  N dy 10461   2781108        80      7120         0    102209     49840   1705775     23.02     24.30  --
4063.60/1017.36	c  N dy 10553   2801178        80      7120         0    120551     49840   2204152     23.03     24.33  --
4110.33/1029.09	c  N dy 10634   2821389        80      7120         0     72603     49840    882403     23.03     24.28  --
4142.29/1037.02	c  N dy 10700   2841424        80      7120         0     90860     49840   1375191     23.03     24.32  --
4187.44/1048.40	c  N dy 10798   2863955        80      7120         0    111457     49840   1937767     23.03     24.34  --
4240.18/1061.58	c  N dy 10906   2884294        80      7120         0    130095     49840   2449240     23.04     24.27  --
4280.89/1071.78	c  N dy 11010   2905325        80      7120         0     81871     49840   1116425     23.05     24.30  --
4322.84/1082.24	c  N dy 11122   2926942        80      7120         0    101660     49840   1655579     23.05     24.47  --
4368.38/1093.67	c  N dy 11179   2948475        80      7120         0    121256     49840   2180169     23.05     24.35  --
4417.12/1105.88	c  N dy 11256   2969631        80      7120         0     72167     49840    837880     23.05     24.30  --
4451.09/1114.36	c  N dy 11364   2989664        80      7120         0     90491     49840   1339672     23.06     24.32  --
4500.61/1126.76	c  N dy 11416   3017613        80      7120         0    115837     49840   2017737     23.06     24.29  --
4546.55/1138.20	c  N dy 11454   3037938        80      7120         0    134271     49840   2508135     23.05     24.28  --
4590.48/1149.21	c  N dy 11582   3060178        80      7120         0     85434     49840   1190617     23.06     24.30  --
4630.03/1159.10	c  N dy 11661   3082430        80      7120         0    105739     49840   1735274     23.06     24.40  --
4672.77/1169.86	c  N dy 11740   3104445        80      7120         0    125815     49840   2277593     23.06     24.35  --
4712.32/1179.70	c  N dy 11833   3124526        80      7120         0     73924     49840    857093     23.06     25.45  --
4735.09/1185.42	c  N dy 11919   3144562        80      7120         0     92250     49840   1356635     23.07     26.31  --
4767.46/1193.59	c  N dy 12069   3164653        80      7120         0    110686     49840   1867599     23.08     26.53  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.57 5.99 7.21 4/174 26882
/proc/meminfo: memFree=30843372/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 413 0 0 0 1 0 0 0 20 0 4 0 522584381 52465664 352 33554432000 4194304 4650419 140735382314112 18446744073709551615 47521534801842 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 12809 352 303 112 0 7774 0
[pid=26882/tid=26886] ppid=26880 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 522584381 52465664 352 33554432000 4194304 4650419 140735382314112 18446744073709551615 47521534801842 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 522584381 52465664 352 33554432000 4194304 4650419 140735382314112 18446744073709551615 47521534801840 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 522584382 52465664 352 33554432000 4194304 4650419 140735382314112 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0641561 s]
/proc/loadavg: 3.57 5.99 7.21 4/174 26882
/proc/meminfo: memFree=30843372/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=282044 CPUtime=0.23 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 1464 0 0 0 23 0 0 0 22 0 4 0 522584381 288813056 1375 33554432000 4194304 4650419 140735382314112 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 70511 1375 366 112 0 65476 0
[pid=26882/tid=26886] ppid=26880 vsize=282044 CPUtime=0.05 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 249 0 0 0 5 0 0 0 22 0 4 0 522584381 288813056 1375 33554432000 4194304 4650419 140735382314112 18446744073709551615 4371104 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=282044 CPUtime=0.06 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 230 0 0 0 6 0 0 0 22 0 4 0 522584381 288813056 1375 33554432000 4194304 4650419 140735382314112 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=282044 CPUtime=0.05 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 329 0 0 0 5 0 0 0 23 0 4 0 522584382 288813056 1375 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 282044

[startup+0.10115 s]
/proc/loadavg: 3.57 5.99 7.21 4/174 26882
/proc/meminfo: memFree=30843372/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=282044 CPUtime=0.38 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 1533 0 0 0 38 0 0 0 22 0 4 0 522584381 288813056 1444 33554432000 4194304 4650419 140735382314112 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 70511 1444 366 112 0 65476 0
[pid=26882/tid=26886] ppid=26880 vsize=282044 CPUtime=0.09 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 252 0 0 0 9 0 0 0 22 0 4 0 522584381 288813056 1444 33554432000 4194304 4650419 140735382314112 18446744073709551615 4370633 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=282044 CPUtime=0.09 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 236 0 0 0 9 0 0 0 22 0 4 0 522584381 288813056 1444 33554432000 4194304 4650419 140735382314112 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=282044 CPUtime=0.09 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 385 0 0 0 9 0 0 0 23 0 4 0 522584382 288813056 1444 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282044

[startup+0.301116 s]
/proc/loadavg: 3.57 5.99 7.21 4/174 26882
/proc/meminfo: memFree=30843372/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=285928 CPUtime=1.18 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 3911 0 0 0 117 1 0 0 22 0 4 0 522584381 292790272 3322 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 71482 3323 390 112 0 66447 0
[pid=26882/tid=26886] ppid=26880 vsize=285928 CPUtime=0.29 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 894 0 0 0 29 0 0 0 22 0 4 0 522584381 292790272 3323 33554432000 4194304 4650419 140735382314112 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=285928 CPUtime=0.29 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 910 0 0 0 29 0 0 0 22 0 4 0 522584381 292790272 3323 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=285928 CPUtime=0.29 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 784 0 0 0 29 0 0 0 23 0 4 0 522584382 292790272 3323 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 285928

[startup+0.701047 s]
/proc/loadavg: 3.57 5.99 7.21 4/174 26882
/proc/meminfo: memFree=30843372/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=287420 CPUtime=2.78 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 6345 0 0 0 276 2 0 0 24 0 4 0 522584381 294318080 3969 33554432000 4194304 4650419 140735382314112 18446744073709551615 4334226 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 71855 3969 390 112 0 66820 0
[pid=26882/tid=26886] ppid=26880 vsize=287420 CPUtime=0.69 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 1581 0 0 0 69 0 0 0 23 0 4 0 522584381 294318080 3969 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=287420 CPUtime=0.69 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 1506 0 0 0 69 0 0 0 24 0 4 0 522584381 294318080 3969 33554432000 4194304 4650419 140735382314112 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=287420 CPUtime=0.68 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 1264 0 0 0 68 0 0 0 25 0 4 0 522584382 294318080 3969 33554432000 4194304 4650419 140735382314112 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 287420

[startup+1.50091 s]
/proc/loadavg: 3.57 5.99 7.21 11/182 26890
/proc/meminfo: memFree=30812676/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=288848 CPUtime=5.98 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 10210 0 0 0 595 3 0 0 25 0 4 0 522584381 295780352 4811 33554432000 4194304 4650419 140735382314112 18446744073709551615 4370482 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 72212 4811 392 112 0 67177 0
[pid=26882/tid=26886] ppid=26880 vsize=288848 CPUtime=1.49 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 2541 0 0 0 149 0 0 0 25 0 4 0 522584381 295780352 4811 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=288848 CPUtime=1.49 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 2425 0 0 0 148 1 0 0 25 0 4 0 522584381 295780352 4811 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=288848 CPUtime=1.48 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 2237 0 0 0 148 0 0 0 25 0 4 0 522584382 295780352 4811 33554432000 4194304 4650419 140735382314112 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 288848

[startup+3.10064 s]
/proc/loadavg: 3.57 5.99 7.21 10/182 26890
/proc/meminfo: memFree=30787132/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=298072 CPUtime=12.37 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 19412 0 0 0 1233 4 0 0 25 0 4 0 522584381 305225728 11693 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 74518 11693 392 112 0 69483 0
[pid=26882/tid=26886] ppid=26880 vsize=298072 CPUtime=3.08 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 4258 0 0 0 308 0 0 0 25 0 4 0 522584381 305225728 11693 33554432000 4194304 4650419 140735382314112 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=298072 CPUtime=3.09 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 5134 0 0 0 308 1 0 0 25 0 4 0 522584381 305225728 11693 33554432000 4194304 4650419 140735382314112 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=298072 CPUtime=3.07 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 5384 0 0 0 306 1 0 0 25 0 4 0 522584382 305225728 11693 33554432000 4194304 4650419 140735382314112 18446744073709551615 4370585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 298072

[startup+6.30108 s]
/proc/loadavg: 3.93 6.02 7.21 10/182 26890
/proc/meminfo: memFree=30743060/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=290188 CPUtime=25.15 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 28578 0 0 0 2508 7 0 0 25 0 4 0 522584381 297152512 14731 33554432000 4194304 4650419 140735382314112 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 72547 14731 392 112 0 67512 0
[pid=26882/tid=26886] ppid=26880 vsize=290188 CPUtime=6.29 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 7519 0 0 0 628 1 0 0 25 0 4 0 522584381 297152512 14731 33554432000 4194304 4650419 140735382314112 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=290188 CPUtime=6.28 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 6995 0 0 0 627 1 0 0 25 0 4 0 522584381 297152512 14731 33554432000 4194304 4650419 140735382314112 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=290188 CPUtime=6.26 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 7503 0 0 0 624 2 0 0 25 0 4 0 522584382 297152512 14731 33554432000 4194304 4650419 140735382314112 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 290188

[startup+12.701 s]
/proc/loadavg: 4.25 6.06 7.21 10/182 26891
/proc/meminfo: memFree=30692624/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=293728 CPUtime=50.71 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 42698 0 0 0 5061 10 0 0 25 0 4 0 522584381 300777472 20062 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 73432 20062 392 112 0 68397 0
[pid=26882/tid=26886] ppid=26880 vsize=293728 CPUtime=12.69 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 10806 0 0 0 1267 2 0 0 25 0 4 0 522584381 300777472 20062 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=293728 CPUtime=12.69 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 9900 0 0 0 1267 2 0 0 25 0 4 0 522584381 300777472 20062 33554432000 4194304 4650419 140735382314112 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=293728 CPUtime=12.62 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 11550 0 0 0 1259 3 0 0 25 0 4 0 522584382 300777472 20062 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 293728

[startup+25.5008 s]
/proc/loadavg: 5.16 6.17 7.23 10/182 26891
/proc/meminfo: memFree=30643664/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=300000 CPUtime=101.83 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 64129 0 0 0 10165 18 0 0 25 0 4 0 522584381 307200000 26403 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 75000 26404 392 112 0 69965 0
[pid=26882/tid=26886] ppid=26880 vsize=300000 CPUtime=25.48 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 16515 0 0 0 2545 3 0 0 25 0 4 0 522584381 307200000 26404 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=300000 CPUtime=25.49 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 14158 0 0 0 2546 3 0 0 25 0 4 0 522584381 307200000 26404 33554432000 4194304 4650419 140735382314112 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=300000 CPUtime=25.35 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 16960 0 0 0 2531 4 0 0 25 0 4 0 522584382 307200000 26404 33554432000 4194304 4650419 140735382314112 18446744073709551615 4314839 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 300000

[startup+51.1003 s]
/proc/loadavg: 6.13 6.31 7.25 10/182 26891
/proc/meminfo: memFree=30588784/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=310296 CPUtime=204.05 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 90071 0 0 0 20376 29 0 0 25 0 4 0 522584381 317743104 34297 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 77574 34297 392 112 0 72539 0
[pid=26882/tid=26886] ppid=26880 vsize=310296 CPUtime=51.09 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 25973 0 0 0 5103 6 0 0 25 0 4 0 522584381 317743104 34297 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=310296 CPUtime=51.09 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 16192 0 0 0 5105 4 0 0 25 0 4 0 522584381 317743104 34297 33554432000 4194304 4650419 140735382314112 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=310296 CPUtime=50.81 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 22988 0 0 0 5074 7 0 0 25 0 4 0 522584382 317743104 34297 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 310296

[startup+102.306 s]
/proc/loadavg: 7.30 6.60 7.30 10/182 26893
/proc/meminfo: memFree=30560844/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=319000 CPUtime=408.6 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 138304 0 0 0 40814 46 0 0 25 0 4 0 522584381 326656000 36361 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 79750 36361 392 112 0 74715 0
[pid=26882/tid=26886] ppid=26880 vsize=319000 CPUtime=102.29 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 38316 0 0 0 10219 10 0 0 25 0 4 0 522584381 326656000 36361 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=319000 CPUtime=102.29 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 24138 0 0 0 10223 6 0 0 25 0 4 0 522584381 326656000 36361 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=319000 CPUtime=101.73 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 37168 0 0 0 10162 11 0 0 25 0 4 0 522584382 326656000 36361 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 319000

[startup+162.301 s]

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

[pid=26882] ppid=26880 vsize=446520 CPUtime=2805.3 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 466685 0 0 0 280332 198 0 0 25 0 4 0 522584381 457236480 77264 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 111630 77264 392 112 0 106595 0
[pid=26882/tid=26886] ppid=26880 vsize=446520 CPUtime=702.27 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 124025 0 0 0 70174 53 0 0 25 0 4 0 522584381 457236480 77264 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=446520 CPUtime=702.29 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 91799 0 0 0 70189 40 0 0 25 0 4 0 522584381 457236480 77264 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=446520 CPUtime=698.46 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 119893 0 0 0 69793 53 0 0 25 0 4 0 522584382 457236480 77264 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.3
Current children cumulated vsize (KiB) 446520

[startup+762.307 s]
/proc/loadavg: 8.11 7.93 7.69 10/182 26911
/proc/meminfo: memFree=30206536/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=394040 CPUtime=3045 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 484450 0 0 0 304292 208 0 0 25 0 4 0 522584381 403496960 75462 33554432000 4194304 4650419 140735382314112 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 98510 75462 392 112 0 93475 0
[pid=26882/tid=26886] ppid=26880 vsize=394040 CPUtime=762.28 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 130324 0 0 0 76172 56 0 0 25 0 4 0 522584381 403496960 75462 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=394040 CPUtime=762.29 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 94073 0 0 0 76189 40 0 0 25 0 4 0 522584381 403496960 75462 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=394040 CPUtime=758.14 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 124895 0 0 0 75758 56 0 0 25 0 4 0 522584382 403496960 75462 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 394040

[startup+822.301 s]
/proc/loadavg: 8.16 7.97 7.72 10/182 26912
/proc/meminfo: memFree=30200048/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=447096 CPUtime=3284.66 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 505078 0 0 0 328246 220 0 0 25 0 4 0 522584381 457826304 77748 33554432000 4194304 4650419 140735382314112 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 111774 77748 392 112 0 106739 0
[pid=26882/tid=26886] ppid=26880 vsize=447096 CPUtime=822.27 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 136794 0 0 0 82166 61 0 0 25 0 4 0 522584381 457826304 77748 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=447096 CPUtime=822.28 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 98077 0 0 0 82185 43 0 0 25 0 4 0 522584381 457826304 77748 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=447096 CPUtime=817.81 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 131414 0 0 0 81721 60 0 0 25 0 4 0 522584382 457826304 77748 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 447096

[startup+882.3 s]
/proc/loadavg: 8.17 8.00 7.74 10/182 26913
/proc/meminfo: memFree=30218740/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=447320 CPUtime=3524.33 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 528971 0 0 0 352202 231 0 0 25 0 4 0 522584381 458055680 77505 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476385 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 111830 77505 392 112 0 106795 0
[pid=26882/tid=26886] ppid=26880 vsize=447320 CPUtime=882.27 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 143082 0 0 0 88162 65 0 0 25 0 4 0 522584381 458055680 77505 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=447320 CPUtime=882.28 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 101312 0 0 0 88182 46 0 0 25 0 4 0 522584381 458055680 77505 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=447320 CPUtime=877.49 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 137657 0 0 0 87685 64 0 0 25 0 4 0 522584382 458055680 77505 33554432000 4194304 4650419 140735382314112 18446744073709551615 4333866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 447320

[startup+942.301 s]
/proc/loadavg: 8.17 8.03 7.77 10/182 26915
/proc/meminfo: memFree=30164152/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=591676 CPUtime=3764 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 559480 0 0 0 376161 239 0 0 25 0 4 0 522584381 605876224 89788 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 147919 89788 392 112 0 142884 0
[pid=26882/tid=26886] ppid=26880 vsize=591676 CPUtime=942.27 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 150651 0 0 0 94160 67 0 0 25 0 4 0 522584381 605876224 89788 33554432000 4194304 4650419 140735382314112 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=591676 CPUtime=942.29 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 103879 0 0 0 94181 48 0 0 25 0 4 0 522584381 605876224 89788 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=591676 CPUtime=937.17 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 146595 0 0 0 93650 67 0 0 25 0 4 0 522584382 605876224 89788 33554432000 4194304 4650419 140735382314112 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 591676

[startup+1002.3 s]
/proc/loadavg: 8.16 8.05 7.79 10/182 26917
/proc/meminfo: memFree=30144636/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=578520 CPUtime=4003.68 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 573128 0 0 0 400124 244 0 0 25 0 4 0 522584381 592404480 88227 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 144630 88227 392 112 0 139595 0
[pid=26882/tid=26886] ppid=26880 vsize=578520 CPUtime=1002.27 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 154411 0 0 0 100159 68 0 0 25 0 4 0 522584381 592404480 88227 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=578520 CPUtime=1002.28 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 104555 0 0 0 100180 48 0 0 25 0 4 0 522584381 592404480 88227 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=578520 CPUtime=996.84 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 149596 0 0 0 99617 67 0 0 25 0 4 0 522584382 592404480 88227 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.68
Current children cumulated vsize (KiB) 578520

[startup+1062.3 s]
/proc/loadavg: 8.06 8.04 7.80 10/182 26928
/proc/meminfo: memFree=30125264/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=578520 CPUtime=4243.35 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 590106 0 0 0 424085 250 0 0 25 0 4 0 522584381 592404480 89298 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 144630 89298 392 112 0 139595 0
[pid=26882/tid=26886] ppid=26880 vsize=578520 CPUtime=1062.26 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 163183 0 0 0 106157 69 0 0 25 0 4 0 522584381 592404480 89298 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=578520 CPUtime=1062.29 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 104615 0 0 0 106181 48 0 0 25 0 4 0 522584381 592404480 89298 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=578520 CPUtime=1056.51 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 153511 0 0 0 105583 68 0 0 25 0 4 0 522584382 592404480 89298 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.35
Current children cumulated vsize (KiB) 578520

[startup+1122.3 s]
/proc/loadavg: 8.12 8.06 7.82 10/182 26929
/proc/meminfo: memFree=30122488/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=578520 CPUtime=4483.02 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 604207 0 0 0 448048 254 0 0 25 0 4 0 522584381 592404480 89340 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 144630 89340 392 112 0 139595 0
[pid=26882/tid=26886] ppid=26880 vsize=578520 CPUtime=1122.26 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 173731 0 0 0 112155 71 0 0 25 0 4 0 522584381 592404480 89340 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=578520 CPUtime=1122.29 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 104615 0 0 0 112181 48 0 0 25 0 4 0 522584381 592404480 89340 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=578520 CPUtime=1116.19 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 153615 0 0 0 111551 68 0 0 25 0 4 0 522584382 592404480 89340 33554432000 4194304 4650419 140735382314112 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.02
Current children cumulated vsize (KiB) 578520

[startup+1182.3 s]
/proc/loadavg: 8.18 8.09 7.84 10/182 26930
/proc/meminfo: memFree=30158532/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=578588 CPUtime=4722.7 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 618685 0 0 0 472009 261 0 0 25 0 4 0 522584381 592474112 87278 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 144647 87278 392 112 0 139612 0
[pid=26882/tid=26886] ppid=26880 vsize=578588 CPUtime=1182.26 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 179162 0 0 0 118152 74 0 0 25 0 4 0 522584381 592474112 87278 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=578588 CPUtime=1182.3 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 104800 0 0 0 118181 49 0 0 25 0 4 0 522584381 592474112 87278 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=578588 CPUtime=1175.87 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 157199 0 0 0 117517 70 0 0 25 0 4 0 522584382 592474112 87278 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.7
Current children cumulated vsize (KiB) 578588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.29 8.12 7.85 9/182 26931
/proc/meminfo: memFree=30181956/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=558832 CPUtime=4800.21 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 627619 0 0 0 479755 266 0 0 25 0 4 0 522584381 572243968 80757 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 139708 80757 392 112 0 134673 0
[pid=26882/tid=26886] ppid=26880 vsize=558832 CPUtime=1201.67 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 181633 0 0 0 120092 75 0 0 25 0 4 0 522584381 572243968 80757 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=558832 CPUtime=1201.7 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 107089 0 0 0 120120 50 0 0 25 0 4 0 522584381 572243968 80757 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=558832 CPUtime=1195.16 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 159878 0 0 0 119445 71 0 0 25 0 4 0 522584382 572243968 80757 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 558832

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

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

[startup+1201.7 s]
/proc/loadavg: 8.29 8.12 7.85 9/182 26931
/proc/meminfo: memFree=30181956/32951132 swapFree=67111356/67111528
[pid=26882] ppid=26880 vsize=558832 CPUtime=4800.21 cores=1,3,5,7
/proc/26882/stat : 26882 (strangenight1-m) R 26880 26882 26305 0 -1 4202496 627619 0 0 0 479755 266 0 0 25 0 4 0 522584381 572243968 80757 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26882/statm: 139708 80757 392 112 0 134673 0
[pid=26882/tid=26886] ppid=26880 vsize=558832 CPUtime=1201.67 cores=1,3,5,7
/proc/26882/task/26886/stat : 26886 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 181633 0 0 0 120092 75 0 0 25 0 4 0 522584381 572243968 80757 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26882/tid=26887] ppid=26880 vsize=558832 CPUtime=1201.7 cores=1,3,5,7
/proc/26882/task/26887/stat : 26887 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 107089 0 0 0 120120 50 0 0 25 0 4 0 522584381 572243968 80757 33554432000 4194304 4650419 140735382314112 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26882/tid=26888] ppid=26880 vsize=558832 CPUtime=1195.16 cores=1,3,5,7
/proc/26882/task/26888/stat : 26888 (strangenight1-m) R 26880 26882 26305 0 -1 4202560 159878 0 0 0 119445 71 0 0 25 0 4 0 522584382 572243968 80757 33554432000 4194304 4650419 140735382314112 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 558832

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.26
CPU user time (s): 4797.58
CPU system time (s): 2.68159
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 697700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.58
system time used= 2.68159
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 627623
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= 487
involuntary context switches= 35200

runsolver used 1.72374 second user time and 4.84126 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 22:44:07
IDJOB=3175304
IDBENCH=82922
IDSOLVER=1588
FILE ID=node131/3175304-1304109847
RUNJOBID= node131-1304109847-26864
PBS_JOBID= 13170641
Free space on /tmp= 71384 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175304-1304109847/watcher-3175304-1304109847 -o /tmp/evaluation-result-3175304-1304109847/solver-3175304-1304109847 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175304-1304109847.cnf

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

MD5SUM BENCH= d41a69133c8513c0337b37f87fceb88b
RANDOM SEED=1701811759

node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30843668 kB
Buffers:        207168 kB
Cached:        1526984 kB
SwapCached:        168 kB
Active:         159576 kB
Inactive:      1641036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30843668 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12524 kB
Writeback:           0 kB
AnonPages:       65536 kB
Mapped:          14620 kB
Slab:           242720 kB
PageTables:       4532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   190484 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71372 MiB
End job on node131 at 2011-04-29 23:04:11