Trace number 3394252

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 828.13 104.535

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-13-step17.cnf
MD5SUMe7acb1f64be7eb3ff1367dad08444685
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark179.191
Satisfiable
(Un)Satisfiability was proved
Number of variables25631
Number of clauses142227
Sum of the clauses size317942
Maximum clause length49
Minimum clause length1
Number of clauses of size 1224
Number of clauses of size 2125320
Number of clauses of size 313034
Number of clauses of size 42438
Number of clauses of size 5163
Number of clauses of size over 51048

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.00/0.06	c This is CryptoMiniSat 3.0.0
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c Reading file 'HOME/instance-3394252-1306093760.cnf'
0.00/0.06	c -- header says num vars:          25631
0.00/0.06	c -- header says num clauses:      142227
4.20/0.69	c -- clauses added:            0 learnts,       142227 normals,            0 xors
4.20/0.69	c -- vars added      25631
4.20/0.69	c Parsing time:  0.07 s
4.20/0.69	c  N st     0         0     25631     16683    125314         0    317706         0   no data   no data
5.01/0.70	c asymm  cl-useful: 249/16421/16421 lits-rem:261 time: 0.44
29.14/3.82	c Flit:    89 Blit:    104 bXBeca:    0 bXProp: 1680 Bins:      0 BRemL:      0 BRemN:      0 P: 92.8M T:  2.97
29.14/3.83	c Cleaning up after failed var search:     0.00 s 
29.14/3.84	c Replacing     1680 vars Replaced    32196 lits Time:     0.01 s 
29.14/3.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.14/3.85	c bin-w-bin subsume rem         3922 bins  time:  0.01 s
29.14/3.87	c subs with bin:       34  lits-rem:         0  v-fix:    0  time:  0.01 s
30.73/4.07	c Subs w/ non-existent bins:      3 l-rem:      3 v-fix:     0 done:  21184 time:  0.19 s
31.53/4.19	c Removed useless bin:    3201  fixed:     0  props:  20.01M  time:  0.12 s
33.12/4.32	c lits-rem:       737  cl-subs:     4141  v-elim:   4659  v-fix:    0  time:  0.12 s
33.97/4.51	c Finding binary XORs  T:     0.19 s  found:       0
34.86/4.57	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
34.86/4.57	c calculated reachability. Time: 0.05
34.86/4.57	c Calc default polars -  time:   0.00 s pos:    2235 undec:   10553 neg:   12843
34.86/4.57	c =========================================================================================
34.86/4.57	c types(t): F = full restart, N = normal restart
34.86/4.57	c types(t): S = simplification begin/end, E = solution found
34.86/4.57	c restart types(rt): st = static, dy = dynamic
34.86/4.57	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
34.86/4.57	c  B st     0         0     16525     10184     88707         0    225844         0   no data   no data
38.71/5.03	c  N dy    17      4099     16431     10184     88820      3903    225844    312741      9.30     10.89
42.74/5.55	c  N dy    41      8329     15904     10082     82187      5601    210382    291862      9.89     10.54
46.69/6.00	c  N dy    49     13242     15904     10082     82235      6264    210382    124984      9.07      9.64
49.88/6.49	c  N dy    71     17276     15212      9984     75101     10177    193326    335717      9.28     10.17
53.06/6.88	c  N dy    85     21355     15212      9984     75730      8715    193326    197801      9.11      9.90
57.06/7.32	c  F st   112     25002     15205      9984     75770     12269    193326    398077      9.28   no data
57.86/7.44	c  N st   114     25627     15205      9965     75712     12882    193111    443813      9.28   no data
61.85/7.92	c  N dy   118     30002     15200      9965     76132     10516    193111    260014      9.28   no data
61.85/7.92	c  S st   118     30002     15200      9965     76132     10516    193111    260014      9.28   no data
61.85/7.99	c  S st   118     30506     15158      9965     76147     10999    193111    270772      9.28   no data
62.65/8.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
87.54/11.16	c Flit:   308 Blit:     13 bXBeca:    0 bXProp:   30 Bins: 240174 BRemL:  44096 BRemN:     11 P: 57.3M T:  3.16
87.54/11.17	c Cleaning up after failed var search:     0.01 s 
87.54/11.19	c Replacing       30 vars Replaced     9897 lits Time:     0.02 s 
88.19/11.20	c blocked clauses removed:        0 vars:    767 tried:       14671 T: 0.00 s
88.19/11.22	c bin-w-bin subsume rem         1876 bins  time:  0.02 s
88.19/11.24	c subs with bin:     1019  lits-rem:      1190  v-fix:    0  time:  0.03 s
88.99/11.36	c Subs w/ non-existent bins:     14 l-rem:     60 v-fix:     0 done:  13552 time:  0.11 s
88.99/11.38	c Removed useless bin:      89  fixed:     0  props:   1.32M  time:  0.02 s
89.79/11.43	c lits-rem:       106  cl-subs:      438  v-elim:    561  v-fix:    0  time:  0.06 s
89.79/11.47	c subs with bin:      178  lits-rem:      4949  v-fix:    0  time:  0.03 s
90.59/11.50	c lits-rem:       881  cl-subs:      303  v-elim:      0  v-fix:    0  time:  0.02 s
91.39/11.65	c asymm  cl-useful: 361/8696/8696 lits-rem:618 time: 0.15
91.39/11.68	c calculated reachability. Time: 0.03
91.39/11.68	c  N dy   118     30506     12991      8696    191478      6966    165665    337332      9.28   no data
92.99/11.83	c Finding binary XORs  T:     0.15 s  found:       1
96.32/12.28	c  N dy   128     34539     12991      8696    191919     10931    165665    476163      9.06      9.55
100.16/12.71	c  N dy   138     39644     12851      8672    180010      9983    162208    431670      8.94      9.47
103.36/13.15	c Finding binary XORs  T:     0.14 s  found:       4
105.74/13.41	c  N dy   160     43677     12762      8659    218008     13945    159880    699682      8.96      9.59
108.14/13.70	c  S st   169     45759     12762      8659    246395      8153    159880    453987      8.94   no data
108.14/13.76	c  S st   169     46261     12758      8659    246398      8642    159880    464236      8.94   no data
108.14/13.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
123.31/15.64	c Flit:    15 Blit:     39 bXBeca:    0 bXProp:    6 Bins:  55072 BRemL: 119409 BRemN:     17 P: 40.7M T:  1.87
123.31/15.66	c Replacing       11 vars Replaced     1856 lits Time:     0.01 s 
123.31/15.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
123.31/15.68	c bin-w-bin subsume rem         6067 bins  time:  0.01 s
124.10/15.70	c subs with bin:      230  lits-rem:       277  v-fix:    0  time:  0.02 s
124.90/15.80	c Subs w/ non-existent bins:      3 l-rem:      1 v-fix:     0 done:  12691 time:  0.10 s
124.90/15.82	c Removed useless bin:      19  fixed:     0  props:   1.59M  time:  0.02 s
124.90/15.85	c lits-rem:        54  cl-subs:      156  v-elim:     91  v-fix:    0  time:  0.04 s
124.90/15.88	c subs with bin:       96  lits-rem:       944  v-fix:    0  time:  0.02 s
125.70/15.90	c lits-rem:       225  cl-subs:      136  v-elim:      0  v-fix:    0  time:  0.01 s
125.70/15.91	c vivif2 --  cl tried     8239 cl shrink       71 lits rem         96 time: 0.01
125.70/15.92	c vivif2 --  cl tried     7349 cl shrink     1092 lits rem       5808 time: 0.01
126.50/16.06	c asymm  cl-useful: 26/8204/8204 lits-rem:49 time: 0.14
126.50/16.09	c calculated reachability. Time: 0.02
126.50/16.09	c  N dy   169     46261     12600      8204    171117      7333    156519    285830      8.94   no data
128.10/16.23	c Finding binary XORs  T:     0.14 s  found:       0
131.43/16.62	c  N dy   183     50276     12598      8204    171136     11243    156519    424454      8.86     11.68
135.28/17.11	c  N dy   201     54739     12588      8204    265915     15626    156519    763709      8.89      9.37
137.68/17.45	c Finding binary XORs  T:     0.14 s  found:       5
140.21/17.78	c  N dy   219     58747     12320      8155    223672     10776    149371    477633      8.87      9.34
144.05/18.25	c  N dy   233     62786     12313      8155    223675     14746    149371    622663      8.82      9.50
147.25/18.71	c  N dy   254     66848     12311      8155    223722     18714    149371    761583      8.85      9.39
149.65/18.98	c  S st   265     69391     12311      8155    223723     10980    149371    444954      8.84      7.46
150.44/19.04	c  S st   265     69893     12311      8155    223724     11475    149371    456358      8.84   no data
150.44/19.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
164.81/20.90	c Flit:     5 Blit:      3 bXBeca:    0 bXProp:    3 Bins:  38456 BRemL:  91519 BRemN:      5 P: 37.6M T:  1.85
165.65/20.92	c Replacing        8 vars Replaced     1390 lits Time:     0.02 s 
165.65/20.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
165.65/20.94	c bin-w-bin subsume rem         1334 bins  time:  0.01 s
165.65/20.96	c subs with bin:       21  lits-rem:         5  v-fix:    0  time:  0.02 s
166.54/21.04	c Subs w/ non-existent bins:      2 l-rem:      3 v-fix:     0 done:  12295 time:  0.08 s
166.54/21.06	c Removed useless bin:      15  fixed:     0  props:   1.74M  time:  0.02 s
166.54/21.10	c lits-rem:        31  cl-subs:       87  v-elim:     83  v-fix:    0  time:  0.04 s
167.19/21.15	c subs with bin:      155  lits-rem:      1860  v-fix:    0  time:  0.04 s
167.19/21.18	c lits-rem:       469  cl-subs:      238  v-elim:      0  v-fix:    0  time:  0.03 s
167.19/21.18	c vivif2 --  cl tried     8079 cl shrink       83 lits rem         90 time: 0.01
167.99/21.20	c vivif2 --  cl tried    10899 cl shrink     1249 lits rem      12873 time: 0.02
168.79/21.35	c asymm  cl-useful: 91/8028/8028 lits-rem:121 time: 0.15
168.79/21.38	c calculated reachability. Time: 0.02
168.79/21.38	c  N dy   265     69893     12212      8016    161515     10896    147951    312215      8.84   no data
170.39/21.52	c Finding binary XORs  T:     0.13 s  found:       0
174.42/22.06	c  N dy   301     74413     12211      8016    187827     15334    147951    525375      8.89     10.68
175.97/22.23	c Finding binary XORs  T:     0.13 s  found:       0
179.97/22.74	c  N dy   314     79169     12185      8016    192817     19945    147401    687616      8.86      9.51
184.75/23.37	c  N dy   344     84242     12182      8016    197483     13545    147401    454130      8.87      9.56
187.15/23.69	c  F st   359     87500     12169      8016    197484     16745    147401    557024      8.87      8.27
191.16/24.12	c  N st   364     90800     12167      8008    194277     19928    146911    653763      8.87   no data
194.34/24.51	c Finding binary XORs  T:     0.13 s  found:       2
198.34/25.03	c  N dy   389     96638     12154      8008    193315     13122    146783    387679      8.89      9.39
203.92/25.75	c  N dy   433    102819     12153      8008    193329     19192    146783    590843      8.95      9.49
206.31/26.01	c  S st   441    104839     12151      8008    193332     21171    146783    654710      8.93   no data
206.31/26.09	c  S st   441    105342     12151      8008    193334     21661    146783    663810      8.93   no data
207.11/26.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
221.47/27.97	c Flit:    45 Blit:      0 bXBeca:    0 bXProp:    4 Bins:  21133 BRemL:  47870 BRemN:      9 P: 37.9M T:  1.87
221.47/27.99	c Replacing        6 vars Replaced     2653 lits Time:     0.01 s 
222.27/28.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
222.27/28.01	c bin-w-bin subsume rem         5789 bins  time:  0.01 s
222.27/28.03	c subs with bin:       19  lits-rem:         0  v-fix:    0  time:  0.02 s
223.07/28.11	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:  11980 time:  0.08 s
223.07/28.12	c Removed useless bin:       0  fixed:     0  props:   1.54M  time:  0.02 s
223.07/28.15	c lits-rem:         1  cl-subs:       55  v-elim:     30  v-fix:    0  time:  0.03 s
223.87/28.27	c subs with bin:       75  lits-rem:      1410  v-fix:    0  time:  0.10 s
224.67/28.37	c lits-rem:      1568  cl-subs:      481  v-elim:      0  v-fix:    0  time:  0.10 s
224.67/28.37	c vivif2 --  cl tried     7916 cl shrink       39 lits rem         41 time: 0.00
225.47/28.42	c vivif2 --  cl tried    16994 cl shrink     3625 lits rem      52166 time: 0.04
226.27/28.59	c asymm  cl-useful: 36/7891/7891 lits-rem:53 time: 0.18
227.10/28.62	c calculated reachability. Time: 0.02
227.10/28.62	c  N dy   441    105342     11950      7885    143161     16994    141688    391890      8.93   no data
228.02/28.75	c Finding binary XORs  T:     0.13 s  found:       0
235.06/29.64	c  N dy   478    112318     11813      7877    129270     12264    138427    263098      8.92      9.40
241.44/30.45	c  N dy   516    119727     11809      7877    131507     19554    138427    514727      8.93      9.76
243.84/30.79	c Finding binary XORs  T:     0.13 s  found:       4
251.02/31.62	c  N dy   549    128113     11806      7877    130207     14117    138239    279505      8.91      9.41
258.99/32.66	c Finding binary XORs  T:     0.13 s  found:       3
258.99/32.70	c  N dy   605    136522     11750      7858    136879     22342    136842    573543      8.95      9.61
268.58/33.85	c  N dy   653    145660     11746      7858    136905     16173    136842    318515      8.95      9.54
277.37/34.90	c  N dy   696    155152     11738      7858    136928     25484    136842    648972      8.95      9.51
279.80/35.26	c  S st   714    158013     11738      7858    136929     28311    136842    749644      8.96   no data
280.70/35.35	c  S st   714    158517     11738      7858    136942     28810    136842    760139      8.96   no data
280.70/35.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
294.93/37.18	c Flit:     2 Blit:      5 bXBeca:    0 bXProp:    6 Bins:  29528 BRemL:  24880 BRemN:      4 P: 35.2M T:  1.82
295.73/37.21	c Replacing       13 vars Replaced     7538 lits Time:     0.03 s 
295.73/37.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
295.73/37.23	c bin-w-bin subsume rem          674 bins  time:  0.01 s
295.73/37.24	c subs with bin:       10  lits-rem:         2  v-fix:    0  time:  0.02 s
296.52/37.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11691 time:  0.07 s
296.52/37.33	c Removed useless bin:       5  fixed:     0  props:   1.51M  time:  0.02 s
296.52/37.37	c lits-rem:         1  cl-subs:       38  v-elim:     59  v-fix:    0  time:  0.03 s
298.26/37.56	c subs with bin:       78  lits-rem:      6429  v-fix:    0  time:  0.17 s
299.70/37.79	c lits-rem:      2556  cl-subs:      599  v-elim:      0  v-fix:    0  time:  0.23 s
299.70/37.79	c vivif2 --  cl tried     7775 cl shrink       28 lits rem         29 time: 0.01
300.50/37.86	c vivif2 --  cl tried    25636 cl shrink     6769 lits rem     113921 time: 0.06
302.10/38.05	c asymm  cl-useful: 14/7757/7757 lits-rem:16 time: 0.19
302.10/38.07	c calculated reachability. Time: 0.02
302.10/38.07	c  N dy   714    158517     11632      7756    129946     25631    135428    498744      8.96   no data
303.71/38.20	c Finding binary XORs  T:     0.13 s  found:       0
314.09/39.56	c  N dy   754    168935     11574      7756    136874     20660    135428    477099      8.92      9.51
318.88/40.18	c Finding binary XORs  T:     0.13 s  found:       4
326.85/41.19	c  N dy   824    179785     11566      7753    138093     31015    133903    833454      8.95      9.58
338.03/42.56	c  N dy   864    191307     11562      7753    138120     25557    133903    513806      8.92      9.46
351.60/44.20	c  N dy   924    203821     11561      7753    142908     19645    133903    357200      8.93      9.48
353.19/44.44	c Finding binary XORs  T:     0.13 s  found:       3
364.38/45.88	c Finding binary XORs  T:     0.13 s  found:       2
366.78/46.12	c  N dy   977    216902     11538      7732    149468     32193    133121    718036      8.92      9.72
380.34/47.86	c  N dy  1049    230781     11534      7732    149499     26562    133121    538106      8.94      9.43
388.32/48.82	c  S st  1102    237775     11528      7732    152240     33381    133121    739994      8.98      7.89
389.12/48.92	c  S st  1102    238283     11528      7732    152241     33882    133121    753051      8.98   no data
389.12/48.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
402.74/50.71	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    9 Bins:  23401 BRemL:  56244 BRemN:      3 P: 37.1M T:  1.78
403.63/50.74	c Replacing       18 vars Replaced    12185 lits Time:     0.03 s 
403.63/50.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
403.63/50.76	c bin-w-bin subsume rem         1573 bins  time:  0.01 s
403.63/50.77	c subs with bin:        5  lits-rem:         0  v-fix:    0  time:  0.01 s
404.28/50.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11506 time:  0.07 s
404.28/50.86	c Removed useless bin:       5  fixed:     0  props:   1.58M  time:  0.02 s
404.28/50.89	c lits-rem:         2  cl-subs:       54  v-elim:     69  v-fix:    0  time:  0.03 s
405.88/51.00	c subs with bin:      236  lits-rem:      4277  v-fix:    0  time:  0.09 s
407.48/51.23	c lits-rem:      3617  cl-subs:     1022  v-elim:      0  v-fix:    0  time:  0.22 s
407.48/51.23	c vivif2 --  cl tried     7644 cl shrink       41 lits rem         41 time: 0.01
407.48/51.30	c vivif2 --  cl tried    26033 cl shrink     6859 lits rem      68392 time: 0.06
409.08/51.48	c asymm  cl-useful: 20/7619/7619 lits-rem:37 time: 0.19
409.88/51.50	c calculated reachability. Time: 0.01
409.88/51.50	c  N dy  1102    238283     11437      7611    112324     26023    132373    430520      8.98   no data
410.68/51.63	c Finding binary XORs  T:     0.13 s  found:       0
429.08/53.92	c  N dy  1135    255597     11414      7611    128777     25924    132373    562466      8.90      9.42
429.98/54.06	c Finding binary XORs  T:     0.13 s  found:       2
448.19/56.40	c  N dy  1190    271952     11393      7604    125228     22093    131650    371393      8.87      9.35
468.15/58.88	c  N dy  1250    289995     11386      7604    125264     39689    131650    844208      8.84      9.39
475.33/59.73	c Finding binary XORs  T:     0.13 s  found:       5
487.31/61.22	c  F st  1304    306252     11373      7574    122599     33517    130975    651058      8.82      7.71
487.31/61.24	c Replacing        7 vars Replaced     2765 lits Time:     0.01 s 
490.55/61.69	c  N st  1309    309552     11366      7572    122247     36654    130917    730947      8.82   no data
513.66/64.56	c  N dy  1396    329715     11363      7572    122311     33612    130917    604431      8.81      9.31
537.59/67.53	c  N dy  1503    349797     11360      7572    122351     29194    130917    481009      8.82      9.31
545.57/68.51	c  S st  1523    357424     11356      7572    122359     36605    130917    652726      8.81      8.87
546.37/68.61	c  S st  1523    357926     11356      7572    122360     37097    130917    663732      8.81   no data
546.37/68.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
559.96/70.36	c Flit:     7 Blit:      1 bXBeca:    0 bXProp:   10 Bins:  23234 BRemL:  46586 BRemN:      5 P: 51.7M T:  1.74
559.96/70.38	c Replacing       10 vars Replaced     4400 lits Time:     0.02 s 
559.96/70.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
559.96/70.39	c bin-w-bin subsume rem          781 bins  time:  0.01 s
559.96/70.41	c subs with bin:        8  lits-rem:         0  v-fix:    0  time:  0.01 s
560.79/70.47	c Subs w/ non-existent bins:      1 l-rem:      5 v-fix:     0 done:  11307 time:  0.07 s
560.79/70.49	c Removed useless bin:       1  fixed:     0  props:   1.91M  time:  0.02 s
561.68/70.52	c lits-rem:         4  cl-subs:       52  v-elim:     54  v-fix:    0  time:  0.03 s
562.33/70.62	c subs with bin:      199  lits-rem:      2496  v-fix:    0  time:  0.08 s
563.93/70.86	c lits-rem:      3506  cl-subs:     1375  v-elim:      0  v-fix:    0  time:  0.25 s
563.93/70.87	c vivif2 --  cl tried     7527 cl shrink       58 lits rem         60 time: 0.00
564.73/70.94	c vivif2 --  cl tried    31566 cl shrink     6571 lits rem      60396 time: 0.08
566.33/71.15	c asymm  cl-useful: 18/7485/7485 lits-rem:24 time: 0.20
566.33/71.17	c calculated reachability. Time: 0.01
566.33/71.17	c  N dy  1523    357926     11253      7482     95361     31563    129291    427153      8.81   no data
567.13/71.29	c Finding binary XORs  T:     0.13 s  found:       0
577.51/72.56	c Finding binary XORs  T:     0.13 s  found:       4
580.69/72.97	c Finding binary XORs  T:     0.13 s  found:       3
589.48/74.00	c Finding binary XORs  T:     0.13 s  found:       0
594.27/74.60	c  N dy  1608    378339     11130      7469    120872     28108    126262    443057      8.79      9.30
618.22/77.60	c  N dy  1705    398378     11112      7469    123262     47595    126262    920130      8.79      9.29
624.60/78.42	c Finding binary XORs  T:     0.13 s  found:       4
641.37/80.53	c  N dy  1795    418431     11106      7460    117631     41789    125736    709112      8.78      9.27
666.16/83.69	c  N dy  1898    438515     11102      7460    117670     34693    125736    527448      8.79     12.65
693.39/87.02	c  N dy  2005    459006     11097      7460    117693     54588    125736    990006      8.80      9.45
717.21/90.00	c  N dy  2121    479008     11071      7460    117711     46070    125736    766307      8.82     11.33
744.35/93.40	c  N dy  2193    499012     11069      7460    117760     36389    125736    515860      8.80     11.81
774.67/97.27	c  N dy  2274    519727     11067      7460    117793     56139    125736    899711      8.78      9.28
797.88/100.15	c  S st  2350    536890     11002      7460    117825     42842    125736    612500      8.77      8.80
798.78/100.25	c  S st  2350    537392     11002      7460    117826     43342    125736    621900      8.77   no data
798.78/100.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
812.21/101.94	c Flit:   167 Blit:     93 bXBeca:    0 bXProp:   41 Bins:  60804 BRemL:  50350 BRemN:      5 P: 42.3M T:  1.68
812.21/101.95	c Cleaning up after failed var search:     0.01 s 
812.21/101.98	c Replacing       52 vars Replaced    14852 lits Time:     0.03 s 
812.21/101.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
812.21/101.99	c bin-w-bin subsume rem          624 bins  time:  0.01 s
813.01/102.01	c subs with bin:       15  lits-rem:         4  v-fix:    0  time:  0.01 s
813.01/102.06	c Subs w/ non-existent bins:      0 l-rem:      3 v-fix:     0 done:  10689 time:  0.05 s
813.01/102.07	c Removed useless bin:       2  fixed:     0  props:   1.41M  time:  0.02 s
813.81/102.11	c lits-rem:        15  cl-subs:      119  v-elim:    153  v-fix:    0  time:  0.03 s
813.81/102.18	c subs with bin:     1497  lits-rem:      4129  v-fix:    0  time:  0.06 s
815.45/102.32	c lits-rem:      6189  cl-subs:     2362  v-elim:      0  v-fix:    0  time:  0.14 s
815.45/102.33	c vivif2 --  cl tried     7183 cl shrink       77 lits rem         82 time: 0.00
815.45/102.37	c vivif2 --  cl tried    23670 cl shrink     6896 lits rem      19541 time: 0.05
816.99/102.59	c asymm  cl-useful: 12/7125/7125 lits-rem:14 time: 0.22
817.78/102.61	c calculated reachability. Time: 0.01
817.78/102.61	c  N dy  2350    537392     10536      7124     88596     23586    115573    270611      8.77   no data
818.58/102.74	c Finding binary XORs  T:     0.13 s  found:       1
827.92/104.46	c Following stats are for *FIRST FINISHED THREAD ONLY*
827.92/104.46	c num threads              : 8          
827.92/104.46	c restarts                 : 2272       
827.92/104.46	c dynamic restarts         : 2248       
827.92/104.46	c static restarts          : 24         
827.92/104.46	c full restarts            : 3          
827.92/104.46	c total simplify time      : 3.02       
827.92/104.46	c learnts DL2              : 0          
827.92/104.46	c learnts size 2           : 882813     
827.92/104.46	c learnts size 1           : 8308        (32.41     % of vars)
827.92/104.46	c filedLit time            : 11.53       (11.08     % time)
827.92/104.46	c v-elim SatELite          : 6443        (25.14     % vars)
827.92/104.46	c SatELite time            : 1.31        (1.26      % time)
827.92/104.46	c v-elim xor               : 0           (0.00      % vars)
827.92/104.46	c xor elim time            : 0.03        (0.03      % time)
827.92/104.46	c num binary xor trees     : 1428       
827.92/104.46	c binxor trees' crown      : 1796        (1.26      leafs/tree)
827.92/104.46	c bin xor find time        : 3.01       
827.92/104.46	c OTF clause improved      : 18207       (0.03      clauses/conflict)
827.92/104.46	c OTF impr. size diff      : 28473       (1.56       lits/clause)
827.92/104.46	c OTF cl watch-shrink      : 376756      (0.62      clauses/conflict)
827.92/104.46	c OTF cl watch-sh-lit      : 1287938     (3.42       lits/clause)
827.92/104.46	c tried to recurMin cls    : 218340      (36.14      % of conflicts)
827.92/104.46	c updated cache            : 1505        (0.01       lits/tried recurMin)
827.92/104.46	c unit cls recevied        : 968         (11.65     % of units)
827.92/104.46	c unit cls sent            : 608         (7.32      % of units)
827.92/104.46	c bin cls recevied         : 462693     
827.92/104.46	c bin cls sent             : 77317      
827.92/104.46	c clauses over max glue    : 0           (0.00      % of all clauses)
827.92/104.46	c conflicts                : 604214      (5808.29   / sec)
827.92/104.46	c decisions                : 943291      (1.51      % random)
827.92/104.46	c bogo-props               : 7415395644  (71283933.41 / sec)
827.92/104.46	c conflict literals        : 16263950    (38.55     % deleted)
827.92/104.46	c Memory used              : 2203.79     MB
827.92/104.46	c single-thread CPU time   : 104.03      s
827.92/104.46	c all-threads sum CPU time : 826.34      s
827.92/104.46	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394252-1306093760/watcher-3394252-1306093760 -o /tmp/evaluation-result-3394252-1306093760/solver-3394252-1306093760 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394252-1306093760.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.54 2.42 2.19 1/510 1994
/proc/meminfo: memFree=8878928/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=92144 CPUtime=0.01 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) R 1992 1994 1932 0 -1 4202496 419 0 0 0 1 0 0 0 22 0 8 0 720972701 94355456 360 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989008 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 23036 360 302 95 0 18018 0
[pid=1994/tid=1995] ppid=1992 vsize=92144 CPUtime=0.01 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 720972702 94355456 360 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989015 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=92144 CPUtime=0 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 720972702 94355456 360 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=92144 CPUtime=0 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 720972702 94355456 360 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989015 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=92144 CPUtime=0.01 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 720972702 94355456 360 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989017 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=92144 CPUtime=0.01 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 720972702 94355456 360 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989017 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=92144 CPUtime=0.01 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 720972702 94355456 360 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989011 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=92144 CPUtime=0.01 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 720972702 94355456 360 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989017 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.105134 s]
/proc/loadavg: 3.54 2.42 2.19 1/510 1994
/proc/meminfo: memFree=8878928/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=586364 CPUtime=0.62 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) R 1992 1994 1932 0 -1 4202496 21459 0 0 0 52 10 0 0 17 0 8 0 720972701 600436736 17792 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796910 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 146591 17802 338 95 0 141573 0
[pid=1994/tid=1995] ppid=1992 vsize=586364 CPUtime=0.08 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 2457 0 0 0 7 1 0 0 18 0 8 0 720972702 600436736 17802 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=586364 CPUtime=0.02 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 2640 0 0 0 1 1 0 0 17 0 8 0 720972702 600436736 17804 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796910 0 0 4096 2 18446604449117098112 0 0 -1 7 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=586364 CPUtime=0.07 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 2425 0 0 0 6 1 0 0 17 0 8 0 720972702 600436736 17813 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500388983 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=586364 CPUtime=0.08 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 2682 0 0 0 7 1 0 0 18 0 8 0 720972702 600436736 17828 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796910 0 0 4096 2 18446604449117098112 0 0 -1 1 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=586364 CPUtime=0.08 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 2290 0 0 0 7 1 0 0 17 0 8 0 720972702 600436736 17833 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796910 0 0 4096 2 18446604449117098112 0 0 -1 3 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=586364 CPUtime=0.08 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 2915 0 0 0 7 1 0 0 17 0 8 0 720972702 600436736 17834 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=586364 CPUtime=0.07 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 2886 0 0 0 7 0 0 0 17 0 8 0 720972702 600436736 17839 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 586364

[startup+0.20309 s]
/proc/loadavg: 3.54 2.42 2.19 1/510 1994
/proc/meminfo: memFree=8878928/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=586756 CPUtime=1.12 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) S 1992 1994 1932 0 -1 4202496 25152 0 0 0 76 36 0 0 17 0 8 0 720972701 600838144 21463 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796910 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 146689 21468 343 95 0 141671 0
[pid=1994/tid=1995] ppid=1992 vsize=586756 CPUtime=0.15 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3198 0 0 0 11 4 0 0 17 0 8 0 720972702 600838144 21471 33554432000 4194304 4580107 140734817627200 18446744073709551615 4501046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=586756 CPUtime=0.08 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 2952 0 0 0 3 5 0 0 17 0 8 0 720972702 600838144 21473 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796910 0 0 4096 2 18446604449117098112 0 0 -1 7 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=586756 CPUtime=0.14 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 2861 0 0 0 9 5 0 0 17 0 8 0 720972702 600838144 21477 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796910 0 0 4096 2 18446604449117098112 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=586756 CPUtime=0.15 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 3295 0 0 0 10 5 0 0 17 0 8 0 720972702 600838144 21489 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796910 0 0 4096 2 18446604449117098112 0 0 -1 1 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=586756 CPUtime=0.13 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 2693 0 0 0 9 4 0 0 17 0 8 0 720972702 600838144 21495 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796910 0 0 4096 2 18446604449117098112 0 0 -1 3 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=586756 CPUtime=0.14 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3269 0 0 0 9 5 0 0 17 0 8 0 720972702 600838144 21499 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=586756 CPUtime=0.13 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3275 0 0 0 11 2 0 0 17 0 8 0 720972702 600838144 21501 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 586756

[startup+0.30866 s]
/proc/loadavg: 3.54 2.42 2.19 1/510 1994
/proc/meminfo: memFree=8878928/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=588400 CPUtime=1.86 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) R 1992 1994 1932 0 -1 4202496 27723 0 0 0 140 46 0 0 17 0 8 0 720972701 602521600 24029 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293720 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 147100 24029 360 95 0 142082 0
[pid=1994/tid=1995] ppid=1992 vsize=588400 CPUtime=0.25 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3266 0 0 0 21 4 0 0 17 0 8 0 720972702 602521600 24029 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=588400 CPUtime=0.16 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3312 0 0 0 9 7 0 0 17 0 8 0 720972702 602521600 24029 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=588400 CPUtime=0.22 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3197 0 0 0 16 6 0 0 17 0 8 0 720972702 602521600 24029 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=588400 CPUtime=0.25 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3407 0 0 0 20 5 0 0 17 0 8 0 720972702 602521600 24029 33554432000 4194304 4580107 140734817627200 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=588400 CPUtime=0.22 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3082 0 0 0 17 5 0 0 17 0 8 0 720972702 602521600 24029 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=588400 CPUtime=0.22 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3643 0 0 0 16 6 0 0 17 0 8 0 720972702 602521600 24029 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=588400 CPUtime=0.22 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3745 0 0 0 18 4 0 0 17 0 8 0 720972702 602521600 24029 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 588400

[startup+0.700928 s]
/proc/loadavg: 3.54 2.42 2.19 1/510 1994
/proc/meminfo: memFree=8878928/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=588672 CPUtime=5.01 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) R 1992 1994 1932 0 -1 4202496 31689 0 0 0 453 48 0 0 18 0 8 0 720972701 602800128 27929 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294213 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 147202 27936 361 95 0 142184 0
[pid=1994/tid=1995] ppid=1992 vsize=588808 CPUtime=0.65 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 4909 0 0 0 60 5 0 0 18 0 8 0 720972702 602939392 27939 33554432000 4194304 4580107 140734817627200 18446744073709551615 4234928 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=588808 CPUtime=0.56 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3322 0 0 0 49 7 0 0 18 0 8 0 720972702 602939392 27939 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294302 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=588808 CPUtime=0.62 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3208 0 0 0 56 6 0 0 18 0 8 0 720972702 602939392 27940 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=588808 CPUtime=0.64 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 4866 0 0 0 58 6 0 0 18 0 8 0 720972702 602939392 27941 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=588808 CPUtime=0.61 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3095 0 0 0 56 5 0 0 18 0 8 0 720972702 602939392 27946 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=588808 CPUtime=0.61 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 3879 0 0 0 55 6 0 0 18 0 8 0 720972702 602939392 27948 33554432000 4194304 4580107 140734817627200 18446744073709551615 4234976 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=588808 CPUtime=0.62 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 4203 0 0 0 58 4 0 0 18 0 8 0 720972702 602939392 27952 33554432000 4194304 4580107 140734817627200 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 588672

[startup+1.50077 s]
/proc/loadavg: 3.54 2.42 2.19 9/518 2002
/proc/meminfo: memFree=8592048/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=1058736 CPUtime=11 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) R 1992 1994 1932 0 -1 4202496 138818 0 0 0 1022 78 0 0 18 0 8 0 720972701 1084145664 134562 33554432000 4194304 4580107 140734817627200 18446744073709551615 4231584 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 264684 134564 362 95 0 259666 0
[pid=1994/tid=1995] ppid=1992 vsize=1058736 CPUtime=1.39 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 21599 0 0 0 129 10 0 0 18 0 8 0 720972702 1084145664 134564 33554432000 4194304 4580107 140734817627200 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=1058736 CPUtime=1.3 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 17454 0 0 0 119 11 0 0 18 0 8 0 720972702 1084145664 134570 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=1058736 CPUtime=1.37 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 18043 0 0 0 127 10 0 0 18 0 8 0 720972702 1084145664 134570 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=1058736 CPUtime=1.39 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 21230 0 0 0 129 10 0 0 18 0 8 0 720972702 1084145664 134574 33554432000 4194304 4580107 140734817627200 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=1058736 CPUtime=1.37 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 17562 0 0 0 127 10 0 0 18 0 8 0 720972702 1084145664 134576 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=1058736 CPUtime=1.35 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 18706 0 0 0 125 10 0 0 18 0 8 0 720972702 1084145664 134576 33554432000 4194304 4580107 140734817627200 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=1058736 CPUtime=1.39 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 5111 0 0 0 135 4 0 0 19 0 8 0 720972702 1084145664 134579 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11
Current children cumulated vsize (KiB) 1058736

[startup+3.10045 s]
/proc/loadavg: 3.54 2.42 2.19 9/518 2002
/proc/meminfo: memFree=7900184/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=1758892 CPUtime=23.56 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) R 1992 1994 1932 0 -1 4202496 283228 0 0 0 2249 107 0 0 19 0 8 0 720972701 1801105408 278275 33554432000 4194304 4580107 140734817627200 18446744073709551615 4234907 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 439723 278275 362 95 0 434705 0
[pid=1994/tid=1995] ppid=1992 vsize=1758892 CPUtime=2.97 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 39878 0 0 0 283 14 0 0 19 0 8 0 720972702 1801105408 278275 33554432000 4194304 4580107 140734817627200 18446744073709551615 4292952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=1758892 CPUtime=2.88 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 39248 0 0 0 274 14 0 0 18 0 8 0 720972702 1801105408 278275 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=1758892 CPUtime=2.93 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 39172 0 0 0 277 16 0 0 18 0 8 0 720972702 1801105408 278275 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=1758892 CPUtime=2.94 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 39784 0 0 0 280 14 0 0 18 0 8 0 720972702 1801105408 278275 33554432000 4194304 4580107 140734817627200 18446744073709551615 4234818 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=1758892 CPUtime=2.94 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 39013 0 0 0 280 14 0 0 18 0 8 0 720972702 1801105408 278275 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293248 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=1758892 CPUtime=2.92 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 39746 0 0 0 278 14 0 0 18 0 8 0 720972702 1801105408 278275 33554432000 4194304 4580107 140734817627200 18446744073709551615 4234960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=1758892 CPUtime=2.97 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 6208 0 0 0 293 4 0 0 22 0 8 0 720972702 1801105408 278275 33554432000 4194304 4580107 140734817627200 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.56
Current children cumulated vsize (KiB) 1758892

[startup+6.30082 s]
/proc/loadavg: 3.89 2.51 2.22 9/518 2002
/proc/meminfo: memFree=7714840/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=1850340 CPUtime=49.08 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) R 1992 1994 1932 0 -1 4202496 309210 0 0 0 4794 114 0 0 21 0 8 0 720972701 1894748160 295058 33554432000 4194304 4580107 140734817627200 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 462585 295058 379 95 0 457567 0
[pid=1994/tid=1995] ppid=1992 vsize=1850340 CPUtime=6.17 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 43762 0 0 0 602 15 0 0 25 0 8 0 720972702 1894748160 295058 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=1850340 CPUtime=6.07 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 42401 0 0 0 593 14 0 0 25 0 8 0 720972702 1894748160 295058 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=1850340 CPUtime=6.12 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 42211 0 0 0 595 17 0 0 21 0 8 0 720972702 1894748160 295058 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=1850340 CPUtime=6.07 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 42922 0 0 0 593 14 0 0 21 0 8 0 720972702 1894748160 295058 33554432000 4194304 4580107 140734817627200 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=1850340 CPUtime=6.13 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 42195 0 0 0 598 15 0 0 21 0 8 0 720972702 1894748160 295058 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=1850340 CPUtime=6.12 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 43232 0 0 0 597 15 0 0 21 0 8 0 720972702 1894748160 295058 33554432000 4194304 4580107 140734817627200 18446744073709551615 4322584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=1850340 CPUtime=6.18 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 8851 0 0 0 613 5 0 0 22 0 8 0 720972702 1894748160 295058 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 6 0 0 0

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

[pid=1994] ppid=1992 vsize=2131956 CPUtime=202.32 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) R 1992 1994 1932 0 -1 4202496 386834 0 0 0 20100 132 0 0 25 0 8 0 720972701 2183122944 355885 33554432000 4194304 4580107 140734817627200 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 532989 355885 380 95 0 527971 0
[pid=1994/tid=1995] ppid=1992 vsize=2131956 CPUtime=25.35 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 49692 0 0 0 2519 16 0 0 25 0 8 0 720972702 2183122944 355885 33554432000 4194304 4580107 140734817627200 18446744073709551615 4230272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=2131956 CPUtime=25.27 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 50696 0 0 0 2511 16 0 0 25 0 8 0 720972702 2183122944 355885 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=2131956 CPUtime=25.32 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 50781 0 0 0 2513 19 0 0 25 0 8 0 720972702 2183122944 355886 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=2131956 CPUtime=25.11 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 54477 0 0 0 2494 17 0 0 25 0 8 0 720972702 2183122944 355886 33554432000 4194304 4580107 140734817627200 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=2131956 CPUtime=25.16 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 49554 0 0 0 2499 17 0 0 25 0 8 0 720972702 2183122944 355886 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=2131956 CPUtime=25.32 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 53249 0 0 0 2514 18 0 0 25 0 8 0 720972702 2183122944 355886 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=2131956 CPUtime=25.38 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 29660 0 0 0 2528 10 0 0 25 0 8 0 720972702 2183122944 355886 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.32
Current children cumulated vsize (KiB) 2131956

[startup+51.1009 s]
/proc/loadavg: 6.11 3.29 2.50 9/518 2004
/proc/meminfo: memFree=7373240/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=2245456 CPUtime=406.68 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) R 1992 1994 1932 0 -1 4202496 436567 0 0 0 40522 146 0 0 25 0 8 0 720972701 2299346944 376989 33554432000 4194304 4580107 140734817627200 18446744073709551615 4416469 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 561364 376989 380 95 0 556346 0
[pid=1994/tid=1995] ppid=1992 vsize=2245456 CPUtime=50.95 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 54877 0 0 0 5078 17 0 0 25 0 8 0 720972702 2299346944 376989 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=2245456 CPUtime=50.87 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 56417 0 0 0 5069 18 0 0 25 0 8 0 720972702 2299346944 376989 33554432000 4194304 4580107 140734817627200 18446744073709551615 4321622 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=2245456 CPUtime=50.93 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 59088 0 0 0 5072 21 0 0 25 0 8 0 720972702 2299346944 376989 33554432000 4194304 4580107 140734817627200 18446744073709551615 4329878 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=2245456 CPUtime=50.71 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 61928 0 0 0 5051 20 0 0 25 0 8 0 720972702 2299346944 376989 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=2245456 CPUtime=50.32 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 54399 0 0 0 5014 18 0 0 25 0 8 0 720972702 2299346944 376989 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=2245456 CPUtime=50.91 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 59397 0 0 0 5072 19 0 0 25 0 8 0 720972702 2299346944 376989 33554432000 4194304 4580107 140734817627200 18446744073709551615 4324166 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=2245456 CPUtime=50.98 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 36244 0 0 0 5086 12 0 0 25 0 8 0 720972702 2299346944 376989 33554432000 4194304 4580107 140734817627200 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 406.68
Current children cumulated vsize (KiB) 2245456

[startup+102.301 s]
/proc/loadavg: 7.22 4.03 2.79 9/518 2006
/proc/meminfo: memFree=7316748/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=2256680 CPUtime=815.45 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) R 1992 1994 1932 0 -1 4202496 509437 0 0 0 81374 171 0 0 25 0 8 0 720972701 2310840320 389802 33554432000 4194304 4580107 140734817627200 18446744073709551615 4416732 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 564170 389802 380 95 0 559152 0
[pid=1994/tid=1995] ppid=1992 vsize=2256680 CPUtime=102.16 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 60790 0 0 0 10197 19 0 0 25 0 8 0 720972702 2310840320 389819 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=2256680 CPUtime=102.09 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 68084 0 0 0 10188 21 0 0 25 0 8 0 720972702 2310840320 389819 33554432000 4194304 4580107 140734817627200 18446744073709551615 4325152 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=2256680 CPUtime=102.15 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 67883 0 0 0 10191 24 0 0 25 0 8 0 720972702 2310840320 389819 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=2256680 CPUtime=101.93 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 70572 0 0 0 10171 22 0 0 25 0 8 0 720972702 2310840320 389819 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=2256680 CPUtime=100.65 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 62668 0 0 0 10043 22 0 0 25 0 8 0 720972702 2310840320 389819 33554432000 4194304 4580107 140734817627200 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=2256680 CPUtime=102.13 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 68381 0 0 0 10191 22 0 0 25 0 8 0 720972702 2310840320 389819 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=2256680 CPUtime=102.2 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 46512 0 0 0 10204 16 0 0 25 0 8 0 720972702 2310840320 389819 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 815.45
Current children cumulated vsize (KiB) 2256680

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

[startup+102.42 s]
/proc/loadavg: 7.22 4.03 2.79 9/518 2006
/proc/meminfo: memFree=7316748/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=2256680 CPUtime=816.34 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) R 1992 1994 1932 0 -1 4202496 509592 0 0 0 81463 171 0 0 25 0 8 0 720972701 2310840320 389957 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 564170 389957 380 95 0 559152 0
[pid=1994/tid=1995] ppid=1992 vsize=2256680 CPUtime=102.26 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 60790 0 0 0 10207 19 0 0 25 0 8 0 720972702 2310840320 389957 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=2256680 CPUtime=102.19 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 68095 0 0 0 10198 21 0 0 25 0 8 0 720972702 2310840320 389957 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=2256680 CPUtime=102.25 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 67893 0 0 0 10201 24 0 0 25 0 8 0 720972702 2310840320 389957 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=2256680 CPUtime=102.03 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 70581 0 0 0 10181 22 0 0 25 0 8 0 720972702 2310840320 389957 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=2256680 CPUtime=100.75 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 62668 0 0 0 10053 22 0 0 25 0 8 0 720972702 2310840320 389957 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=2256680 CPUtime=102.23 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 68390 0 0 0 10201 22 0 0 25 0 8 0 720972702 2310840320 389957 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=2256680 CPUtime=102.29 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 46521 0 0 0 10213 16 0 0 25 0 8 0 720972702 2310840320 389957 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 816.34
Current children cumulated vsize (KiB) 2256680

[startup+103.201 s]
/proc/loadavg: 7.22 4.03 2.79 9/518 2006
/proc/meminfo: memFree=7316748/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=2256680 CPUtime=822.59 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) R 1992 1994 1932 0 -1 4202496 510181 0 0 0 82087 172 0 0 25 0 8 0 720972701 2310840320 390546 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 564170 390546 380 95 0 559152 0
[pid=1994/tid=1995] ppid=1992 vsize=2256680 CPUtime=103.04 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 60790 0 0 0 10285 19 0 0 25 0 8 0 720972702 2310840320 390546 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=2256680 CPUtime=102.98 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 68200 0 0 0 10276 22 0 0 25 0 8 0 720972702 2310840320 390546 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=2256680 CPUtime=103.03 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 67965 0 0 0 10279 24 0 0 25 0 8 0 720972702 2310840320 390546 33554432000 4194304 4580107 140734817627200 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=2256680 CPUtime=102.81 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 70672 0 0 0 10259 22 0 0 25 0 8 0 720972702 2310840320 390546 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=2256680 CPUtime=101.53 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 62668 0 0 0 10131 22 0 0 25 0 8 0 720972702 2310840320 390546 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=2256680 CPUtime=103.01 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 68458 0 0 0 10279 22 0 0 25 0 8 0 720972702 2310840320 390546 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=2256680 CPUtime=103.07 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 46617 0 0 0 10291 16 0 0 25 0 8 0 720972702 2310840320 390546 33554432000 4194304 4580107 140734817627200 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 822.59
Current children cumulated vsize (KiB) 2256680

[startup+104 s]
/proc/loadavg: 7.29 4.10 2.81 9/518 2006
/proc/meminfo: memFree=7313276/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=2256680 CPUtime=827.12 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) S 1992 1994 1932 0 -1 4202496 511655 0 0 0 82540 172 0 0 25 0 8 0 720972701 2310840320 391998 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989044 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 564170 391998 380 95 0 559152 0
[pid=1994/tid=1995] ppid=1992 vsize=2256680 CPUtime=103.53 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 60790 0 0 0 10334 19 0 0 25 0 8 0 720972702 2310840320 391998 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989044 0 0 4096 2 18446604449117098112 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=2256680 CPUtime=103.78 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 68239 0 0 0 10356 22 0 0 25 0 8 0 720972702 2310840320 391998 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931964608 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=2256680 CPUtime=103.52 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 67998 0 0 0 10328 24 0 0 25 0 8 0 720972702 2310840320 391998 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989044 0 0 4096 2 18446604449117098112 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=2256680 CPUtime=103.31 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 70687 0 0 0 10308 23 0 0 25 0 8 0 720972702 2310840320 391998 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989044 0 0 4096 2 18446604449117098112 0 0 -1 3 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=2256680 CPUtime=102.31 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 63930 0 0 0 10209 22 0 0 25 0 8 0 720972702 2310840320 391998 33554432000 4194304 4580107 140734817627200 18446744073709551615 4421894 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=2256680 CPUtime=103.51 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 68481 0 0 0 10329 22 0 0 25 0 8 0 720972702 2310840320 391998 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989044 0 0 4096 2 18446604449117098112 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=2256680 CPUtime=103.57 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 46653 0 0 0 10341 16 0 0 25 0 8 0 720972702 2310840320 391998 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989044 0 0 4096 2 18446604449117098112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 827.12
Current children cumulated vsize (KiB) 2256680

[startup+104.4 s]
/proc/loadavg: 7.29 4.10 2.81 9/518 2006
/proc/meminfo: memFree=7313276/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=2256680 CPUtime=827.92 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) S 1992 1994 1932 0 -1 4202496 511793 0 0 0 82620 172 0 0 25 0 8 0 720972701 2310840320 392136 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989044 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 564170 392136 380 95 0 559152 0
[pid=1994/tid=1995] ppid=1992 vsize=2256680 CPUtime=103.53 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 60790 0 0 0 10334 19 0 0 25 0 8 0 720972702 2310840320 392136 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989044 0 0 4096 2 18446604449117098112 0 0 -1 2 0 0 0
[pid=1994/tid=1996] ppid=1992 vsize=2256680 CPUtime=104.18 cores=0-7
/proc/1994/task/1996/stat : 1996 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 68239 0 0 0 10396 22 0 0 25 0 8 0 720972702 2310840320 392136 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931964612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=2256680 CPUtime=103.52 cores=0-7
/proc/1994/task/1997/stat : 1997 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 67998 0 0 0 10328 24 0 0 25 0 8 0 720972702 2310840320 392136 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989044 0 0 4096 2 18446604449117098112 0 0 -1 5 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=2256680 CPUtime=103.31 cores=0-7
/proc/1994/task/1998/stat : 1998 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 70687 0 0 0 10308 23 0 0 25 0 8 0 720972702 2310840320 392136 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989044 0 0 4096 2 18446604449117098112 0 0 -1 3 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=2256680 CPUtime=102.71 cores=0-7
/proc/1994/task/1999/stat : 1999 (strangenight2-m) R 1992 1994 1932 0 -1 4202560 64068 0 0 0 10249 22 0 0 25 0 8 0 720972702 2310840320 392136 33554432000 4194304 4580107 140734817627200 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=2256680 CPUtime=103.51 cores=0-7
/proc/1994/task/2000/stat : 2000 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 68481 0 0 0 10329 22 0 0 25 0 8 0 720972702 2310840320 392136 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989044 0 0 4096 2 18446604449117098112 0 0 -1 4 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=2256680 CPUtime=103.57 cores=0-7
/proc/1994/task/2001/stat : 2001 (strangenight2-m) S 1992 1994 1932 0 -1 4202560 46653 0 0 0 10341 16 0 0 25 0 8 0 720972702 2310840320 392136 33554432000 4194304 4580107 140734817627200 18446744073709551615 47544931989044 0 0 4096 2 18446604449117098112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 827.92
Current children cumulated vsize (KiB) 2256680

[startup+104.501 s]
/proc/loadavg: 7.29 4.10 2.81 2/512 2006
/proc/meminfo: memFree=8124728/32950928 swapFree=45358860/67111528
[pid=1994] ppid=1992 vsize=0 CPUtime=828.09 cores=0-7
/proc/1994/stat : 1994 (strangenight2-m) Z 1992 1994 1932 0 -1 4203548 511796 0 0 0 82633 176 0 0 18 0 2 0 720972701 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1994/statm: 0 0 0 0 0 0 0
[pid=1994/tid=1995] ppid=1992 vsize=0 CPUtime=103.59 cores=0-7
/proc/1994/task/1995/stat : 1995 (strangenight2-m) R 1992 1994 1932 0 -1 4203588 60790 0 0 0 10334 25 0 0 18 0 2 0 720972702 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 828.09
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 104.535
CPU time (s): 828.13
CPU user time (s): 826.335
CPU system time (s): 1.79473
CPU usage (%): 792.202
Max. virtual memory (cumulated for all children) (KiB): 2377460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 826.335
system time used= 1.79473
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511796
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= 88834
involuntary context switches= 3736

runsolver used 0.543917 second user time and 1.2948 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-22 21:49:20
IDJOB=3394252
IDBENCH=82433
IDSOLVER=1878
FILE ID=node149/3394252-1306093760
RUNJOBID= node149-1306093720-1946
PBS_JOBID= 13387951
Free space on /tmp= 73412 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394252-1306093760/watcher-3394252-1306093760 -o /tmp/evaluation-result-3394252-1306093760/solver-3394252-1306093760 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394252-1306093760.cnf

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

MD5SUM BENCH= e7acb1f64be7eb3ff1367dad08444685
RANDOM SEED=1478099973

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.806
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.73
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.806
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.82
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.806
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.806
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.806
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:     32950928 kB
MemFree:       8879332 kB
Buffers:        219816 kB
Cached:        5041736 kB
SwapCached:      36428 kB
Active:       11495552 kB
Inactive:     12254780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       8879332 kB
SwapTotal:    67111528 kB
SwapFree:     45358860 kB
Dirty:            7944 kB
Writeback:           0 kB
AnonPages:    18465740 kB
Mapped:          31256 kB
Slab:           132732 kB
PageTables:     117040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 173083044 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= 73404 MiB
End job on node149 at 2011-05-22 21:51:05