Trace number 3368913

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 (fixed)? (TO) 4800.28 1203.64

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-3368913-1305405909.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.00/0.00	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.37/0.16	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.63
0.37/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.37/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.37/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
3.57/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.57/1.00	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.57/1.00	c calculated reachability. Time: 0.00
3.57/1.00	c Calc default polars -  time:   0.00 s pos:      37 undec:       1 neg:      42
3.57/1.00	c =========================================================================================
3.57/1.00	c types(t): F = full restart, N = normal restart
3.57/1.00	c types(t): S = simplification begin/end, E = solution found
3.57/1.00	c restart types(rt): st = static, dy = dynamic
3.57/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/1.00	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
3.57/1.00	c  N dy     7      7716        80      7120         0      4777     49840    121458     23.35     24.64  --
3.57/1.00	c  N dy    21     15531        80      7120         0      8015     49840    192321     23.05     24.35  --
3.57/1.00	c  N dy    30     19575        80      7120         0      6590     49840    142096     23.02     24.36  --
4.41/1.15	c  N dy    51     23603        80      7120         0     10306     49840    242392     23.15     24.40  --
4.75/1.22	c  F st    54     25000        80      7120         0     11601     49840    277548     23.17     23.74  --
5.15/1.39	c  N st    59     28299        80      7120         0      8378     49840    174193     23.17   no data  --
5.55/1.46	c  S st    60     30000        80      7120         0      9929     49840    217381     23.17   no data  --
5.95/1.50	c  S st    60     30501        80      7120         0     10402     49840    230324     23.17   no data  --
5.95/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.95/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.95/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.95/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.95/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.95/1.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.34/2.61	c lits-rem:      1531  cl-subs:      761  v-elim:      0  v-fix:    0  time:  4.40 s
11.54/2.95	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.34
11.54/2.95	c calculated reachability. Time: 0.00
11.54/2.95	c  N dy    60     30501        80      7120         0      9641     49840    206188     23.17   no data  --
12.75/3.27	c  N dy    67     36478        80      7120         0      7898     49840    144745     23.04     24.27  --
13.53/3.48	c  N dy    76     40712        80      7120         0     11750     49840    248916     23.06     24.40  --
14.72/3.73	c  N dy    91     44733        80      7120         0     15457     49840    348638     23.12     24.47  --
14.72/3.79	c  S st    95     45751        80      7120         0     16388     49840    374154     23.13   no data  --
15.12/3.83	c  S st    95     46256        80      7120         0      8668     49840    152222     23.13   no data  --
15.12/3.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.12/3.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.12/3.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.12/3.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.12/3.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.12/3.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.12/3.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.31/4.64	c lits-rem:       212  cl-subs:       41  v-elim:      0  v-fix:    0  time:  3.19 s
18.31/4.64	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.31/4.64	c vivif2 --  cl tried     8627 cl shrink        0 lits rem          0 time: 0.00
19.52/4.93	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.12
19.52/4.93	c calculated reachability. Time: 0.00
19.52/4.93	c  N dy    95     46256        80      7120         0      8627     49840    150609     23.13   no data  --
20.31/5.18	c  N dy   108     50804        80      7120         0     12809     49840    263141     23.14     24.36  --
21.53/5.44	c  N dy   123     54876        80      7120         0     16552     49840    364691     23.19     24.67  --
24.70/6.24	c  N dy   125     67879        80      7120         0     19278     49840    415976     22.85     24.22  --
25.10/6.38	c  S st   138     69385        80      7120         0     10604     49840    175716     22.90   no data  --
25.50/6.41	c  S st   138     69886        80      7120         0     11072     49840    188564     22.90   no data  --
25.50/6.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.50/6.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.50/6.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.50/6.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.50/6.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.50/6.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.50/6.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.08/7.31	c lits-rem:       341  cl-subs:      143  v-elim:      0  v-fix:    0  time:  3.54 s
29.08/7.31	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.08/7.32	c vivif2 --  cl tried    10929 cl shrink        0 lits rem          0 time: 0.01
30.31/7.66	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.37
30.31/7.66	c calculated reachability. Time: 0.00
30.31/7.66	c  N dy   138     69886        80      7120         0     10929     49840    183833     22.90   no data  --
33.07/8.37	c  N dy   146     81493        80      7120         0     21518     49840    464560     22.71     23.97  --
35.11/8.81	c  F st   172     87501        80      7120         0     16089     49840    309500     22.76     23.68  --
35.11/8.81	c  N st   172     87501        80      7120         0     16089     49840    309500     22.76     23.68  --
36.66/9.20	c  N dy   181     93169        80      7120         0     21300     49840    453136     22.77     24.12  --
38.66/9.80	c  N dy   215    101498        80      7120         0     17024     49840    317346     22.81     24.01  --
39.85/10.05	c  S st   232    104830        80      7120         0     20117     49840    401388     22.84     21.98  --
40.25/10.11	c  S st   232    105335        80      7120         0     20593     49840    414584     22.84   no data  --
40.25/10.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.25/10.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.25/10.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
40.25/10.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.25/10.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.25/10.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.25/10.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.44/11.95	c lits-rem:      2269  cl-subs:     1724  v-elim:      0  v-fix:    0  time:  7.28 s
47.44/11.95	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.44/11.96	c vivif2 --  cl tried    18869 cl shrink        0 lits rem          0 time: 0.02
49.02/12.35	c asymm  cl-useful: 0/5139/7120 lits-rem:0 time: 1.53
49.02/12.35	c calculated reachability. Time: 0.00
49.02/12.35	c  N dy   232    105335        80      7120         0     18869     49840    364345     22.84   no data  --
51.82/13.01	c  N dy   265    112341        80      7120         0     25315     49840    538281     22.90     24.41  --
53.80/13.50	c  N dy   287    119570        80      7120         0     19123     49840    359651     22.91     25.63  --
57.39/14.45	c  N dy   296    131878        80      7120         0     16670     49840    280588     22.80     24.01  --
61.01/15.39	c  N dy   318    143441        80      7120         0     27230     49840    558945     22.77     24.02  --
64.18/16.16	c  N dy   374    152601        80      7120         0     21032     49840    381707     22.84     24.13  --
66.17/16.65	c  S st   394    158002        80      7120         0     26041     49840    516255     22.85     21.32  --
66.57/16.71	c  S st   394    158503        80      7120         0     26518     49840    529498     22.85   no data  --
66.57/16.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
66.57/16.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.57/16.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
66.57/16.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.57/16.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.57/16.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
66.57/16.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.94/19.34	c lits-rem:      2404  cl-subs:     2063  v-elim:      0  v-fix:    0  time: 10.37 s
76.94/19.34	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
76.94/19.35	c vivif2 --  cl tried    24455 cl shrink        0 lits rem          0 time: 0.02
77.74/19.58	c asymm  cl-useful: 0/1773/7120 lits-rem:0 time: 0.94
77.74/19.58	c calculated reachability. Time: 0.00
77.74/19.58	c  N dy   394    158503        80      7120         0     24455     49840    467301     22.85   no data  --
82.53/20.75	c  N dy   446    170336        80      7120         0     19810     49840    331139     22.90     24.14  --
87.34/21.98	c  N dy   465    183735        80      7120         0     32102     49840    656595     22.84     24.05  --
91.73/23.04	c  N dy   496    195543        80      7120         0     26422     49840    493766     22.84     26.99  --
97.27/24.45	c  N dy   543    208785        80      7120         0     21140     49840    339085     22.87     24.14  --
102.47/25.77	c  N dy   586    222674        80      7120         0     33891     49840    680174     22.87     24.33  --
107.65/27.04	c  N dy   606    236961        80      7120         0     28557     49840    516468     22.83     26.15  --
108.05/27.13	c  S st   613    237756        80      7120         0     29289     49840    536238     22.84   no data  --
108.45/27.21	c  S st   613    238259        80      7120         0     29761     49840    549421     22.84   no data  --
108.45/27.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
108.45/27.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.45/27.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
108.45/27.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
108.45/27.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
108.45/27.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
108.45/27.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
118.81/29.80	c lits-rem:      1852  cl-subs:     2471  v-elim:      0  v-fix:    0  time: 10.20 s
118.81/29.80	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
118.81/29.80	c vivif2 --  cl tried    27290 cl shrink        0 lits rem          0 time: 0.02
119.21/29.99	c asymm  cl-useful: 0/2036/7120 lits-rem:0 time: 0.74
119.21/29.99	c calculated reachability. Time: 0.00
119.21/29.99	c  N dy   613    238259        80      7120         0     27290     49840    481586     22.84   no data  --
126.83/31.82	c  N dy   690    255841        80      7120         0     24284     49840    390228     22.89     24.11  --
133.98/33.63	c  N dy   743    272305        80      7120         0     39371     49840    794431     22.91     24.12  --
140.41/35.22	c  N dy   766    289725        80      7120         0     35233     49840    660867     22.84     24.26  --
147.14/36.98	c  F st   810    306250        80      7120         0     29327     49840    491555     22.83     20.59  --
147.94/37.18	c  N st   814    308282        80      7120         0     31191     49840    542703     22.83   no data  --
158.70/39.86	c  N dy   895    332264        80      7120         0     31167     49840    527827     22.85     24.13  --
169.88/42.69	c  N dy   995    355094        80      7120         0     29229     49840    462933     22.90     24.27  --
171.12/42.93	c  S st  1005    357388        80      7120         0     31322     49840    518959     22.90     22.06  --
171.46/43.01	c  S st  1005    357888        80      7120         0     31792     49840    531666     22.90   no data  --
171.46/43.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
171.46/43.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
171.46/43.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
171.46/43.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
171.46/43.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
171.46/43.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
171.46/43.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
183.04/45.97	c lits-rem:      1706  cl-subs:     1756  v-elim:      0  v-fix:    0  time: 11.71 s
183.04/45.97	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
183.04/45.98	c vivif2 --  cl tried    30036 cl shrink        0 lits rem          0 time: 0.03
184.62/46.30	c asymm  cl-useful: 0/1593/7120 lits-rem:0 time: 1.27
184.62/46.30	c calculated reachability. Time: 0.00
184.62/46.30	c  N dy  1005    357888        80      7120         0     30036     49840    480666     22.90   no data  --
196.60/49.32	c  N dy  1031    380357        80      7120         0     26798     49840    378343     22.85     24.08  --
207.36/52.04	c  N dy  1119    400455        80      7120         0     45220     49840    877425     22.89     24.57  --
269.98/67.75	c  N dy  1130    536833        80      7120         0     36753     49840    572202     22.14     19.49  --
269.98/67.75	c  S st  1130    536833        80      7120         0     36753     49840    572202     22.14     19.49  --
270.38/67.84	c  S st  1130    537338        80      7120         0     37224     49840    585131     22.14   no data  --
270.38/67.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
270.38/67.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
270.38/67.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
270.38/67.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
270.38/67.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
270.38/67.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
270.38/67.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
282.74/70.90	c lits-rem:      2380  cl-subs:     2626  v-elim:      0  v-fix:    0  time: 12.05 s
282.74/70.90	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
282.74/70.91	c vivif2 --  cl tried    34598 cl shrink        0 lits rem          0 time: 0.02
283.54/71.12	c asymm  cl-useful: 0/1415/7120 lits-rem:0 time: 0.84
283.54/71.12	c calculated reachability. Time: 0.00
283.54/71.12	c  N dy  1130    537338        80      7120         0     34598     49840    524189     22.14   no data  --
297.10/74.52	c  N dy  1284    557424        80      7120         0     53105     49840   1026596     22.21     23.75  --
309.07/77.54	c  N dy  1410    577463        80      7120         0     42561     49840    722857     22.26     24.10  --
325.41/81.64	c  N dy  1567    599631        80      7120         0     32894     49840    442266     22.32     23.57  --
338.17/84.88	c  N dy  1727    619689        80      7120         0     51335     49840    945752     22.38     23.67  --
352.13/88.31	c  N dy  1806    641456        80      7120         0     40171     49840    617142     22.40     23.89  --
368.88/92.54	c  N dy  1971    661542        80      7120         0     58668     49840   1121260     22.46     25.17  --
383.25/96.14	c  N dy  2125    681619        80      7120         0     45093     49840    739149     22.51     24.01  --
400.40/100.46	c  N dy  2267    701664        80      7120         0     63534     49840   1239667     22.56     23.76  --
416.37/104.44	c  N dy  2349    725535        80      7120         0     52313     49840    905464     22.55     23.82  --
433.11/108.60	c  N dy  2482    745621        80      7120         0     36775     49840    478570     22.60     24.57  --
446.26/111.90	c  N dy  2587    765648        80      7120         0     55147     49840    973455     22.62     23.92  --
464.21/116.41	c  N dy  2740    785663        80      7120         0     38695     49840    515799     22.66     25.78  --
477.80/119.82	c  N dy  2841    805749        80      7120         0     57149     49840   1014512     22.69     25.57  --
477.80/119.88	c  S st  2844    806007        80      7120         0     57389     49840   1021196     22.69   no data  --
478.56/120.04	c  S st  2844    806512        80      7120         0     57866     49840   1033948     22.69   no data  --
478.56/120.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
478.56/120.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
478.56/120.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
478.96/120.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
478.96/120.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.96/120.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
478.96/120.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
523.23/131.27	c lits-rem:      2981  cl-subs:     4114  v-elim:      0  v-fix:    0  time: 44.51 s
523.23/131.27	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
523.23/131.28	c vivif2 --  cl tried    53752 cl shrink        0 lits rem          0 time: 0.04
524.43/131.56	c asymm  cl-useful: 0/894/7120 lits-rem:0 time: 1.12
524.43/131.56	c calculated reachability. Time: 0.00
524.43/131.56	c  N dy  2844    806512        80      7120         0     53752     49840    912317     22.69   no data  --
544.02/136.41	c  N dy  2970    828340        80      7120         0     38083     49840    480528     22.72     23.93  --
556.77/139.62	c  N dy  3071    848421        80      7120         0     56517     49840    976642     22.73     24.26  --
572.70/143.62	c  N dy  3099    872019        80      7120         0     41378     49840    554867     22.71     23.92  --
593.03/148.78	c  N dy  3210    900894        80      7120         0     67731     49840   1259711     22.71     23.99  --
609.83/152.96	c  N dy  3355    920899        80      7120         0     48723     49840    745818     22.75     25.67  --
627.72/157.48	c  N dy  3445    942964        80      7120         0     68969     49840   1289828     22.76     23.96  --
644.09/161.60	c  N dy  3524    964164        80      7120         0     49897     49840    747567     22.77     23.98  --
660.04/165.55	c  N dy  3590    984425        80      7120         0     68499     49840   1246818     22.77     24.17  --
678.78/170.20	c  N dy  3739   1004466        80      7120         0     47540     49840    677125     22.80     24.16  --
695.94/174.55	c  N dy  3875   1024780        80      7120         0     66245     49840   1187560     22.83     24.11  --
717.87/180.05	c  N dy  3976   1048004        80      7120         0     47146     49840    640694     22.84     24.10  --
732.25/183.64	c  N dy  4027   1068043        80      7120         0     65449     49840   1127070     22.83     25.60  --
735.42/184.49	c  F st  4039   1071876        80      7120         0     68946     49840   1222019     22.84   no data  --
750.97/188.36	c  N dy  4071   1088740        80      7120         0     43114     49840    517633     22.83     24.09  --
765.33/191.91	c  N dy  4158   1108895        80      7120         0     61556     49840   1014738     22.84     24.19  --
788.46/197.74	c  N dy  4198   1138060        80      7120         0     46075     49840    580334     22.81     24.06  --
803.21/201.48	c  N dy  4216   1159228        80      7120         0     65286     49840   1089690     22.79     24.09  --
830.74/208.33	c  N dy  4324   1179436        80      7120         0     83832     49840   1593661     22.81     24.03  --
853.07/213.95	c  N dy  4419   1199696        80      7120         0     59435     49840    929425     22.82     24.11  --
865.43/217.05	c  S st  4471   1209768        80      7120         0     68662     49840   1178248     22.83   no data  --
866.63/217.30	c  S st  4471   1210275        80      7120         0     69141     49840   1191481     22.83   no data  --
866.63/217.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
866.63/217.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
866.63/217.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
866.63/217.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
866.63/217.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
866.63/217.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
866.63/217.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
947.99/237.71	c lits-rem:      3572  cl-subs:     5233  v-elim:      0  v-fix:    0  time: 80.99 s
947.99/237.71	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
947.99/237.72	c vivif2 --  cl tried    63908 cl shrink        0 lits rem          0 time: 0.05
949.19/238.02	c asymm  cl-useful: 0/801/7120 lits-rem:0 time: 1.20
949.19/238.03	c calculated reachability. Time: 0.00
949.19/238.03	c  N dy  4471   1210275        80      7120         0     63908     49840   1040119     22.83   no data  --
969.16/243.06	c  N dy  4573   1230281        80      7120         0     82279     49840   1539396     22.84     24.05  --
985.89/247.28	c  N dy  4647   1250296        80      7120         0     56873     49840    845110     22.84     24.39  --
1004.25/251.84	c  N dy  4673   1271094        80      7120         0     75809     49840   1343100     22.81     24.07  --
1030.16/258.38	c  N dy  4792   1291294        80      7120         0     49674     49840    636055     22.83     24.07  --
1051.30/263.68	c  N dy  4877   1313832        80      7120         0     70195     49840   1188155     22.84     24.07  --
1076.42/269.94	c  N dy  4943   1334025        80      7120         0     88579     49840   1682744     22.84     24.12  --
1097.55/275.21	c  N dy  5051   1355872        80      7120         0     62991     49840    980500     22.86     24.17  --
1117.50/280.27	c  N dy  5162   1375962        80      7120         0     81426     49840   1485260     22.87     24.20  --
1142.62/286.51	c  N dy  5224   1404792        80      7120         0     61097     49840    903233     22.86     24.14  --
1162.95/291.65	c  N dy  5331   1424846        80      7120         0     79541     49840   1406059     22.88     24.19  --
1188.52/298.06	c  N dy  5390   1451174        80      7120         0     55928     49840    751510     22.87     24.12  --
1206.83/302.66	c  N dy  5467   1471220        80      7120         0     74201     49840   1242985     22.87     24.54  --
1229.57/308.31	c  N dy  5526   1492124        80      7120         0     93253     49840   1752473     22.87     24.10  --
1249.93/313.49	c  N dy  5644   1513680        80      7120         0     64702     49840    984472     22.89     24.10  --
1269.85/318.49	c  N dy  5722   1533741        80      7120         0     83015     49840   1476910     22.89     24.15  --
1296.57/325.14	c  N dy  5848   1554889        80      7120         0     52988     49840    646590     22.91     24.17  --
1315.32/329.81	c  N dy  5989   1575303        80      7120         0     71708     49840   1159434     22.93     24.24  --
1338.84/335.73	c  N dy  6078   1597790        80      7120         0     92225     49840   1715022     22.93     24.30  --
1358.79/340.71	c  N dy  6126   1617804        80      7120         0     60235     49840    823560     22.93     25.36  --
1379.53/345.95	c  N dy  6249   1638356        80      7120         0     79106     49840   1338943     22.94     24.16  --
1406.25/352.69	c  N dy  6316   1661176        80      7120         0     99998     49840   1902674     22.94     24.19  --
1434.19/359.63	c  N dy  6426   1691323        80      7120         0     76273     49840   1241799     22.95     24.34  --
1461.68/366.50	c  S st  6528   1710275        80      7120         0     93717     49840   1719446     22.96   no data  --
1462.88/366.80	c  S st  6528   1710777        80      7120         0     94186     49840   1732587     22.96   no data  --
1462.88/366.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1462.88/366.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1462.88/366.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1463.28/366.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1463.28/366.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1463.28/366.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1463.28/366.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1589.70/398.66	c lits-rem:      6000  cl-subs:     8472  v-elim:      0  v-fix:    0  time: 126.52 s
1589.70/398.67	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1589.70/398.68	c vivif2 --  cl tried    85714 cl shrink        0 lits rem          0 time: 0.07
1591.30/399.00	c asymm  cl-useful: 0/819/7120 lits-rem:0 time: 1.26
1591.30/399.00	c calculated reachability. Time: 0.00
1591.30/399.00	c  N dy  6528   1710777        80      7120         0     85714     49840   1487700     22.96   no data  --
1615.22/405.04	c  N dy  6573   1731237        80      7120         0     52531     49840    588243     22.95     24.17  --
1633.57/409.64	c  N dy  6631   1751272        80      7120         0     70813     49840   1080461     22.95     24.32  --
1659.49/416.13	c  N dy  6709   1771352        80      7120         0     89159     49840   1575214     22.96     24.62  --
1693.44/424.68	c  N dy  6802   1793637        80      7120         0     56732     49840    683068     22.97     24.21  --
1714.13/429.80	c  N dy  6897   1814091        80      7120         0     75384     49840   1188942     22.97     24.23  --
1752.02/439.39	c  N dy  6956   1850116        80      7120         0     54384     49840    604871     22.95     24.56  --
1768.76/443.51	c  N dy  7002   1870205        80      7120         0     72734     49840   1096779     22.95     24.23  --
1791.90/449.36	c  N dy  7081   1891520        80      7120         0     92152     49840   1618705     22.95     24.21  --
1823.41/457.26	c  N dy  7208   1912003        80      7120         0     56180     49840    637084     22.96     24.23  --
1842.95/462.10	c  N dy  7328   1932465        80      7120         0     74945     49840   1152420     22.98     24.33  --
1869.67/468.85	c  N dy  7452   1953646        80      7120         0     94374     49840   1682268     22.99     24.21  --
1921.15/481.78	c  N dy  7483   2003982        80      7120         0     84143     49840   1348664     22.95     24.20  --
1950.64/489.16	c  N dy  7599   2025466        80      7120         0    103842     49840   1885384     22.96     24.28  --
1976.56/495.68	c  N dy  7693   2046339        80      7120         0     66476     49840    885832     22.97     24.31  --
2010.46/504.14	c  N dy  7749   2081527        80      7120         0     98423     49840   1724920     22.95     24.18  --
2044.40/512.63	c  N dy  7864   2104453        80      7120         0     62038     49840    746734     22.95     24.23  --
2073.48/519.97	c  N dy  7962   2133069        80      7120         0     88082     49840   1440560     22.95     24.38  --
2104.19/527.63	c  N dy  8028   2153077        80      7120         0    106364     49840   1933045     22.95     25.36  --
2132.15/534.65	c  N dy  8127   2173149        80      7120         0     66378     49840    852817     22.96     24.47  --
2158.05/541.14	c  N dy  8217   2198750        80      7120         0     89824     49840   1483860     22.96     24.20  --
2171.98/544.64	c  S st  8248   2210779        80      7120         0    100787     49840   1781636     22.96   no data  --
2173.17/544.92	c  S st  8248   2211281        80      7120         0    101250     49840   1794596     22.96   no data  --
2173.17/544.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2173.17/544.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2173.17/544.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
2173.58/545.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2173.58/545.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2173.58/545.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2173.58/545.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2565.23/643.24	c lits-rem:      5648  cl-subs:     8651  v-elim:      0  v-fix:    0  time: 391.51 s
2565.23/643.24	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2565.23/643.26	c vivif2 --  cl tried    92599 cl shrink        0 lits rem          0 time: 0.08
2566.82/643.61	c asymm  cl-useful: 0/635/7120 lits-rem:0 time: 1.39
2566.82/643.62	c calculated reachability. Time: 0.00
2566.82/643.62	c  N dy  8248   2211281        80      7120         0     92599     49840   1550113     22.96   no data  --
2601.15/652.29	c  N dy  8255   2243954        80      7120         0     63271     49840    756711     22.93     24.17  --
2619.47/656.83	c  N dy  8298   2264264        80      7120         0     81818     49840   1253643     22.93     24.15  --
2647.39/663.84	c  N dy  8414   2284329        80      7120         0    100275     49840   1763449     22.94     24.54  --
2688.47/674.10	c  N dy  8491   2313774        80      7120         0     67096     49840    838680     22.94     24.22  --
2709.61/679.40	c  N dy  8573   2334151        80      7120         0     85737     49840   1340606     22.94     24.18  --
2739.13/686.84	c  N dy  8671   2356376        80      7120         0    105994     49840   1887160     22.95     24.16  --
2773.02/695.31	c  N dy  8785   2376694        80      7120         0     63504     49840    728410     22.96     24.18  --
2792.56/700.24	c  N dy  8857   2396866        80      7120         0     81939     49840   1226104     22.96     24.22  --
2829.28/709.44	c  N dy  8993   2422446        80      7120         0    105457     49840   1866452     22.97     24.21  --
2877.54/721.58	c  N dy  9123   2443633        80      7120         0     62728     49840    688010     22.98     24.20  --
2902.24/727.76	c  N dy  9237   2463749        80      7120         0     81135     49840   1191501     22.99     24.49  --
2928.97/734.45	c  N dy  9349   2484320        80      7120         0    100043     49840   1709202     22.99     24.52  --
2960.48/742.35	c  N dy  9423   2504762        80      7120         0    118718     49840   2213214     23.00     24.32  --
2987.21/749.07	c  N dy  9495   2524780        80      7120         0     73770     49840    965783     23.00     26.31  --
3009.15/754.53	c  N dy  9565   2544816        80      7120         0     92071     49840   1463028     23.00     24.21  --
3038.65/761.95	c  N dy  9632   2566800        80      7120         0    112023     49840   2000551     23.00     24.34  --
3073.34/770.69	c  N dy  9692   2591651        80      7120         0     70794     49840    874635     23.00     24.21  --
3104.05/778.30	c  N dy  9813   2617104        80      7120         0     94033     49840   1506300     23.00     24.24  --
3137.15/786.66	c  N dy  9917   2637309        80      7120         0    112497     49840   2010535     23.01     24.32  --
3175.45/796.26	c  N dy 10027   2657695        80      7120         0     66337     49840    743489     23.02     24.26  --
3196.98/801.64	c  N dy 10110   2678055        80      7120         0     84881     49840   1243763     23.02     24.26  --
3238.06/811.99	c  N dy 10189   2711281        80      7120         0    115141     49840   2058001     23.02     21.88  --
3238.06/811.99	c  S st 10189   2711281        80      7120         0    115141     49840   2058001     23.02     21.88  --
3239.66/812.35	c  S st 10189   2711785        80      7120         0    115604     49840   2070979     23.02   no data  --
3239.66/812.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3239.66/812.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3240.06/812.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3240.06/812.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3240.06/812.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3240.06/812.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3240.06/812.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3852.64/966.05	c lits-rem:      7563  cl-subs:    11519  v-elim:      0  v-fix:    0  time: 612.25 s
3852.64/966.05	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3852.64/966.08	c vivif2 --  cl tried   104085 cl shrink        0 lits rem          0 time: 0.10
3854.64/966.56	c asymm  cl-useful: 0/550/7120 lits-rem:0 time: 1.95
3854.64/966.57	c calculated reachability. Time: 0.00
3854.64/966.57	c  N dy 10189   2711785        80      7120         0    104085     49840   1750543     23.02   no data  --
3900.16/977.98	c  N dy 10252   2733377        80      7120         0    123758     49840   2277557     23.02     24.29  --
3937.20/987.24	c  N dy 10365   2754164        80      7120         0     77643     49840   1044316     23.02     24.46  --
3979.46/997.82	c  N dy 10461   2781108        80      7120         0    102209     49840   1705775     23.02     24.30  --
4022.57/1008.69	c  N dy 10553   2801178        80      7120         0    120551     49840   2204152     23.03     24.33  --
4069.20/1020.38	c  N dy 10634   2821389        80      7120         0     72603     49840    882403     23.03     24.28  --
4100.71/1028.28	c  N dy 10700   2841424        80      7120         0     90860     49840   1375191     23.03     24.32  --
4146.17/1039.69	c  N dy 10798   2863955        80      7120         0    111457     49840   1937767     23.03     24.34  --
4198.46/1052.77	c  N dy 10906   2884294        80      7120         0    130095     49840   2449240     23.04     24.27  --
4239.48/1063.02	c  N dy 11010   2905325        80      7120         0     81871     49840   1116425     23.05     24.30  --
4280.96/1073.45	c  N dy 11122   2926942        80      7120         0    101660     49840   1655579     23.05     24.47  --
4326.02/1084.79	c  N dy 11179   2948475        80      7120         0    121256     49840   2180169     23.05     24.35  --
4374.67/1096.92	c  N dy 11256   2969631        80      7120         0     72167     49840    837880     23.05     24.30  --
4408.18/1105.33	c  N dy 11364   2989664        80      7120         0     90491     49840   1339672     23.06     24.32  --
4457.27/1117.69	c  N dy 11416   3017613        80      7120         0    115837     49840   2017737     23.06     24.29  --
4502.68/1129.04	c  N dy 11454   3037938        80      7120         0    134271     49840   2508135     23.05     24.28  --
4547.34/1140.21	c  N dy 11582   3060178        80      7120         0     85434     49840   1190617     23.06     24.30  --
4586.42/1150.09	c  N dy 11661   3082430        80      7120         0    105739     49840   1735274     23.06     24.40  --
4630.69/1161.11	c  N dy 11740   3104445        80      7120         0    125815     49840   2277593     23.06     24.35  --
4671.79/1171.44	c  N dy 11833   3124526        80      7120         0     73924     49840    857093     23.06     25.45  --
4698.55/1178.12	c  N dy 11919   3144562        80      7120         0     92250     49840   1356635     23.07     26.31  --
4731.20/1186.31	c  N dy 12069   3164653        80      7120         0    110686     49840   1867599     23.08     26.53  --
4766.70/1195.26	c  N dy 12107   3187518        80      7120         0    131476     49840   2425924     23.07     24.37  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368913-1305405909/watcher-3368913-1305405909 -o /tmp/evaluation-result-3368913-1305405909/solver-3368913-1305405909 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368913-1305405909.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: 6.87 7.85 7.95 6/357 17707
/proc/meminfo: memFree=24253288/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=134152 CPUtime=0 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 596 0 0 0 0 0 0 0 23 0 4 0 633006372 137371648 523 33554432000 4194304 4650419 140736873967472 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 33538 523 343 112 0 28503 0
[pid=17707/tid=17708] ppid=17705 vsize=216400 CPUtime=0 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 220 0 0 0 0 0 0 0 24 0 4 0 633006372 221593600 1149 33554432000 4194304 4650419 140736873967472 18446744073709551615 4370567 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=216400 CPUtime=0 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 240 0 0 0 0 0 0 0 24 0 4 0 633006372 221593600 1149 33554432000 4194304 4650419 140736873967472 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=216400 CPUtime=0 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 111 0 0 0 0 0 0 0 24 0 4 0 633006372 221593600 1149 33554432000 4194304 4650419 140736873967472 18446744073709551615 228095556078 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0618791 s]
/proc/loadavg: 6.87 7.85 7.95 6/357 17707
/proc/meminfo: memFree=24253288/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=216396 CPUtime=0.22 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 1433 0 0 0 22 0 0 0 23 0 4 0 633006372 221589504 1359 33554432000 4194304 4650419 140736873967472 18446744073709551615 4370515 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 54099 1359 366 112 0 49064 0
[pid=17707/tid=17708] ppid=17705 vsize=216396 CPUtime=0.05 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 236 0 0 0 5 0 0 0 18 0 4 0 633006372 221589504 1359 33554432000 4194304 4650419 140736873967472 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=216396 CPUtime=0.05 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 251 0 0 0 5 0 0 0 24 0 4 0 633006372 221589504 1359 33554432000 4194304 4650419 140736873967472 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=216396 CPUtime=0.05 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 287 0 0 0 5 0 0 0 24 0 4 0 633006372 221589504 1359 33554432000 4194304 4650419 140736873967472 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 216396

[startup+0.100872 s]
/proc/loadavg: 6.87 7.85 7.95 6/357 17707
/proc/meminfo: memFree=24253288/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=216528 CPUtime=0.37 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 1509 0 0 0 37 0 0 0 23 0 4 0 633006372 221724672 1435 33554432000 4194304 4650419 140736873967472 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 54132 1435 366 112 0 49097 0
[pid=17707/tid=17708] ppid=17705 vsize=216528 CPUtime=0.09 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 236 0 0 0 9 0 0 0 18 0 4 0 633006372 221724672 1435 33554432000 4194304 4650419 140736873967472 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=216528 CPUtime=0.09 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 259 0 0 0 9 0 0 0 24 0 4 0 633006372 221724672 1435 33554432000 4194304 4650419 140736873967472 18446744073709551615 4370601 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=216528 CPUtime=0.08 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 347 0 0 0 8 0 0 0 24 0 4 0 633006372 221724672 1435 33554432000 4194304 4650419 140736873967472 18446744073709551615 4333054 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 216528

[startup+0.300836 s]
/proc/loadavg: 6.87 7.85 7.95 6/357 17707
/proc/meminfo: memFree=24253288/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=220140 CPUtime=1.17 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 3878 0 0 0 116 1 0 0 18 0 4 0 633006372 225423360 3354 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 55035 3354 390 112 0 50000 0
[pid=17707/tid=17708] ppid=17705 vsize=220140 CPUtime=0.28 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 878 0 0 0 28 0 0 0 18 0 4 0 633006372 225423360 3354 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=220140 CPUtime=0.29 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 917 0 0 0 29 0 0 0 18 0 4 0 633006372 225423360 3355 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=220140 CPUtime=0.28 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 730 0 0 0 28 0 0 0 25 0 4 0 633006372 225423360 3355 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 220140

[startup+0.700762 s]
/proc/loadavg: 6.87 7.85 7.95 6/357 17707
/proc/meminfo: memFree=24253288/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=221864 CPUtime=2.77 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 6234 0 0 0 276 1 0 0 18 0 4 0 633006372 227188736 3920 33554432000 4194304 4650419 140736873967472 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 55466 3920 390 112 0 50431 0
[pid=17707/tid=17708] ppid=17705 vsize=221864 CPUtime=0.68 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 1609 0 0 0 68 0 0 0 18 0 4 0 633006372 227188736 3920 33554432000 4194304 4650419 140736873967472 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=221864 CPUtime=0.68 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 1495 0 0 0 68 0 0 0 18 0 4 0 633006372 227188736 3920 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=221864 CPUtime=0.68 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 1160 0 0 0 68 0 0 0 25 0 4 0 633006372 227188736 3920 33554432000 4194304 4650419 140736873967472 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 221864

[startup+1.50062 s]
/proc/loadavg: 6.87 7.85 7.95 11/362 17712
/proc/meminfo: memFree=24221876/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=223232 CPUtime=5.95 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 10077 0 0 0 594 1 0 0 19 0 4 0 633006372 228589568 4735 33554432000 4194304 4650419 140736873967472 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 55808 4735 391 112 0 50773 0
[pid=17707/tid=17708] ppid=17705 vsize=223232 CPUtime=1.48 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 2568 0 0 0 148 0 0 0 19 0 4 0 633006372 228589568 4735 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=223232 CPUtime=1.48 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 2448 0 0 0 148 0 0 0 19 0 4 0 633006372 228589568 4735 33554432000 4194304 4650419 140736873967472 18446744073709551615 4331298 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=223232 CPUtime=1.47 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 2132 0 0 0 147 0 0 0 25 0 4 0 633006372 228589568 4735 33554432000 4194304 4650419 140736873967472 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 223232

[startup+3.10032 s]
/proc/loadavg: 6.96 7.85 7.95 9/362 17712
/proc/meminfo: memFree=24187912/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=230144 CPUtime=12.34 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 19285 0 0 0 1231 3 0 0 24 0 4 0 633006372 235667456 11743 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 57536 11743 392 112 0 52501 0
[pid=17707/tid=17708] ppid=17705 vsize=230144 CPUtime=3.08 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 4290 0 0 0 308 0 0 0 24 0 4 0 633006372 235667456 11743 33554432000 4194304 4650419 140736873967472 18446744073709551615 4370723 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=230144 CPUtime=3.09 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 5249 0 0 0 308 1 0 0 24 0 4 0 633006372 235667456 11743 33554432000 4194304 4650419 140736873967472 18446744073709551615 4419584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=230144 CPUtime=3.06 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 5152 0 0 0 305 1 0 0 25 0 4 0 633006372 235667456 11743 33554432000 4194304 4650419 140736873967472 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 230144

[startup+6.30073 s]
/proc/loadavg: 6.96 7.85 7.95 9/362 17712
/proc/meminfo: memFree=24144624/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=230120 CPUtime=25.1 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 27789 0 0 0 2505 5 0 0 25 0 4 0 633006372 235642880 14046 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 57530 14046 392 112 0 52495 0
[pid=17707/tid=17708] ppid=17705 vsize=230120 CPUtime=6.29 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 7352 0 0 0 628 1 0 0 25 0 4 0 633006372 235642880 14046 33554432000 4194304 4650419 140736873967472 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=230120 CPUtime=6.28 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 7189 0 0 0 627 1 0 0 25 0 4 0 633006372 235642880 14046 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=230120 CPUtime=6.22 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 7169 0 0 0 621 1 0 0 25 0 4 0 633006372 235642880 14046 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 230120

[startup+12.7005 s]
/proc/loadavg: 7.12 7.85 7.95 9/362 17712
/proc/meminfo: memFree=24099204/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=231084 CPUtime=50.62 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 41114 0 0 0 5053 9 0 0 25 0 4 0 633006372 236630016 20766 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 57771 20766 392 112 0 52736 0
[pid=17707/tid=17708] ppid=17705 vsize=231084 CPUtime=12.68 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 10560 0 0 0 1267 1 0 0 25 0 4 0 633006372 236630016 20766 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=231084 CPUtime=12.68 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 10635 0 0 0 1265 3 0 0 25 0 4 0 633006372 236630016 20766 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=231084 CPUtime=12.54 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 10502 0 0 0 1252 2 0 0 25 0 4 0 633006372 236630016 20766 33554432000 4194304 4650419 140736873967472 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 231084

[startup+25.5012 s]
/proc/loadavg: 7.26 7.86 7.95 9/362 17712
/proc/meminfo: memFree=24052048/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=252924 CPUtime=101.67 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 62764 0 0 0 10152 15 0 0 25 0 4 0 633006372 258994176 26338 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 63231 26338 392 112 0 58196 0
[pid=17707/tid=17708] ppid=17705 vsize=252924 CPUtime=25.49 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 15788 0 0 0 2546 3 0 0 25 0 4 0 633006372 258994176 26338 33554432000 4194304 4650419 140736873967472 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=252924 CPUtime=25.48 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 16929 0 0 0 2544 4 0 0 25 0 4 0 633006372 258994176 26338 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=252924 CPUtime=25.19 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 16486 0 0 0 2515 4 0 0 25 0 4 0 633006372 258994176 26338 33554432000 4194304 4650419 140736873967472 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 252924

[startup+51.1004 s]
/proc/loadavg: 7.57 7.88 7.95 9/362 17713
/proc/meminfo: memFree=24000164/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=278780 CPUtime=203.78 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 88630 0 0 0 20354 24 0 0 25 0 4 0 633006372 285470720 34922 33554432000 4194304 4650419 140736873967472 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 69695 34922 392 112 0 64660 0
[pid=17707/tid=17708] ppid=17705 vsize=278780 CPUtime=51.08 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 24377 0 0 0 5103 5 0 0 25 0 4 0 633006372 285470720 34922 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=278780 CPUtime=51.08 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 22410 0 0 0 5102 6 0 0 25 0 4 0 633006372 285470720 34922 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=278780 CPUtime=50.49 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 24318 0 0 0 5042 7 0 0 25 0 4 0 633006372 285470720 34922 33554432000 4194304 4650419 140736873967472 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 278780

[startup+102.314 s]
/proc/loadavg: 7.83 7.90 7.95 9/362 17715
/proc/meminfo: memFree=23957108/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=326044 CPUtime=408.03 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 136307 0 0 0 40763 40 0 0 25 0 4 0 633006372 333869056 34709 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 81511 34709 392 112 0 76476 0
[pid=17707/tid=17708] ppid=17705 vsize=326044 CPUtime=102.3 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 38191 0 0 0 10221 9 0 0 25 0 4 0 633006372 333869056 34709 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=326044 CPUtime=102.3 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 36740 0 0 0 10219 11 0 0 25 0 4 0 633006372 333869056 34709 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=326044 CPUtime=101.09 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 39274 0 0 0 10098 11 0 0 25 0 4 0 633006372 333869056 34709 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.03
Current children cumulated vsize (KiB) 326044

[startup+162.301 s]

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

[pid=17707] ppid=17705 vsize=451304 CPUtime=2561.66 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 422729 0 0 0 255986 180 0 0 25 0 4 0 633006372 462135296 71476 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 112826 71476 392 112 0 107791 0
[pid=17707/tid=17708] ppid=17705 vsize=451304 CPUtime=642.31 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 116539 0 0 0 64182 49 0 0 25 0 4 0 633006372 462135296 71477 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=451304 CPUtime=642.32 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 122361 0 0 0 64181 51 0 0 25 0 4 0 633006372 462135296 71477 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=451304 CPUtime=634.71 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 118259 0 0 0 63418 53 0 0 25 0 4 0 633006372 462135296 71477 33554432000 4194304 4650419 140736873967472 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.66
Current children cumulated vsize (KiB) 451304

[startup+702.301 s]
/proc/loadavg: 8.08 8.04 8.00 9/362 17731
/proc/meminfo: memFree=23683200/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=452228 CPUtime=2800.94 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 444530 0 0 0 279900 194 0 0 25 0 4 0 633006372 463081472 72755 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 113057 72755 392 112 0 108022 0
[pid=17707/tid=17708] ppid=17705 vsize=452228 CPUtime=702.3 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 122912 0 0 0 70177 53 0 0 25 0 4 0 633006372 463081472 72755 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=452228 CPUtime=702.3 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 130390 0 0 0 70176 54 0 0 25 0 4 0 633006372 463081472 72755 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=452228 CPUtime=694 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 124855 0 0 0 69342 58 0 0 25 0 4 0 633006372 463081472 72755 33554432000 4194304 4650419 140736873967472 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.94
Current children cumulated vsize (KiB) 452228

[startup+762.314 s]
/proc/loadavg: 8.05 8.05 8.00 9/362 17732
/proc/meminfo: memFree=23652792/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=460772 CPUtime=3040.29 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 467621 0 0 0 303823 206 0 0 25 0 4 0 633006372 471830528 74407 33554432000 4194304 4650419 140736873967472 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 115193 74407 392 112 0 110158 0
[pid=17707/tid=17708] ppid=17705 vsize=460772 CPUtime=762.32 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 129395 0 0 0 76175 57 0 0 25 0 4 0 633006372 471830528 74407 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=460772 CPUtime=762.32 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 137403 0 0 0 76174 58 0 0 25 0 4 0 633006372 471830528 74407 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=460772 CPUtime=753.31 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 132311 0 0 0 75269 62 0 0 25 0 4 0 633006372 471830528 74407 33554432000 4194304 4650419 140736873967472 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.29
Current children cumulated vsize (KiB) 460772

[startup+822.301 s]
/proc/loadavg: 8.15 8.07 8.01 9/362 17734
/proc/meminfo: memFree=23639876/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=461616 CPUtime=3279.54 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 488562 0 0 0 327739 215 0 0 25 0 4 0 633006372 472694784 74698 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 115404 74698 392 112 0 110369 0
[pid=17707/tid=17708] ppid=17705 vsize=461616 CPUtime=822.31 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 136640 0 0 0 82171 60 0 0 25 0 4 0 633006372 472694784 74698 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=461616 CPUtime=822.31 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 144193 0 0 0 82170 61 0 0 25 0 4 0 633006372 472694784 74698 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=461616 CPUtime=812.59 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 139159 0 0 0 81194 65 0 0 25 0 4 0 633006372 472694784 74698 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.54
Current children cumulated vsize (KiB) 461616

[startup+882.301 s]
/proc/loadavg: 8.15 8.08 8.01 9/362 17735
/proc/meminfo: memFree=23613572/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=461952 CPUtime=3518.84 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 507428 0 0 0 351657 227 0 0 25 0 4 0 633006372 473038848 74794 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 115488 74794 392 112 0 110453 0
[pid=17707/tid=17708] ppid=17705 vsize=461952 CPUtime=882.31 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 143205 0 0 0 88168 63 0 0 25 0 4 0 633006372 473038848 74794 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=461952 CPUtime=882.31 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 150311 0 0 0 88166 65 0 0 25 0 4 0 633006372 473038848 74794 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=461952 CPUtime=871.88 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 145342 0 0 0 87119 69 0 0 25 0 4 0 633006372 473038848 74794 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.84
Current children cumulated vsize (KiB) 461952

[startup+942.301 s]
/proc/loadavg: 8.10 8.08 8.01 9/362 17737
/proc/meminfo: memFree=23570156/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=527676 CPUtime=3758.13 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 528707 0 0 0 375576 237 0 0 25 0 4 0 633006372 540340224 86667 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 131919 86667 392 112 0 126884 0
[pid=17707/tid=17708] ppid=17705 vsize=527676 CPUtime=942.31 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 150955 0 0 0 94165 66 0 0 25 0 4 0 633006372 540340224 86667 33554432000 4194304 4650419 140736873967472 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=527676 CPUtime=942.31 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 154781 0 0 0 94162 69 0 0 25 0 4 0 633006372 540340224 86667 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=527676 CPUtime=931.17 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 154401 0 0 0 93044 73 0 0 25 0 4 0 633006372 540340224 86667 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.13
Current children cumulated vsize (KiB) 527676

[startup+1002.3 s]
/proc/loadavg: 8.10 8.08 8.01 9/362 17748
/proc/meminfo: memFree=23571724/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=527792 CPUtime=3997.41 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 536204 0 0 0 399500 241 0 0 25 0 4 0 633006372 540459008 86549 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 131948 86549 392 112 0 126913 0
[pid=17707/tid=17708] ppid=17705 vsize=527792 CPUtime=1002.31 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 151688 0 0 0 100165 66 0 0 25 0 4 0 633006372 540459008 86549 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=527792 CPUtime=1002.31 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 160226 0 0 0 100158 73 0 0 25 0 4 0 633006372 540459008 86549 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=527792 CPUtime=990.46 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 155233 0 0 0 98973 73 0 0 25 0 4 0 633006372 540459008 86549 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.41
Current children cumulated vsize (KiB) 527792

[startup+1062.3 s]
/proc/loadavg: 8.08 8.08 8.01 9/362 17749
/proc/meminfo: memFree=23573316/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=536872 CPUtime=4236.7 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 541210 0 0 0 423427 243 0 0 25 0 4 0 633006372 549756928 87665 33554432000 4194304 4650419 140736873967472 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 134218 87665 392 112 0 129183 0
[pid=17707/tid=17708] ppid=17705 vsize=536872 CPUtime=1062.3 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 152693 0 0 0 106164 66 0 0 25 0 4 0 633006372 549756928 87665 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=536872 CPUtime=1062.31 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 163098 0 0 0 106158 73 0 0 25 0 4 0 633006372 549756928 87665 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=536872 CPUtime=1049.74 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 155969 0 0 0 104901 73 0 0 25 0 4 0 633006372 549756928 87665 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.7
Current children cumulated vsize (KiB) 536872

[startup+1122.3 s]
/proc/loadavg: 8.02 8.06 8.01 9/362 17751
/proc/meminfo: memFree=23547020/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=536872 CPUtime=4475.96 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 550916 0 0 0 447349 247 0 0 25 0 4 0 633006372 549756928 89057 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 134218 89057 392 112 0 129183 0
[pid=17707/tid=17708] ppid=17705 vsize=536872 CPUtime=1122.3 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 153828 0 0 0 112164 66 0 0 25 0 4 0 633006372 549756928 89057 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=536872 CPUtime=1122.31 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 168578 0 0 0 112157 74 0 0 25 0 4 0 633006372 549756928 89057 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=536872 CPUtime=1108.99 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 157388 0 0 0 110826 73 0 0 25 0 4 0 633006372 549756928 89057 33554432000 4194304 4650419 140736873967472 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.96
Current children cumulated vsize (KiB) 536872

[startup+1182.3 s]
/proc/loadavg: 8.10 8.08 8.01 9/362 17752
/proc/meminfo: memFree=23544260/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=592172 CPUtime=4715.25 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 557827 0 0 0 471273 252 0 0 25 0 4 0 633006372 606384128 90404 33554432000 4194304 4650419 140736873967472 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 148043 90404 392 112 0 143008 0
[pid=17707/tid=17708] ppid=17705 vsize=592172 CPUtime=1182.31 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 157489 0 0 0 118162 69 0 0 25 0 4 0 633006372 606384128 90404 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=592172 CPUtime=1182.32 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 171444 0 0 0 118155 77 0 0 25 0 4 0 633006372 606384128 90404 33554432000 4194304 4650419 140736873967472 18446744073709551615 4334234 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=592172 CPUtime=1168.28 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 157770 0 0 0 116754 74 0 0 25 0 4 0 633006372 606384128 90404 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.25
Current children cumulated vsize (KiB) 592172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.19 8.10 8.02 11/362 17753
/proc/meminfo: memFree=23535944/32951124 swapFree=65980216/67111528
[pid=17707] ppid=17705 vsize=512756 CPUtime=4800.21 cores=1,3,5,7
/proc/17707/stat : 17707 (strangenight1-m) R 17705 17707 17667 0 -1 4202496 566318 0 0 0 479765 256 0 0 25 0 4 0 633006372 525062144 88658 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17707/statm: 128189 88658 392 112 0 123154 0
[pid=17707/tid=17708] ppid=17705 vsize=512756 CPUtime=1203.63 cores=1,3,5,7
/proc/17707/task/17708/stat : 17708 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 159998 0 0 0 120293 70 0 0 25 0 4 0 633006372 525062144 88658 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17707/tid=17709] ppid=17705 vsize=512756 CPUtime=1203.63 cores=1,3,5,7
/proc/17707/task/17709/stat : 17709 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 174160 0 0 0 120285 78 0 0 25 0 4 0 633006372 525062144 88658 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365303 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17707/tid=17710] ppid=17705 vsize=512756 CPUtime=1189.31 cores=1,3,5,7
/proc/17707/task/17710/stat : 17710 (strangenight1-m) R 17705 17707 17667 0 -1 4202560 160412 0 0 0 118856 75 0 0 25 0 4 0 633006372 525062144 88658 33554432000 4194304 4650419 140736873967472 18446744073709551615 4365337 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) 512756

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.28
CPU user time (s): 4797.69
CPU system time (s): 2.58361
CPU usage (%): 398.815
Max. virtual memory (cumulated for all children) (KiB): 605504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.69
system time used= 2.58361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566318
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= 524
involuntary context switches= 32449

runsolver used 3.69144 second user time and 10.6464 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-14 22:45:09
IDJOB=3368913
IDBENCH=82922
IDSOLVER=1846
FILE ID=node142/3368913-1305405909
RUNJOBID= node142-1305405909-17686
PBS_JOBID= 13324504
Free space on /tmp= 73440 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3368913-1305405909/watcher-3368913-1305405909 -o /tmp/evaluation-result-3368913-1305405909/solver-3368913-1305405909 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368913-1305405909.cnf

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

MD5SUM BENCH= d41a69133c8513c0337b37f87fceb88b
RANDOM SEED=247050575

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24253692 kB
Buffers:        314408 kB
Cached:        3836596 kB
SwapCached:      11520 kB
Active:        6043192 kB
Inactive:      2320896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24253692 kB
SwapTotal:    67111528 kB
SwapFree:     65980216 kB
Dirty:           12516 kB
Writeback:           0 kB
AnonPages:     4210232 kB
Mapped:          19732 kB
Slab:           234376 kB
PageTables:      32236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 77059344 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= 73432 MiB
End job on node142 at 2011-05-14 23:05:15